[launch.sh] args:  /home/biere/hwmcc15/solvers/tip/single.tip2014 /home/biere/hwmcc15/benchmarks/oski15/submission/single/oski15a10b02s.aig
[launch.sh] host:  atom29 (atom29)
[launch.sh] start: Thu Sep 17 16:49:15 CEST 2015
[launch.sh] jobid: 7191968
[launch.sh] name:  oski15a10b02stip2014
[launch.sh] round 1: killall abcpdr avy avybmc navy
[launch.sh] round 2: killall abcpdr avy avybmc navy
[launch.sh] round 3: killall abcpdr avy avybmc navy
c [single.tip2014] /home/biere/hwmcc15/solvers/tip/tip -k=1000 /home/biere/hwmcc15/benchmarks/oski15/submission/single/oski15a10b02s.aig /tmp/7191968.1.queue/oski15a10b02s.tip.out
max_var   = 57505
n_inputs  = 1515
n_outputs = 1
n_flops   = 2915
n_gates   = 53075
n_bads    = 0
n_cnstrs  = 0
n_justs   = 0
n_fairs   = 0
sum       = 57505
circ-stats: #flops=2915, #gates=53075, #inps=1515, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=2906, #gates=53044, #inps=1515, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[detectEquivalentFlops] found loop from cycle 24 to 8!
[detectEquivalentFlops] equivs 8: { 1, i4420, i3196, i3068, i3066 }{ i1703, i1856, i1859, i1862, i3199 }{ i1704, i1858, i1864, i3200, i1861 }{ i1705, i1863, i1857, i3201, i1860 }
[detectEquivalentFlops] equivs holds at an earlier time point: 2
[temporalDecomposition] unrolling 2 cycles.
[bmc] k=  0, vrs=       0, cls=       0, con=       0, time=0.0 s
[bmc] k=  1, vrs=       0, cls=       0, con=       0, time=0.0 s
[bmc] k=  1, vrs=       0, cls=       0, con=       0, time=0.0 s
restarts              : 2
conflicts             : 0              (0 /sec)
decisions             : 0              (-nan % random) (0 /sec)
propagations          : 1              (38 /sec)
conflict literals     : 0              (-nan % deleted)
Memory used           : 9.39 MB
CPU time              : 0.026522 s
circ-stats: #flops=2906, #gates=48752, #inps=1515, #reset-gates=11340, #reset-inps=3030
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=2890, #gates=48724, #inps=1515, #reset-gates=8246, #reset-inps=2025
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
Embedding fairness constraints...
circ-stats: #flops=2890, #gates=48724, #inps=1515, #reset-gates=8246, #reset-inps=2025
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[bmc] k=  0, vrs=6.81e+03, cls=1.77e+04, con=      93, time=0.0 s
[bmc] k=  1, vrs=1.29e+04, cls=3.58e+04, con=     765, time=0.0 s
[bmc] k=  2, vrs=2.03e+04, cls=6.07e+04, con=2.24e+03, time=0.1 s
[bmc] k=  3, vrs=   3e+04, cls=9.28e+04, con=3.79e+03, time=0.2 s
[rip] 2: 119 | 109 38 26 6 2 (20) = 320, time = 22.3 s, #safes=1, #lives=0
[rip] 3: 125 398 | 191 45 7 2 0 0 (33) = 801, time = 60.2 s, #safes=1, #lives=0
[rip] 4: 125 405 1329 | 208 16 3 0 0 (45) = 2131, time = 191.0 s, #safes=1, #lives=0
[rip] 5: 164 524 1614 9480 | 525 33 4 0 0 (50) = 12394, time = 1450.7 s, #safes=1, #lives=0

*** INTERRUPTED***
[launch.sh] stop:  Thu Sep 17 17:49:18 CEST 2015
[launch.sh] round 1: killall abcpdr avy avybmc navy
[launch.sh] round 2: killall abcpdr avy avybmc navy
[launch.sh] round 3: killall abcpdr avy avybmc navy
[launch.sh] sync: Thu Sep 17 17:49:21 CEST 2015
[launch.sh] out: cat /tmp/7191968.1.queue/oski15a10b02s.tip.out
u4
[launch.sh] done: Thu Sep 17 17:49:21 CEST 2015
