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-3284875-1303763103.cnf'
0.00/0.00 c -- header says num vars: 131484
0.00/0.00 c -- header says num clauses: 2120376
0.38/0.47 c -- clauses added: 0 learnts, 2120376 normals, 0 xors
0.38/0.47 c -- vars added 131484
0.38/0.47 c Parsing time: 0.42 s
0.38/0.47 c N st 0 0 131484 61722 1684996 0 3992465 0 no data no data --
0.68/0.76 c asymm cl-useful: 550/1122/51648 lits-rem:24294 time: 0.28
6.89/6.91 c Flit: 262 Blit: 9075 bXBeca: 0 bXProp: 503 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 6.01
6.89/6.94 c Cleaning up after failed var search: 0.03 s
6.89/6.99 c Replacing 503 vars Replaced 29208 lits Time: 0.05 s
7.08/7.16 c bin-w-bin subsume rem 734 bins time: 0.10 s
7.28/7.39 c subs with bin: 33 lits-rem: 151 v-fix: 0 time: 0.23 s
10.59/10.60 c Subs w/ non-existent bins: 0 l-rem: 303 v-fix: 0 done: 29502 time: 3.21 s
10.69/10.77 c Removed useless bin: 4124 fixed: 0 props: 20.00M time: 0.16 s
11.00/11.09 c lits-rem: 0 cl-subs: 80 v-elim: 13 v-fix: 0 time: 0.33 s
11.59/11.64 c Finding binary XORs T: 0.54 s found: 195
11.59/11.68 c Replacing 195 vars Replaced 9322 lits Time: 0.04 s
11.89/11.90 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
11.89/11.90 c calculated reachability. Time: 0.17
11.89/11.92 c Calc default polars - time: 0.02 s pos: 2561 undec: 52218 neg: 76705
11.89/11.92 c =========================================================================================
11.89/11.92 c types(t): F = full restart, N = normal restart
11.89/11.92 c types(t): S = simplification begin/end, E = solution found
11.89/11.92 c restart types(rt): st = static, dy = dynamic
11.89/11.92 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
11.89/11.92 c B st 0 0 79273 46662 1051369 0 2532385 0 no data no data --
20.59/20.67 c N dy 9 4179 79273 46662 1051459 4077 2532385 4820772 24.11 25.46 --
29.29/29.34 c N dy 29 8313 79272 46662 1051590 8069 2532385 9367177 24.61 27.06 --
39.89/39.92 c N dy 42 12342 79271 46662 1051742 11938 2532385 14445368 22.56 49.89 --
49.40/49.46 c N dy 54 16486 79269 46662 1051827 15987 2532385 19164545 20.93 22.22 --
58.89/58.92 c N dy 71 20537 79267 46662 1051922 10224 2532385 2607230 21.37 22.95 --
67.68/67.77 c N dy 90 24677 79267 46662 1051994 14282 2532385 8066795 21.15 22.46 --
68.39/68.45 c F st 91 25000 79267 46662 1051997 14602 2532385 8501034 21.07 16.87 --
84.79/84.83 c N dy 97 30001 79265 46662 1052025 19495 2532226 18418275 21.07 no data --
84.79/84.83 c S st 97 30001 79265 46662 1052025 19495 2532226 18418275 21.07 no data --
85.49/85.57 c S st 97 30502 79263 46662 1052061 19955 2532226 18496198 21.07 no data --
85.59/85.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
85.59/85.67 c Cache BProp: 7130 Set: 165 BXProp: 0 T: 0.03
104.59/104.69 c Flit: 413 Blit: 1793 bXBeca: 0 bXProp: 129 Bins: 147384 BRemL: 0 BRemN: 682 P: 200.0M T: 18.90
104.69/104.79 c Cleaning up after failed var search: 0.10 s
105.29/105.33 c Replacing 130 vars Replaced 36670 lits Time: 0.53 s
106.69/106.78 c bin-w-bin subsume rem 557 bins time: 0.09 s
108.19/108.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.44 s
108.29/108.38 c Subs w/ non-existent bins: 1 l-rem: 320 v-fix: 0 done: 319 time: 0.16 s
108.59/108.62 c Removed useless bin: 50346 fixed: 0 props: 20.00M time: 0.24 s
135.89/135.92 c lits-rem: 252 cl-subs: 535 v-elim: 6 v-fix: 0 time: 27.30 s
136.19/136.24 c asymm cl-useful: 11/704/45591 lits-rem:22 time: 0.32
136.60/136.65 c calculated reachability. Time: 0.39
136.60/136.65 c N dy 97 30502 76576 45591 1096805 19383 2334520 17975280 21.07 no data --
137.70/137.79 c Finding binary XORs T: 1.14 s found: 57
147.99/148.02 c N dy 107 36043 76571 45591 1097013 24705 2334520 23029662 19.64 20.88 --
157.50/157.54 c N dy 126 40209 76565 45591 1097150 28720 2334520 27232484 19.58 22.33 --
164.91/164.92 c N dy 139 44294 76559 45591 1097284 17688 2334520 4693484 19.13 20.39 --
167.40/167.42 c S st 148 45753 76558 45591 1097318 19109 2334520 6023720 19.07 12.41 --
168.10/168.16 c S st 148 46254 76558 45591 1097357 19570 2334520 6137323 19.07 no data --
168.20/168.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
168.20/168.27 c Cache BProp: 6723 Set: 4 BXProp: 0 T: 0.05
178.99/179.02 c Flit: 283 Blit: 181 bXBeca: 0 bXProp: 21 Bins: 85428 BRemL: 0 BRemN: 372 P: 200.1M T: 10.70
178.99/179.02 c Cleaning up after failed var search: 0.00 s
179.20/179.25 c Replacing 79 vars Replaced 10226 lits Time: 0.22 s
179.59/179.68 c bin-w-bin subsume rem 138 bins time: 0.09 s
181.09/181.13 c subs with bin: 15 lits-rem: 333 v-fix: 0 time: 1.45 s
181.41/181.46 c Subs w/ non-existent bins: 7 l-rem: 451 v-fix: 0 done: 1331 time: 0.33 s
181.60/181.67 c Removed useless bin: 5777 fixed: 0 props: 20.00M time: 0.20 s
183.71/183.71 c lits-rem: 117 cl-subs: 252 v-elim: 1 v-fix: 0 time: 2.04 s
183.80/183.80 c vivif2 -- cl tried 45347 cl shrink 280 lits rem 2513 time: 0.09
184.20/184.26 c vivif2 -- cl tried 19246 cl shrink 4817 lits rem 702789 time: 0.46
184.59/184.62 c asymm cl-useful: 297/437/45311 lits-rem:4561 time: 0.36
185.09/185.14 c calculated reachability. Time: 0.50
185.09/185.15 c N dy 148 46254 75999 45311 1166041 19054 2296755 5478993 19.07 no data --
186.59/186.62 c Finding binary XORs T: 1.44 s found: 52
198.89/198.97 c N dy 166 50363 75997 45311 1166124 23064 2296739 10483696 18.81 19.91 --
208.80/208.81 c N dy 187 54379 75993 45311 1166185 27012 2296739 15458448 18.90 20.61 --
219.10/219.10 c N dy 204 58481 75991 45311 1166277 31007 2296739 20525063 18.76 19.85 --
228.60/228.68 c N dy 215 62550 75984 45311 1166404 34930 2296739 25325039 18.38 19.70 --
240.50/240.59 c N dy 228 67341 75983 45311 1166490 21585 2296739 5706763 18.01 19.20 --
246.50/246.51 c S st 239 69381 75983 45311 1166513 23599 2296739 8457457 18.01 no data --
247.20/247.21 c S st 239 69884 75982 45311 1166544 24070 2296739 8554846 18.01 no data --
247.20/247.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
247.30/247.33 c Cache BProp: 5902 Set: 0 BXProp: 0 T: 0.06
259.00/259.01 c Flit: 172 Blit: 161 bXBeca: 0 bXProp: 23 Bins: 100935 BRemL: 0 BRemN: 343 P: 200.0M T: 11.60
259.00/259.01 c Cleaning up after failed var search: 0.00 s
259.30/259.35 c Replacing 75 vars Replaced 10801 lits Time: 0.34 s
259.90/259.90 c bin-w-bin subsume rem 202 bins time: 0.11 s
261.30/261.38 c subs with bin: 2 lits-rem: 647 v-fix: 0 time: 1.48 s
261.60/261.61 c Subs w/ non-existent bins: 0 l-rem: 444 v-fix: 0 done: 658 time: 0.23 s
261.80/261.83 c Removed useless bin: 13612 fixed: 0 props: 20.00M time: 0.22 s
265.10/265.13 c lits-rem: 105 cl-subs: 297 v-elim: 0 v-fix: 0 time: 3.30 s
265.20/265.23 c vivif2 -- cl tried 45102 cl shrink 33 lits rem 380 time: 0.10
265.80/265.89 c vivif2 -- cl tried 23602 cl shrink 4684 lits rem 1124937 time: 0.65
266.20/266.21 c asymm cl-useful: 0/869/45102 lits-rem:0 time: 0.32
266.80/266.85 c calculated reachability. Time: 0.61
266.80/266.85 c N dy 239 69884 75537 45102 1241488 23405 2253994 7520921 18.01 no data --
268.60/268.66 c Finding binary XORs T: 1.77 s found: 46
282.90/282.90 c N dy 258 74461 75529 45102 1241598 27852 2253968 13498778 17.78 19.36 --
291.90/291.94 c N dy 273 79306 75529 45102 1241753 32524 2253968 17762245 17.56 36.53 --
310.90/310.95 c N dy 290 84399 75528 45102 1241844 37518 2253968 24104886 17.37 21.75 --
320.71/320.75 c F st 309 87500 75527 45102 1241893 20573 2253968 1724076 17.45 no data --
320.81/320.84 c Replacing 46 vars Replaced 5158 lits Time: 0.07 s
401.71/401.77 c N st 314 90796 75481 45098 1241565 23754 2253373 7749758 17.45 no data --
421.31/421.33 c N dy 334 96901 75481 45098 1241679 29737 2253373 17416593 17.32 18.65 --
436.90/436.93 c N dy 359 103089 75478 45098 1241817 35761 2253373 24587020 17.24 22.77 --
460.21/460.22 c S st 364 104826 75478 45098 1241833 37481 2253373 26866327 17.15 no data --
461.01/461.07 c S st 364 105329 75478 45098 1241875 37941 2253373 26955999 17.15 no data --
461.11/461.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
461.21/461.22 c Cache BProp: 2779 Set: 0 BXProp: 0 T: 0.06
471.51/471.54 c Flit: 101 Blit: 44 bXBeca: 0 bXProp: 0 Bins: 64583 BRemL: 0 BRemN: 366 P: 200.0M T: 10.25
471.51/471.54 c Cleaning up after failed var search: 0.00 s
471.81/471.90 c Replacing 1 vars Replaced 643 lits Time: 0.35 s
473.60/473.62 c bin-w-bin subsume rem 159 bins time: 0.11 s
475.21/475.25 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 1.63 s
475.41/475.43 c Subs w/ non-existent bins: 1 l-rem: 337 v-fix: 0 done: 279 time: 0.18 s
475.61/475.66 c Removed useless bin: 20617 fixed: 0 props: 20.02M time: 0.23 s
579.52/579.58 c lits-rem: 7 cl-subs: 579 v-elim: 2 v-fix: 0 time: 103.92 s
579.62/579.69 c vivif2 -- cl tried 45035 cl shrink 27 lits rem 191 time: 0.11
581.82/581.80 c vivif2 -- cl tried 37339 cl shrink 9281 lits rem 4925688 time: 2.08
582.12/582.16 c asymm cl-useful: 3/369/45034 lits-rem:3 time: 0.36
582.92/582.98 c calculated reachability. Time: 0.79
582.92/582.98 c N dy 364 105329 75324 45034 1283995 37067 2207060 21771094 17.15 no data --
585.32/585.33 c Finding binary XORs T: 2.28 s found: 5
604.02/604.09 c N dy 383 112135 75321 45030 1283842 22194 2206817 1983366 16.91 24.31 --
623.92/623.92 c N dy 404 119437 75319 45030 1283978 29335 2206816 9460898 16.69 20.02 --
654.82/654.88 c N dy 433 127234 75318 45030 1284192 36892 2206816 17121021 16.56 17.54 --
683.82/683.83 c N dy 464 135528 75313 45030 1284349 44997 2206816 24825890 16.40 17.69 --
710.92/710.95 c N dy 493 144275 75310 45030 1284550 33041 2206816 10800712 16.26 18.75 --
741.43/741.45 c N dy 532 153646 75308 45030 1284724 42210 2206816 20552706 16.26 18.05 --
771.72/771.74 c S st 543 157996 75306 45030 1284856 46417 2206816 24644277 16.20 13.09 --
772.42/772.45 c S st 543 158496 75306 45030 1284891 46880 2206816 24697772 16.20 no data --
772.53/772.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
772.63/772.61 c Cache BProp: 2800 Set: 1 BXProp: 0 T: 0.07
782.62/782.61 c Flit: 154 Blit: 17 bXBeca: 0 bXProp: 14 Bins: 50712 BRemL: 0 BRemN: 283 P: 200.0M T: 9.97
782.62/782.61 c Cleaning up after failed var search: 0.00 s
783.42/783.42 c Replacing 20 vars Replaced 8539 lits Time: 0.80 s
784.82/784.86 c bin-w-bin subsume rem 82 bins time: 0.12 s
786.53/786.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.70 s
786.72/786.78 c Subs w/ non-existent bins: 3 l-rem: 391 v-fix: 0 done: 577 time: 0.21 s
787.02/787.03 c Removed useless bin: 27728 fixed: 0 props: 20.01M time: 0.25 s
899.33/899.40 c lits-rem: 63 cl-subs: 722 v-elim: 2 v-fix: 0 time: 112.37 s
899.53/899.52 c vivif2 -- cl tried 44885 cl shrink 12 lits rem 121 time: 0.12
901.53/901.56 c vivif2 -- cl tried 46078 cl shrink 12601 lits rem 5105297 time: 2.02
901.94/901.93 c asymm cl-useful: 2/353/44885 lits-rem:2 time: 0.37
902.83/902.81 c calculated reachability. Time: 0.85
902.83/902.81 c N dy 543 158496 75087 44885 1298822 45859 2141879 19334983 16.20 no data --
905.24/905.29 c Finding binary XORs T: 2.48 s found: 44
944.43/944.44 c N dy 584 168666 75083 44885 1299120 34353 2141879 7814792 16.09 17.87 --
1018.73/1018.71 c N dy 616 179477 75078 44885 1299376 44879 2141879 18120953 15.89 17.13 --
1077.14/1077.17 c N dy 665 191301 75073 44885 1299621 34401 2141879 2656755 15.81 17.01 --
1127.74/1127.73 c N dy 718 203599 75070 44885 1299848 46454 2141879 12814375 15.68 40.40 --
1213.44/1213.49 c N dy 767 217342 75068 44885 1300061 59955 2141879 25209069 15.57 17.29 --
1263.24/1263.26 c N dy 809 231563 75068 44885 1300354 50459 2141879 12150511 15.39 16.20 --
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-3284875-1303763103/watcher-3284875-1303763103 -o /tmp/evaluation-result-3284875-1303763103/solver-3284875-1303763103 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3284875-1303763103.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.44 2.08 2.13 5/189 16919
/proc/meminfo: memFree=12158604/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=21744 CPUtime=0 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 751 0 0 0 0 0 0 0 22 0 1 0 468726066 22265856 690 33554432000 4194304 4650387 140734659821152 18446744073709551615 4316932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 5436 692 326 112 0 401 0
[startup+0.0346009 s]
/proc/loadavg: 3.44 2.08 2.13 5/189 16919
/proc/meminfo: memFree=12158604/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=34332 CPUtime=0.02 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 1906 0 0 0 2 0 0 0 22 0 1 0 468726066 35155968 1614 33554432000 4194304 4650387 140734659821152 18446744073709551615 4547405 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 8583 1614 330 112 0 3548 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 34332
[startup+0.100584 s]
/proc/loadavg: 3.44 2.08 2.13 5/189 16919
/proc/meminfo: memFree=12158604/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=45324 CPUtime=0.09 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 4882 0 0 0 9 0 0 0 22 0 1 0 468726066 46411776 3786 33554432000 4194304 4650387 140734659821152 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 11331 3786 330 112 0 6296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45324
[startup+0.300549 s]
/proc/loadavg: 3.44 2.08 2.13 5/189 16919
/proc/meminfo: memFree=12158604/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=77752 CPUtime=0.29 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 14245 0 0 0 27 2 0 0 23 0 1 0 468726066 79618048 12020 33554432000 4194304 4650387 140734659821152 18446744073709551615 270338383616 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 19438 12020 330 112 0 14403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 77752
[startup+0.70047 s]
/proc/loadavg: 3.44 2.08 2.13 5/189 16919
/proc/meminfo: memFree=12158604/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=114952 CPUtime=0.68 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 23951 0 0 0 64 4 0 0 25 0 1 0 468726066 117710848 19598 33554432000 4194304 4650387 140734659821152 18446744073709551615 4370232 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 28738 19598 347 112 0 23703 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 114952
[startup+1.50031 s]
/proc/loadavg: 3.44 2.08 2.13 5/190 16920
/proc/meminfo: memFree=12063364/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=169652 CPUtime=1.48 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 34409 0 0 0 142 6 0 0 25 0 1 0 468726066 173723648 29257 33554432000 4194304 4650387 140734659821152 18446744073709551615 4369368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 42413 29257 353 112 0 37378 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 169652
[startup+3.10099 s]
/proc/loadavg: 3.44 2.08 2.13 5/190 16920
/proc/meminfo: memFree=12009700/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=267204 CPUtime=3.09 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 52004 0 0 0 300 9 0 0 25 0 1 0 468726066 273616896 46852 33554432000 4194304 4650387 140734659821152 18446744073709551615 4370927 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 66801 46852 353 112 0 61766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 267204
[startup+6.30036 s]
/proc/loadavg: 3.49 2.12 2.14 5/190 16920
/proc/meminfo: memFree=11826184/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=502036 CPUtime=6.29 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 96396 0 0 0 614 15 0 0 25 0 1 0 468726066 514084864 91244 33554432000 4194304 4650387 140734659821152 18446744073709551615 4369346 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 125509 91244 353 112 0 120474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 502036
[startup+12.7011 s]
/proc/loadavg: 3.53 2.15 2.14 5/190 16947
/proc/meminfo: memFree=11594800/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=568232 CPUtime=12.69 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 112019 0 0 0 1252 17 0 0 25 0 1 0 468726066 581869568 106867 33554432000 4194304 4650387 140734659821152 18446744073709551615 4366796 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 142058 106867 379 112 0 137023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 568232
[startup+25.5005 s]
/proc/loadavg: 3.63 2.24 2.17 5/190 16948
/proc/meminfo: memFree=10895732/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=626156 CPUtime=25.49 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 121642 0 0 0 2530 19 0 0 25 0 1 0 468726066 641183744 116490 33554432000 4194304 4650387 140734659821152 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 156539 116490 379 112 0 151504 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 626156
[startup+51.1005 s]
/proc/loadavg: 3.81 2.39 2.23 5/190 16948
/proc/meminfo: memFree=9938240/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=716212 CPUtime=51.09 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 139784 0 0 0 5086 23 0 0 25 0 1 0 468726066 733401088 134632 33554432000 4194304 4650387 140734659821152 18446744073709551615 4314969 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 179053 134632 379 112 0 174018 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 716212
[startup+102.306 s]
/proc/loadavg: 3.92 2.64 2.32 5/190 16950
/proc/meminfo: memFree=9513768/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=1068108 CPUtime=102.3 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 239623 0 0 0 10191 39 0 0 25 0 1 0 468726066 1093742592 210415 33554432000 4194304 4650387 140734659821152 18446744073709551615 4371075 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 267027 210415 383 112 0 261992 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1068108
[startup+162.3 s]
/proc/loadavg: 3.97 2.88 2.42 5/190 16951
/proc/meminfo: memFree=8579652/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=1412980 CPUtime=162.29 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 352808 0 0 0 16173 56 0 0 25 0 1 0 468726066 1446891520 295054 33554432000 4194304 4650387 140734659821152 18446744073709551615 4363303 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 353245 295054 383 112 0 348210 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1412980
[startup+222.3 s]
/proc/loadavg: 3.99 3.08 2.52 5/190 16953
/proc/meminfo: memFree=7502536/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=1774036 CPUtime=222.29 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 421158 0 0 0 22162 67 0 0 25 0 1 0 468726066 1816612864 363404 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 443509 363404 383 112 0 438474 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1774036
[startup+282.301 s]
/proc/loadavg: 4.09 3.28 2.62 5/190 16955
/proc/meminfo: memFree=6574260/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=1971652 CPUtime=282.3 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 500374 0 0 0 28149 81 0 0 25 0 1 0 468726066 2018971648 411372 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 492913 411372 383 112 0 487878 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1971652
[startup+342.301 s]
/proc/loadavg: 4.03 3.41 2.70 5/190 16956
/proc/meminfo: memFree=6185136/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=1984124 CPUtime=342.3 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 519345 0 0 0 34145 85 0 0 25 0 1 0 468726066 2031742976 401085 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315048 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 496031 401085 383 112 0 490996 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1984124
[startup+402.301 s]
/proc/loadavg: 4.01 3.51 2.78 5/190 16958
/proc/meminfo: memFree=5624860/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=1984124 CPUtime=402.31 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 523431 0 0 0 40145 86 0 0 25 0 1 0 468726066 2031742976 405171 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315194 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 496031 405171 383 112 0 490996 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1984124
[startup+462.301 s]
/proc/loadavg: 4.00 3.60 2.85 5/190 16959
/proc/meminfo: memFree=4712484/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2049668 CPUtime=462.31 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 541986 0 0 0 46142 89 0 0 25 0 1 0 468726066 2098860032 423726 33554432000 4194304 4650387 140734659821152 18446744073709551615 4230784 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 512417 423726 383 112 0 507382 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2049668
[startup+522.301 s]
/proc/loadavg: 4.00 3.67 2.92 5/190 16961
/proc/meminfo: memFree=3673740/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2648960 CPUtime=522.31 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 669646 0 0 0 52127 104 0 0 25 0 1 0 468726066 2712535040 551386 33554432000 4194304 4650387 140734659821152 18446744073709551615 4476470 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 662240 551386 383 112 0 657205 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2648960
[startup+582.301 s]
/proc/loadavg: 4.04 3.74 2.99 5/190 16963
/proc/meminfo: memFree=3237732/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2714504 CPUtime=582.32 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 687292 0 0 0 58126 106 0 0 25 0 1 0 468726066 2779652096 569032 33554432000 4194304 4650387 140734659821152 18446744073709551615 4302432 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 678626 569032 383 112 0 673591 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 2714504
[startup+642.301 s]
/proc/loadavg: 4.01 3.79 3.05 5/190 16964
/proc/meminfo: memFree=3359652/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2598568 CPUtime=642.32 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 705648 0 0 0 64122 110 0 0 25 0 1 0 468726066 2660933632 540047 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315008 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 649642 540047 383 112 0 644607 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 2598568
[startup+702.3 s]
/proc/loadavg: 4.00 3.82 3.11 5/190 16966
/proc/meminfo: memFree=2705660/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2616076 CPUtime=702.32 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 727287 0 0 0 70117 115 0 0 25 0 1 0 468726066 2678861824 539971 33554432000 4194304 4650387 140734659821152 18446744073709551615 4365445 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 654019 539971 383 112 0 648984 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 2616076
[startup+762.307 s]
/proc/loadavg: 4.06 3.87 3.17 5/190 16967
/proc/meminfo: memFree=2684132/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2681620 CPUtime=762.33 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 741674 0 0 0 76113 120 0 0 25 0 1 0 468726066 2745978880 554358 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315961 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 670405 554358 383 112 0 665370 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 2681620
[startup+822.3 s]
/proc/loadavg: 4.05 3.90 3.22 5/190 16969
/proc/meminfo: memFree=2494580/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2837120 CPUtime=822.33 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 776532 0 0 0 82108 125 0 0 25 0 1 0 468726066 2905210880 589216 33554432000 4194304 4650387 140734659821152 18446744073709551615 4476231 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 709280 589216 383 112 0 704245 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 2837120
[startup+882.3 s]
/proc/loadavg: 4.02 3.92 3.27 5/190 16971
/proc/meminfo: memFree=2137380/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2837120 CPUtime=882.33 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 776532 0 0 0 88108 125 0 0 25 0 1 0 468726066 2905210880 589216 33554432000 4194304 4650387 140734659821152 18446744073709551615 4476487 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 709280 589216 383 112 0 704245 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 2837120
[startup+942.301 s]
/proc/loadavg: 4.00 3.93 3.31 5/190 16972
/proc/meminfo: memFree=2086044/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2787808 CPUtime=942.33 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 802563 0 0 0 94103 130 0 0 25 0 1 0 468726066 2854715392 574784 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315065 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 696952 574784 383 112 0 691917 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 2787808
[startup+1002.3 s]
/proc/loadavg: 4.00 3.94 3.35 5/190 16974
/proc/meminfo: memFree=1745264/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2787808 CPUtime=1002.33 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 809344 0 0 0 100101 132 0 0 25 0 1 0 468726066 2854715392 581565 33554432000 4194304 4650387 140734659821152 18446744073709551615 4314969 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 696952 581565 383 112 0 691917 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2787808
[startup+1062.3 s]
/proc/loadavg: 4.06 3.96 3.39 5/190 16975
/proc/meminfo: memFree=1703040/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2853352 CPUtime=1062.34 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 821097 0 0 0 106098 136 0 0 25 0 1 0 468726066 2921832448 593318 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315451 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 713338 593318 383 112 0 708303 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 2853352
[startup+1122.3 s]
/proc/loadavg: 4.02 3.97 3.43 5/190 16977
/proc/meminfo: memFree=1700704/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2804472 CPUtime=1122.34 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 833776 0 0 0 112093 141 0 0 25 0 1 0 468726066 2871779328 582561 33554432000 4194304 4650387 140734659821152 18446744073709551615 4314885 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 701118 582561 383 112 0 696083 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 2804472
[startup+1182.3 s]
/proc/loadavg: 4.00 3.97 3.46 5/190 16979
/proc/meminfo: memFree=1522196/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2804472 CPUtime=1182.34 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 843639 0 0 0 118091 143 0 0 25 0 1 0 468726066 2871779328 592424 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315065 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 701118 592424 383 112 0 696083 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 2804472
[startup+1242.3 s]
/proc/loadavg: 3.25 3.78 3.43 3/178 17016
/proc/meminfo: memFree=6313020/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2821912 CPUtime=1242.35 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 857049 0 0 0 124089 146 0 0 25 0 1 0 468726066 2889637888 584401 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315087 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 705478 584401 383 112 0 700443 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 2821912
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.49 3.47 3.34 3/178 17018
/proc/meminfo: memFree=6225744/32951124 swapFree=67111528/67111528
[pid=16919] ppid=16917 vsize=2821912 CPUtime=1300.06 cores=1,3
/proc/16919/stat : 16919 (strangenight1-s) R 16917 16919 15473 0 -1 4202496 866134 0 0 0 129858 148 0 0 25 0 1 0 468726066 2889637888 593486 33554432000 4194304 4650387 140734659821152 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16919/statm: 705478 593486 383 112 0 700443 0
Current children cumulated CPU time (s) 1300.06
Current children cumulated vsize (KiB) 2821912
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.1
CPU time (s): 1300.16
CPU user time (s): 1298.58
CPU system time (s): 1.58076
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2902664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.58
system time used= 1.58076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 866134
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= 12
involuntary context switches= 1009
runsolver used 2.14067 second user time and 4.90725 second system time
The end
Begin job on node143 at 2011-04-25 22:25:04
IDJOB=3284875
IDBENCH=82366
IDSOLVER=1589
FILE ID=node143/3284875-1303763103
RUNJOBID= node143-1303762995-16711
PBS_JOBID= 13154066
Free space on /tmp= 72224 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284875-1303763103/watcher-3284875-1303763103 -o /tmp/evaluation-result-3284875-1303763103/solver-3284875-1303763103 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3284875-1303763103.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= e44b288003a3eaf34673a2c0fb8c6f3e
RANDOM SEED=1478419293
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: 12159008 kB
Buffers: 2276728 kB
Cached: 16141040 kB
SwapCached: 0 kB
Active: 8773260 kB
Inactive: 11457272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12159008 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 88008 kB
Writeback: 0 kB
AnonPages: 1811636 kB
Mapped: 16720 kB
Slab: 493544 kB
PageTables: 9648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2372492 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= 72204 MiB
End job on node143 at 2011-04-25 22:46:47