[launch.sh] args:  /home/biere/hwmcc15/solvers/tip/single.tip2014 /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s341r.aig
[launch.sh] host:  atom17 (atom17)
[launch.sh] start: Wed Sep 16 06:00:59 CEST 2015
[launch.sh] jobid: 7190336
[launch.sh] name:  h6s341rtip2014
[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/6s341r.aig /tmp/7190336.1.queue/6s341r.tip.out
max_var   = 44055
n_inputs  = 514
n_outputs = 1
n_flops   = 3993
n_gates   = 39548
n_bads    = 0
n_cnstrs  = 0
n_justs   = 0
n_fairs   = 0
sum       = 44055
circ-stats: #flops=3993, #gates=39414, #inps=514, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=3976, #gates=39342, #inps=514, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[detectEquivalentFlops] found loop from cycle 21 to 20!
[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              (50 /sec)
conflict literals     : 0              (-nan % deleted)
Memory used           : 8.91 MB
CPU time              : 0.019992 s
circ-stats: #flops=3976, #gates=37838, #inps=514, #reset-gates=7624, #reset-inps=1028
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=3975, #gates=36862, #inps=221, #reset-gates=6419, #reset-inps=637
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
Embedding fairness constraints...
circ-stats: #flops=3975, #gates=36862, #inps=221, #reset-gates=6419, #reset-inps=637
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: 85 | 5 1 (3) = 94, time = 1.8 s, #safes=1, #lives=0
[rip] 3: 107 29 | 6 2 1 1 1 (19) = 166, time = 4.2 s, #safes=1, #lives=0
[rip] 4: 107 27 13 | 6 2 1 1 1 (20) = 178, time = 4.9 s, #safes=1, #lives=0
[rip] 5: 107 27 13 13 | 5 2 1 1 1 (36) = 206, time = 6.3 s, #safes=1, #lives=0

*** INTERRUPTED***
[launch.sh] stop:  Wed Sep 16 07:01: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 07:01:05 CEST 2015
[launch.sh] out: cat /tmp/7190336.1.queue/6s341r.tip.out
u4
[launch.sh] done: Wed Sep 16 07:01:05 CEST 2015
