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-3291635-1303785202.cnf'
0.00/0.00 c -- header says num vars: 435701
0.00/0.00 c -- header says num clauses: 1379987
1.00/1.02 c -- clauses added: 0 learnts, 1379987 normals, 0 xors
1.00/1.02 c -- vars added 435701
1.00/1.02 c Parsing time: 0.95 s
1.00/1.02 c N st 0 0 435701 724527 653851 0 3540036 0 no data no data
2.49/2.58 c asymm cl-useful: 0/108/708994 lits-rem:0 time: 1.52
35.20/35.26 c Flit: 80 Blit: 3931 bXBeca: 0 bXProp: 54228 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 32.52
35.29/35.36 c Cleaning up after failed var search: 0.10 s
35.49/35.60 c Replacing 54343 vars Replaced 773366 lits Time: 0.22 s
35.99/36.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
36.09/36.16 c bin-w-bin subsume rem 63 bins time: 0.12 s
36.39/36.48 c subs with bin: 1389 lits-rem: 1915 v-fix: 0 time: 0.31 s
51.29/51.33 c Subs w/ non-existent bins: 2690 l-rem: 131 v-fix: 414 done: 23227 time: 14.84 s
51.89/51.99 c Removed useless bin: 37 fixed: 422 props: 20.05M time: 0.66 s
54.19/54.26 c lits-rem: 692 cl-subs: 23286 v-elim: 122633 v-fix: 425 time: 2.24 s
56.39/56.43 c Finding binary XORs T: 2.18 s found: 6294
56.59/56.60 c Replacing 6294 vars Replaced 110547 lits Time: 0.16 s
57.29/57.31 c Finding non-binary XORs: 0.51 s (found: 108497, avg size: 3.0)
57.29/57.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 177 locsubst: 16778 time: 0.20
57.39/57.48 c Replacing 8385 vars Replaced 84754 lits Time: 0.16 s
57.59/57.68 c calculated reachability. Time: 0.16
57.69/57.74 c Calc default polars - time: 0.06 s pos: 88507 undec: 213779 neg: 133415
57.69/57.74 c =========================================================================================
57.69/57.74 c types(t): F = full restart, N = normal restart
57.69/57.74 c types(t): S = simplification begin/end, E = solution found
57.69/57.74 c restart types(rt): st = static, dy = dynamic
57.69/57.74 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
57.69/57.74 c B st 0 0 229966 205720 271049 0 1598672 0 no data no data
62.99/63.09 c Decided on static restart strategy
65.70/65.73 c N st 8 4913 229886 205720 271593 4301 1598656 113600 no data no data
75.59/75.65 c N st 10 11299 229582 205720 272055 10099 1598641 326389 no data no data
86.70/86.75 c N st 11 17042 229545 205720 272333 15401 1598640 656942 no data no data
106.39/106.48 c F st 12 25000 229534 205720 272493 15901 1598640 1023532 no data no data
106.60/106.64 c Replacing 141 vars Replaced 1664 lits Time: 0.10 s
106.79/106.81 c Replacing 19 vars Replaced 188 lits Time: 0.10 s
106.89/106.97 c Replacing 6 vars Replaced 44 lits Time: 0.10 s
110.39/110.44 c N st 12 25000 229342 202891 272259 15706 1587637 1019935 no data no data
119.29/119.38 c Decided on static restart strategy
119.29/119.38 c N st 18 30002 229336 202891 272378 20536 1587636 1363057 no data no data
119.29/119.38 c S st 18 30002 229336 202891 272378 20536 1587636 1363057 no data no data
121.69/121.78 c S st 18 30502 229169 202891 272427 20945 1587636 1377516 no data no data
121.89/121.95 c x-sub: 8331 x-cut: 0 vfix: 0 v-elim: 40 locsubst: 48 time: 0.17
134.70/134.78 c Flit: 353 Blit: 4193 bXBeca: 0 bXProp: 2234 Bins: 23779 BRemL: 0 BRemN: 1 P: 200.6M T: 12.79
134.80/134.86 c Cleaning up after failed var search: 0.07 s
135.00/135.03 c Replacing 4316 vars Replaced 65007 lits Time: 0.15 s
135.10/135.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
135.10/135.19 c bin-w-bin subsume rem 1868 bins time: 0.04 s
135.30/135.38 c subs with bin: 20452 lits-rem: 32164 v-fix: 0 time: 0.19 s
142.09/142.10 c Subs w/ non-existent bins: 1406 l-rem: 1212 v-fix: 487 done: 37790 time: 6.71 s
142.29/142.39 c Removed useless bin: 656 fixed: 506 props: 20.01M time: 0.28 s
143.50/143.54 c lits-rem: 15846 cl-subs: 31928 v-elim: 40529 v-fix: 25 time: 1.15 s
143.60/143.67 c Replacing 78 vars Replaced 647 lits Time: 0.12 s
143.70/143.78 c subs with bin: 154 lits-rem: 911 v-fix: 0 time: 0.07 s
143.90/143.99 c lits-rem: 76 cl-subs: 472 v-elim: 0 v-fix: 0 time: 0.18 s
144.60/144.63 c asymm cl-useful: 444/799/142337 lits-rem:2464 time: 0.64
145.00/145.08 c calculated reachability. Time: 0.42
145.00/145.09 c N st 18 30502 175687 142337 215789 7290 1250112 97464 no data no data
147.69/147.73 c Finding binary XORs T: 2.64 s found: 2438
147.79/147.82 c Replacing 2453 vars Replaced 37684 lits Time: 0.09 s
161.89/161.99 c N st 20 37613 173190 141886 211644 13976 1239867 531663 no data no data
175.60/175.63 c N st 21 44012 173085 141886 211834 13008 1239862 441098 no data no data
178.50/178.55 c S st 22 45754 173083 141886 211887 14677 1239862 535313 no data no data
180.69/180.78 c S st 22 46256 172972 141886 211927 15111 1239862 552286 no data no data
180.89/180.92 c x-sub: 8 x-cut: 0 vfix: 0 v-elim: 566 locsubst: 404 time: 0.15
194.60/194.70 c Flit: 65 Blit: 212 bXBeca: 0 bXProp: 50 Bins: 1182 BRemL: 0 BRemN: 1 P: 200.1M T: 13.74
194.70/194.71 c Cleaning up after failed var search: 0.00 s
194.80/194.87 c Replacing 920 vars Replaced 9379 lits Time: 0.14 s
194.90/194.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
195.00/195.01 c bin-w-bin subsume rem 4586 bins time: 0.03 s
195.10/195.18 c subs with bin: 13586 lits-rem: 24169 v-fix: 0 time: 0.17 s
206.50/206.59 c Subs w/ non-existent bins: 689 l-rem: 3356 v-fix: 147 done: 39969 time: 11.40 s
206.90/206.94 c Removed useless bin: 374 fixed: 154 props: 20.00M time: 0.34 s
207.30/207.36 c lits-rem: 2767 cl-subs: 4734 v-elim: 2841 v-fix: 2 time: 0.42 s
207.40/207.47 c Replacing 79 vars Replaced 722 lits Time: 0.10 s
207.70/207.72 c subs with bin: 62 lits-rem: 1045 v-fix: 0 time: 0.18 s
208.00/208.02 c lits-rem: 248 cl-subs: 359 v-elim: 0 v-fix: 0 time: 0.25 s
208.20/208.29 c vivif2 -- cl tried 123553 cl shrink 2126 lits rem 2988 time: 0.27
208.60/208.65 c vivif2 -- cl tried 13604 cl shrink 1763 lits rem 124910 time: 0.36
209.40/209.43 c asymm cl-useful: 860/2109/123134 lits-rem:2661 time: 0.78
210.11/210.11 c calculated reachability. Time: 0.66
210.11/210.12 c N st 22 46256 167452 123126 210388 13517 1154156 278409 no data no data
214.90/214.96 c Finding binary XORs T: 4.81 s found: 1044
237.80/237.86 c N st 23 60654 167239 123087 210619 27398 1153926 1187464 no data no data
246.90/246.91 c N st 24 69384 167148 123087 210722 24266 1153923 1031101 no data no data
246.90/246.91 c S st 24 69384 167148 123087 210722 24266 1153923 1031101 no data no data
248.40/248.45 c S st 24 69887 167113 123087 210754 24722 1153923 1053263 no data no data
248.50/248.58 c x-sub: 151 x-cut: 0 vfix: 0 v-elim: 80 locsubst: 106 time: 0.13
260.39/260.46 c Flit: 42 Blit: 328 bXBeca: 0 bXProp: 108 Bins: 16543 BRemL: 0 BRemN: 6 P: 200.4M T: 11.84
260.49/260.51 c Cleaning up after failed var search: 0.05 s
260.60/260.65 c Replacing 2086 vars Replaced 37293 lits Time: 0.13 s
260.70/260.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
260.70/260.77 c bin-w-bin subsume rem 3526 bins time: 0.03 s
260.79/260.89 c subs with bin: 1654 lits-rem: 1909 v-fix: 0 time: 0.12 s
266.80/266.88 c Subs w/ non-existent bins: 404 l-rem: 1587 v-fix: 98 done: 39662 time: 5.99 s
267.10/267.13 c Removed useless bin: 536 fixed: 99 props: 20.03M time: 0.25 s
267.40/267.46 c lits-rem: 1702 cl-subs: 3788 v-elim: 1718 v-fix: 5 time: 0.33 s
267.50/267.56 c Replacing 74 vars Replaced 859 lits Time: 0.09 s
268.00/268.02 c subs with bin: 70 lits-rem: 2517 v-fix: 0 time: 0.38 s
268.31/268.30 c lits-rem: 316 cl-subs: 301 v-elim: 0 v-fix: 0 time: 0.25 s
268.50/268.51 c vivif2 -- cl tried 116967 cl shrink 1215 lits rem 1957 time: 0.21
269.00/269.00 c vivif2 -- cl tried 21920 cl shrink 3385 lits rem 65171 time: 0.48
269.60/269.68 c asymm cl-useful: 809/2442/116807 lits-rem:2143 time: 0.69
270.40/270.45 c calculated reachability. Time: 0.74
270.40/270.45 c N st 24 69887 161242 116679 212881 21881 1093210 617700 no data no data
274.80/274.88 c Finding binary XORs T: 4.43 s found: 200
291.41/291.46 c F st 25 87502 161242 116679 213027 24301 1093204 733288 no data no data
291.60/291.60 c Replacing 200 vars Replaced 6111 lits Time: 0.09 s
291.70/291.73 c Replacing 34 vars Replaced 287 lits Time: 0.08 s
291.80/291.85 c Replacing 14 vars Replaced 109 lits Time: 0.08 s
291.90/291.98 c Replacing 3 vars Replaced 20 lits Time: 0.08 s
293.71/293.78 c N st 25 87502 160955 116584 212690 24300 1091934 733171 no data no data
300.50/300.56 c Decided on static restart strategy
303.70/303.73 c N st 32 95543 160868 116584 212805 32081 1091933 1427918 no data no data
321.30/321.35 c N st 34 104831 160868 116584 212936 41128 1091931 2636140 no data no data
321.30/321.35 c S st 34 104831 160868 116584 212936 41128 1091931 2636140 no data no data
322.70/322.76 c S st 34 105332 160854 116584 212965 41585 1091931 2652762 no data no data
322.90/322.90 c x-sub: 43 x-cut: 0 vfix: 0 v-elim: 310 locsubst: 232 time: 0.13
335.51/335.58 c Flit: 56 Blit: 416 bXBeca: 0 bXProp: 147 Bins: 1774 BRemL: 0 BRemN: 1 P: 200.0M T: 12.64
335.51/335.58 c Cleaning up after failed var search: 0.00 s
335.71/335.78 c Replacing 750 vars Replaced 14492 lits Time: 0.18 s
335.81/335.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
335.81/335.89 c bin-w-bin subsume rem 410 bins time: 0.03 s
336.01/336.01 c subs with bin: 985 lits-rem: 1028 v-fix: 0 time: 0.12 s
341.10/341.19 c Subs w/ non-existent bins: 308 l-rem: 1284 v-fix: 116 done: 34701 time: 5.18 s
341.40/341.46 c Removed useless bin: 414 fixed: 118 props: 20.04M time: 0.27 s
341.70/341.76 c lits-rem: 652 cl-subs: 1223 v-elim: 739 v-fix: 3 time: 0.30 s
341.80/341.87 c Replacing 182 vars Replaced 1851 lits Time: 0.11 s
343.50/343.56 c subs with bin: 99 lits-rem: 7890 v-fix: 0 time: 1.48 s
344.80/344.89 c lits-rem: 1652 cl-subs: 721 v-elim: 0 v-fix: 0 time: 1.29 s
345.10/345.12 c vivif2 -- cl tried 112496 cl shrink 584 lits rem 1047 time: 0.23
346.60/346.66 c vivif2 -- cl tried 39974 cl shrink 11374 lits rem 815440 time: 1.55
347.30/347.33 c asymm cl-useful: 778/2033/112389 lits-rem:1497 time: 0.66
348.20/348.26 c calculated reachability. Time: 0.91
348.20/348.26 c N st 34 105332 158029 112249 210353 39924 1061781 1670944 no data no data
353.50/353.53 c Finding binary XORs T: 5.27 s found: 196
371.50/371.54 c N st 35 114930 157995 112249 210496 31447 1061780 881118 no data no data
390.71/390.77 c N st 36 129327 157993 112249 210659 45500 1061775 2520623 no data no data
427.00/427.08 c N st 37 150922 157980 112249 210925 46370 1061767 2047701 no data no data
439.11/439.11 c S st 38 158000 157976 112249 211012 53275 1061764 2624381 no data no data
440.41/440.49 c S st 38 158504 157972 112249 211031 53755 1061764 2646102 no data no data
440.61/440.62 c x-sub: 72 x-cut: 0 vfix: 0 v-elim: 277 locsubst: 400 time: 0.13
453.50/453.54 c Flit: 55 Blit: 98 bXBeca: 0 bXProp: 47 Bins: 710 BRemL: 0 BRemN: 0 P: 200.3M T: 12.90
453.50/453.55 c Cleaning up after failed var search: 0.00 s
453.70/453.75 c Replacing 708 vars Replaced 14550 lits Time: 0.18 s
453.80/453.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
453.80/453.87 c bin-w-bin subsume rem 259 bins time: 0.03 s
453.90/453.99 c subs with bin: 575 lits-rem: 606 v-fix: 0 time: 0.12 s
460.61/460.62 c Subs w/ non-existent bins: 259 l-rem: 809 v-fix: 39 done: 39302 time: 6.62 s
460.91/460.91 c Removed useless bin: 468 fixed: 44 props: 20.00M time: 0.29 s
461.21/461.22 c lits-rem: 306 cl-subs: 668 v-elim: 443 v-fix: 3 time: 0.31 s
461.31/461.34 c Replacing 76 vars Replaced 671 lits Time: 0.11 s
463.31/463.37 c subs with bin: 60 lits-rem: 2977 v-fix: 0 time: 1.77 s
464.31/464.32 c lits-rem: 1030 cl-subs: 650 v-elim: 0 v-fix: 0 time: 0.91 s
464.51/464.57 c vivif2 -- cl tried 110447 cl shrink 693 lits rem 933 time: 0.25
466.10/466.19 c vivif2 -- cl tried 52470 cl shrink 13698 lits rem 513583 time: 1.61
466.80/466.90 c asymm cl-useful: 532/1420/110272 lits-rem:1066 time: 0.71
468.00/468.00 c calculated reachability. Time: 1.08
468.00/468.01 c N st 38 158504 156235 110158 209682 52403 1046629 2041102 no data no data
473.70/473.71 c Finding binary XORs T: 5.70 s found: 125
552.21/552.26 c N st 39 207095 156132 110158 210092 55190 1046623 4258092 no data no data
594.11/594.13 c N st 40 237758 156118 110158 210257 60261 1046620 3538279 no data no data
594.11/594.13 c S st 40 237758 156118 110158 210257 60261 1046620 3538279 no data no data
595.61/595.62 c S st 40 238258 156111 110158 210275 60731 1046620 3559870 no data no data
595.71/595.76 c x-sub: 187 x-cut: 0 vfix: 0 v-elim: 60 locsubst: 240 time: 0.14
608.22/608.29 c Flit: 26 Blit: 52 bXBeca: 0 bXProp: 21 Bins: 1905 BRemL: 0 BRemN: 0 P: 200.4M T: 12.49
608.51/608.52 c Replacing 527 vars Replaced 11589 lits Time: 0.21 s
608.61/608.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
608.61/608.63 c bin-w-bin subsume rem 302 bins time: 0.03 s
608.71/608.75 c subs with bin: 491 lits-rem: 519 v-fix: 0 time: 0.11 s
614.51/614.59 c Subs w/ non-existent bins: 225 l-rem: 579 v-fix: 178 done: 40893 time: 5.84 s
614.81/614.83 c Removed useless bin: 560 fixed: 180 props: 20.00M time: 0.23 s
615.11/615.13 c lits-rem: 215 cl-subs: 394 v-elim: 294 v-fix: 11 time: 0.30 s
615.21/615.26 c Replacing 132 vars Replaced 1216 lits Time: 0.12 s
617.71/617.78 c subs with bin: 95 lits-rem: 4104 v-fix: 0 time: 2.25 s
619.91/619.94 c lits-rem: 6832 cl-subs: 964 v-elim: 0 v-fix: 0 time: 2.13 s
620.11/620.19 c vivif2 -- cl tried 108409 cl shrink 468 lits rem 714 time: 0.25
622.41/622.40 c vivif2 -- cl tried 59283 cl shrink 16899 lits rem 1078229 time: 2.21
623.01/623.07 c asymm cl-useful: 510/1411/108290 lits-rem:907 time: 0.66
624.31/624.33 c calculated reachability. Time: 1.23
624.31/624.33 c N st 40 238258 154775 108204 209988 59225 1032456 2343722 no data no data
630.71/630.76 c Finding binary XORs T: 6.42 s found: 143
747.52/747.59 c F st 41 306250 154766 108204 210523 72496 1032447 3512851 no data no data
747.72/747.76 c Replacing 222 vars Replaced 4792 lits Time: 0.11 s
747.92/747.92 c Replacing 38 vars Replaced 312 lits Time: 0.09 s
748.02/748.07 c Replacing 12 vars Replaced 89 lits Time: 0.09 s
749.52/749.54 c N st 41 306250 154462 108060 210190 72451 1030954 3511423 no data no data
757.61/757.62 c Decided on static restart strategy
792.32/792.38 c N st 51 334555 154378 108060 210381 72440 1030951 3541998 no data no data
833.32/833.34 c N st 53 357388 154357 108060 210547 65856 1030947 3195978 no data no data
833.32/833.35 c S st 53 357388 154357 108060 210547 65856 1030947 3195978 no data no data
835.22/835.26 c S st 53 357893 154352 108060 210573 66319 1030947 3226978 no data no data
835.32/835.39 c x-sub: 101 x-cut: 0 vfix: 0 v-elim: 127 locsubst: 86 time: 0.13
847.62/847.68 c Flit: 43 Blit: 232 bXBeca: 0 bXProp: 40 Bins: 3842 BRemL: 0 BRemN: 0 P: 200.2M T: 12.25
847.62/847.68 c Cleaning up after failed var search: 0.00 s
847.92/847.90 c Replacing 512 vars Replaced 14925 lits Time: 0.21 s
847.92/847.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
848.02/848.01 c bin-w-bin subsume rem 329 bins time: 0.03 s
848.12/848.12 c subs with bin: 616 lits-rem: 530 v-fix: 0 time: 0.11 s
854.01/854.03 c Subs w/ non-existent bins: 170 l-rem: 361 v-fix: 22 done: 36573 time: 5.90 s
854.21/854.26 c Removed useless bin: 392 fixed: 0 props: 20.00M time: 0.22 s
854.51/854.52 c lits-rem: 221 cl-subs: 521 v-elim: 411 v-fix: 3 time: 0.27 s
854.62/854.64 c Replacing 69 vars Replaced 582 lits Time: 0.11 s
856.71/856.78 c subs with bin: 252 lits-rem: 9162 v-fix: 0 time: 1.92 s
858.41/858.46 c lits-rem: 6589 cl-subs: 901 v-elim: 0 v-fix: 0 time: 1.64 s
858.71/858.74 c vivif2 -- cl tried 106219 cl shrink 1068 lits rem 1300 time: 0.28
860.92/860.93 c vivif2 -- cl tried 63081 cl shrink 14392 lits rem 819374 time: 2.18
861.52/861.58 c asymm cl-useful: 476/1348/105779 lits-rem:761 time: 0.65
862.72/862.75 strangenight2-st: Solver.cpp:891: void Solver::calcReachability(): Assertion `*it != ~lit' failed.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3291635-1303785202/watcher-3291635-1303785202 -o /tmp/evaluation-result-3291635-1303785202/solver-3291635-1303785202 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3291635-1303785202.cnf
running on 2 cores: 1,3
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: 3.70 3.93 3.91 4/186 10069
/proc/meminfo: memFree=15240280/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=25336 CPUtime=0 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 1749 0 0 0 0 0 0 0 21 0 1 0 470935817 25944064 1462 33554432000 4194304 4627331 140737074355072 18446744073709551615 228095148151 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 6334 1473 320 106 0 1305 0
[startup+0.00862699 s]
/proc/loadavg: 3.70 3.93 3.91 4/186 10069
/proc/meminfo: memFree=15240280/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=28760 CPUtime=0 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 2641 0 0 0 0 0 0 0 21 0 1 0 470935817 29450240 2085 33554432000 4194304 4627331 140737074355072 18446744073709551615 4316528 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 7190 2091 320 106 0 2161 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28760
[startup+0.100647 s]
/proc/loadavg: 3.70 3.93 3.91 4/186 10069
/proc/meminfo: memFree=15240280/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=127092 CPUtime=0.09 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 27796 0 0 0 6 3 0 0 21 0 1 0 470935817 130142208 19260 33554432000 4194304 4627331 140737074355072 18446744073709551615 4354424 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 31773 19283 320 106 0 26744 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 127092
[startup+0.30061 s]
/proc/loadavg: 3.70 3.93 3.91 4/186 10069
/proc/meminfo: memFree=15240280/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=169368 CPUtime=0.29 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 41414 0 0 0 24 5 0 0 22 0 1 0 470935817 173432832 32783 33554432000 4194304 4627331 140737074355072 18446744073709551615 4302513 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 42342 32783 324 106 0 37313 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 169368
[startup+0.700537 s]
/proc/loadavg: 3.70 3.93 3.91 4/186 10069
/proc/meminfo: memFree=15240280/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=227876 CPUtime=0.69 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 49414 0 0 0 63 6 0 0 24 0 1 0 470935817 233345024 40783 33554432000 4194304 4627331 140737074355072 18446744073709551615 4507122 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 56969 40783 324 106 0 51940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 227876
[startup+1.50039 s]
/proc/loadavg: 3.70 3.93 3.91 5/187 10070
/proc/meminfo: memFree=15031136/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=241840 CPUtime=1.49 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 54190 0 0 0 142 7 0 0 25 0 1 0 470935817 247644160 45559 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 60460 45559 341 106 0 55431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 241840
[startup+3.1011 s]
/proc/loadavg: 3.70 3.93 3.91 5/185 10070
/proc/meminfo: memFree=15010808/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=257612 CPUtime=3.09 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 57448 0 0 0 301 8 0 0 25 0 1 0 470935817 263794688 48817 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308955 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 64403 48817 346 106 0 59374 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 257612
[startup+6.30051 s]
/proc/loadavg: 3.73 3.94 3.91 5/190 10076
/proc/meminfo: memFree=14550272/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=319568 CPUtime=6.29 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 69258 0 0 0 618 11 0 0 25 0 1 0 470935817 327237632 60627 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308107 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 79892 60627 346 106 0 74863 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 319568
[startup+12.7003 s]
/proc/loadavg: 3.75 3.94 3.91 5/190 10076
/proc/meminfo: memFree=14357312/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=438740 CPUtime=12.69 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 92040 0 0 0 1255 14 0 0 25 0 1 0 470935817 449269760 83409 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308107 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 109685 83409 346 106 0 104656 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 438740
[startup+25.501 s]
/proc/loadavg: 3.80 3.94 3.91 5/190 10077
/proc/meminfo: memFree=13965852/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=675484 CPUtime=25.49 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 137976 0 0 0 2529 20 0 0 25 0 1 0 470935817 691695616 129345 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308297 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 168871 129345 346 106 0 163842 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 675484
[startup+51.1003 s]
/proc/loadavg: 3.87 3.94 3.91 5/190 10077
/proc/meminfo: memFree=13174564/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=941032 CPUtime=51.09 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 193037 0 0 0 5083 26 0 0 25 0 1 0 470935817 963616768 184406 33554432000 4194304 4627331 140737074355072 18446744073709551615 4534665 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 235258 184406 360 106 0 230229 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 941032
[startup+102.307 s]
/proc/loadavg: 3.94 3.95 3.91 5/190 10079
/proc/meminfo: memFree=12701480/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=1051548 CPUtime=102.3 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 233571 0 0 0 10198 32 0 0 25 0 1 0 470935817 1076785152 212731 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308908 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 262887 212731 375 106 0 257858 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1051548
[startup+162.301 s]
/proc/loadavg: 3.98 3.95 3.91 5/190 10080
/proc/meminfo: memFree=12242496/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=1360020 CPUtime=162.29 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 281542 0 0 0 16191 38 0 0 25 0 1 0 470935817 1392660480 260702 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308233 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 340005 260702 377 106 0 334976 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1360020
[startup+222.301 s]
/proc/loadavg: 4.06 3.98 3.92 5/190 10082
/proc/meminfo: memFree=12084284/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=1464968 CPUtime=222.3 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 321026 0 0 0 22186 44 0 0 25 0 1 0 470935817 1500127232 294513 33554432000 4194304 4627331 140737074355072 18446744073709551615 4305876 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 366242 294513 377 106 0 361213 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1464968
[startup+282.301 s]
/proc/loadavg: 4.02 3.98 3.92 5/190 10084
/proc/meminfo: memFree=11528112/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=1608964 CPUtime=282.3 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 353894 0 0 0 28181 49 0 0 25 0 1 0 470935817 1647579136 323523 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 402241 323523 377 106 0 397212 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1608964
[startup+342.301 s]
/proc/loadavg: 4.01 3.98 3.92 5/190 10085
/proc/meminfo: memFree=11242048/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=1798688 CPUtime=342.31 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 391498 0 0 0 34175 56 0 0 25 0 1 0 470935817 1841856512 360544 33554432000 4194304 4627331 140737074355072 18446744073709551615 4424897 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 449672 360544 377 106 0 444643 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1798688
[startup+402.301 s]
/proc/loadavg: 4.00 3.98 3.92 5/190 10087
/proc/meminfo: memFree=11154556/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=1898332 CPUtime=402.3 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 398777 0 0 0 40172 58 0 0 25 0 1 0 470935817 1943891968 366522 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 474583 366522 377 106 0 469554 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1898332
[startup+462.301 s]
/proc/loadavg: 4.13 4.01 3.93 5/190 10088
/proc/meminfo: memFree=10869848/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=1967440 CPUtime=462.31 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 427798 0 0 0 46168 63 0 0 25 0 1 0 470935817 2014658560 395346 33554432000 4194304 4627331 140737074355072 18446744073709551615 4424618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 491860 395346 377 106 0 486831 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1967440
[startup+522.301 s]
/proc/loadavg: 4.05 4.00 3.93 5/190 10090
/proc/meminfo: memFree=10896792/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2044936 CPUtime=522.3 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 434699 0 0 0 52164 66 0 0 25 0 1 0 470935817 2094014464 395988 33554432000 4194304 4627331 140737074355072 18446744073709551615 4309221 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 511234 395988 377 106 0 506205 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2044936
[startup+582.301 s]
/proc/loadavg: 4.02 4.00 3.93 5/190 10092
/proc/meminfo: memFree=10766556/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=1987052 CPUtime=582.31 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 446410 0 0 0 58161 70 0 0 25 0 1 0 470935817 2034741248 399657 33554432000 4194304 4627331 140737074355072 18446744073709551615 4309703 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 496763 399657 377 106 0 491734 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1987052
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 10093
/proc/meminfo: memFree=10418564/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2224824 CPUtime=642.31 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 478150 0 0 0 64155 76 0 0 25 0 1 0 470935817 2278219776 431393 33554432000 4194304 4627331 140737074355072 18446744073709551615 4327560 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 556206 431393 377 106 0 551177 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 2224824
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 10095
/proc/meminfo: memFree=10524672/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2138028 CPUtime=702.31 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 486393 0 0 0 70152 79 0 0 25 0 1 0 470935817 2189340672 426246 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308896 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 534507 426246 377 106 0 529478 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 2138028
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 10096
/proc/meminfo: memFree=10337004/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2166780 CPUtime=762.32 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 494055 0 0 0 76150 82 0 0 25 0 1 0 470935817 2218782720 433751 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308908 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 541695 433751 377 106 0 536666 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 2166780
[startup+822.301 s]
/proc/loadavg: 4.04 4.01 3.94 5/190 10098
/proc/meminfo: memFree=10289368/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2188160 CPUtime=822.31 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 500357 0 0 0 82147 84 0 0 25 0 1 0 470935817 2240675840 439491 33554432000 4194304 4627331 140737074355072 18446744073709551615 4309215 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 547040 439491 377 106 0 542011 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2188160
Solver just ended. Dumping a history of the last processes samples
[startup+844.701 s]
/proc/loadavg: 4.02 4.01 3.94 5/190 10099
/proc/meminfo: memFree=10164116/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2272000 CPUtime=844.72 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 517063 0 0 0 84384 88 0 0 25 0 1 0 470935817 2326528000 456197 33554432000 4194304 4627331 140737074355072 18446744073709551615 4308107 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 568000 456197 377 106 0 562971 0
Current children cumulated CPU time (s) 844.72
Current children cumulated vsize (KiB) 2272000
[startup+857.5 s]
/proc/loadavg: 4.10 4.03 3.94 5/190 10099
/proc/meminfo: memFree=10233060/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2315780 CPUtime=857.51 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 526530 0 0 0 85662 89 0 0 25 0 1 0 470935817 2371358720 465664 33554432000 4194304 4627331 140737074355072 18446744073709551615 4428307 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 578945 465664 377 106 0 573916 0
Current children cumulated CPU time (s) 857.51
Current children cumulated vsize (KiB) 2315780
[startup+860.701 s]
/proc/loadavg: 4.09 4.02 3.94 5/190 10099
/proc/meminfo: memFree=10219792/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2401296 CPUtime=860.72 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 527485 0 0 0 85982 90 0 0 25 0 1 0 470935817 2458927104 466619 33554432000 4194304 4627331 140737074355072 18446744073709551615 4520473 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 600324 466619 377 106 0 595295 0
Current children cumulated CPU time (s) 860.72
Current children cumulated vsize (KiB) 2401296
[startup+862.3 s]
/proc/loadavg: 4.09 4.02 3.94 5/190 10099
/proc/meminfo: memFree=10208632/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2401296 CPUtime=862.33 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4202496 527704 0 0 0 86143 90 0 0 25 0 1 0 470935817 2458927104 466838 33554432000 4194304 4627331 140737074355072 18446744073709551615 4299003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 600324 466838 377 106 0 595295 0
Current children cumulated CPU time (s) 862.33
Current children cumulated vsize (KiB) 2401296
[startup+863.901 s]
/proc/loadavg: 4.09 4.02 3.94 5/190 10099
/proc/meminfo: memFree=9710520/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2401296 CPUtime=863.92 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4204032 527712 0 0 0 86188 204 0 0 25 0 1 0 470935817 2458927104 466846 33554432000 4194304 4627331 140737074355072 18446744073709551615 228094837349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 600324 466846 385 106 0 595295 0
Current children cumulated CPU time (s) 863.92
Current children cumulated vsize (KiB) 2401296
[startup+864.701 s]
/proc/loadavg: 4.09 4.02 3.94 5/190 10099
/proc/meminfo: memFree=8849592/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2401296 CPUtime=864.72 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4204032 527712 0 0 0 86188 284 0 0 25 0 1 0 470935817 2458927104 466846 33554432000 4194304 4627331 140737074355072 18446744073709551615 228094837349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 600324 466846 385 106 0 595295 0
Current children cumulated CPU time (s) 864.72
Current children cumulated vsize (KiB) 2401296
[startup+865.101 s]
/proc/loadavg: 4.09 4.02 3.94 5/190 10099
/proc/meminfo: memFree=8849592/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2401296 CPUtime=865.12 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4204032 527712 0 0 0 86188 324 0 0 25 0 1 0 470935817 2458927104 466846 33554432000 4194304 4627331 140737074355072 18446744073709551615 228094837349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 600324 466846 385 106 0 595295 0
Current children cumulated CPU time (s) 865.12
Current children cumulated vsize (KiB) 2401296
[startup+865.201 s]
/proc/loadavg: 4.09 4.02 3.94 5/190 10099
/proc/meminfo: memFree=8849592/32951124 swapFree=67111528/67111528
[pid=10069] ppid=10067 vsize=2401296 CPUtime=865.22 cores=1,3
/proc/10069/stat : 10069 (strangenight2-s) R 10067 10069 9231 0 -1 4204032 527712 0 0 0 86188 334 0 0 25 0 1 0 470935817 2458927104 466846 33554432000 4194304 4627331 140737074355072 18446744073709551615 228094837349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10069/statm: 600324 466846 385 106 0 595295 0
Current children cumulated CPU time (s) 865.22
Current children cumulated vsize (KiB) 2401296
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 865.294
CPU time (s): 865.32
CPU user time (s): 861.886
CPU system time (s): 3.43448
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2401296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 861.886
system time used= 3.43448
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527712
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= 8
involuntary context switches= 1665
runsolver used 1.41778 second user time and 3.3145 second system time
The end
Begin job on node142 at 2011-04-26 04:33:23
IDJOB=3291635
IDBENCH=84246
IDSOLVER=1587
FILE ID=node142/3291635-1303785202
RUNJOBID= node142-1303785201-10035
PBS_JOBID= 13157230
Free space on /tmp= 71380 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291635-1303785202/watcher-3291635-1303785202 -o /tmp/evaluation-result-3291635-1303785202/solver-3291635-1303785202 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3291635-1303785202.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=545735093
node142.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.846
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.69
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.846
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 : 5131.95
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.846
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 15240436 kB
Buffers: 2081196 kB
Cached: 14931308 kB
SwapCached: 0 kB
Active: 7273924 kB
Inactive: 9861272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15240436 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 82148 kB
Writeback: 0 kB
AnonPages: 121632 kB
Mapped: 15736 kB
Slab: 510608 kB
PageTables: 5420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 302060 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= 69516 MiB
End job on node142 at 2011-04-26 04:47:49