0.00/0.01 c Outputting solution to console
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3367751-1305386383.cnf'
0.00/0.01 c -- header says num vars: 150
0.00/0.01 c -- header says num clauses: 3195
0.00/0.01 c -- clauses added: 0 learnts, 3195 normals, 0 xors
0.00/0.01 c -- vars added 150
0.00/0.01 c Parsing time: 0.00 s
0.00/0.01 c N st 0 0 150 3195 0 0 15975 0 no data no data
0.00/0.02 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
0.00/0.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.00/0.02 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.00/0.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.00/0.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
0.00/0.02 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
0.01/0.02 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
0.01/0.02 c Finding binary XORs T: 0.00 s found: 0
0.01/0.02 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
0.01/0.02 c calculated reachability. Time: 0.00
0.01/0.02 c Calc default polars - time: 0.00 s pos: 79 undec: 4 neg: 67
0.01/0.02 c =========================================================================================
0.01/0.02 c types(t): F = full restart, N = normal restart
0.01/0.02 c types(t): S = simplification begin/end, E = solution found
0.01/0.02 c restart types(rt): st = static, dy = dynamic
0.01/0.02 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.01/0.02 c B st 0 0 150 3195 0 0 15975 0 no data no data
0.01/0.06 c Decided on static restart strategy
0.09/0.14 c N st 8 4918 150 3195 0 4683 15975 141782 no data no data
0.29/0.36 c N st 10 11300 150 3195 0 4349 15975 99013 no data no data
0.59/0.61 c N st 11 17044 150 3195 0 9816 15975 264816 no data no data
0.89/0.97 c F st 12 25000 150 3195 0 12050 15975 330098 no data no data
0.89/0.98 c N st 12 25000 150 3195 0 12050 15975 330098 no data no data
1.10/1.20 c Decided on static restart strategy
1.10/1.20 c N st 18 30001 150 3195 0 10311 15975 261898 no data no data
1.10/1.20 c S st 18 30001 150 3195 0 10311 15975 261898 no data no data
1.19/1.23 c S st 18 30503 150 3195 0 10802 15975 276336 no data no data
1.19/1.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1.19/1.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
1.19/1.23 c blocked clauses removed: 0 vars: 0 tried: 150 T: 0.00 s
1.19/1.23 c bin-w-bin subsume rem 0 bins time: 0.00 s
1.19/1.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1.19/1.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
1.19/1.23 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1.19/1.23 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
1.19/1.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1.39/1.44 c lits-rem: 137 cl-subs: 1232 v-elim: 0 v-fix: 0 time: 0.19 s
1.39/1.47 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
1.39/1.48 c calculated reachability. Time: 0.00
1.39/1.48 c N st 18 30503 150 3195 0 9570 15975 235337 no data no data
1.79/1.83 c N st 20 37615 150 3195 0 8824 15975 194478 no data no data
2.09/2.15 c N st 21 44014 150 3195 0 14927 15975 368544 no data no data
2.20/2.24 c S st 22 45756 150 3195 0 16597 15975 417346 no data no data
2.20/2.29 c S st 22 46260 150 3195 0 8563 15975 167270 no data no data
2.20/2.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2.28/2.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
2.28/2.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2.28/2.30 c bin-w-bin subsume rem 0 bins time: 0.00 s
2.28/2.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.28/2.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
2.28/2.30 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
2.28/2.30 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
2.28/2.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.28/2.33 c lits-rem: 20 cl-subs: 249 v-elim: 0 v-fix: 0 time: 0.02 s
2.28/2.33 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
2.28/2.33 c vivif2 -- cl tried 8314 cl shrink 0 lits rem 0 time: 0.00
2.28/2.37 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
2.28/2.37 c calculated reachability. Time: 0.00
2.28/2.37 c N st 22 46260 150 3195 0 8314 15975 160191 no data no data
3.08/3.19 c N st 23 60657 150 3195 0 12536 15975 270125 no data no data
3.58/3.68 c N st 24 69391 150 3195 0 20834 15975 529100 no data no data
3.58/3.68 c S st 24 69391 150 3195 0 20834 15975 529100 no data no data
3.68/3.73 c S st 24 69892 150 3195 0 10862 15975 205015 no data no data
3.68/3.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
3.68/3.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
3.68/3.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3.68/3.73 c bin-w-bin subsume rem 0 bins time: 0.00 s
3.68/3.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3.68/3.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
3.68/3.73 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
3.68/3.73 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
3.68/3.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3.68/3.77 c lits-rem: 23 cl-subs: 219 v-elim: 0 v-fix: 0 time: 0.03 s
3.68/3.77 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
3.68/3.78 c vivif2 -- cl tried 10643 cl shrink 0 lits rem 0 time: 0.00
3.78/3.82 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
3.78/3.82 c calculated reachability. Time: 0.00
3.78/3.82 c N st 24 69892 150 3195 0 10643 15975 197863 no data no data
4.78/4.87 c F st 25 87500 150 3195 0 16051 15975 355450 no data no data
4.78/4.87 c N st 25 87500 150 3195 0 16051 15975 355450 no data no data
5.08/5.19 c Decided on static restart strategy
5.28/5.39 c N st 32 95542 150 3195 0 23730 15975 590970 no data no data
5.89/5.97 c N st 34 104839 150 3195 0 20122 15975 463451 no data no data
5.89/5.97 c S st 34 104839 150 3195 0 20122 15975 463451 no data no data
5.99/6.03 c S st 34 105344 150 3195 0 20623 15975 477938 no data no data
5.99/6.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
5.99/6.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.00
5.99/6.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5.99/6.03 c bin-w-bin subsume rem 0 bins time: 0.00 s
5.99/6.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5.99/6.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
5.99/6.03 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
5.99/6.04 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
5.99/6.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6.39/6.48 c lits-rem: 329 cl-subs: 1426 v-elim: 0 v-fix: 0 time: 0.43 s
6.39/6.48 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
6.39/6.48 c vivif2 -- cl tried 19197 cl shrink 0 lits rem 0 time: 0.00
6.49/6.56 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.07
6.49/6.56 c calculated reachability. Time: 0.00
6.49/6.56 c N st 34 105344 150 3195 0 19197 15975 430764 no data no data
7.19/7.22 c N st 35 114944 150 3195 0 15021 15975 295495 no data no data
8.19/8.22 c N st 36 129342 150 3195 0 14427 15975 253297 no data no data
9.68/9.76 c N st 37 150937 150 3195 0 19680 15975 392542 no data no data
10.18/10.24 c S st 38 158016 150 3195 0 26395 15975 602452 no data no data
10.28/10.31 c S st 38 158519 150 3195 0 26884 15975 616884 no data no data
10.28/10.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
10.28/10.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
10.28/10.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
10.28/10.32 c bin-w-bin subsume rem 0 bins time: 0.00 s
10.28/10.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
10.28/10.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
10.28/10.32 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
10.28/10.32 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
10.28/10.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
11.18/11.24 c lits-rem: 692 cl-subs: 1946 v-elim: 0 v-fix: 0 time: 0.90 s
11.18/11.24 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
11.18/11.25 c vivif2 -- cl tried 24938 cl shrink 0 lits rem 0 time: 0.01
11.28/11.34 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
11.28/11.34 c calculated reachability. Time: 0.00
11.28/11.34 c N st 38 158519 150 3195 0 24938 15975 552919 no data no data
15.49/15.55 c N st 39 207107 150 3195 0 19899 15975 349151 no data no data
18.19/18.28 c N st 40 237778 150 3195 0 30037 15975 647098 no data no data
18.19/18.28 c S st 40 237778 150 3195 0 30037 15975 647098 no data no data
18.29/18.34 c S st 40 238281 150 3195 0 30531 15975 662050 no data no data
18.29/18.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
18.29/18.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
18.29/18.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
18.29/18.35 c bin-w-bin subsume rem 0 bins time: 0.00 s
18.29/18.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
18.29/18.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
18.29/18.35 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
18.29/18.36 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
18.29/18.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
19.48/19.51 c lits-rem: 654 cl-subs: 2258 v-elim: 0 v-fix: 0 time: 1.13 s
19.48/19.51 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
19.48/19.52 c vivif2 -- cl tried 28273 cl shrink 0 lits rem 0 time: 0.01
19.58/19.63 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.11
19.58/19.63 c calculated reachability. Time: 0.00
19.58/19.63 c N st 40 238281 150 3195 0 28273 15975 590550 no data no data
25.99/26.05 c F st 41 306250 150 3195 0 30156 15975 598688 no data no data
25.99/26.05 c N st 41 306250 150 3195 0 30156 15975 598688 no data no data
26.49/26.56 c Decided on static restart strategy
28.88/28.96 c N st 51 334550 150 3195 0 34361 15975 704178 no data no data
31.39/31.41 c N st 53 357421 150 3195 0 32325 15975 614339 no data no data
31.39/31.41 c S st 53 357421 150 3195 0 32325 15975 614339 no data no data
31.39/31.49 c S st 53 357922 150 3195 0 32818 15975 629327 no data no data
31.39/31.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
31.49/31.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
31.49/31.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
31.49/31.50 c bin-w-bin subsume rem 0 bins time: 0.00 s
31.49/31.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
31.49/31.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
31.49/31.50 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
31.49/31.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
31.49/31.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
32.09/32.19 c lits-rem: 372 cl-subs: 1495 v-elim: 0 v-fix: 0 time: 0.66 s
32.09/32.19 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
32.19/32.20 c vivif2 -- cl tried 31323 cl shrink 0 lits rem 0 time: 0.01
32.29/32.32 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
32.29/32.32 c calculated reachability. Time: 0.00
32.29/32.32 c N st 53 357922 150 3195 0 31323 15975 581378 no data no data
35.59/35.65 c N st 54 390314 150 3195 0 37396 15975 770151 no data no data
41.08/41.11 c N st 55 438903 150 3195 0 31335 15975 547077 no data no data
49.19/49.20 c N st 56 511785 150 3195 0 44443 15975 897268 no data no data
52.09/52.11 c N st 57 536884 150 3195 0 38816 15975 709614 no data no data
52.09/52.11 c S st 57 536884 150 3195 0 38816 15975 709614 no data no data
52.19/52.20 c S st 57 537386 150 3195 0 39313 15975 724179 no data no data
52.19/52.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
52.19/52.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01
52.19/52.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
52.19/52.21 c bin-w-bin subsume rem 0 bins time: 0.00 s
52.19/52.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
52.19/52.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
52.19/52.21 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
52.19/52.22 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
52.19/52.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
53.09/53.17 c lits-rem: 1631 cl-subs: 1756 v-elim: 0 v-fix: 0 time: 0.94 s
53.09/53.17 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
53.09/53.18 c vivif2 -- cl tried 37557 cl shrink 0 lits rem 0 time: 0.01
53.29/53.32 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
53.29/53.32 c calculated reachability. Time: 0.00
53.29/53.32 c N st 57 537386 150 3195 0 37557 15975 669025 no data no data
74.70/74.79 c N st 58 701371 150 3195 0 66088 15975 1516341 no data no data
88.89/88.96 c N st 59 806079 150 3195 0 60073 15975 1252086 no data no data
88.89/88.96 c S st 59 806079 150 3195 0 60073 15975 1252086 no data no data
89.10/89.11 c S st 59 806583 150 3195 0 60566 15975 1266618 no data no data
89.10/89.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
89.10/89.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02
89.10/89.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
89.10/89.14 c bin-w-bin subsume rem 0 bins time: 0.00 s
89.10/89.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
89.10/89.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
89.10/89.14 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
89.10/89.15 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
89.10/89.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
94.29/94.38 c lits-rem: 1115 cl-subs: 4402 v-elim: 0 v-fix: 0 time: 5.20 s
94.29/94.38 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
94.39/94.40 c vivif2 -- cl tried 56164 cl shrink 0 lits rem 0 time: 0.01
94.60/94.61 c asymm cl-useful: 0/2984/3195 lits-rem:0 time: 0.21
94.60/94.61 c calculated reachability. Time: 0.00
94.60/94.61 c N st 59 806583 150 3195 0 56164 15975 1126859 no data no data
134.49/134.52 c F st 60 1071875 150 3195 0 71214 15975 1493779 no data no data
134.49/134.52 c N st 60 1071875 150 3195 0 71214 15975 1493779 no data no data
135.49/135.54 c Decided on static restart strategy
139.70/139.74 c N st 70 1100184 150 3195 0 55761 15975 974124 no data no data
146.09/146.18 c N st 72 1136176 150 3195 0 46408 15975 672531 no data no data
151.49/151.57 c N st 73 1168568 150 3195 0 77092 15975 1605417 no data no data
158.59/158.68 c N st 74 1209874 150 3195 0 71729 15975 1450318 no data no data
158.59/158.68 c S st 74 1209874 150 3195 0 71729 15975 1450318 no data no data
158.79/158.85 c S st 74 1210377 150 3195 0 72221 15975 1464995 no data no data
158.79/158.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
158.79/158.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.02
158.79/158.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
158.79/158.88 c bin-w-bin subsume rem 0 bins time: 0.00 s
158.79/158.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
158.79/158.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
158.79/158.88 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
158.79/158.89 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
158.89/158.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
165.09/165.10 c lits-rem: 1864 cl-subs: 4432 v-elim: 0 v-fix: 0 time: 6.17 s
165.09/165.11 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
165.09/165.12 c vivif2 -- cl tried 67789 cl shrink 0 lits rem 0 time: 0.02
165.29/165.37 c asymm cl-useful: 0/2593/3195 lits-rem:0 time: 0.25
165.29/165.38 c calculated reachability. Time: 0.00
165.29/165.38 c N st 74 1210377 150 3195 0 67789 15975 1317145 no data no data
178.59/178.69 c N st 75 1283260 150 3195 0 91482 15975 2063900 no data no data
198.99/199.01 c N st 76 1392585 150 3195 0 53090 15975 782779 no data no data
231.49/231.57 c N st 77 1556569 150 3195 0 57741 15975 876170 no data no data
263.49/263.54 c N st 78 1710377 150 3195 0 97722 15975 2054879 no data no data
263.49/263.54 c S st 78 1710377 150 3195 0 97722 15975 2054879 no data no data
263.79/263.81 c S st 78 1710880 150 3195 0 98212 15975 2069766 no data no data
263.79/263.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
263.79/263.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.04
263.79/263.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
263.79/263.86 c bin-w-bin subsume rem 0 bins time: 0.00 s
263.79/263.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
263.79/263.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
263.79/263.86 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
263.79/263.88 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
263.89/263.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
286.10/286.12 c lits-rem: 3251 cl-subs: 11564 v-elim: 0 v-fix: 0 time: 22.19 s
286.10/286.12 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
286.10/286.15 c vivif2 -- cl tried 86648 cl shrink 0 lits rem 0 time: 0.02
286.20/286.25 c asymm cl-useful: 0/602/3195 lits-rem:0 time: 0.10
286.20/286.25 c calculated reachability. Time: 0.00
286.20/286.25 c N st 78 1710880 150 3195 0 86648 15975 1720894 no data no data
366.49/366.52 c N st 79 2079846 150 3195 0 98426 15975 1945833 no data no data
395.40/395.47 c N st 80 2210880 150 3195 0 102747 15975 2095564 no data no data
395.40/395.47 c S st 80 2210880 150 3195 0 102747 15975 2095564 no data no data
395.70/395.74 c S st 80 2211385 150 3195 0 103240 15975 2110265 no data no data
395.70/395.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
395.70/395.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.04
395.70/395.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
395.70/395.79 c bin-w-bin subsume rem 0 bins time: 0.00 s
395.70/395.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
395.70/395.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
395.70/395.79 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
395.80/395.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
395.80/395.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
412.29/412.35 c lits-rem: 3642 cl-subs: 8017 v-elim: 0 v-fix: 0 time: 16.47 s
412.29/412.35 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
412.29/412.37 c vivif2 -- cl tried 95223 cl shrink 0 lits rem 0 time: 0.02
412.59/412.68 c asymm cl-useful: 0/1771/3195 lits-rem:0 time: 0.30
412.59/412.68 c calculated reachability. Time: 0.00
412.59/412.68 c N st 80 2211385 150 3195 0 95223 15975 1867975 no data no data
533.51/533.52 c N st 81 2711387 150 3195 0 118149 15975 2494667 no data no data
533.51/533.52 c S st 81 2711387 150 3195 0 118149 15975 2494667 no data no data
533.80/533.84 c S st 81 2711892 150 3195 0 118644 15975 2509239 no data no data
533.80/533.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
533.90/533.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.05
533.90/533.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
533.90/533.90 c bin-w-bin subsume rem 0 bins time: 0.00 s
533.90/533.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
533.90/533.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
533.90/533.90 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
533.90/533.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
533.90/534.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
559.81/559.91 c lits-rem: 3709 cl-subs: 10367 v-elim: 0 v-fix: 0 time: 25.91 s
559.81/559.91 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
559.91/559.93 c vivif2 -- cl tried 108277 cl shrink 0 lits rem 0 time: 0.03
560.20/560.26 c asymm cl-useful: 0/1390/3195 lits-rem:0 time: 0.33
560.20/560.27 c calculated reachability. Time: 0.00
560.20/560.27 c N st 81 2711892 150 3195 0 108277 15975 2188404 no data no data
698.00/698.07 c N st 82 3211892 150 3195 0 85106 15975 1282044 no data no data
698.00/698.07 c S st 82 3211892 150 3195 0 85106 15975 1282044 no data no data
698.20/698.29 c S st 82 3212393 150 3195 0 85597 15975 1296524 no data no data
698.30/698.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
698.30/698.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03
698.30/698.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
698.30/698.33 c bin-w-bin subsume rem 0 bins time: 0.00 s
698.30/698.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
698.30/698.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
698.30/698.33 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
698.30/698.35 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
698.30/698.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
700.61/700.68 c lits-rem: 599 cl-subs: 2530 v-elim: 0 v-fix: 0 time: 2.30 s
700.61/700.68 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
700.61/700.70 c vivif2 -- cl tried 83067 cl shrink 0 lits rem 0 time: 0.02
700.90/700.97 c asymm cl-useful: 0/1999/3195 lits-rem:0 time: 0.27
700.90/700.97 c calculated reachability. Time: 0.00
700.90/700.97 c N st 82 3212393 150 3195 0 83067 15975 1223121 no data no data
845.61/845.64 c N st 83 3712394 150 3195 0 93273 15975 1432764 no data no data
845.61/845.64 c S st 83 3712394 150 3195 0 93273 15975 1432764 no data no data
845.81/845.88 c S st 83 3712894 150 3195 0 93764 15975 1447362 no data no data
845.81/845.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
845.92/845.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.04
845.92/845.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
845.92/845.92 c bin-w-bin subsume rem 0 bins time: 0.00 s
845.92/845.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
845.92/845.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
845.92/845.92 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
845.92/845.94 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
845.92/845.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
849.30/849.38 c lits-rem: 812 cl-subs: 3299 v-elim: 0 v-fix: 0 time: 3.40 s
849.30/849.38 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
849.40/849.40 c vivif2 -- cl tried 90465 cl shrink 0 lits rem 0 time: 0.02
849.60/849.60 c asymm cl-useful: 0/1196/3195 lits-rem:0 time: 0.20
849.60/849.60 c calculated reachability. Time: 0.00
849.60/849.60 c N st 83 3712894 150 3195 0 90465 15975 1349969 no data no data
858.71/858.72 c F st 84 3751562 150 3195 0 127062 15975 2524700 no data no data
858.71/858.72 c N st 84 3751562 150 3195 0 127062 15975 2524700 no data no data
860.51/860.52 c Decided on static restart strategy
868.50/868.51 c N st 94 3779867 150 3195 0 153949 15975 3368761 no data no data
878.51/878.57 c N st 96 3815861 150 3195 0 108059 15975 1859970 no data no data
889.01/889.04 c N st 97 3848253 150 3195 0 138654 15975 2780321 no data no data
904.11/904.11 c N st 98 3896843 150 3195 0 103531 15975 1678626 no data no data
927.10/927.15 c N st 99 3969725 150 3195 0 90118 15975 1264767 no data no data
961.71/961.74 c N st 100 4079048 150 3195 0 110038 15975 1853798 no data no data
999.61/999.65 c N st 101 4212895 150 3195 0 152636 15975 3191356 no data no data
999.61/999.65 c S st 101 4212895 150 3195 0 152636 15975 3191356 no data no data
1000.11/1000.12 c S st 101 4213396 150 3195 0 153124 15975 3205899 no data no data
1000.11/1000.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1000.21/1000.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.07
1000.21/1000.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1000.21/1000.20 c bin-w-bin subsume rem 0 bins time: 0.00 s
1000.21/1000.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1000.21/1000.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
1000.21/1000.20 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1000.21/1000.24 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
1000.31/1000.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1038.71/1038.72 c lits-rem: 3949 cl-subs: 12711 v-elim: 0 v-fix: 0 time: 38.40 s
1038.71/1038.72 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
1038.71/1038.76 c vivif2 -- cl tried 140413 cl shrink 0 lits rem 0 time: 0.04
1039.11/1039.10 c asymm cl-useful: 0/1275/3195 lits-rem:0 time: 0.34
1039.11/1039.11 c calculated reachability. Time: 0.00
1039.11/1039.11 c N st 101 4213396 150 3195 0 140413 15975 2813681 no data no data
1118.22/1118.21 c N st 102 4459372 150 3195 0 115209 15975 1932863 no data no data
1203.11/1203.16 c N st 103 4713397 150 3195 0 178867 15975 3988150 no data no data
1203.11/1203.16 c S st 103 4713397 150 3195 0 178867 15975 3988150 no data no data
1203.61/1203.63 c S st 103 4713898 150 3195 0 179355 15975 4003034 no data no data
1203.61/1203.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1203.71/1203.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.08
1203.71/1203.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1203.71/1203.72 c bin-w-bin subsume rem 0 bins time: 0.00 s
1203.71/1203.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1203.71/1203.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 150 time: 0.00 s
1203.71/1203.72 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1203.71/1203.77 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
1203.81/1203.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1274.61/1274.62 c lits-rem: 7853 cl-subs: 16691 v-elim: 0 v-fix: 0 time: 70.74 s
1274.61/1274.62 c vivif2 -- cl tried 3195 cl shrink 0 lits rem 0 time: 0.00
1274.61/1274.67 c vivif2 -- cl tried 162664 cl shrink 0 lits rem 0 time: 0.05
1275.01/1275.04 c asymm cl-useful: 0/939/3195 lits-rem:0 time: 0.37
1275.01/1275.05 c calculated reachability. Time: 0.00
1275.01/1275.05 c N st 103 4713898 150 3195 0 162664 15975 3465525 no data no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367751-1305386383/watcher-3367751-1305386383 -o /tmp/evaluation-result-3367751-1305386383/solver-3367751-1305386383 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3367751-1305386383.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.45 2.63 4/348 11114
/proc/meminfo: memFree=18206696/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=20436 CPUtime=0 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 1 0 650236284 20926464 348 33554432000 4194304 4580011 140734497357376 18446744073709551615 4211825 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 5109 355 307 95 0 91 0
[startup+0.021349 s]
/proc/loadavg: 0.92 1.45 2.63 4/348 11114
/proc/meminfo: memFree=18206696/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=30284 CPUtime=0.01 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 674 0 0 0 1 0 0 0 20 0 1 0 650236284 31010816 614 33554432000 4194304 4580011 140734497357376 18446744073709551615 228244348800 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 7571 618 349 95 0 2553 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30284
[startup+0.100361 s]
/proc/loadavg: 0.92 1.45 2.63 4/348 11114
/proc/meminfo: memFree=18206696/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=30480 CPUtime=0.09 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 866 0 0 0 9 0 0 0 20 0 1 0 650236284 31211520 775 33554432000 4194304 4580011 140734497357376 18446744073709551615 4293179 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 7620 775 363 95 0 2602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30480
[startup+0.300363 s]
/proc/loadavg: 0.92 1.45 2.63 4/348 11114
/proc/meminfo: memFree=18206696/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=31168 CPUtime=0.29 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 1206 0 0 0 29 0 0 0 21 0 1 0 650236284 31916032 935 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294481 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 7792 935 363 95 0 2774 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31168
[startup+0.700301 s]
/proc/loadavg: 0.92 1.45 2.63 4/348 11114
/proc/meminfo: memFree=18206696/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=31800 CPUtime=0.69 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 1869 0 0 0 69 0 0 0 22 0 1 0 650236284 32563200 986 33554432000 4194304 4580011 140734497357376 18446744073709551615 4296079 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 7950 986 363 95 0 2932 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31800
[startup+1.50112 s]
/proc/loadavg: 0.92 1.45 2.63 5/352 11121
/proc/meminfo: memFree=18186352/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=39392 CPUtime=1.49 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 4196 0 0 0 149 0 0 0 25 0 1 0 650236284 40337408 2899 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294512 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 9848 2899 367 95 0 4830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39392
[startup+3.10083 s]
/proc/loadavg: 0.92 1.45 2.63 5/352 11121
/proc/meminfo: memFree=18159448/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=39576 CPUtime=3.08 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 5692 0 0 0 308 0 0 0 25 0 1 0 650236284 40525824 2841 33554432000 4194304 4580011 140734497357376 18446744073709551615 4293179 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 9894 2841 367 95 0 4876 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39576
[startup+6.3003 s]
/proc/loadavg: 1.17 1.49 2.64 5/352 11121
/proc/meminfo: memFree=18151748/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=46976 CPUtime=6.29 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 9655 0 0 0 628 1 0 0 25 0 1 0 650236284 48103424 4814 33554432000 4194304 4580011 140734497357376 18446744073709551615 4406387 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 11744 4814 367 95 0 6726 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46976
[startup+12.7012 s]
/proc/loadavg: 1.39 1.53 2.64 5/352 11121
/proc/meminfo: memFree=18114648/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=53236 CPUtime=12.69 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 14528 0 0 0 1267 2 0 0 25 0 1 0 650236284 54513664 6329 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294364 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 13309 6329 367 95 0 8291 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53236
[startup+25.5009 s]
/proc/loadavg: 1.97 1.65 2.66 5/352 11121
/proc/meminfo: memFree=18083280/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=58344 CPUtime=25.49 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 21807 0 0 0 2546 3 0 0 25 0 1 0 650236284 59744256 7302 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 14586 7302 367 95 0 9568 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58344
[startup+51.1004 s]
/proc/loadavg: 2.66 1.84 2.70 5/352 11122
/proc/meminfo: memFree=18065624/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=62712 CPUtime=51.09 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 33119 0 0 0 5104 5 0 0 25 0 1 0 650236284 64217088 9237 33554432000 4194304 4580011 140734497357376 18446744073709551615 4295695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 15678 9237 367 95 0 10660 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62712
[startup+102.313 s]
/proc/loadavg: 3.42 2.17 2.76 5/352 11123
/proc/meminfo: memFree=18008676/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=85856 CPUtime=102.3 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 54236 0 0 0 10221 9 0 0 25 0 1 0 650236284 87916544 14788 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294514 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 21464 14788 367 95 0 16446 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 85856
[startup+162.301 s]
/proc/loadavg: 3.78 2.50 2.84 5/352 11125
/proc/meminfo: memFree=17975772/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=99404 CPUtime=162.29 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 73855 0 0 0 16216 13 0 0 25 0 1 0 650236284 101789696 17938 33554432000 4194304 4580011 140734497357376 18446744073709551615 4451588 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 24851 17938 367 95 0 19833 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 99404
[startup+222.3 s]
/proc/loadavg: 3.96 2.79 2.91 5/352 11127
/proc/meminfo: memFree=17936904/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=99772 CPUtime=222.29 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 88093 0 0 0 22213 16 0 0 25 0 1 0 650236284 102166528 17635 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294595 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 24943 17635 367 95 0 19925 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 99772
[startup+282.301 s]
/proc/loadavg: 4.10 3.03 2.99 5/352 11128
/proc/meminfo: memFree=17891988/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=121608 CPUtime=282.3 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 101870 0 0 0 28211 19 0 0 25 0 1 0 650236284 124526592 23659 33554432000 4194304 4580011 140734497357376 18446744073709551615 4406269 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 30402 23659 367 95 0 25384 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 121608
[startup+342.3 s]
/proc/loadavg: 4.18 3.24 3.06 5/352 11130
/proc/meminfo: memFree=17871356/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=121856 CPUtime=342.29 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 113113 0 0 0 34207 22 0 0 25 0 1 0 650236284 124780544 23905 33554432000 4194304 4580011 140734497357376 18446744073709551615 4295372 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 30464 23905 367 95 0 25446 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 121856
[startup+402.301 s]
/proc/loadavg: 4.16 3.40 3.13 5/352 11131
/proc/meminfo: memFree=17854944/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=134388 CPUtime=402.29 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 127165 0 0 0 40204 25 0 0 25 0 1 0 650236284 137613312 26496 33554432000 4194304 4580011 140734497357376 18446744073709551615 4406244 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 33597 26496 367 95 0 28579 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 134388
[startup+462.3 s]
/proc/loadavg: 4.06 3.51 3.18 5/352 11133
/proc/meminfo: memFree=17848208/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=134564 CPUtime=462.3 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 136619 0 0 0 46201 29 0 0 25 0 1 0 650236284 137793536 26436 33554432000 4194304 4580011 140734497357376 18446744073709551615 4296064 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 33641 26436 367 95 0 28623 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 134564
[startup+522.301 s]
/proc/loadavg: 4.09 3.61 3.23 5/352 11135
/proc/meminfo: memFree=17830796/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=134840 CPUtime=522.29 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 148534 0 0 0 52197 32 0 0 25 0 1 0 650236284 138076160 25322 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 33710 25322 367 95 0 28692 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 134840
[startup+582.301 s]
/proc/loadavg: 4.03 3.68 3.28 5/352 11136
/proc/meminfo: memFree=17804336/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=153012 CPUtime=582.3 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 157815 0 0 0 58196 34 0 0 25 0 1 0 650236284 156684288 30889 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294472 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 38253 30889 367 95 0 33235 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 153012
[startup+642.301 s]
/proc/loadavg: 4.01 3.74 3.32 5/352 11138
/proc/meminfo: memFree=17806160/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=153196 CPUtime=642.31 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 168036 0 0 0 64195 36 0 0 25 0 1 0 650236284 156872704 30836 33554432000 4194304 4580011 140734497357376 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 38299 30836 367 95 0 33281 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 153196
[startup+702.301 s]
/proc/loadavg: 4.00 3.78 3.36 5/352 11139
/proc/meminfo: memFree=17805244/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=153396 CPUtime=702.3 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 177880 0 0 0 70192 38 0 0 25 0 1 0 650236284 157077504 29968 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 38349 29968 367 95 0 33331 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 153396
[startup+762.314 s]
/proc/loadavg: 4.06 3.83 3.40 5/352 11141
/proc/meminfo: memFree=17799344/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=153484 CPUtime=762.32 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 186461 0 0 0 76191 41 0 0 25 0 1 0 650236284 157167616 31260 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 38371 31260 367 95 0 33353 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 153484
[startup+822.301 s]
/proc/loadavg: 4.11 3.89 3.45 5/352 11143
/proc/meminfo: memFree=17798888/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=153708 CPUtime=822.31 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 196267 0 0 0 82187 44 0 0 25 0 1 0 650236284 157396992 29883 33554432000 4194304 4580011 140734497357376 18446744073709551615 4293203 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 38427 29883 367 95 0 33409 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 153708
[startup+882.3 s]
/proc/loadavg: 4.08 3.92 3.48 5/352 11144
/proc/meminfo: memFree=17798092/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=158268 CPUtime=882.3 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 206014 0 0 0 88183 47 0 0 25 0 1 0 650236284 162066432 31773 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294341 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 39567 31773 367 95 0 34549 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 158268
[startup+942.301 s]
/proc/loadavg: 4.03 3.93 3.51 5/352 11146
/proc/meminfo: memFree=17767560/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=158364 CPUtime=942.31 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 214593 0 0 0 94181 50 0 0 25 0 1 0 650236284 162164736 32414 33554432000 4194304 4580011 140734497357376 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 39591 32414 367 95 0 34573 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 158364
[startup+1002.3 s]
/proc/loadavg: 4.04 3.96 3.55 5/352 11147
/proc/meminfo: memFree=17745544/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=243564 CPUtime=1002.31 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 229555 0 0 0 100177 54 0 0 25 0 1 0 650236284 249409536 39261 33554432000 4194304 4580011 140734497357376 18446744073709551615 4406279 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 60891 39261 367 95 0 55873 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 243564
[startup+1062.3 s]
/proc/loadavg: 4.01 3.96 3.57 5/352 11149
/proc/meminfo: memFree=17746608/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=186160 CPUtime=1062.31 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 232981 0 0 0 106177 54 0 0 25 0 1 0 650236284 190627840 38133 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294942 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 46540 38133 367 95 0 41522 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 186160
[startup+1122.3 s]
/proc/loadavg: 4.04 3.98 3.60 5/352 11151
/proc/meminfo: memFree=17717548/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=186280 CPUtime=1122.31 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 241475 0 0 0 112174 57 0 0 25 0 1 0 650236284 190750720 38337 33554432000 4194304 4580011 140734497357376 18446744073709551615 4295372 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 46570 38337 367 95 0 41552 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 186280
[startup+1182.3 s]
/proc/loadavg: 4.01 3.98 3.62 5/352 11152
/proc/meminfo: memFree=17714524/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=186396 CPUtime=1182.32 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 249988 0 0 0 118172 60 0 0 25 0 1 0 650236284 190869504 38155 33554432000 4194304 4580011 140734497357376 18446744073709551615 4294928 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 46599 38155 367 95 0 41581 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 186396
[startup+1242.3 s]
/proc/loadavg: 4.00 3.98 3.64 5/352 11154
/proc/meminfo: memFree=17674800/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=282060 CPUtime=1242.31 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 260686 0 0 0 124170 61 0 0 25 0 1 0 650236284 288829440 48853 33554432000 4194304 4580011 140734497357376 18446744073709551615 4406370 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 70515 48853 367 95 0 65497 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 282060
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.08 4.00 3.67 3/350 11157
/proc/meminfo: memFree=17897476/32951124 swapFree=67082152/67111528
[pid=11114] ppid=11111 vsize=223544 CPUtime=1300.02 cores=4,6
/proc/11114/stat : 11114 (strangenight2-s) R 11111 11114 10078 0 -1 4202496 264478 0 0 0 129940 62 0 0 25 0 1 0 650236284 228909056 47677 33554432000 4194304 4580011 140734497357376 18446744073709551615 4295369 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11114/statm: 55886 47677 367 95 0 50868 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 223544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.02
CPU time (s): 1300.05
CPU user time (s): 1299.41
CPU system time (s): 0.638902
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 296792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.41
system time used= 0.638902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 4157
runsolver used 4.49432 second user time and 9.8535 second system time
The end
Begin job on node136 at 2011-05-14 17:19:43
IDJOB=3367751
IDBENCH=82960
IDSOLVER=1845
FILE ID=node136/3367751-1305386383
RUNJOBID= node136-1305386383-11079
PBS_JOBID= 13324366
Free space on /tmp= 72984 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367751-1305386383/watcher-3367751-1305386383 -o /tmp/evaluation-result-3367751-1305386383/solver-3367751-1305386383 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3367751-1305386383.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= eac2f4cbe4e61cc8bd9f28b333bf1b8e
RANDOM SEED=1927053567
node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 18207116 kB
Buffers: 285036 kB
Cached: 4998612 kB
SwapCached: 2740 kB
Active: 10532520 kB
Inactive: 3869704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 18207116 kB
SwapTotal: 67111528 kB
SwapFree: 67082152 kB
Dirty: 16484 kB
Writeback: 16 kB
AnonPages: 9116620 kB
Mapped: 28356 kB
Slab: 237220 kB
PageTables: 39776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 69926040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72984 MiB
End job on node136 at 2011-05-14 17:41:25