[launch.sh] args:  /home/biere/hwmcc15/solvers/tip/single.tip2014 /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s516r.aig
[launch.sh] host:  atom19 (atom19)
[launch.sh] start: Wed Sep 16 16:31:59 CEST 2015
[launch.sh] jobid: 7190704
[launch.sh] name:  h6s516rtip2014
[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/6s516r.aig /tmp/7190704.1.queue/6s516r.tip.out
max_var   = 7385
n_inputs  = 69
n_outputs = 1
n_flops   = 857
n_gates   = 6459
n_bads    = 0
n_cnstrs  = 0
n_justs   = 0
n_fairs   = 0
sum       = 7385
circ-stats: #flops=857, #gates=3935, #inps=69, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=851, #gates=3908, #inps=68, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[detectEquivalentFlops] found loop from cycle 7 to 6!
[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              (-nan /sec)
decisions             : 0              (-nan % random) (-nan /sec)
propagations          : 1              (inf /sec)
conflict literals     : 0              (-nan % deleted)
Memory used           : 7.65 MB
CPU time              : 0 s
circ-stats: #flops=851, #gates=3896, #inps=68, #reset-gates=133, #reset-inps=136
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=847, #gates=3896, #inps=68, #reset-gates=128, #reset-inps=65
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
Embedding fairness constraints...
circ-stats: #flops=847, #gates=3896, #inps=68, #reset-gates=128, #reset-inps=65
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: 8 | 7 4 1 (0) = 20, time = 0.0 s, #safes=1, #lives=0
[rip] 3: 132 254 | 7 2 (0) = 395, time = 1.3 s, #safes=1, #lives=0
[rip] 4: 132 75 146 | 130 3 (0) = 486, time = 3.1 s, #safes=1, #lives=0
[rip] 5: 136 323 900 1747 | 140 402 1 (3) = 3652, time = 26.3 s, #safes=1, #lives=0
[rip] 6: 136 323 885 1257 1586 | 1206 4 1 (4) = 5402, time = 44.4 s, #safes=1, #lives=0
[rip] 7: 136 321 492 1260 2670 3838 | 1721 5 1 0 0 (8) = 10452, time = 108.5 s, #safes=1, #lives=0
[rip] 8: 136 339 812 2693 2233 6743 12502 | 1451 5 1 0 (8) = 26923, time = 374.3 s, #safes=1, #lives=0
[rip] 9: 136 343 828 2917 2774 6820 9473 14559 | 2737 13 0 (10) = 40610, time = 610.8 s, #safes=1, #lives=0
[rip] 10: 136 345 891 3451 4773 8781 10211 17794 24008 | 5695 21 3 (11) = 76120, time = 1423.1 s, #safes=1, #lives=0

*** INTERRUPTED***
[launch.sh] stop:  Wed Sep 16 17:32:02 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 17:32:05 CEST 2015
[launch.sh] out: cat /tmp/7190704.1.queue/6s516r.tip.out
u4
[launch.sh] done: Wed Sep 16 17:32:05 CEST 2015
