[launch.sh] args:  /home/biere/hwmcc15/solvers/tip/single.tip2014 /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s514r.aig
[launch.sh] host:  atom18 (atom18)
[launch.sh] start: Wed Sep 16 16:09:07 CEST 2015
[launch.sh] jobid: 7190688
[launch.sh] name:  h6s514rtip2014
[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/6s514r.aig /tmp/7190688.1.queue/6s514r.tip.out
max_var   = 3876
n_inputs  = 36
n_outputs = 1
n_flops   = 441
n_gates   = 3399
n_bads    = 0
n_cnstrs  = 0
n_justs   = 0
n_fairs   = 0
sum       = 3876
circ-stats: #flops=441, #gates=2059, #inps=36, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=441, #gates=2059, #inps=36, #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              (0 /sec)
decisions             : 0              (-nan % random) (0 /sec)
propagations          : 1              (293 /sec)
conflict literals     : 0              (-nan % deleted)
Memory used           : 7.30 MB
CPU time              : 0.003413 s
circ-stats: #flops=441, #gates=2047, #inps=36, #reset-gates=72, #reset-inps=72
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=437, #gates=2047, #inps=36, #reset-gates=67, #reset-inps=33
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
Embedding fairness constraints...
circ-stats: #flops=437, #gates=2047, #inps=36, #reset-gates=67, #reset-inps=33
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: 7 | 6 4 1 (0) = 18, time = 0.0 s, #safes=1, #lives=0
[rip] 3: 70 131 | 6 1 (0) = 208, time = 0.3 s, #safes=1, #lives=0
[rip] 4: 71 74 81 | 5 3 (0) = 234, time = 0.7 s, #safes=1, #lives=0
[rip] 5: 74 68 492 1166 | 83 66 1 (2) = 1952, time = 7.9 s, #safes=1, #lives=0
[rip] 6: 75 70 330 1016 1661 | 518 10 3 1 (3) = 3687, time = 17.7 s, #safes=1, #lives=0
[rip] 7: 75 70 166 647 1288 1777 | 1048 17 3 1 1 (3) = 5096, time = 33.7 s, #safes=1, #lives=0
[rip] 8: 75 86 407 1254 1113 3882 5901 | 2193 18 2 1 (6) = 14938, time = 115.8 s, #safes=1, #lives=0
[rip] 9: 75 90 407 1257 1112 3767 5115 7617 | 1871 9 1 0 0 (11) = 21332, time = 172.8 s, #safes=1, #lives=0
[rip] 10: 75 92 504 1491 2258 4906 5601 9927 11707 | 2864 238 1 0 (11) = 39675, time = 391.1 s, #safes=1, #lives=0
[rip] 11: 75 92 512 1506 4887 8103 7616 19648 16735 26292 | 8848 340 2 1 (11) = 94668, time = 1425.0 s, #safes=1, #lives=0
[rip] 12: 75 92 529 1833 5852 9643 9946 22356 17730 25910 24743 | 8574 652 17 2 0 0 (20) = 127974, time = 2676.2 s, #safes=1, #lives=0

*** INTERRUPTED***
[launch.sh] stop:  Wed Sep 16 17:09:10 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:09:13 CEST 2015
[launch.sh] out: cat /tmp/7190688.1.queue/6s514r.tip.out
u4
[launch.sh] done: Wed Sep 16 17:09:13 CEST 2015
