0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 3.0.0
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3174845-1301790896.cnf'
0.00/0.00 c -- header says num vars: 175
0.00/0.00 c -- header says num clauses: 3727
0.00/0.00 c -- clauses added: 0 learnts, 3727 normals, 0 xors
0.00/0.00 c -- vars added 175
0.00/0.00 c Parsing time: 0.00 s
0.00/0.00 c N st 0 0 175 3727 0 0 18635 0 no data no data
0.00/0.01 c asymm cl-useful: 0/3727/3727 lits-rem:0 time: 0.01
0.00/0.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
0.00/0.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.00/0.01 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.00/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.00/0.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
0.00/0.01 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
0.00/0.02 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
0.00/0.02 c Finding binary XORs T: 0.00 s found: 0
0.00/0.02 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
0.00/0.02 c calculated reachability. Time: 0.00
0.00/0.02 c Calc default polars - time: 0.00 s pos: 87 undec: 6 neg: 82
0.00/0.02 c =========================================================================================
0.00/0.02 c types(t): F = full restart, N = normal restart
0.00/0.02 c types(t): S = simplification begin/end, E = solution found
0.00/0.02 c restart types(rt): st = static, dy = dynamic
0.00/0.02 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.00/0.02 c B st 0 0 175 3727 0 0 18635 0 no data no data
0.00/0.07 c Decided on static restart strategy
0.09/0.15 c N st 8 4923 175 3727 0 4728 18635 165504 no data no data
0.29/0.38 c N st 10 11305 175 3727 0 4397 18635 112817 no data no data
0.59/0.63 c N st 11 17048 175 3727 0 9904 18635 304332 no data no data
1.00/1.03 c F st 12 25001 175 3727 0 12120 18635 374308 no data no data
1.00/1.03 c N st 12 25001 175 3727 0 12120 18635 374308 no data no data
1.19/1.25 c Decided on static restart strategy
1.19/1.25 c N st 18 30000 175 3727 0 10404 18635 301120 no data no data
1.19/1.25 c S st 18 30000 175 3727 0 10404 18635 301120 no data no data
1.19/1.28 c S st 18 30506 175 3727 0 10901 18635 317384 no data no data
1.19/1.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1.19/1.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
1.19/1.29 c blocked clauses removed: 0 vars: 0 tried: 175 T: 0.00 s
1.19/1.29 c bin-w-bin subsume rem 0 bins time: 0.00 s
1.19/1.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1.19/1.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
1.19/1.29 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1.19/1.29 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
1.29/1.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1.49/1.50 c lits-rem: 221 cl-subs: 1036 v-elim: 0 v-fix: 0 time: 0.20 s
1.49/1.55 c asymm cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
1.49/1.55 c calculated reachability. Time: 0.00
1.49/1.55 c N st 18 30506 175 3727 0 9865 18635 276170 no data no data
1.89/1.93 c N st 20 37622 175 3727 0 9087 18635 225204 no data no data
2.20/2.26 c N st 21 44022 175 3727 0 15239 18635 433297 no data no data
2.29/2.35 c S st 22 45759 175 3727 0 16905 18635 489182 no data no data
2.39/2.40 c S st 22 46262 175 3727 0 8817 18635 192967 no data no data
2.39/2.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2.39/2.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
2.39/2.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2.39/2.40 c bin-w-bin subsume rem 0 bins time: 0.00 s
2.39/2.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.39/2.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
2.39/2.40 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
2.39/2.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
2.39/2.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.39/2.43 c lits-rem: 18 cl-subs: 102 v-elim: 0 v-fix: 0 time: 0.02 s
2.39/2.43 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
2.39/2.43 c vivif2 -- cl tried 8715 cl shrink 0 lits rem 0 time: 0.00
2.39/2.47 c asymm cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
2.39/2.47 c calculated reachability. Time: 0.00
2.39/2.47 c N st 22 46262 175 3727 0 8715 18635 189090 no data no data
3.19/3.28 c N st 23 60661 175 3727 0 12940 18635 314977 no data no data
3.79/3.81 c N st 24 69395 175 3727 0 10756 18635 223827 no data no data
3.79/3.81 c S st 24 69395 175 3727 0 10756 18635 223827 no data no data
3.79/3.84 c S st 24 69896 175 3727 0 11251 18635 240418 no data no data
3.79/3.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
3.79/3.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
3.79/3.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3.79/3.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
3.79/3.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3.79/3.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
3.79/3.85 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
3.79/3.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
3.79/3.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3.89/3.90 c lits-rem: 62 cl-subs: 202 v-elim: 0 v-fix: 0 time: 0.04 s
3.89/3.90 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
3.89/3.90 c vivif2 -- cl tried 11049 cl shrink 0 lits rem 0 time: 0.00
3.89/3.95 c asymm cl-useful: 0/3727/3727 lits-rem:0 time: 0.05
3.89/3.95 c calculated reachability. Time: 0.00
3.89/3.95 c N st 24 69896 175 3727 0 11049 18635 232514 no data no data
4.91/5.04 c F st 25 87501 175 3727 0 16406 18635 400697 no data no data
4.91/5.04 c N st 25 87501 175 3727 0 16406 18635 400697 no data no data
5.22/5.37 c Decided on static restart strategy
5.50/5.57 c N st 32 95541 175 3727 0 24135 18635 667619 no data no data
5.50/6.14 c N st 34 104844 175 3727 0 20618 18635 540528 no data no data
5.50/6.14 c S st 34 104844 175 3727 0 20618 18635 540528 no data no data
5.50/6.18 c S st 34 105346 175 3727 0 21106 18635 555893 no data no data
5.50/6.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
5.50/6.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
5.50/6.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5.50/6.33 c bin-w-bin subsume rem 0 bins time: 0.00 s
5.50/6.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5.50/6.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
5.50/6.33 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
5.50/6.33 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
5.50/6.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5.50/6.80 c lits-rem: 387 cl-subs: 1193 v-elim: 0 v-fix: 0 time: 0.46 s
5.50/6.80 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
5.50/6.80 c vivif2 -- cl tried 19913 cl shrink 0 lits rem 0 time: 0.01
5.50/6.80 c asymm cl-useful: 0/3727/3727 lits-rem:0 time: 0.08
5.50/6.80 c calculated reachability. Time: 0.00
5.50/6.80 c N st 34 105346 175 3727 0 19913 18635 508859 no data no data
5.50/7.49 c N st 35 114944 175 3727 0 15715 18635 352569 no data no data
5.50/8.62 c N st 36 129341 175 3727 0 15122 18635 303782 no data no data
5.50/10.37 c N st 37 150937 175 3727 0 20393 18635 458665 no data no data
5.50/10.95 c S st 38 158020 175 3727 0 27189 18635 692866 no data no data
5.50/11.01 c S st 38 158523 175 3727 0 27687 18635 709057 no data no data
5.50/11.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
5.50/11.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
5.50/11.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5.50/11.21 c bin-w-bin subsume rem 0 bins time: 0.00 s
5.50/11.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5.50/11.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
5.50/11.21 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
5.50/11.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
5.50/11.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
11.99/12.03 c lits-rem: 542 cl-subs: 1782 v-elim: 0 v-fix: 0 time: 1.00 s
11.99/12.03 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
11.99/12.04 c vivif2 -- cl tried 25905 cl shrink 0 lits rem 0 time: 0.01
12.09/12.15 c asymm cl-useful: 0/3727/3727 lits-rem:0 time: 0.11
12.09/12.15 c calculated reachability. Time: 0.00
12.09/12.15 c N st 38 158523 175 3727 0 25905 18635 642976 no data no data
16.49/16.51 c N st 39 207112 175 3727 0 20794 18635 416108 no data no data
19.39/19.42 c N st 40 237784 175 3727 0 30978 18635 755105 no data no data
19.39/19.42 c S st 40 237784 175 3727 0 30978 18635 755105 no data no data
19.39/19.49 c S st 40 238287 175 3727 0 31474 18635 771556 no data no data
19.39/19.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
19.49/19.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
19.49/19.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
19.49/19.50 c bin-w-bin subsume rem 0 bins time: 0.00 s
19.49/19.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
19.49/19.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
19.49/19.50 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
19.49/19.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
19.49/19.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
20.89/20.96 c lits-rem: 1007 cl-subs: 2183 v-elim: 0 v-fix: 0 time: 1.43 s
20.89/20.96 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
20.89/20.97 c vivif2 -- cl tried 29291 cl shrink 0 lits rem 0 time: 0.01
20.99/21.09 c asymm cl-useful: 0/3727/3727 lits-rem:0 time: 0.12
20.99/21.09 c calculated reachability. Time: 0.00
20.99/21.09 c N st 40 238287 175 3727 0 29291 18635 691777 no data no data
27.59/27.65 c F st 41 306250 175 3727 0 31240 18635 718299 no data no data
27.59/27.65 c N st 41 306250 175 3727 0 31240 18635 718299 no data no data
28.09/28.18 c Decided on static restart strategy
30.50/30.50 c N st 51 334559 175 3727 0 35467 18635 831669 no data no data
32.99/33.06 c N st 53 357430 175 3727 0 33474 18635 730423 no data no data
32.99/33.06 c S st 53 357430 175 3727 0 33474 18635 730423 no data no data
33.09/33.13 c S st 53 357932 175 3727 0 33970 18635 747255 no data no data
33.09/33.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
33.09/33.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01
33.09/33.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
33.09/33.15 c bin-w-bin subsume rem 0 bins time: 0.00 s
33.09/33.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
33.09/33.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
33.09/33.15 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
33.09/33.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
33.09/33.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
33.89/33.96 c lits-rem: 428 cl-subs: 1254 v-elim: 0 v-fix: 0 time: 0.79 s
33.89/33.96 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
33.89/33.97 c vivif2 -- cl tried 32716 cl shrink 0 lits rem 0 time: 0.01
34.09/34.10 c asymm cl-useful: 0/3727/3727 lits-rem:0 time: 0.13
34.09/34.11 c calculated reachability. Time: 0.00
34.09/34.11 c N st 53 357932 175 3727 0 32716 18635 697548 no data no data
37.49/37.58 c N st 54 390324 175 3727 0 38780 18635 894756 no data no data
43.38/43.46 c N st 55 438912 175 3727 0 32588 18635 654598 no data no data
51.79/51.83 c N st 56 511795 175 3727 0 45842 18635 1085097 no data no data
54.59/54.63 c N st 57 536898 175 3727 0 40198 18635 834248 no data no data
54.59/54.63 c S st 57 536898 175 3727 0 40198 18635 834248 no data no data
54.70/54.71 c S st 57 537399 175 3727 0 40684 18635 850187 no data no data
54.70/54.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
54.70/54.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01
54.70/54.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
54.70/54.73 c bin-w-bin subsume rem 0 bins time: 0.00 s
54.70/54.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
54.70/54.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
54.70/54.73 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
54.70/54.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
54.70/54.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
55.90/55.99 c lits-rem: 567 cl-subs: 1732 v-elim: 0 v-fix: 0 time: 1.23 s
55.90/55.99 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
55.99/56.00 c vivif2 -- cl tried 38952 cl shrink 0 lits rem 0 time: 0.01
56.09/56.16 c asymm cl-useful: 0/3727/3727 lits-rem:0 time: 0.16
56.09/56.16 c calculated reachability. Time: 0.00
56.09/56.16 c N st 57 537399 175 3727 0 38952 18635 784118 no data no data
77.80/77.87 c N st 58 701383 175 3727 0 67218 18635 1712727 no data no data
91.49/91.55 c N st 59 806099 175 3727 0 61400 18635 1453049 no data no data
91.49/91.55 c S st 59 806099 175 3727 0 61400 18635 1453049 no data no data
91.59/91.69 c S st 59 806602 175 3727 0 61893 18635 1469610 no data no data
91.59/91.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
91.69/91.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02
91.69/91.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
91.69/91.71 c bin-w-bin subsume rem 0 bins time: 0.00 s
91.69/91.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
91.69/91.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
91.69/91.71 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
91.69/91.73 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
91.69/91.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
98.29/98.31 c lits-rem: 1170 cl-subs: 4252 v-elim: 0 v-fix: 0 time: 6.54 s
98.29/98.31 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
98.29/98.33 c vivif2 -- cl tried 57641 cl shrink 0 lits rem 0 time: 0.02
98.49/98.56 c asymm cl-useful: 0/3316/3727 lits-rem:0 time: 0.23
98.49/98.56 c calculated reachability. Time: 0.00
98.49/98.56 c N st 59 806602 175 3727 0 57641 18635 1314136 no data no data
140.79/140.88 c F st 60 1071875 175 3727 0 73326 18635 1756972 no data no data
140.79/140.88 c N st 60 1071875 175 3727 0 73326 18635 1756972 no data no data
141.79/141.81 c Decided on static restart strategy
145.29/145.35 c N st 70 1100174 175 3727 0 57711 18635 1166818 no data no data
151.89/151.98 c N st 72 1136169 175 3727 0 48245 18635 787732 no data no data
156.59/156.64 c N st 73 1168561 175 3727 0 79206 18635 1863334 no data no data
163.60/163.68 c N st 74 1209903 175 3727 0 73701 18635 1672410 no data no data
163.60/163.68 c S st 74 1209903 175 3727 0 73701 18635 1672410 no data no data
163.80/163.85 c S st 74 1210407 175 3727 0 74200 18635 1688976 no data no data
163.80/163.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
163.80/163.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.03
163.80/163.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
163.80/163.89 c bin-w-bin subsume rem 0 bins time: 0.00 s
163.80/163.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
163.80/163.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
163.80/163.89 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
163.90/163.91 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
163.90/163.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
171.99/172.01 c lits-rem: 1518 cl-subs: 4618 v-elim: 0 v-fix: 0 time: 8.06 s
171.99/172.01 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
171.99/172.03 c vivif2 -- cl tried 69582 cl shrink 0 lits rem 0 time: 0.02
172.19/172.29 c asymm cl-useful: 0/2709/3727 lits-rem:0 time: 0.26
172.19/172.29 c calculated reachability. Time: 0.00
172.19/172.29 c N st 74 1210407 175 3727 0 69582 18635 1511351 no data no data
187.09/187.14 c N st 75 1283290 175 3727 0 93189 18635 2349634 no data no data
208.29/208.33 c N st 76 1392613 175 3727 0 54683 18635 902358 no data no data
240.69/240.72 c N st 77 1556597 175 3727 0 59257 18635 1003959 no data no data
271.40/271.46 c N st 78 1710407 175 3727 0 100045 18635 2465293 no data no data
271.40/271.46 c S st 78 1710407 175 3727 0 100045 18635 2465293 no data no data
271.60/271.69 c S st 78 1710910 175 3727 0 100536 18635 2481568 no data no data
271.60/271.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
271.70/271.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.04
271.70/271.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
271.70/271.74 c bin-w-bin subsume rem 0 bins time: 0.00 s
271.70/271.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
271.70/271.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
271.70/271.74 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
271.70/271.77 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
271.80/271.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
292.30/292.37 c lits-rem: 4040 cl-subs: 7341 v-elim: 0 v-fix: 0 time: 20.54 s
292.30/292.37 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
292.30/292.40 c vivif2 -- cl tried 93195 cl shrink 0 lits rem 0 time: 0.03
292.50/292.57 c asymm cl-useful: 0/1018/3727 lits-rem:0 time: 0.17
292.50/292.57 c calculated reachability. Time: 0.00
292.50/292.57 c N st 78 1710910 175 3727 0 93195 18635 2202801 no data no data
372.60/372.70 c N st 79 2079877 175 3727 0 104232 18635 2459938 no data no data
401.50/401.53 c N st 80 2210911 175 3727 0 108774 18635 2564916 no data no data
401.50/401.53 c S st 80 2210911 175 3727 0 108774 18635 2564916 no data no data
401.70/401.79 c S st 80 2211417 175 3727 0 109275 18635 2581888 no data no data
401.80/401.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
401.80/401.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.05
401.80/401.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
401.80/401.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
401.80/401.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
401.80/401.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
401.80/401.85 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
401.80/401.88 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
401.90/401.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
424.99/425.00 c lits-rem: 2063 cl-subs: 8105 v-elim: 0 v-fix: 0 time: 23.05 s
424.99/425.00 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
424.99/425.03 c vivif2 -- cl tried 101170 cl shrink 0 lits rem 0 time: 0.03
425.29/425.34 c asymm cl-useful: 0/1853/3727 lits-rem:0 time: 0.31
425.29/425.34 c calculated reachability. Time: 0.00
425.29/425.34 c N st 80 2211417 175 3727 0 101170 18635 2278836 no data no data
545.20/545.27 c N st 81 2711417 175 3727 0 123780 18635 2929190 no data no data
545.20/545.27 c S st 81 2711417 175 3727 0 123780 18635 2929190 no data no data
545.60/545.63 c S st 81 2711922 175 3727 0 124275 18635 2945883 no data no data
545.60/545.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
545.60/545.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.06
545.60/545.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
545.60/545.69 c bin-w-bin subsume rem 0 bins time: 0.00 s
545.60/545.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
545.60/545.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
545.60/545.69 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
545.70/545.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
545.80/545.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
581.30/581.34 c lits-rem: 2683 cl-subs: 11027 v-elim: 0 v-fix: 0 time: 35.53 s
581.30/581.34 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
581.30/581.37 c vivif2 -- cl tried 113248 cl shrink 0 lits rem 0 time: 0.03
581.70/581.71 c asymm cl-useful: 0/1555/3727 lits-rem:0 time: 0.34
581.70/581.71 c calculated reachability. Time: 0.00
581.70/581.71 c N st 81 2711922 175 3727 0 113248 18635 2569479 no data no data
714.60/714.64 c N st 82 3211922 175 3727 0 90110 18635 1568707 no data no data
714.60/714.64 c S st 82 3211922 175 3727 0 90110 18635 1568707 no data no data
714.81/714.86 c S st 82 3212426 175 3727 0 90608 18635 1585875 no data no data
714.81/714.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
714.90/714.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03
714.90/714.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
714.90/714.90 c bin-w-bin subsume rem 0 bins time: 0.00 s
714.90/714.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
714.90/714.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
714.90/714.90 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
714.90/714.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
714.90/714.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
718.90/718.96 c lits-rem: 1039 cl-subs: 3235 v-elim: 0 v-fix: 0 time: 3.99 s
718.90/718.96 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
718.90/718.98 c vivif2 -- cl tried 87373 cl shrink 0 lits rem 0 time: 0.02
719.21/719.25 c asymm cl-useful: 0/2258/3727 lits-rem:0 time: 0.27
719.21/719.25 c calculated reachability. Time: 0.00
719.21/719.25 c N st 82 3212426 175 3727 0 87373 18635 1477097 no data no data
852.40/852.43 c N st 83 3712427 175 3727 0 98787 18635 1781749 no data no data
852.40/852.43 c S st 83 3712427 175 3727 0 98787 18635 1781749 no data no data
852.60/852.65 c S st 83 3712929 175 3727 0 99276 18635 1797679 no data no data
852.60/852.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
852.70/852.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.04
852.70/852.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
852.70/852.70 c bin-w-bin subsume rem 0 bins time: 0.00 s
852.70/852.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
852.70/852.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
852.70/852.70 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
852.70/852.73 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
852.70/852.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
858.01/858.00 c lits-rem: 706 cl-subs: 2873 v-elim: 0 v-fix: 0 time: 5.22 s
858.01/858.00 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
858.01/858.02 c vivif2 -- cl tried 96403 cl shrink 0 lits rem 0 time: 0.02
858.21/858.27 c asymm cl-useful: 0/1469/3727 lits-rem:0 time: 0.25
858.21/858.27 c calculated reachability. Time: 0.00
858.21/858.27 c N st 83 3712929 175 3727 0 96403 18635 1683805 no data no data
868.71/868.72 c F st 84 3751562 175 3727 0 133261 18635 2992487 no data no data
868.71/868.72 c N st 84 3751562 175 3727 0 133261 18635 2992487 no data no data
870.71/870.71 c Decided on static restart strategy
878.90/878.92 c N st 94 3779874 175 3727 0 160349 18635 3938048 no data no data
888.51/888.51 c N st 96 3815869 175 3727 0 113578 18635 2219897 no data no data
899.20/899.21 c N st 97 3848261 175 3727 0 144637 18635 3326217 no data no data
912.01/912.09 c N st 98 3896849 175 3727 0 108795 18635 2017906 no data no data
938.50/938.51 c N st 99 3969731 175 3727 0 95275 18635 1540437 no data no data
968.11/968.13 c N st 100 4079055 175 3727 0 115359 18635 2206332 no data no data
1009.11/1009.16 c N st 101 4212931 175 3727 0 157942 18635 3711348 no data no data
1009.11/1009.16 c S st 101 4212931 175 3727 0 157942 18635 3711348 no data no data
1009.62/1009.61 c S st 101 4213436 175 3727 0 158438 18635 3728010 no data no data
1009.62/1009.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1009.71/1009.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.08
1009.71/1009.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1009.71/1009.71 c bin-w-bin subsume rem 0 bins time: 0.00 s
1009.71/1009.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1009.71/1009.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
1009.71/1009.71 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1009.71/1009.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
1009.81/1009.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1062.31/1062.39 c lits-rem: 3079 cl-subs: 12924 v-elim: 0 v-fix: 0 time: 52.54 s
1062.31/1062.39 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
1062.41/1062.44 c vivif2 -- cl tried 145514 cl shrink 0 lits rem 0 time: 0.04
1062.71/1062.77 c asymm cl-useful: 0/1367/3727 lits-rem:0 time: 0.34
1062.71/1062.78 c calculated reachability. Time: 0.00
1062.71/1062.78 c N st 101 4213436 175 3727 0 145514 18635 3250724 no data no data
1141.21/1141.20 c N st 102 4459413 175 3727 0 120081 18635 2296285 no data no data
1229.01/1229.06 c N st 103 4713437 175 3727 0 93439 18635 1296330 no data no data
1229.01/1229.06 c S st 103 4713437 175 3727 0 93439 18635 1296330 no data no data
1229.21/1229.28 c S st 103 4713938 175 3727 0 93931 18635 1313141 no data no data
1229.21/1229.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1229.31/1229.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.03
1229.31/1229.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1229.31/1229.32 c bin-w-bin subsume rem 0 bins time: 0.00 s
1229.31/1229.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1229.31/1229.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 175 time: 0.00 s
1229.31/1229.32 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1229.31/1229.35 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
1229.31/1229.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1230.01/1230.07 c lits-rem: 109 cl-subs: 564 v-elim: 0 v-fix: 0 time: 0.69 s
1230.01/1230.07 c vivif2 -- cl tried 3727 cl shrink 0 lits rem 0 time: 0.00
1230.01/1230.09 c vivif2 -- cl tried 93367 cl shrink 0 lits rem 0 time: 0.02
1230.31/1230.37 c asymm cl-useful: 0/1948/3727 lits-rem:0 time: 0.28
1230.31/1230.38 c calculated reachability. Time: 0.00
1230.31/1230.38 c N st 103 4713938 175 3727 0 93367 18635 1293124 no data no data
runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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-3174845-1301790896/watcher-3174845-1301790896 -o /tmp/evaluation-result-3174845-1301790896/solver-3174845-1301790896 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3174845-1301790896.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.24 2.35 4/187 24565
/proc/meminfo: memFree=21238992/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=29924 CPUtime=0 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 561 0 0 0 0 0 0 0 23 0 1 0 290688253 30642176 501 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 7481 501 340 106 0 2452 0
[startup+0.0742041 s]
/proc/loadavg: 0.92 1.24 2.35 4/187 24565
/proc/meminfo: memFree=21238992/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=30708 CPUtime=0.07 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 912 0 0 0 7 0 0 0 23 0 1 0 290688253 31444992 829 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309360 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 7677 829 370 106 0 2648 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30708
[startup+0.100195 s]
/proc/loadavg: 0.92 1.24 2.35 4/187 24565
/proc/meminfo: memFree=21238992/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=30708 CPUtime=0.09 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 944 0 0 0 9 0 0 0 23 0 1 0 290688253 31444992 861 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309245 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 7677 862 370 106 0 2648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30708
[startup+0.300165 s]
/proc/loadavg: 0.92 1.24 2.35 4/187 24565
/proc/meminfo: memFree=21238992/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=31316 CPUtime=0.29 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 1282 0 0 0 29 0 0 0 24 0 1 0 290688253 32067584 991 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309079 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 7829 991 371 106 0 2800 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31316
[startup+0.701106 s]
/proc/loadavg: 0.92 1.24 2.35 4/187 24565
/proc/meminfo: memFree=21238992/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=32064 CPUtime=0.69 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 2008 0 0 0 69 0 0 0 25 0 1 0 290688253 32833536 1020 33554432000 4194304 4627331 140735990181088 18446744073709551615 4330298 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 8016 1020 371 106 0 2987 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32064
[startup+1.50096 s]
/proc/loadavg: 0.92 1.24 2.35 5/188 24566
/proc/meminfo: memFree=21224972/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=40424 CPUtime=1.49 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 4603 0 0 0 149 0 0 0 18 0 1 0 290688253 41394176 3151 33554432000 4194304 4627331 140735990181088 18446744073709551615 4427755 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 10106 3151 376 106 0 5077 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40424
[startup+3.10066 s]
/proc/loadavg: 1.17 1.29 2.36 5/188 24593
/proc/meminfo: memFree=21208220/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=40524 CPUtime=3.09 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 6004 0 0 0 309 0 0 0 20 0 1 0 290688253 41496576 3422 33554432000 4194304 4627331 140735990181088 18446744073709551615 4340466 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 10131 3422 376 106 0 5102 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40524
[startup+11.9731 s]
/proc/loadavg: 1.17 1.29 2.36 5/188 24593
/proc/meminfo: memFree=21189636/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=56904 CPUtime=11.96 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 15498 0 0 0 1194 2 0 0 25 0 1 0 290688253 58269696 7369 33554432000 4194304 4627331 140735990181088 18446744073709551615 4427056 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 14226 7369 376 106 0 9197 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 56904
[startup+12.701 s]
/proc/loadavg: 1.17 1.29 2.36 5/188 24593
/proc/meminfo: memFree=21189636/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=56904 CPUtime=12.69 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 15700 0 0 0 1267 2 0 0 25 0 1 0 290688253 58269696 7571 33554432000 4194304 4627331 140735990181088 18446744073709551615 4308224 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 14226 7571 376 106 0 9197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56904
[startup+25.5008 s]
/proc/loadavg: 2.56 1.61 2.44 5/188 24593
/proc/meminfo: memFree=21127576/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=62996 CPUtime=25.49 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 23834 0 0 0 2545 4 0 0 25 0 1 0 290688253 64507904 8852 33554432000 4194304 4627331 140735990181088 18446744073709551615 4352108 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 15749 8852 376 106 0 10720 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62996
[startup+51.1004 s]
/proc/loadavg: 3.05 1.80 2.48 5/188 24594
/proc/meminfo: memFree=21103580/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=67888 CPUtime=51.09 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 36922 0 0 0 5103 6 0 0 25 0 1 0 290688253 69517312 9874 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309045 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 16972 9874 376 106 0 11943 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 67888
[startup+102.301 s]
/proc/loadavg: 3.62 2.16 2.57 5/188 24595
/proc/meminfo: memFree=21023676/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=91912 CPUtime=102.29 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 59647 0 0 0 10219 10 0 0 25 0 1 0 290688253 94117888 15317 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309555 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 22978 15317 376 106 0 17949 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 91912
[startup+162.3 s]
/proc/loadavg: 3.86 2.50 2.65 5/188 24597
/proc/meminfo: memFree=20991416/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=92488 CPUtime=162.29 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 79140 0 0 0 16214 15 0 0 25 0 1 0 290688253 94707712 16089 33554432000 4194304 4627331 140735990181088 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 23122 16089 376 106 0 18093 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 92488
[startup+222.301 s]
/proc/loadavg: 3.99 2.78 2.74 5/188 24599
/proc/meminfo: memFree=20958376/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=109920 CPUtime=222.29 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 96623 0 0 0 22211 18 0 0 25 0 1 0 290688253 112558080 20111 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309132 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 27480 20111 376 106 0 22451 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 109920
[startup+282.301 s]
/proc/loadavg: 4.04 3.00 2.82 5/188 24600
/proc/meminfo: memFree=20930844/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=134580 CPUtime=282.3 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 115187 0 0 0 28207 23 0 0 25 0 1 0 290688253 137809920 27051 33554432000 4194304 4627331 140735990181088 18446744073709551615 4420095 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 33645 27051 376 106 0 28616 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 134580
[startup+342.3 s]
/proc/loadavg: 4.01 3.19 2.89 5/188 24602
/proc/meminfo: memFree=20899944/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=134832 CPUtime=342.29 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 127244 0 0 0 34204 25 0 0 25 0 1 0 290688253 138067968 26379 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309202 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 33708 26379 376 106 0 28679 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 134832
[startup+402.301 s]
/proc/loadavg: 4.00 3.34 2.96 5/188 24603
/proc/meminfo: memFree=20873024/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=153084 CPUtime=402.3 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 145286 0 0 0 40201 29 0 0 25 0 1 0 290688253 156758016 31178 33554432000 4194304 4627331 140735990181088 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 38271 31178 376 106 0 33242 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 153084
[startup+462.301 s]
/proc/loadavg: 4.00 3.45 3.02 5/188 24605
/proc/meminfo: memFree=20864304/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=153188 CPUtime=462.3 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 152512 0 0 0 46199 31 0 0 25 0 1 0 290688253 156864512 31276 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309212 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 38297 31276 376 106 0 33268 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 153188
[startup+522.306 s]
/proc/loadavg: 4.00 3.55 3.08 5/188 24607
/proc/meminfo: memFree=20857960/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=153492 CPUtime=522.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 166213 0 0 0 52196 35 0 0 25 0 1 0 290688253 157175808 30857 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 38373 30857 376 106 0 33344 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 153492
[startup+582.301 s]
/proc/loadavg: 4.00 3.63 3.13 5/188 24608
/proc/meminfo: memFree=20821620/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=175804 CPUtime=582.3 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 175706 0 0 0 58194 36 0 0 25 0 1 0 290688253 180023296 36665 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309315 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 43951 36665 376 106 0 38922 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 175804
[startup+642.301 s]
/proc/loadavg: 4.00 3.69 3.19 5/188 24610
/proc/meminfo: memFree=20815516/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=176012 CPUtime=642.3 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 187319 0 0 0 64189 41 0 0 25 0 1 0 290688253 180236288 36495 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309315 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 44003 36495 376 106 0 38974 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 176012
[startup+702.3 s]
/proc/loadavg: 4.00 3.75 3.23 5/188 24611
/proc/meminfo: memFree=20808552/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=176228 CPUtime=702.3 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 199196 0 0 0 70186 44 0 0 25 0 1 0 290688253 180457472 36512 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309360 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 44057 36512 376 106 0 39028 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 176228
[startup+762.301 s]
/proc/loadavg: 4.00 3.79 3.28 5/188 24613
/proc/meminfo: memFree=20789320/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=176448 CPUtime=762.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 210154 0 0 0 76183 48 0 0 25 0 1 0 290688253 180682752 34857 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309033 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 44112 34857 376 106 0 39083 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 176448
[startup+822.301 s]
/proc/loadavg: 4.00 3.83 3.32 5/188 24615
/proc/meminfo: memFree=20771940/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=234272 CPUtime=822.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 221631 0 0 0 82179 52 0 0 25 0 1 0 290688253 239894528 37582 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309261 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 58568 37582 376 106 0 53539 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 234272
[startup+882.3 s]
/proc/loadavg: 4.00 3.85 3.36 5/188 24616
/proc/meminfo: memFree=20787172/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=179788 CPUtime=882.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 233292 0 0 0 88176 55 0 0 25 0 1 0 290688253 184102912 35730 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 44947 35730 376 106 0 39918 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 179788
[startup+942.301 s]
/proc/loadavg: 4.00 3.88 3.40 5/188 24618
/proc/meminfo: memFree=20761480/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=179884 CPUtime=942.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 242943 0 0 0 94173 58 0 0 25 0 1 0 290688253 184201216 36495 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 44971 36495 376 106 0 39942 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 179884
[startup+1002.3 s]
/proc/loadavg: 4.00 3.90 3.43 6/188 24619
/proc/meminfo: memFree=20764064/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=179976 CPUtime=1002.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 253102 0 0 0 100171 60 0 0 25 0 1 0 290688253 184295424 37578 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309245 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 44994 37578 376 106 0 39965 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 179976
[startup+1062.3 s]
/proc/loadavg: 4.03 3.93 3.47 5/188 24621
/proc/meminfo: memFree=20714444/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=272572 CPUtime=1062.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 261909 0 0 0 106170 61 0 0 25 0 1 0 290688253 279113728 46385 33554432000 4194304 4627331 140735990181088 18446744073709551615 4427758 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 68143 46385 376 106 0 63114 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 272572
[startup+1122.3 s]
/proc/loadavg: 4.08 3.95 3.50 5/188 24623
/proc/meminfo: memFree=20671632/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=273032 CPUtime=1122.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 271370 0 0 0 112166 65 0 0 25 0 1 0 290688253 279584768 46160 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 68258 46160 376 106 0 63229 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 273032
[startup+1182.31 s]
/proc/loadavg: 4.03 3.96 3.53 5/188 24624
/proc/meminfo: memFree=20684760/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=213556 CPUtime=1182.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 280355 0 0 0 118163 68 0 0 25 0 1 0 290688253 218681344 45793 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 53389 45793 376 106 0 48360 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 213556
[startup+1242.3 s]
/proc/loadavg: 4.01 3.97 3.56 5/188 24626
/proc/meminfo: memFree=20670708/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=213692 CPUtime=1242.31 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 289372 0 0 0 124160 71 0 0 25 0 1 0 290688253 218820608 45370 33554432000 4194304 4627331 140735990181088 18446744073709551615 4308367 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 53423 45370 376 106 0 48394 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 213692
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300.01 s]
/proc/loadavg: 4.00 3.97 3.58 3/186 24629
/proc/meminfo: memFree=20882004/32951132 swapFree=67111528/67111528
[pid=24565] ppid=24563 vsize=213796 CPUtime=1300.02 cores=4,6
/proc/24565/stat : 24565 (strangenight2-s) R 24563 24565 23642 0 -1 4202496 298094 0 0 0 129928 74 0 0 25 0 1 0 290688253 218927104 44356 33554432000 4194304 4627331 140735990181088 18446744073709551615 4309210 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24565/statm: 53449 44356 376 106 0 48420 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 213796
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.04
CPU user time (s): 1299.29
CPU system time (s): 0.754885
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 274648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.29
system time used= 0.754885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298094
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= 9
involuntary context switches= 862
runsolver used 3.04754 second user time and 6.70598 second system time
The end
Begin job on node128 at 2011-04-03 02:34:56
IDJOB=3174845
IDBENCH=83063
IDSOLVER=1587
FILE ID=node128/3174845-1301790896
RUNJOBID= node128-1301790896-24524
PBS_JOBID= 12841390
Free space on /tmp= 71112 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174845-1301790896/watcher-3174845-1301790896 -o /tmp/evaluation-result-3174845-1301790896/solver-3174845-1301790896 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3174845-1301790896.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 129ae27f6626450c69af6381b8baccdf
RANDOM SEED=1731768067
node128.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.852
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.70
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.852
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.852
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.82
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.852
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.75
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.852
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.82
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.852
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.75
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.852
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.82
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.852
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 : 5434.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 21239520 kB
Buffers: 352428 kB
Cached: 11015100 kB
SwapCached: 0 kB
Active: 7935744 kB
Inactive: 3499408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 21239520 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 23300 kB
Writeback: 0 kB
AnonPages: 67380 kB
Mapped: 16072 kB
Slab: 215524 kB
PageTables: 4772 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 282200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71116 MiB
End job on node128 at 2011-04-03 02:56:38