0.00/0.01 c Outputting solution to console
0.00/0.01 c This is CryptoMiniSat 2.9.0
0.00/0.01 c compiled with gcc version 4.4.5
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3370828-1305395279.cnf'
0.00/0.01 c -- header says num vars: 482093
0.00/0.01 c -- header says num clauses: 9676386
2.69/2.75 c -- clauses added: 0 learnts, 9676386 normals, 0 xors
2.69/2.75 c -- vars added 482093
2.69/2.75 c Parsing time: 2.57 s
2.69/2.75 c N st 0 0 482093 524228 9152157 0 28195027 0 no data no data --
3.09/3.16 c asymm cl-useful: 17/19/524218 lits-rem:760 time: 0.36
10.09/10.18 c Flit: 142 Blit: 134307 bXBeca: 0 bXProp: 2690 Bins: 0 BRemL: 0 BRemN: 0 P: 200.5M T: 6.76
10.69/10.72 c Cleaning up after failed var search: 0.53 s
11.29/11.37 c Replacing 2690 vars Replaced 279907 lits Time: 0.64 s
12.59/12.67 c bin-w-bin subsume rem 8 bins time: 0.63 s
14.79/14.87 c subs with bin: 2800 lits-rem: 33712 v-fix: 0 time: 2.20 s
19.70/19.73 c Subs w/ non-existent bins: 22 l-rem: 47 v-fix: 0 done: 23640 time: 4.85 s
19.99/20.03 c Removed useless bin: 754 fixed: 0 props: 20.05M time: 0.30 s
28.29/28.34 c lits-rem: 253 cl-subs: 32605 v-elim: 5146 v-fix: 0 time: 8.30 s
29.19/29.27 c Finding binary XORs T: 0.93 s found: 1980
29.49/29.56 c Replacing 1980 vars Replaced 91858 lits Time: 0.29 s
30.80/30.87 c Finding non-binary XORs: 0.89 s (found: 0, avg size: nan)
30.80/30.87 c calculated reachability. Time: 0.28
30.89/30.99 c Calc default polars - time: 0.12 s pos: 66890 undec: 152765 neg: 262438
30.89/30.99 c =========================================================================================
30.89/30.99 c types(t): F = full restart, N = normal restart
30.89/30.99 c types(t): S = simplification begin/end, E = solution found
30.89/30.99 c restart types(rt): st = static, dy = dynamic
30.89/30.99 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
30.89/30.99 c B st 0 0 329843 337262 6226858 0 19065353 0 no data no data --
38.19/38.23 c N dy 22 4100 329841 337262 6227302 3592 19065297 175606 15.06 15.92 --
42.29/42.37 c N dy 39 8159 323747 331028 6117299 7168 18732398 359750 14.12 15.25 --
45.59/45.64 c N dy 69 12251 323745 331028 6117489 10948 18732358 569586 15.34 16.27 --
49.19/49.29 c N dy 93 16573 323743 331028 6117648 14993 18732358 864485 15.20 16.05 --
57.11/57.16 c N dy 98 24838 323741 331028 6118028 13511 18732349 878670 13.69 14.82 --
57.40/57.46 c F st 99 25000 323741 331028 6118047 13647 18732349 895760 13.67 11.94 --
70.90/70.98 c N dy 105 30000 323737 331023 6116773 18145 18727387 1150416 13.67 no data --
70.90/70.99 c S st 105 30000 323737 331023 6116773 18145 18727387 1150416 13.67 no data --
72.60/72.62 c S st 105 30500 323723 331023 6117084 18325 18727387 1152159 13.67 no data --
72.79/72.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.21
72.79/72.84 c Cache BProp: 999 Set: 342 BXProp: 13 T: 0.01
143.30/143.36 c Flit: 1011 Blit: 2913 bXBeca: 0 bXProp: 5038 Bins: 48422 BRemL: 30 BRemN: 5123 P: 200.4M T: 70.32
143.49/143.53 c Cleaning up after failed var search: 0.15 s
144.00/144.01 c Replacing 5054 vars Replaced 429045 lits Time: 0.46 s
145.20/145.26 c bin-w-bin subsume rem 1181 bins time: 0.74 s
146.89/146.99 c subs with bin: 4408 lits-rem: 21102 v-fix: 0 time: 1.73 s
149.39/149.48 c Subs w/ non-existent bins: 25 l-rem: 2586 v-fix: 0 done: 29203 time: 2.49 s
149.69/149.77 c Removed useless bin: 863 fixed: 0 props: 20.02M time: 0.29 s
155.20/155.21 c lits-rem: 1692 cl-subs: 6292 v-elim: 11214 v-fix: 0 time: 5.44 s
155.60/155.60 c asymm cl-useful: 99/696/293747 lits-rem:1596 time: 0.39
156.40/156.48 c calculated reachability. Time: 0.75
156.40/156.48 c N dy 105 30500 296234 293747 5943439 11508 17894613 657194 13.67 no data --
158.80/158.83 c Finding binary XORs T: 2.35 s found: 6326
159.20/159.25 c Replacing 6326 vars Replaced 305459 lits Time: 0.42 s
168.10/168.13 c N dy 127 34560 289230 293741 5934014 14671 17870619 796930 13.48 14.41 --
178.30/178.32 c N dy 147 39040 289229 293741 5934820 18298 17870611 921636 13.24 14.32 --
187.79/187.88 c N dy 166 43074 289229 293741 5935517 21607 17870608 1056187 13.17 15.93 --
193.09/193.15 c S st 190 45750 289228 293741 5935755 12381 17870607 396608 13.36 no data --
194.61/194.62 c S st 190 46250 289209 293741 5936018 12608 17870607 401104 13.36 no data --
194.80/194.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.20
194.80/194.87 c Cache BProp: 1788 Set: 1419 BXProp: 24 T: 0.04
208.80/208.89 c Flit: 69 Blit: 1506 bXBeca: 0 bXProp: 561 Bins: 21353 BRemL: 60 BRemN: 84 P: 200.1M T: 13.89
209.00/209.03 c Cleaning up after failed var search: 0.13 s
209.29/209.37 c Replacing 585 vars Replaced 201354 lits Time: 0.33 s
210.59/210.63 c bin-w-bin subsume rem 15455 bins time: 0.81 s
212.20/212.30 c subs with bin: 3037 lits-rem: 41097 v-fix: 0 time: 1.67 s
215.29/215.37 c Subs w/ non-existent bins: 21 l-rem: 1525 v-fix: 6 done: 41356 time: 3.07 s
215.69/215.78 c Removed useless bin: 1916 fixed: 0 props: 20.02M time: 0.41 s
219.00/219.09 c lits-rem: 482 cl-subs: 922 v-elim: 4738 v-fix: 0 time: 3.30 s
219.91/219.98 c vivif2 -- cl tried 115953 cl shrink 13650 lits rem 15724 time: 0.86
220.20/220.29 c vivif2 -- cl tried 10733 cl shrink 2070 lits rem 7879 time: 0.30
220.60/220.68 c asymm cl-useful: 111/581/276357 lits-rem:443 time: 0.39
221.80/221.84 c calculated reachability. Time: 1.04
221.80/221.85 c N dy 190 46250 280824 276357 5804039 10640 17417589 296883 13.36 no data --
229.70/229.79 c N dy 206 50732 280823 276357 5804574 14510 17417568 433332 13.14 13.86 --
233.70/233.71 c N dy 226 54866 280823 276357 5804810 18322 17417566 618247 13.15 13.86 --
238.10/238.19 c N dy 244 59232 280823 276357 5805006 22397 17417565 829527 13.06 14.06 --
245.90/245.97 c N dy 268 66013 280823 276357 5805406 28581 17417539 1264503 12.88 13.62 --
249.60/249.69 c S st 275 69376 280822 276357 5805563 16647 17417539 403893 12.69 7.37 --
251.59/251.62 c S st 275 69876 280816 276357 5805820 16882 17417539 406612 12.69 no data --
251.80/251.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.20
251.80/251.88 c Cache BProp: 1117 Set: 0 BXProp: 3 T: 0.07
264.40/264.44 c Flit: 57 Blit: 149 bXBeca: 0 bXProp: 442 Bins: 6512 BRemL: 2 BRemN: 98 P: 200.0M T: 12.44
264.40/264.45 c Cleaning up after failed var search: 0.00 s
264.80/264.89 c Replacing 445 vars Replaced 99040 lits Time: 0.42 s
266.00/266.05 c bin-w-bin subsume rem 4229 bins time: 0.73 s
267.70/267.79 c subs with bin: 95 lits-rem: 69102 v-fix: 0 time: 1.74 s
272.30/272.30 c Subs w/ non-existent bins: 17 l-rem: 136 v-fix: 1 done: 14315 time: 4.51 s
272.60/272.63 c Removed useless bin: 3748 fixed: 0 props: 20.00M time: 0.33 s
276.70/276.76 c lits-rem: 8437 cl-subs: 7675 v-elim: 28861 v-fix: 0 time: 4.12 s
277.60/277.64 c vivif2 -- cl tried 84321 cl shrink 3413 lits rem 5069 time: 0.84
278.00/278.00 c vivif2 -- cl tried 12333 cl shrink 750 lits rem 6218 time: 0.37
278.31/278.37 c asymm cl-useful: 126/530/293034 lits-rem:508 time: 0.36
279.70/279.72 c calculated reachability. Time: 1.23
279.70/279.73 c N dy 275 69876 251303 293034 5715343 12276 17454705 300936 12.69 no data --
283.71/283.76 c Finding binary XORs T: 4.03 s found: 1087
290.10/290.14 c N dy 303 74429 251302 293034 5715681 16404 17454698 545132 12.73 15.16 --
296.40/296.48 c N dy 327 79239 251301 293034 5716064 20688 17454681 799709 12.73 26.79 --
306.30/306.31 c N dy 361 84300 251301 293034 5716739 25023 17454664 981240 12.80 14.53 --
312.60/312.62 c F st 389 87501 251298 293034 5717014 27908 17454656 1117120 12.93 no data --
313.00/313.05 c Replacing 1087 vars Replaced 131432 lits Time: 0.31 s
318.30/318.38 c N st 394 90797 250210 292995 5716781 30972 17453530 1296276 12.93 no data --
331.11/331.11 c N dy 427 96675 250210 292995 5717391 19030 17453530 457324 13.11 17.27 --
342.50/342.57 c N dy 485 102913 250209 292995 5717833 24755 17453513 785668 13.44 19.31 --
346.51/346.56 c S st 501 104815 250209 292995 5717974 26501 17453510 873112 13.56 no data --
348.20/348.26 c S st 501 105315 250203 292995 5718172 26796 17453510 877774 13.56 no data --
348.40/348.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.20
348.50/348.52 c Cache BProp: 907 Set: 2 BXProp: 19 T: 0.06
366.31/366.35 c Flit: 231 Blit: 943 bXBeca: 0 bXProp: 84 Bins: 12344 BRemL: 35 BRemN: 18300 P: 200.2M T: 17.75
366.31/366.36 c Cleaning up after failed var search: 0.00 s
366.80/366.84 c Replacing 104 vars Replaced 111151 lits Time: 0.47 s
368.10/368.15 c bin-w-bin subsume rem 6258 bins time: 0.74 s
369.70/369.72 c subs with bin: 1385 lits-rem: 43342 v-fix: 0 time: 1.58 s
372.50/372.52 c Subs w/ non-existent bins: 840 l-rem: 1479 v-fix: 3 done: 41940 time: 2.79 s
372.81/372.89 c Removed useless bin: 2936 fixed: 0 props: 20.01M time: 0.37 s
379.90/379.94 c lits-rem: 16256 cl-subs: 11782 v-elim: 34961 v-fix: 0 time: 7.02 s
382.71/382.74 c vivif2 -- cl tried 133762 cl shrink 41315 lits rem 106832 time: 2.76
383.81/383.86 c vivif2 -- cl tried 17690 cl shrink 4647 lits rem 62470 time: 1.12
384.20/384.23 c asymm cl-useful: 124/569/378009 lits-rem:1000 time: 0.36
385.40/385.46 c calculated reachability. Time: 1.12
385.40/385.47 c N dy 501 105315 213947 378009 5459731 17590 17473001 498719 13.56 no data --
389.31/389.40 c Finding binary XORs T: 3.93 s found: 119
402.20/402.29 c N dy 551 112118 213946 378009 5460575 23493 17472960 751889 13.68 14.42 --
413.31/413.38 c N dy 609 119314 213945 378009 5461254 29927 17472949 1047943 13.78 15.74 --
423.31/423.36 c N dy 649 127099 213943 378009 5461862 36972 17472949 1338845 13.71 14.57 --
436.81/436.88 c N dy 692 135241 213941 378009 5462460 25599 17472939 604412 13.71 14.96 --
450.31/450.32 c N dy 746 143958 213939 378009 5463086 33578 17472924 943716 13.77 14.66 --
460.50/460.55 c N dy 775 153376 213938 378009 5463497 21525 17472922 309537 13.67 14.92 --
466.20/466.21 c S st 798 157972 213938 378009 5463792 25754 17472921 489806 13.64 13.15 --
467.70/467.70 c S st 798 158472 213934 378009 5463943 26097 17472921 493491 13.64 no data --
467.80/467.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.19
467.90/467.94 c Cache BProp: 1719 Set: 767 BXProp: 10 T: 0.06
767.01/767.05 c Flit: 180 Blit: 309 bXBeca: 0 bXProp: 24 Bins: 60358 BRemL: 8 BRemN: 543 P: 200.4M T: 299.02
767.01/767.06 c Cleaning up after failed var search: 0.00 s
767.51/767.58 c Replacing 153 vars Replaced 191070 lits Time: 0.51 s
768.82/768.81 c bin-w-bin subsume rem 9956 bins time: 0.75 s
770.21/770.21 c subs with bin: 2071 lits-rem: 23829 v-fix: 0 time: 1.42 s
773.51/773.51 c Subs w/ non-existent bins: 1627 l-rem: 4656 v-fix: 0 done: 22585 time: 3.30 s
773.81/773.82 c Removed useless bin: 312 fixed: 0 props: 20.03M time: 0.31 s
780.92/780.99 c lits-rem: 2939 cl-subs: 17417 v-elim: 20867 v-fix: 4 time: 7.16 s
783.71/783.79 c vivif2 -- cl tried 166080 cl shrink 9870 lits rem 9922 time: 2.77
785.42/785.41 c vivif2 -- cl tried 22609 cl shrink 4057 lits rem 48884 time: 1.61
785.81/785.83 c asymm cl-useful: 124/476/379652 lits-rem:863 time: 0.42
787.01/787.01 c calculated reachability. Time: 1.07
787.01/787.02 c N dy 798 158472 191654 379652 4744297 22574 15521629 378668 13.64 no data --
790.92/790.99 c Finding binary XORs T: 3.97 s found: 47
800.11/800.12 c N dy 829 168664 191598 379652 4744775 32070 15521621 723792 13.56 14.37 --
809.41/809.43 c N dy 845 181559 191496 379652 4745138 44374 15521618 1207307 13.36 14.23 --
817.11/817.17 c N dy 852 193174 191495 379652 4745383 32947 15521615 612515 13.13 13.84 --
837.13/837.17 c N dy 933 205604 190352 379652 4746228 44341 15521600 1070978 13.19 14.32 --
859.91/859.93 c N dy 1052 218744 190351 379652 4747172 32637 15521576 708965 13.56 16.82 --
884.61/884.65 c N dy 1178 232721 190349 379652 4748096 45547 15521536 1373413 13.96 17.01 --
893.42/893.41 c S st 1221 237708 190349 379652 4748472 25410 15521518 272346 14.06 no data --
894.62/894.67 c S st 1221 238208 190347 379652 4748651 25729 15521518 276378 14.06 no data --
894.82/894.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.19
894.92/894.92 c Cache BProp: 5159 Set: 2335 BXProp: 14 T: 0.06
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3370828-1305395279/watcher-3370828-1305395279 -o /tmp/evaluation-result-3370828-1305395279/solver-3370828-1305395279 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370828-1305395279.cnf
running on 2 cores: 0,2
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.86 3.95 3.75 4/313 16119
/proc/meminfo: memFree=11030748/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=31112 CPUtime=0 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 1057 0 0 0 0 0 0 0 21 0 1 0 651126498 31858688 997 33554432000 4194304 4650387 140734517065728 18446744073709551615 255376962245 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 7778 998 328 112 0 2743 0
[startup+0.058215 s]
/proc/loadavg: 3.86 3.95 3.75 4/313 16119
/proc/meminfo: memFree=11030748/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=39376 CPUtime=0.05 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 3516 0 0 0 5 0 0 0 21 0 1 0 651126498 40321024 2980 33554432000 4194304 4650387 140734517065728 18446744073709551615 255376962245 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 9844 2980 329 112 0 4809 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 39376
[startup+0.100219 s]
/proc/loadavg: 3.86 3.95 3.75 4/313 16119
/proc/meminfo: memFree=11030748/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=45632 CPUtime=0.08 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 5292 0 0 0 8 0 0 0 21 0 1 0 651126498 46727168 4738 33554432000 4194304 4650387 140734517065728 18446744073709551615 255376969898 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 11408 4740 329 112 0 6373 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45632
[startup+0.300181 s]
/proc/loadavg: 3.86 3.95 3.75 4/313 16119
/proc/meminfo: memFree=11030748/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=77596 CPUtime=0.28 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 13979 0 0 0 27 1 0 0 22 0 1 0 651126498 79458304 11807 33554432000 4194304 4650387 140734517065728 18446744073709551615 4545754 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 19399 11807 329 112 0 14364 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 77596
[startup+0.7011 s]
/proc/loadavg: 3.86 3.95 3.75 4/313 16119
/proc/meminfo: memFree=11030748/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=163340 CPUtime=0.69 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 29648 0 0 0 65 4 0 0 23 0 1 0 651126498 167260160 25287 33554432000 4194304 4650387 140734517065728 18446744073709551615 4545738 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 40835 25288 329 112 0 35800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 163340
[startup+1.50095 s]
/proc/loadavg: 3.86 3.95 3.75 5/314 16120
/proc/meminfo: memFree=10754228/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=265140 CPUtime=1.49 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 59725 0 0 0 140 9 0 0 25 0 1 0 651126498 271503360 50968 33554432000 4194304 4650387 140734517065728 18446744073709551615 4307076 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 66285 50968 329 112 0 61250 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 265140
[startup+3.10065 s]
/proc/loadavg: 3.86 3.95 3.75 5/314 16120
/proc/meminfo: memFree=10457256/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=466208 CPUtime=3.09 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 100878 0 0 0 291 18 0 0 25 0 1 0 651126498 477396992 91759 33554432000 4194304 4650387 140734517065728 18446744073709551615 4370490 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 116552 91759 347 112 0 111517 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 466208
[startup+6.30106 s]
/proc/loadavg: 3.95 3.97 3.75 5/314 16121
/proc/meminfo: memFree=9798008/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=655648 CPUtime=6.29 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 159251 0 0 0 605 24 0 0 25 0 1 0 651126498 671383552 138930 33554432000 4194304 4650387 140734517065728 18446744073709551615 4370235 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 163912 138930 353 112 0 158877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 655648
[startup+12.7009 s]
/proc/loadavg: 4.04 3.99 3.76 5/314 16121
/proc/meminfo: memFree=9102312/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=1026824 CPUtime=12.69 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 240084 0 0 0 1234 35 0 0 25 0 1 0 651126498 1051467776 219763 33554432000 4194304 4650387 140734517065728 18446744073709551615 4436425 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 256706 219763 364 112 0 251671 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1026824
[startup+25.5005 s]
/proc/loadavg: 4.02 3.99 3.76 5/314 16148
/proc/meminfo: memFree=10055432/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=1039980 CPUtime=25.49 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 243182 0 0 0 2513 36 0 0 25 0 1 0 651126498 1064939520 222861 33554432000 4194304 4650387 140734517065728 18446744073709551615 4433064 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 259995 222861 371 112 0 254960 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1039980
[startup+51.1008 s]
/proc/loadavg: 4.13 4.02 3.78 5/314 16149
/proc/meminfo: memFree=10012296/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=1053056 CPUtime=51.09 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 247594 0 0 0 5073 36 0 0 25 0 1 0 651126498 1078329344 227273 33554432000 4194304 4650387 140734517065728 18446744073709551615 4303957 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 263264 227273 380 112 0 258229 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1053056
[startup+102.311 s]
/proc/loadavg: 4.12 4.03 3.79 5/314 16150
/proc/meminfo: memFree=9647872/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=1114588 CPUtime=102.3 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 274481 0 0 0 10191 39 0 0 25 0 1 0 651126498 1141338112 241833 33554432000 4194304 4650387 140734517065728 18446744073709551615 4230556 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 278647 241833 383 112 0 273612 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1114588
[startup+162.301 s]
/proc/loadavg: 4.04 4.02 3.81 5/314 16152
/proc/meminfo: memFree=8955532/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=1856532 CPUtime=162.3 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 421417 0 0 0 16171 59 0 0 25 0 1 0 651126498 1901088768 388769 33554432000 4194304 4650387 140734517065728 18446744073709551615 4310818 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 464133 388769 383 112 0 459098 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1856532
[startup+222.301 s]
/proc/loadavg: 4.17 4.06 3.83 5/314 16180
/proc/meminfo: memFree=9787968/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=2382152 CPUtime=222.3 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 527243 0 0 0 22157 73 0 0 25 0 1 0 651126498 2439323648 494595 33554432000 4194304 4650387 140734517065728 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 595538 494595 383 112 0 590503 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 2382152
[startup+282.301 s]
/proc/loadavg: 4.06 4.05 3.84 5/314 16182
/proc/meminfo: memFree=9367260/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=2870816 CPUtime=282.3 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 635379 0 0 0 28143 87 0 0 25 0 1 0 651126498 2939715584 592437 33554432000 4194304 4650387 140734517065728 18446744073709551615 4528906 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 717704 592437 383 112 0 712669 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2870816
[startup+342.301 s]
/proc/loadavg: 4.09 4.05 3.85 5/314 16183
/proc/meminfo: memFree=9306308/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=2881992 CPUtime=342.3 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 640561 0 0 0 34142 88 0 0 25 0 1 0 651126498 2951159808 597619 33554432000 4194304 4650387 140734517065728 18446744073709551615 4366891 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 720498 597619 383 112 0 715463 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2881992
[startup+402.301 s]
/proc/loadavg: 4.03 4.04 3.85 5/314 16185
/proc/meminfo: memFree=8954372/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3331872 CPUtime=402.3 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 723886 0 0 0 40131 99 0 0 25 0 1 0 651126498 3411836928 680944 33554432000 4194304 4650387 140734517065728 18446744073709551615 4364923 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 832968 680944 383 112 0 827933 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3331872
[startup+462.301 s]
/proc/loadavg: 4.01 4.03 3.86 5/314 16187
/proc/meminfo: memFree=8949844/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3283920 CPUtime=462.3 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 737790 0 0 0 46128 102 0 0 25 0 1 0 651126498 3362734080 681733 33554432000 4194304 4650387 140734517065728 18446744073709551615 4364920 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 820980 681733 383 112 0 815945 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 3283920
[startup+522.301 s]
/proc/loadavg: 4.05 4.04 3.87 5/314 16188
/proc/meminfo: memFree=8838872/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3328784 CPUtime=522.31 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 748774 0 0 0 52127 104 0 0 25 0 1 0 651126498 3408674816 692717 33554432000 4194304 4650387 140734517065728 18446744073709551615 4236872 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 832196 692717 383 112 0 827161 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 3328784
[startup+582.3 s]
/proc/loadavg: 4.05 4.04 3.88 5/314 16190
/proc/meminfo: memFree=8827700/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3330848 CPUtime=582.31 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 749068 0 0 0 58127 104 0 0 25 0 1 0 651126498 3410788352 693011 33554432000 4194304 4650387 140734517065728 18446744073709551615 4230557 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 832712 693011 383 112 0 827677 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 3330848
[startup+642.3 s]
/proc/loadavg: 4.02 4.03 3.89 5/314 16191
/proc/meminfo: memFree=8799752/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3337160 CPUtime=642.32 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 751131 0 0 0 64127 105 0 0 25 0 1 0 651126498 3417251840 695074 33554432000 4194304 4650387 140734517065728 18446744073709551615 4230699 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 834290 695074 383 112 0 829255 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 3337160
[startup+702.3 s]
/proc/loadavg: 4.00 4.02 3.89 5/314 16193
/proc/meminfo: memFree=8802780/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3341792 CPUtime=702.31 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 752289 0 0 0 70126 105 0 0 25 0 1 0 651126498 3421995008 696232 33554432000 4194304 4650387 140734517065728 18446744073709551615 4230684 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 835448 696232 383 112 0 830413 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 3341792
[startup+762.312 s]
/proc/loadavg: 4.13 4.05 3.91 5/314 16195
/proc/meminfo: memFree=8692700/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3458668 CPUtime=762.32 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 775333 0 0 0 76124 108 0 0 25 0 1 0 651126498 3541676032 719276 33554432000 4194304 4650387 140734517065728 18446744073709551615 4247525 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 864667 719276 383 112 0 859632 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 3458668
[startup+822.301 s]
/proc/loadavg: 4.08 4.05 3.92 5/314 16205
/proc/meminfo: memFree=8552304/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3637056 CPUtime=822.31 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 821070 0 0 0 82117 114 0 0 25 0 1 0 651126498 3724345344 754190 33554432000 4194304 4650387 140734517065728 18446744073709551615 4365022 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 909264 754190 383 112 0 904229 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 3637056
[startup+882.301 s]
/proc/loadavg: 4.06 4.05 3.92 5/314 16207
/proc/meminfo: memFree=8509088/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3659828 CPUtime=882.31 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 827603 0 0 0 88115 116 0 0 25 0 1 0 651126498 3747663872 760723 33554432000 4194304 4650387 140734517065728 18446744073709551615 4229472 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 914957 760723 383 112 0 909922 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 3659828
[startup+942.301 s]
/proc/loadavg: 4.06 4.06 3.93 5/314 16208
/proc/meminfo: memFree=8454736/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3711920 CPUtime=942.32 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 840526 0 0 0 94114 118 0 0 25 0 1 0 651126498 3801006080 773646 33554432000 4194304 4650387 140734517065728 18446744073709551615 4236868 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 927980 773646 383 112 0 922945 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 3711920
[startup+1002.3 s]
/proc/loadavg: 3.94 4.03 3.92 4/309 16230
/proc/meminfo: memFree=8442892/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3716900 CPUtime=1002.32 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 841771 0 0 0 100114 118 0 0 25 0 1 0 651126498 3806105600 774891 33554432000 4194304 4650387 140734517065728 18446744073709551615 4230695 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 929225 774891 383 112 0 924190 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3716900
[startup+1062.3 s]
/proc/loadavg: 3.34 3.84 3.86 4/308 16232
/proc/meminfo: memFree=8445992/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3718716 CPUtime=1062.32 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 842225 0 0 0 106114 118 0 0 25 0 1 0 651126498 3807965184 775345 33554432000 4194304 4650387 140734517065728 18446744073709551615 4230566 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 929679 775345 383 112 0 924644 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3718716
[startup+1122.3 s]
/proc/loadavg: 3.17 3.70 3.81 4/308 16233
/proc/meminfo: memFree=8446100/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3721796 CPUtime=1122.33 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 843000 0 0 0 112114 119 0 0 25 0 1 0 651126498 3811119104 776120 33554432000 4194304 4650387 140734517065728 18446744073709551615 4231019 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 930449 776120 383 112 0 925414 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3721796
[startup+1182.3 s]
/proc/loadavg: 3.10 3.58 3.76 5/308 16235
/proc/meminfo: memFree=8439084/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3721796 CPUtime=1182.33 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 843001 0 0 0 118114 119 0 0 25 0 1 0 651126498 3811119104 776121 33554432000 4194304 4650387 140734517065728 18446744073709551615 4230593 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 930449 776121 383 112 0 925414 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3721796
[startup+1242.3 s]
/proc/loadavg: 3.12 3.49 3.72 4/308 16236
/proc/meminfo: memFree=8431076/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3732504 CPUtime=1242.33 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 845680 0 0 0 124113 120 0 0 25 0 1 0 651126498 3822084096 778800 33554432000 4194304 4650387 140734517065728 18446744073709551615 4236891 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 933126 778800 383 112 0 928091 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3732504
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.94 3.38 3.66 3/302 16256
/proc/meminfo: memFree=8520676/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=3732504 CPUtime=1300.04 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4202496 845680 0 0 0 129884 120 0 0 25 0 1 0 651126498 3822084096 778800 33554432000 4194304 4650387 140734517065728 18446744073709551615 4230600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16119/statm: 933126 778800 383 112 0 928091 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 3732504
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: 2.94 3.38 3.66 3/303 16257
/proc/meminfo: memFree=11023608/32951124 swapFree=66050672/67111528
[pid=16119] ppid=16117 vsize=0 CPUtime=1300.15 cores=0,2
/proc/16119/stat : 16119 (strangenight1-s) R 16117 16119 15291 0 -1 4203524 845680 0 0 0 129884 131 0 0 25 0 1 0 651126498 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16119/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.14
CPU time (s): 1300.18
CPU user time (s): 1298.85
CPU system time (s): 1.3298
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3732504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.85
system time used= 1.3298
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 845680
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= 2260
runsolver used 3.99739 second user time and 8.92964 second system time
The end
Begin job on node135 at 2011-05-14 19:48:06
IDJOB=3370828
IDBENCH=85008
IDSOLVER=1847
FILE ID=node135/3370828-1305395279
RUNJOBID= node135-1305395279-16077
PBS_JOBID= 13324415
Free space on /tmp= 72924 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370828-1305395279/watcher-3370828-1305395279 -o /tmp/evaluation-result-3370828-1305395279/solver-3370828-1305395279 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370828-1305395279.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=1159114228
node135.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.851
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.70
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
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.851
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
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 : 6640.14
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.851
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.78
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.851
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.851
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.851
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 11031276 kB
Buffers: 268624 kB
Cached: 6256388 kB
SwapCached: 50684 kB
Active: 10998040 kB
Inactive: 10653728 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 11031276 kB
SwapTotal: 67111528 kB
SwapFree: 66050672 kB
Dirty: 433584 kB
Writeback: 0 kB
AnonPages: 15081012 kB
Mapped: 19964 kB
Slab: 156908 kB
PageTables: 49160 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 57905532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73124 MiB
End job on node135 at 2011-05-14 20:09:48