[launch.sh] args:  /home/biere/hwmcc15/solvers/tip/single.tip2014 /home/biere/hwmcc15/benchmarks/all/selection/random/6s343b31.aig
[launch.sh] host:  atom22 (atom22)
[launch.sh] start: Sun Sep 20 19:26:55 CEST 2015
[launch.sh] jobid: 7197792
[launch.sh] name:  h6s343b31tip2014
[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/all/selection/random/6s343b31.aig /tmp/7197792.1.queue/6s343b31.tip.out
max_var   = 48975
n_inputs  = 205
n_outputs = 1
n_flops   = 4774
n_gates   = 43996
n_bads    = 0
n_cnstrs  = 0
n_justs   = 0
n_fairs   = 0
sum       = 48975
circ-stats: #flops=4774, #gates=43996, #inps=205, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=4680, #gates=43250, #inps=203, #reset-gates=0, #reset-inps=0
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
[detectEquivalentFlops] found loop from cycle 23 to 22!
[detectEquivalentFlops] equivs 22: { 1, -i352, -i354, -i355, -i356, -i357, i358 }
[detectEquivalentFlops] equivs holds at an earlier time point: 6
[temporalDecomposition] unrolling 6 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=  2, vrs=       0, cls=       0, con=       0, time=0.0 s
[bmc] k=  3, vrs=       0, cls=       0, con=       0, time=0.0 s
[bmc] k=  4, vrs=       0, cls=       0, con=       0, time=0.0 s
[bmc] k=  5, vrs=       0, cls=       0, con=       0, time=0.0 s
[bmc] k=  5, vrs=       0, cls=       0, con=       0, time=0.0 s
restarts              : 6
conflicts             : 0              (0 /sec)
decisions             : 0              (-nan % random) (0 /sec)
propagations          : 1              (40 /sec)
conflict literals     : 0              (-nan % deleted)
Memory used           : 9.70 MB
CPU time              : 0.025047 s
circ-stats: #flops=4680, #gates=43217, #inps=203, #reset-gates=13337, #reset-inps=1218
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
circ-stats: #flops=4674, #gates=43217, #inps=203, #reset-gates=12879, #reset-inps=893
prop-stats: #safes=1, #lives=0, #cnstrs=0, #fairs=0
Embedding fairness constraints...
circ-stats: #flops=4674, #gates=43217, #inps=203, #reset-gates=12879, #reset-inps=893
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: 151 | 23 1 1 1 (4) = 181, time = 3.8 s, #safes=1, #lives=0
[rip] 3: 122 49 | 13 1 1 (5) = 191, time = 4.8 s, #safes=1, #lives=0
[rip] 4: 570 702 476 | 59 7 2 0 0 (775) = 2614, time = 140.0 s, #safes=1, #lives=0
[rip] 5: 606 1035 1373 701 | 113 7 2 1 0 0 0 (2593) = 6647, time = 507.2 s, #safes=1, #lives=0

*** INTERRUPTED***
[launch.sh] stop:  Sun Sep 20 20:26:58 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: Sun Sep 20 20:27:01 CEST 2015
[launch.sh] out: cat /tmp/7197792.1.queue/6s343b31.tip.out
u8
[launch.sh] done: Sun Sep 20 20:27:01 CEST 2015
