0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3284783-1303763031.cnf'
0.00/0.00 c -- header says num vars: 153284
0.00/0.00 c -- header says num clauses: 2473656
0.48/0.54 c -- clauses added: 0 learnts, 2473656 normals, 0 xors
0.48/0.54 c -- vars added 153284
0.48/0.54 c Parsing time: 0.48 s
0.48/0.54 c N st 0 0 153284 73962 2026036 0 4799185 0 no data no data --
0.79/0.80 c asymm cl-useful: 683/1183/61968 lits-rem:28657 time: 0.25
6.69/6.75 c Flit: 262 Blit: 9074 bXBeca: 0 bXProp: 503 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 5.82
6.69/6.79 c Cleaning up after failed var search: 0.04 s
6.78/6.84 c Replacing 503 vars Replaced 29207 lits Time: 0.05 s
6.98/7.04 c bin-w-bin subsume rem 734 bins time: 0.12 s
7.28/7.33 c subs with bin: 33 lits-rem: 151 v-fix: 0 time: 0.29 s
10.59/10.60 c Subs w/ non-existent bins: 0 l-rem: 345 v-fix: 0 done: 28605 time: 3.27 s
10.69/10.77 c Removed useless bin: 3998 fixed: 0 props: 20.02M time: 0.17 s
11.09/11.18 c lits-rem: 0 cl-subs: 80 v-elim: 13 v-fix: 0 time: 0.41 s
11.69/11.74 c Finding binary XORs T: 0.56 s found: 195
11.69/11.79 c Replacing 195 vars Replaced 9326 lits Time: 0.05 s
11.99/12.03 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
11.99/12.03 c calculated reachability. Time: 0.18
11.99/12.05 c Calc default polars - time: 0.02 s pos: 3041 undec: 56056 neg: 94187
11.99/12.05 c =========================================================================================
11.99/12.05 c types(t): F = full restart, N = normal restart
11.99/12.05 c types(t): S = simplification begin/end, E = solution found
11.99/12.05 c restart types(rt): st = static, dy = dynamic
11.99/12.05 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
11.99/12.05 c B st 0 0 97234 56981 1295586 0 3120648 0 no data no data --
20.38/20.48 c N dy 15 4089 97234 56981 1295706 3959 3120648 4312094 19.92 21.03 --
31.18/31.23 c N dy 33 8364 97233 56981 1295830 8098 3120648 10244354 20.15 21.92 --
40.38/40.40 c N dy 56 12493 97233 56981 1295917 12129 3120648 14752452 20.52 22.64 --
49.89/49.96 c N dy 76 16530 97232 56981 1295975 16096 3120648 19566498 20.96 73.20 --
60.09/60.15 c N dy 100 20979 97230 56981 1296041 10717 3120648 3086963 21.04 22.31 --
70.19/70.27 c F st 122 25000 97229 56981 1296115 14653 3120648 9195839 22.09 11.74 --
70.39/70.50 c N st 122 25000 97229 56980 1296066 14651 3120516 9195671 22.09 11.74 --
94.70/94.72 c N dy 128 30000 97229 56980 1296144 19556 3120516 18759013 22.09 no data --
94.70/94.72 c S st 128 30000 97229 56980 1296144 19556 3120516 18759013 22.09 no data --
95.49/95.56 c S st 128 30500 97224 56980 1296185 20008 3120516 18857521 22.09 no data --
95.59/95.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
95.59/95.67 c Cache BProp: 7206 Set: 191 BXProp: 0 T: 0.03
116.60/116.61 c Flit: 392 Blit: 1565 bXBeca: 0 bXProp: 107 Bins: 162032 BRemL: 0 BRemN: 1026 P: 200.0M T: 20.82
116.70/116.71 c Cleaning up after failed var search: 0.10 s
117.29/117.33 c Replacing 108 vars Replaced 23748 lits Time: 0.62 s
118.80/118.87 c bin-w-bin subsume rem 511 bins time: 0.11 s
120.19/120.29 c subs with bin: 0 lits-rem: 3 v-fix: 0 time: 1.42 s
120.39/120.49 c Subs w/ non-existent bins: 1 l-rem: 228 v-fix: 0 done: 470 time: 0.20 s
120.69/120.71 c Removed useless bin: 8417 fixed: 0 props: 20.01M time: 0.21 s
143.10/143.19 c lits-rem: 174 cl-subs: 508 v-elim: 0 v-fix: 0 time: 22.49 s
143.49/143.52 c asymm cl-useful: 27/918/56011 lits-rem:64 time: 0.32
143.99/144.02 c calculated reachability. Time: 0.47
143.99/144.02 c N dy 128 30500 94832 56011 1401765 19452 3016188 18556009 22.09 no data --
145.30/145.36 c Finding binary XORs T: 1.34 s found: 64
156.70/156.74 c N dy 135 34537 94830 56011 1401838 23401 3016188 24525529 21.06 22.50 --
167.19/167.22 c N dy 150 38632 94827 56011 1401942 27383 3016188 30390910 20.73 21.97 --
178.99/179.01 c N dy 168 43706 94826 56011 1402039 17257 3016188 4612313 20.24 21.68 --
183.19/183.22 c S st 173 45750 94826 56011 1402087 19247 3016188 6670106 19.96 15.89 --
183.99/184.01 c S st 173 46251 94826 56011 1402122 19711 3016188 6758770 19.96 no data --
183.99/184.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
184.09/184.12 c Cache BProp: 6261 Set: 1 BXProp: 0 T: 0.05
205.59/205.62 c Flit: 142 Blit: 298 bXBeca: 0 bXProp: 15 Bins: 213730 BRemL: 396 BRemN: 4712 P: 200.0M T: 21.41
205.59/205.62 c Cleaning up after failed var search: 0.00 s
205.80/205.84 c Replacing 80 vars Replaced 17557 lits Time: 0.22 s
206.29/206.34 c bin-w-bin subsume rem 145 bins time: 0.13 s
207.69/207.78 c subs with bin: 1 lits-rem: 11 v-fix: 0 time: 1.44 s
208.39/208.40 c Subs w/ non-existent bins: 6 l-rem: 812 v-fix: 0 done: 3407 time: 0.62 s
208.59/208.62 c Removed useless bin: 7969 fixed: 0 props: 20.01M time: 0.22 s
210.69/210.75 c lits-rem: 71 cl-subs: 214 v-elim: 1 v-fix: 0 time: 2.13 s
210.79/210.86 c vivif2 -- cl tried 55842 cl shrink 258 lits rem 2172 time: 0.11
211.30/211.35 c vivif2 -- cl tried 19471 cl shrink 4540 lits rem 885573 time: 0.48
211.60/211.67 c asymm cl-useful: 6/402/55798 lits-rem:11 time: 0.32
212.30/212.37 c calculated reachability. Time: 0.67
212.30/212.37 c N dy 173 46251 94315 55798 1593327 19224 2973133 6170528 19.96 no data --
214.20/214.27 c Finding binary XORs T: 1.91 s found: 27
222.89/222.96 c N dy 186 50486 94312 55798 1593421 23347 2973133 11335620 19.54 20.74 --
234.00/234.10 c N dy 202 54623 94308 55798 1593534 27355 2973132 16880841 19.39 22.22 --
245.40/245.48 c N dy 218 59119 94306 55798 1593667 31708 2973132 23322841 19.07 20.28 --
254.50/254.51 c N dy 239 63124 94304 55798 1593729 35642 2973132 27991159 19.01 22.10 --
264.01/264.00 c N dy 255 67203 94304 55798 1593810 21579 2973132 6116198 18.89 19.95 --
269.20/269.29 c S st 258 69380 94304 55798 1593876 23685 2973132 9138888 18.64 10.22 --
270.20/270.20 c S st 258 69881 94303 55798 1593915 24146 2973132 9231385 18.64 no data --
270.20/270.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
270.30/270.34 c Cache BProp: 6476 Set: 1 BXProp: 0 T: 0.07
287.30/287.34 c Flit: 74 Blit: 197 bXBeca: 0 bXProp: 6 Bins: 195437 BRemL: 1481 BRemN: 4107 P: 200.1M T: 16.91
287.30/287.34 c Cleaning up after failed var search: 0.00 s
287.60/287.63 c Replacing 33 vars Replaced 19171 lits Time: 0.28 s
288.20/288.23 c bin-w-bin subsume rem 110 bins time: 0.16 s
289.70/289.72 c subs with bin: 10 lits-rem: 332 v-fix: 0 time: 1.48 s
290.10/290.10 c Subs w/ non-existent bins: 5 l-rem: 216 v-fix: 0 done: 1297 time: 0.38 s
290.30/290.31 c Removed useless bin: 9220 fixed: 0 props: 20.00M time: 0.20 s
293.50/293.58 c lits-rem: 133 cl-subs: 286 v-elim: 2 v-fix: 0 time: 3.27 s
293.70/293.71 c vivif2 -- cl tried 55673 cl shrink 43 lits rem 540 time: 0.13
294.30/294.37 c vivif2 -- cl tried 23818 cl shrink 3515 lits rem 1249873 time: 0.65
294.70/294.71 c asymm cl-useful: 377/398/55671 lits-rem:5893 time: 0.34
295.60/295.61 c calculated reachability. Time: 0.86
295.60/295.61 c N dy 258 69881 93999 55671 1766313 23668 2930609 8225561 18.64 no data --
298.00/298.04 c Finding binary XORs T: 2.43 s found: 22
309.99/310.04 c N dy 275 75105 93998 55671 1766441 28754 2930609 13823169 18.33 19.84 --
321.40/321.41 c N dy 300 79977 93996 55671 1766530 33531 2930609 19808126 18.36 19.36 --
336.90/336.95 c N dy 316 85952 93993 55671 1766729 39285 2930609 26840496 18.06 19.84 --
340.60/340.66 c F st 323 87501 93991 55671 1766750 20847 2930609 2287355 18.03 13.79 --
340.70/340.78 c Replacing 22 vars Replaced 1700 lits Time: 0.08 s
359.80/359.89 c N dy 329 92695 93969 55667 1765966 25930 2930274 12384647 18.03 no data --
380.20/380.26 c N dy 351 98922 93967 55667 1766073 32039 2930274 20533125 17.81 19.25 --
393.80/393.87 c S st 375 104821 93966 55667 1766217 37780 2930274 25941722 17.65 no data --
394.70/394.75 c S st 375 105321 93965 55667 1766277 38218 2930274 26026376 17.65 no data --
394.80/394.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
394.91/394.93 c Cache BProp: 6112 Set: 0 BXProp: 0 T: 0.08
411.20/411.28 c Flit: 151 Blit: 112 bXBeca: 0 bXProp: 20 Bins: 191473 BRemL: 4 BRemN: 651 P: 200.0M T: 16.30
411.20/411.29 c Cleaning up after failed var search: 0.00 s
411.70/411.77 c Replacing 21 vars Replaced 2839 lits Time: 0.48 s
413.41/413.40 c bin-w-bin subsume rem 143 bins time: 0.18 s
414.91/414.97 c subs with bin: 0 lits-rem: 77 v-fix: 0 time: 1.57 s
415.31/415.36 c Subs w/ non-existent bins: 7 l-rem: 402 v-fix: 0 done: 966 time: 0.39 s
415.50/415.59 c Removed useless bin: 13509 fixed: 0 props: 20.00M time: 0.23 s
477.61/477.67 c lits-rem: 40 cl-subs: 486 v-elim: 0 v-fix: 0 time: 62.08 s
477.81/477.81 c vivif2 -- cl tried 55474 cl shrink 16 lits rem 89 time: 0.14
479.72/479.79 c vivif2 -- cl tried 37681 cl shrink 10078 lits rem 4520323 time: 1.96
480.11/480.13 c asymm cl-useful: 2/846/55474 lits-rem:16 time: 0.34
481.11/481.15 c calculated reachability. Time: 0.97
481.11/481.15 c N dy 375 105321 93644 55474 1932512 37305 2890705 21451324 17.65 no data --
483.91/483.92 c Finding binary XORs T: 2.78 s found: 39
503.31/503.34 c N dy 404 112239 93642 55474 1932662 22538 2890705 2863235 17.54 19.44 --
520.91/520.95 c N dy 422 119594 93642 55474 1932845 29698 2890705 10446268 17.26 26.83 --
541.11/541.11 c N dy 449 127272 93638 55474 1933011 37183 2890705 18801934 17.11 37.20 --
560.91/560.93 c N dy 488 135638 93634 55474 1933194 45343 2890705 27278121 17.07 18.46 --
580.61/580.62 c N dy 517 144452 93631 55474 1933441 33494 2890705 10294680 16.83 17.93 --
603.92/603.98 c N dy 556 153893 93629 55474 1933634 42724 2890705 21223782 16.71 18.20 --
615.71/615.77 c S st 571 157981 93629 55474 1933675 46761 2890705 27212293 16.65 16.37 --
616.71/616.75 c S st 571 158481 93627 55474 1933718 47216 2890705 27305076 16.65 no data --
616.82/616.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
616.92/616.95 c Cache BProp: 3351 Set: 0 BXProp: 0 T: 0.09
628.22/628.27 c Flit: 85 Blit: 25 bXBeca: 0 bXProp: 0 Bins: 80953 BRemL: 48 BRemN: 327 P: 200.1M T: 11.23
628.22/628.27 c Cleaning up after failed var search: 0.00 s
629.01/629.02 c Replacing 39 vars Replaced 12218 lits Time: 0.74 s
630.72/630.79 c bin-w-bin subsume rem 148 bins time: 0.19 s
632.32/632.32 c subs with bin: 1 lits-rem: 160 v-fix: 0 time: 1.52 s
632.72/632.72 c Subs w/ non-existent bins: 13 l-rem: 588 v-fix: 0 done: 1254 time: 0.40 s
632.92/632.96 c Removed useless bin: 11442 fixed: 0 props: 20.00M time: 0.23 s
715.13/715.12 c lits-rem: 10 cl-subs: 638 v-elim: 5 v-fix: 0 time: 82.16 s
715.22/715.28 c vivif2 -- cl tried 55414 cl shrink 28 lits rem 113 time: 0.16
717.33/717.37 c vivif2 -- cl tried 46545 cl shrink 10471 lits rem 4695790 time: 2.07
717.72/717.78 c asymm cl-useful: 1/444/55413 lits-rem:1 time: 0.41
718.92/718.94 c calculated reachability. Time: 1.12
718.92/718.94 c N dy 571 158481 93464 55413 1994704 46353 2862719 22460581 16.65 no data --
722.12/722.14 c Finding binary XORs T: 3.20 s found: 16
745.42/745.48 c N dy 600 168620 93461 55413 1994988 34919 2862719 6574761 16.44 17.64 --
772.52/772.56 c N dy 629 179455 93460 55413 1995199 45526 2862719 18134522 16.22 18.58 --
806.72/806.79 c N dy 679 191166 93458 55413 1995425 35108 2862719 3546656 16.17 17.16 --
837.02/837.07 c N dy 724 203555 93456 55413 1995724 47160 2862719 15959909 16.04 18.27 --
868.92/868.97 c N dy 763 216705 93449 55413 1995956 60048 2862719 29920048 15.90 16.96 --
904.63/904.62 c N dy 816 230609 93447 55413 1996201 50745 2862719 15946090 15.85 16.69 --
920.63/920.65 c S st 841 237725 93445 55413 1996368 57671 2862719 22261222 15.78 9.92 --
921.63/921.61 c S st 841 238226 93445 55413 1996391 58149 2862719 22344523 15.78 no data --
921.73/921.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
921.83/921.81 c Cache BProp: 3347 Set: 4 BXProp: 0 T: 0.10
931.63/931.68 c Flit: 28 Blit: 3 bXBeca: 0 bXProp: 0 Bins: 39867 BRemL: 0 BRemN: 314 P: 200.0M T: 9.78
932.03/932.04 c Replacing 16 vars Replaced 8712 lits Time: 0.35 s
933.42/933.46 c bin-w-bin subsume rem 70 bins time: 0.19 s
935.13/935.15 c subs with bin: 1 lits-rem: 38 v-fix: 0 time: 1.68 s
935.43/935.42 c Subs w/ non-existent bins: 2 l-rem: 383 v-fix: 0 done: 247 time: 0.27 s
935.63/935.64 c Removed useless bin: 5390 fixed: 0 props: 20.01M time: 0.22 s
996.93/996.96 c lits-rem: 214 cl-subs: 690 v-elim: 1 v-fix: 0 time: 61.32 s
997.13/997.14 c vivif2 -- cl tried 55391 cl shrink 18 lits rem 245 time: 0.18
999.13/999.19 c vivif2 -- cl tried 57422 cl shrink 9688 lits rem 3944507 time: 2.03
999.63/999.60 c asymm cl-useful: 1/341/55391 lits-rem:1 time: 0.42
1000.93/1000.97 c calculated reachability. Time: 1.33
1000.93/1000.97 c N dy 841 238226 93393 55391 2027604 57184 2849300 18280010 15.78 no data --
1004.63/1004.69 c Finding binary XORs T: 3.71 s found: 9
1046.33/1046.35 c N dy 901 253887 93389 55391 2027936 48680 2849300 10570639 15.68 16.54 --
1084.44/1084.48 c N dy 967 270139 93383 55391 2028211 64620 2849300 27534297 15.60 16.79 --
1126.34/1126.35 c N dy 1041 287413 93374 55391 2028499 56630 2849300 12446452 15.52 16.43 --
1172.14/1172.17 c N dy 1119 305914 93372 55391 2028825 74757 2849300 29928138 15.42 17.71 --
1173.24/1173.21 c F st 1120 306250 93372 55391 2028830 75088 2849300 30273245 15.42 14.95 --
1173.64/1173.66 c Replacing 9 vars Replaced 4328 lits Time: 0.33 s
1230.54/1230.55 c N dy 1187 325474 93361 55379 2024472 67993 2848498 19366151 15.35 16.21 --
1281.75/1281.76 c N dy 1281 346542 93355 55379 2024812 62208 2848498 7968108 15.31 16.35 --
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-3284783-1303763031/watcher-3284783-1303763031 -o /tmp/evaluation-result-3284783-1303763031/solver-3284783-1303763031 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3284783-1303763031.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: 2.35 1.56 1.98 5/189 16860
/proc/meminfo: memFree=12808012/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=10612 CPUtime=0 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) S 16858 16860 15473 0 -1 4194304 102 0 0 0 0 0 0 0 23 0 1 0 468718873 10866688 57 33554432000 4194304 4650387 140736499067008 18446744073709551615 270333460103 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/16860/statm: 2653 57 43 112 0 45 0
[startup+0.101461 s]
/proc/loadavg: 2.35 1.56 1.98 5/189 16860
/proc/meminfo: memFree=12808012/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=45592 CPUtime=0.08 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 4953 0 0 0 8 0 0 0 23 0 1 0 468718873 46686208 3858 33554432000 4194304 4650387 140736499067008 18446744073709551615 270338044613 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 11398 3859 330 112 0 6363 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45592
[startup+0.200446 s]
/proc/loadavg: 2.35 1.56 1.98 5/189 16860
/proc/meminfo: memFree=12808012/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=60640 CPUtime=0.18 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 9443 0 0 0 17 1 0 0 24 0 1 0 468718873 62095360 8294 33554432000 4194304 4650387 140736499067008 18446744073709551615 4545840 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 15160 8294 330 112 0 10125 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 60640
[startup+0.300439 s]
/proc/loadavg: 2.35 1.56 1.98 5/189 16860
/proc/meminfo: memFree=12808012/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=83240 CPUtime=0.28 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 15325 0 0 0 26 2 0 0 25 0 1 0 468718873 85237760 13097 33554432000 4194304 4650387 140736499067008 18446744073709551615 270338048943 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 20810 13097 330 112 0 15775 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 83240
[startup+0.700357 s]
/proc/loadavg: 2.35 1.56 1.98 5/189 16860
/proc/meminfo: memFree=12808012/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=127124 CPUtime=0.69 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 27642 0 0 0 64 5 0 0 25 0 1 0 468718873 130174976 23247 33554432000 4194304 4650387 140736499067008 18446744073709551615 4369049 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 31781 23247 347 112 0 26746 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127124
[startup+1.50019 s]
/proc/loadavg: 2.48 1.60 1.99 5/187 16864
/proc/meminfo: memFree=13032096/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=182568 CPUtime=1.48 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 38278 0 0 0 143 5 0 0 25 0 1 0 468718873 186949632 32923 33554432000 4194304 4650387 140736499067008 18446744073709551615 4243590 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 45642 32923 353 112 0 40607 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 182568
[startup+3.10087 s]
/proc/loadavg: 2.48 1.60 1.99 5/187 16882
/proc/meminfo: memFree=12995252/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=283608 CPUtime=3.08 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 56770 0 0 0 300 8 0 0 25 0 1 0 468718873 290414592 51415 33554432000 4194304 4650387 140736499067008 18446744073709551615 4369032 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 70902 51415 353 112 0 65867 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 283608
[startup+6.30022 s]
/proc/loadavg: 2.60 1.64 2.00 5/187 16882
/proc/meminfo: memFree=12704124/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=521120 CPUtime=6.29 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 102640 0 0 0 615 14 0 0 25 0 1 0 468718873 533626880 97285 33554432000 4194304 4650387 140736499067008 18446744073709551615 4370201 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 130280 97285 353 112 0 125245 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 521120
[startup+12.7009 s]
/proc/loadavg: 2.71 1.68 2.01 5/190 16888
/proc/meminfo: memFree=12016608/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=582452 CPUtime=12.69 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 117351 0 0 0 1253 16 0 0 25 0 1 0 468718873 596430848 111996 33554432000 4194304 4650387 140736499067008 18446744073709551615 4348700 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 145613 111996 379 112 0 140578 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 582452
[startup+25.5004 s]
/proc/loadavg: 2.91 1.76 2.03 5/190 16889
/proc/meminfo: memFree=11556936/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=638900 CPUtime=25.49 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 126219 0 0 0 2531 18 0 0 25 0 1 0 468718873 654233600 120864 33554432000 4194304 4650387 140736499067008 18446744073709551615 4315185 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 159725 120864 379 112 0 154690 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 638900
[startup+51.1003 s]
/proc/loadavg: 3.34 1.97 2.09 5/190 16889
/proc/meminfo: memFree=11261096/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=736696 CPUtime=51.08 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 146061 0 0 0 5087 21 0 0 25 0 1 0 468718873 754376704 140706 33554432000 4194304 4650387 140736499067008 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 184174 140706 379 112 0 179139 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 736696
[startup+102.301 s]
/proc/loadavg: 3.74 2.28 2.19 5/190 16948
/proc/meminfo: memFree=10905164/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=740940 CPUtime=102.29 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 178850 0 0 0 10203 26 0 0 25 0 1 0 468718873 758722560 150091 33554432000 4194304 4650387 140736499067008 18446744073709551615 4230695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 185235 150091 383 112 0 180200 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 740940
[startup+162.3 s]
/proc/loadavg: 3.90 2.59 2.30 5/190 16949
/proc/meminfo: memFree=9734488/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=1720836 CPUtime=162.29 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 389135 0 0 0 16178 51 0 0 25 0 1 0 468718873 1762136064 360376 33554432000 4194304 4650387 140736499067008 18446744073709551615 4364912 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 430209 360376 383 112 0 425174 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1720836
[startup+222.306 s]
/proc/loadavg: 3.96 2.85 2.40 5/190 16951
/proc/meminfo: memFree=8554280/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=2090300 CPUtime=222.3 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 498988 0 0 0 22166 64 0 0 25 0 1 0 468718873 2140467200 435999 33554432000 4194304 4650387 140736499067008 18446744073709551615 4314847 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 522575 435999 383 112 0 517540 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 2090300
[startup+282.3 s]
/proc/loadavg: 3.98 3.05 2.50 5/190 16953
/proc/meminfo: memFree=7796088/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=2211888 CPUtime=282.3 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 550789 0 0 0 28158 72 0 0 25 0 1 0 468718873 2264973312 454687 33554432000 4194304 4650387 140736499067008 18446744073709551615 4370254 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 552972 454687 383 112 0 547937 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2211888
[startup+342.301 s]
/proc/loadavg: 4.10 3.25 2.60 5/190 16954
/proc/meminfo: memFree=6861512/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=2446104 CPUtime=342.31 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 633782 0 0 0 34148 83 0 0 25 0 1 0 468718873 2504810496 508104 33554432000 4194304 4650387 140736499067008 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 611526 508104 383 112 0 606491 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 2446104
[startup+402.301 s]
/proc/loadavg: 4.04 3.39 2.69 5/190 16956
/proc/meminfo: memFree=6515844/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=2585796 CPUtime=402.31 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 659641 0 0 0 40144 87 0 0 25 0 1 0 468718873 2647855104 533963 33554432000 4194304 4650387 140736499067008 18446744073709551615 4230600 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 646449 533963 383 112 0 641414 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 2585796
[startup+462.301 s]
/proc/loadavg: 4.01 3.50 2.77 5/190 16957
/proc/meminfo: memFree=5670000/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=2987024 CPUtime=462.31 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 747374 0 0 0 46133 98 0 0 25 0 1 0 468718873 3058712576 621696 33554432000 4194304 4650387 140736499067008 18446744073709551615 4476487 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 746756 621696 383 112 0 741721 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2987024
[startup+522.301 s]
/proc/loadavg: 4.00 3.58 2.84 5/190 16959
/proc/meminfo: memFree=4717416/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=2934524 CPUtime=522.31 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 781017 0 0 0 52128 103 0 0 25 0 1 0 468718873 3004952576 609687 33554432000 4194304 4650387 140736499067008 18446744073709551615 4331058 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 733631 609687 383 112 0 728596 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2934524
[startup+582.301 s]
/proc/loadavg: 4.00 3.66 2.91 5/190 16961
/proc/meminfo: memFree=3853672/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=2950756 CPUtime=582.31 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 807516 0 0 0 58123 108 0 0 25 0 1 0 468718873 3021574144 613377 33554432000 4194304 4650387 140736499067008 18446744073709551615 4328243 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 737689 613379 383 112 0 732654 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2950756
[startup+642.301 s]
/proc/loadavg: 4.04 3.73 2.98 5/190 16962
/proc/meminfo: memFree=3338812/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3366196 CPUtime=642.32 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 897010 0 0 0 64109 123 0 0 25 0 1 0 468718873 3446984704 702871 33554432000 4194304 4650387 140736499067008 18446744073709551615 4476169 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 841549 702871 383 112 0 836514 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 3366196
[startup+702.301 s]
/proc/loadavg: 4.01 3.78 3.04 5/190 16964
/proc/meminfo: memFree=3338896/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3366196 CPUtime=702.32 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 897010 0 0 0 70109 123 0 0 25 0 1 0 468718873 3446984704 702871 33554432000 4194304 4650387 140736499067008 18446744073709551615 4476470 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 841549 702871 383 112 0 836514 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 3366196
[startup+762.301 s]
/proc/loadavg: 4.00 3.82 3.10 5/190 16965
/proc/meminfo: memFree=3086492/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3319312 CPUtime=762.33 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 931770 0 0 0 76104 129 0 0 25 0 1 0 468718873 3398975488 693977 33554432000 4194304 4650387 140736499067008 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 829828 693977 383 112 0 824793 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 3319312
[startup+822.3 s]
/proc/loadavg: 4.07 3.86 3.16 5/190 16967
/proc/meminfo: memFree=2630296/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3336268 CPUtime=822.32 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 956490 0 0 0 82098 134 0 0 25 0 1 0 468718873 3416338432 694031 33554432000 4194304 4650387 140736499067008 18446744073709551615 4314982 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 834067 694031 383 112 0 829032 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 3336268
[startup+882.307 s]
/proc/loadavg: 4.06 3.90 3.21 5/190 16969
/proc/meminfo: memFree=2531780/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3353824 CPUtime=882.33 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 982580 0 0 0 88093 140 0 0 25 0 1 0 468718873 3434315776 694624 33554432000 4194304 4650387 140736499067008 18446744073709551615 4331951 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 838456 694624 383 112 0 833421 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 3353824
[startup+942.3 s]
/proc/loadavg: 4.02 3.91 3.26 5/190 16970
/proc/meminfo: memFree=2156000/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3759228 CPUtime=942.33 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 1065476 0 0 0 94079 154 0 0 25 0 1 0 468718873 3849449472 777520 33554432000 4194304 4650387 140736499067008 18446744073709551615 4476153 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 939807 777520 383 112 0 934772 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 3759228
[startup+1002.3 s]
/proc/loadavg: 4.01 3.93 3.30 5/190 16972
/proc/meminfo: memFree=2128896/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3759228 CPUtime=1002.33 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 1078598 0 0 0 100078 155 0 0 25 0 1 0 468718873 3849449472 790642 33554432000 4194304 4650387 140736499067008 18446744073709551615 4528847 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 939807 790642 383 112 0 934772 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3759228
[startup+1062.3 s]
/proc/loadavg: 4.00 3.94 3.34 5/190 16973
/proc/meminfo: memFree=1769808/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3708860 CPUtime=1062.34 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 1104648 0 0 0 106072 162 0 0 25 0 1 0 468718873 3797872640 776804 33554432000 4194304 4650387 140736499067008 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 927215 776804 383 112 0 922180 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 3708860
[startup+1122.3 s]
/proc/loadavg: 4.07 3.96 3.39 5/190 16975
/proc/meminfo: memFree=1741944/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3726020 CPUtime=1122.34 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 1132054 0 0 0 112065 169 0 0 25 0 1 0 468718873 3815444480 774039 33554432000 4194304 4650387 140736499067008 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 931505 774039 383 112 0 926470 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 3726020
[startup+1182.3 s]
/proc/loadavg: 4.02 3.97 3.42 5/190 16977
/proc/meminfo: memFree=1653576/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3791564 CPUtime=1182.34 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 1153113 0 0 0 118060 174 0 0 25 0 1 0 468718873 3882561536 795098 33554432000 4194304 4650387 140736499067008 18446744073709551615 4365022 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 947891 795098 383 112 0 942856 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 3791564
[startup+1242.3 s]
/proc/loadavg: 4.01 3.97 3.46 5/190 16978
/proc/meminfo: memFree=1569284/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3810876 CPUtime=1242.35 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 1176441 0 0 0 124056 179 0 0 25 0 1 0 468718873 3902337024 791377 33554432000 4194304 4650387 140736499067008 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 952719 791377 383 112 0 947684 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 3810876
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.61 3.88 3.45 4/184 16998
/proc/meminfo: memFree=3156280/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=3745332 CPUtime=1300.05 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4202496 1195912 0 0 0 129820 185 0 0 25 0 1 0 468718873 3835219968 782765 33554432000 4194304 4650387 140736499067008 18446744073709551615 4315038 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16860/statm: 936333 782765 383 112 0 931298 0
Current children cumulated CPU time (s) 1300.05
Current children cumulated vsize (KiB) 3745332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.11 s]
/proc/loadavg: 3.61 3.88 3.45 4/184 16998
/proc/meminfo: memFree=3156280/32951124 swapFree=67111528/67111528
[pid=16860] ppid=16858 vsize=0 CPUtime=1300.15 cores=4,6
/proc/16860/stat : 16860 (strangenight1-s) R 16858 16860 15473 0 -1 4203524 1195912 0 0 0 129820 195 0 0 25 0 1 0 468718873 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16860/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.13
CPU time (s): 1300.19
CPU user time (s): 1298.21
CPU system time (s): 1.9777
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3824772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.21
system time used= 1.9777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1195912
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= 6
involuntary context switches= 939
runsolver used 2.25566 second user time and 4.85726 second system time
The end
Begin job on node143 at 2011-04-25 22:23:53
IDJOB=3284783
IDBENCH=82363
IDSOLVER=1589
FILE ID=node143/3284783-1303763031
RUNJOBID= node143-1303762995-16710
PBS_JOBID= 13154066
Free space on /tmp= 72248 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284783-1303763031/watcher-3284783-1303763031 -o /tmp/evaluation-result-3284783-1303763031/solver-3284783-1303763031 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3284783-1303763031.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=1294742869
node143.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 : 5226.15
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.74
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.83
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.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.74
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 12808044 kB
Buffers: 2276488 kB
Cached: 16118104 kB
SwapCached: 0 kB
Active: 8091708 kB
Inactive: 11488960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12808044 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 101492 kB
Writeback: 0 kB
AnonPages: 1185288 kB
Mapped: 16540 kB
Slab: 494560 kB
PageTables: 7672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1585940 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= 72156 MiB
End job on node143 at 2011-04-25 22:45:35