[launch.sh] args:  /home/biere/hwmcc15/solvers/tip/single.tip2014 /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s45.aig
[launch.sh] host:  atom32 (atom32)
[launch.sh] start: Wed Sep 16 15:27:31 CEST 2015
[launch.sh] jobid: 7190672
[launch.sh] name:  h6s45tip2014
[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/hwmcc14/single/6s45.aig /tmp/7190672.1.queue/6s45.tip.out
max_var   = 5810
n_inputs  = 91
n_outputs = 1
n_flops   = 651
n_gates   = 5068
n_bads    = 0
n_cnstrs  = 0
n_justs   = 0
n_fairs   = 0
sum       = 5810
circ-stats: #flops=651, #gates=4340, #inps=91, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=651, #gates=4321, #inps=91, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[detectEquivalentFlops] found loop from cycle 100 to 99!
[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              (159 /sec)
conflict literals     : 0              (-nan % deleted)
Memory used           : 7.57 MB
CPU time              : 0.006298 s
circ-stats: #flops=651, #gates=3738, #inps=91, #reset-gates=1453, #reset-inps=182
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=650, #gates=3618, #inps=53, #reset-gates=1293, #reset-inps=106
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
Embedding fairness constraints...
circ-stats: #flops=650, #gates=3618, #inps=53, #reset-gates=1293, #reset-inps=106
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[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=  2, vrs=       0, cls=       0, con=       0, time=0.0 s
[bmc] k=  3, vrs=       0, cls=       0, con=       0, time=0.0 s
[rip] 2: 5 (0) = 5, time = 0.0 s, #safes=1, #lives=0
[rip] 3: 210 91 | 22 11 3 2 1 (103) = 443, time = 1.4 s, #safes=1, #lives=0
[rip] 4: 286 178 118 | 56 30 10 8 5 1 (140) = 832, time = 4.6 s, #safes=1, #lives=0
[rip] 5: 285 175 106 68 | 33 10 8 5 1 (140) = 831, time = 4.9 s, #safes=1, #lives=0
[rip] 6: 292 110 82 230 149 | 65 38 24 31 4 (352) = 1396, time = 17.2 s, #safes=1, #lives=0
[rip] 7: 292 110 82 230 149 65 | 38 24 31 4 (352) = 1396, time = 17.5 s, #safes=1, #lives=0
[rip] 8: 292 110 82 230 149 65 38 | 24 31 4 (352) = 1396, time = 17.9 s, #safes=1, #lives=0
[rip] 9: 292 110 82 230 149 65 38 24 | 31 4 (352) = 1396, time = 18.3 s, #safes=1, #lives=0
[rip] 10: 292 110 82 230 149 65 38 24 31 | 4 (352) = 1396, time = 18.6 s, #safes=1, #lives=0
[rip] 11: 292 110 82 230 149 65 38 24 31 4 (352) = 1396, time = 19.0 s, #safes=1, #lives=0
[rip] 12: 289 110 97 263 262 371 597 1021 1942 2706 1659 | 706 318 136 28 16 15 22 12 9 1 2 2 2 (7481) = 18656, time = 368.6 s, #safes=1, #lives=0
[rip] 13: 289 110 97 262 257 358 550 927 1685 2319 1529 841 | 376 148 40 16 15 22 12 9 1 2 2 2 (7489) = 17951, time = 373.0 s, #safes=1, #lives=0
[rip] 14: 289 110 97 262 255 356 539 884 1545 2116 1325 731 451 | 228 81 43 18 22 12 9 1 2 2 2 (7489) = 17462, time = 376.8 s, #safes=1, #lives=0
[rip] 15: 289 110 97 262 255 356 539 883 1541 2069 1280 727 379 265 | 114 74 47 25 12 9 1 2 2 2 (7489) = 17422, time = 380.6 s, #safes=1, #lives=0

*** INTERRUPTED***
[launch.sh] stop:  Wed Sep 16 16:27:34 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: Wed Sep 16 16:27:37 CEST 2015
[launch.sh] out: cat /tmp/7190672.1.queue/6s45.tip.out
u4
[launch.sh] done: Wed Sep 16 16:27:37 CEST 2015
