0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 3.0.0
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3284091-1303762357.cnf'
0.00/0.00 c -- header says num vars: 889302
0.00/0.00 c -- header says num clauses: 14582074
4.69/4.74 c -- clauses added: 0 learnts, 14582074 normals, 0 xors
4.69/4.74 c -- vars added 889302
4.69/4.74 c Parsing time: 4.41 s
4.69/4.74 c N st 0 0 889302 1778118 12803934 0 42006124 0 no data no data
4.99/5.10 c asymm cl-useful: 0/1799/1778118 lits-rem:0 time: 0.27
13.79/13.84 c Flit: 41 Blit: 818 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.56
13.79/13.85 c Cleaning up after failed var search: 0.00 s
15.40/15.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
17.09/17.19 c bin-w-bin subsume rem 0 bins time: 1.74 s
23.99/24.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.82 s
31.59/31.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2074 time: 7.65 s
32.09/32.19 c Removed useless bin: 1161 fixed: 0 props: 20.55M time: 0.53 s
55.10/55.15 c lits-rem: 0 cl-subs: 7754 v-elim: 7887 v-fix: 0 time: 22.92 s
57.09/57.19 c Finding binary XORs T: 2.04 s found: 1
57.89/57.93 c Replacing 1 vars Replaced 6974 lits Time: 0.74 s
58.89/58.92 c calculated reachability. Time: 0.62
59.29/59.32 c Calc default polars - time: 0.40 s pos: 9968 undec: 8784 neg: 870550
59.29/59.32 c =========================================================================================
59.29/59.32 c types(t): F = full restart, N = normal restart
59.29/59.32 c types(t): S = simplification begin/end, E = solution found
59.29/59.32 c restart types(rt): st = static, dy = dynamic
59.29/59.32 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
59.29/59.32 c B st 0 0 880551 1793238 12749864 0 43081849 0 no data no data
82.50/82.52 c N dy 20 4080 880549 1793238 12750231 3678 43081848 804993 10.01 10.94
103.20/103.25 c N dy 35 8420 880543 1793238 12750579 7616 43081843 1616103 8.62 9.23
125.29/125.30 c N dy 55 12476 880536 1793238 12750846 11348 43081843 2178442 8.45 8.90
146.69/146.78 c N dy 78 16503 880535 1793238 12751039 15132 43081843 2781240 8.46 9.04
165.80/165.80 c N dy 103 20553 880535 1793238 12751243 9724 43081843 417119 8.66 9.66
185.30/185.39 c N dy 125 24625 880534 1793238 12751528 13474 43081843 1432648 8.71 9.76
187.20/187.29 c F st 129 25000 880534 1793238 12751549 13826 43081843 1635467 8.74 no data
209.00/209.06 c N dy 135 30000 880529 1793238 12751295 18642 43080994 2325598 8.74 no data
209.00/209.07 c S st 135 30000 880529 1793238 12751295 18642 43080994 2325598 8.74 no data
212.80/212.85 c S st 135 30500 880527 1793238 12751343 19088 43080994 2347703 8.74 no data
213.30/213.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.46
226.00/226.01 c Flit: 0 Blit: 1414 bXBeca: 0 bXProp: 0 Bins:1668412 BRemL: 91 BRemN: 0 P: 200.4M T: 12.54
226.00/226.04 c Cleaning up after failed var search: 0.00 s
227.81/227.89 c blocked clauses removed: 0 vars: 0 tried: 879111 T: 0.67 s
229.50/229.58 c bin-w-bin subsume rem 1 bins time: 1.69 s
235.90/235.91 c subs with bin: 12 lits-rem: 2425 v-fix: 0 time: 6.33 s
241.01/241.08 c Subs w/ non-existent bins: 0 l-rem: 12 v-fix: 4 done: 16413 time: 5.17 s
241.50/241.59 c Removed useless bin: 3 fixed: 0 props: 20.00M time: 0.51 s
250.51/250.55 c lits-rem: 931 cl-subs: 477 v-elim: 270 v-fix: 0 time: 8.95 s
252.91/252.92 c subs with bin: 3 lits-rem: 33 v-fix: 0 time: 1.89 s
269.50/269.54 c lits-rem: 7052 cl-subs: 1921 v-elim: 0 v-fix: 0 time: 15.91 s
269.90/269.92 c asymm cl-useful: 0/100949/1794361 lits-rem:0 time: 0.38
271.90/271.94 c calculated reachability. Time: 1.65
271.90/271.97 c N dy 135 30500 878837 1794361 14379826 18103 43058855 5541727 8.74 no data
276.60/276.62 c Finding binary XORs T: 4.65 s found: 6
293.91/293.97 c N dy 156 34838 878831 1794361 14380031 22176 43058855 6553135 8.68 9.50
308.90/308.91 c N dy 175 38892 878828 1794361 14380308 25911 43058852 7221593 8.60 9.22
332.01/332.01 c N dy 198 43954 878819 1794361 14380683 16291 43058850 4295357 8.58 9.05
337.91/337.92 c S st 204 45750 878818 1794361 14380935 17820 43058850 4702540 8.53 7.50
341.91/341.97 c S st 204 46251 878809 1794361 14380993 18251 43058850 4747187 8.53 no data
342.51/342.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.54
355.32/355.37 c Flit: 113 Blit: 691 bXBeca: 0 bXProp: 0 Bins:1825759 BRemL: 216 BRemN: 0 P: 200.0M T: 12.71
355.32/355.40 c Cleaning up after failed var search: 0.00 s
356.52/356.53 c Replacing 6 vars Replaced 4589 lits Time: 1.09 s
357.91/357.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
359.91/359.97 c bin-w-bin subsume rem 81 bins time: 2.00 s
367.11/367.17 c subs with bin: 12 lits-rem: 1729 v-fix: 0 time: 7.21 s
373.11/373.10 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 1 done: 7200 time: 5.93 s
373.61/373.64 c Removed useless bin: 4 fixed: 0 props: 20.01M time: 0.54 s
382.92/382.98 c lits-rem: 0 cl-subs: 354 v-elim: 45 v-fix: 0 time: 9.33 s
385.02/385.03 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 1.62 s
397.21/397.29 c lits-rem: 45 cl-subs: 508 v-elim: 0 v-fix: 0 time: 11.56 s
398.10/398.10 c vivif2 -- cl tried 923825 cl shrink 266 lits rem 266 time: 0.81
398.90/398.91 c vivif2 -- cl tried 10757 cl shrink 148 lits rem 162 time: 0.81
399.31/399.32 c asymm cl-useful: 0/68203/1793522 lits-rem:0 time: 0.41
402.10/402.14 c calculated reachability. Time: 2.39
402.10/402.17 c N dy 204 46251 877953 1793522 16190802 17882 43034866 8348461 8.53 no data
409.01/409.00 c Finding binary XORs T: 6.83 s found: 1
427.51/427.56 c N dy 225 50647 877947 1793522 16191134 21914 43034866 9439597 8.50 9.28
446.62/446.69 c N dy 247 54988 877941 1793522 16191478 25871 43034859 10630724 8.50 9.33
462.91/462.92 c N dy 274 59028 877936 1793522 16191698 29665 43034859 11962107 8.57 9.41
478.81/478.88 c N dy 300 63143 877935 1793522 16192032 33412 43034859 13281250 8.75 9.32
494.12/494.12 c N dy 314 67361 877933 1793522 16192347 20293 43034857 8303901 8.68 9.15
502.62/502.69 c S st 331 69376 877932 1793522 16192449 22186 43034853 9047865 9.05 no data
506.91/507.00 c S st 331 69877 877923 1793522 16192546 22580 43034853 9115708 9.05 no data
507.51/507.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.57
520.61/520.65 c Flit: 196 Blit: 2405 bXBeca: 0 bXProp: 0 Bins:4163497 BRemL: 192 BRemN: 27 P: 200.9M T: 12.91
520.61/520.68 c Cleaning up after failed var search: 0.00 s
521.92/521.96 c Replacing 2 vars Replaced 106 lits Time: 1.24 s
523.02/523.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
525.72/525.75 c bin-w-bin subsume rem 70 bins time: 2.70 s
532.02/532.02 c subs with bin: 64 lits-rem: 15408 v-fix: 0 time: 6.26 s
538.03/538.05 c Subs w/ non-existent bins: 32 l-rem: 22 v-fix: 0 done: 16309 time: 6.03 s
538.72/538.70 c Removed useless bin: 20 fixed: 0 props: 20.07M time: 0.65 s
548.92/548.94 c lits-rem: 1264 cl-subs: 524 v-elim: 74 v-fix: 0 time: 10.22 s
551.72/551.74 c subs with bin: 18 lits-rem: 14 v-fix: 0 time: 2.44 s
566.12/566.19 c lits-rem: 659 cl-subs: 1072 v-elim: 0 v-fix: 0 time: 13.75 s
566.92/566.95 c vivif2 -- cl tried 317265 cl shrink 51 lits rem 51 time: 0.76
567.72/567.77 c vivif2 -- cl tried 13242 cl shrink 38 lits rem 51 time: 0.82
568.11/568.18 c asymm cl-useful: 0/88588/1792209 lits-rem:0 time: 0.40
571.82/571.88 c calculated reachability. Time: 3.18
571.92/571.91 c N dy 331 69877 875246 1792209 20285695 22176 42888577 17338879 9.05 no data
580.82/580.86 c Finding binary XORs T: 8.95 s found: 3
597.32/597.35 c N dy 353 74378 875243 1792209 20286003 26341 42888572 18620454 9.03 10.39
613.42/613.49 c N dy 372 79632 875236 1792209 20286379 31174 42888572 19782732 8.95 9.60
634.12/634.10 c N dy 400 84756 875232 1792209 20286732 35908 42888572 21126056 8.92 9.45
644.62/644.70 c F st 417 87500 875229 1792209 20286868 19405 42888572 15606956 8.92 no data
646.02/646.02 c Replacing 3 vars Replaced 15670 lits Time: 0.87 s
655.82/655.82 c N st 422 90798 875224 1792208 20286700 22478 42887850 16994822 8.92 no data
677.42/677.49 c N dy 439 96704 875220 1792208 20287161 27878 42887849 19605329 8.89 9.50
700.63/700.66 c N dy 471 103520 875214 1792208 20287767 34037 42887849 21929145 8.89 9.90
705.92/705.94 c S st 481 104815 875213 1792208 20287892 35197 42887849 22467172 8.90 7.73
710.53/710.55 c S st 481 105316 875203 1792208 20287983 35593 42887845 22495756 8.90 no data
711.23/711.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.66
724.33/724.32 c Flit: 71 Blit: 197 bXBeca: 0 bXProp: 0 Bins:4196637 BRemL: 310 BRemN: 12 P: 200.1M T: 12.93
724.33/724.35 c Cleaning up after failed var search: 0.00 s
726.22/726.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
729.63/729.65 c bin-w-bin subsume rem 47 bins time: 3.46 s
736.03/736.03 c subs with bin: 547 lits-rem: 7734 v-fix: 0 time: 6.38 s
741.63/741.66 c Subs w/ non-existent bins: 11 l-rem: 49 v-fix: 0 done: 32920 time: 5.63 s
742.43/742.42 c Removed useless bin: 13 fixed: 0 props: 20.15M time: 0.76 s
753.02/753.06 c lits-rem: 2011 cl-subs: 171 v-elim: 58 v-fix: 0 time: 10.61 s
755.53/755.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.64 s
798.83/798.81 c lits-rem: 2134 cl-subs: 784 v-elim: 0 v-fix: 0 time: 42.48 s
801.23/801.29 c vivif2 -- cl tried 1042997 cl shrink 1981 lits rem 2111 time: 2.48
803.73/803.72 c vivif2 -- cl tried 28282 cl shrink 302 lits rem 885 time: 2.43
804.23/804.26 c asymm cl-useful: 0/20568/1791346 lits-rem:0 time: 0.54
808.73/808.70 c calculated reachability. Time: 3.80
808.73/808.74 c N dy 481 105316 874877 1791346 24475688 34856 42879428 30697658 8.90 no data
819.43/819.40 c Finding binary XORs T: 10.66 s found: 5
845.33/845.35 c N dy 521 112111 874869 1791346 24476006 20810 42879427 24123342 8.95 13.34
874.23/874.22 c N dy 556 119286 874864 1791346 24476560 27387 42879424 26209853 8.92 9.58
906.44/906.50 c N dy 602 127505 874855 1791346 24477132 34972 42879424 28863149 8.93 9.66
930.53/930.59 terminate called after throwing an instance of 'std::bad_alloc'
930.53/930.59 what(): std::bad_alloc
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-3284091-1303762357/watcher-3284091-1303762357 -o /tmp/evaluation-result-3284091-1303762357/solver-3284091-1303762357 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3284091-1303762357.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: 1.48 1.62 2.45 6/189 30584
/proc/meminfo: memFree=19555060/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=25188 CPUtime=0 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1702 0 0 0 0 0 0 0 21 0 1 0 487833543 25792512 1414 33554432000 4194304 4627331 140735762883872 18446744073709551615 4314174 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 6297 1419 320 106 0 1268 0
[startup+0.103253 s]
/proc/loadavg: 1.48 1.62 2.45 6/189 30584
/proc/meminfo: memFree=19555060/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=135284 CPUtime=0.09 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 24510 0 0 0 6 3 0 0 21 0 1 0 487833543 138530816 20070 33554432000 4194304 4627331 140735762883872 18446744073709551615 4357923 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 33821 20090 320 106 0 28792 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 135284
[startup+0.201237 s]
/proc/loadavg: 1.48 1.62 2.45 6/189 30584
/proc/meminfo: memFree=19555060/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=179032 CPUtime=0.19 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 46816 0 0 0 13 6 0 0 22 0 1 0 487833543 183328768 38088 33554432000 4194304 4627331 140735762883872 18446744073709551615 4313543 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 44758 38096 320 106 0 39729 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 179032
[startup+0.301226 s]
/proc/loadavg: 1.48 1.62 2.45 6/189 30584
/proc/meminfo: memFree=19555060/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=281500 CPUtime=0.29 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 72033 0 0 0 20 9 0 0 22 0 1 0 487833543 288256000 54753 33554432000 4194304 4627331 140735762883872 18446744073709551615 4313543 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 70375 54762 320 106 0 65346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 281500
[startup+0.701133 s]
/proc/loadavg: 1.48 1.62 2.45 6/189 30584
/proc/meminfo: memFree=19555060/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=318184 CPUtime=0.69 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 82261 0 0 0 58 11 0 0 24 0 1 0 487833543 325820416 64981 33554432000 4194304 4627331 140735762883872 18446744073709551615 4530374 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 79546 64982 324 106 0 74517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 318184
[startup+1.50098 s]
/proc/loadavg: 1.68 1.66 2.45 5/190 30585
/proc/meminfo: memFree=19201652/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=406760 CPUtime=1.49 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 98726 0 0 0 133 16 0 0 25 0 1 0 487833543 416522240 81446 33554432000 4194304 4627331 140735762883872 18446744073709551615 4360676 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 101690 81450 324 106 0 96661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 406760
[startup+3.10066 s]
/proc/loadavg: 1.68 1.66 2.45 5/190 30585
/proc/meminfo: memFree=19042808/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=649788 CPUtime=3.09 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 131780 0 0 0 284 25 0 0 25 0 1 0 487833543 665382912 114500 33554432000 4194304 4627331 140735762883872 18446744073709551615 4530693 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 162447 114500 324 106 0 157418 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 649788
[startup+6.30102 s]
/proc/loadavg: 1.87 1.70 2.46 5/190 30585
/proc/meminfo: memFree=18435960/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=907928 CPUtime=6.29 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 198352 0 0 0 594 35 0 0 25 0 1 0 487833543 929718272 181072 33554432000 4194304 4627331 140735762883872 18446744073709551615 4308107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 226982 181072 343 106 0 221953 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 907928
[startup+12.7008 s]
/proc/loadavg: 2.04 1.73 2.47 5/190 30586
/proc/meminfo: memFree=18019128/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=1421600 CPUtime=12.69 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 295806 0 0 0 1221 48 0 0 25 0 1 0 487833543 1455718400 278526 33554432000 4194304 4627331 140735762883872 18446744073709551615 4308382 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 355400 278526 344 106 0 350371 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1421600
[startup+25.5012 s]
/proc/loadavg: 2.47 1.84 2.49 5/190 30586
/proc/meminfo: memFree=17497340/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=1921504 CPUtime=25.49 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 407275 0 0 0 2483 66 0 0 25 0 1 0 487833543 1967620096 389995 33554432000 4194304 4627331 140735762883872 18446744073709551615 4338685 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 480376 389995 357 106 0 475347 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1921504
[startup+51.1011 s]
/proc/loadavg: 3.07 2.03 2.54 6/190 30614
/proc/meminfo: memFree=17205128/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=1978796 CPUtime=51.09 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 427558 0 0 0 5040 69 0 0 25 0 1 0 487833543 2026287104 403332 33554432000 4194304 4627331 140735762883872 18446744073709551615 4420169 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 494699 403332 363 106 0 489670 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1978796
[startup+102.301 s]
/proc/loadavg: 3.59 2.33 2.61 5/190 30696
/proc/meminfo: memFree=17213788/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=2390208 CPUtime=102.3 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 517175 0 0 0 10146 84 0 0 25 0 1 0 487833543 2447572992 485931 33554432000 4194304 4627331 140735762883872 18446744073709551615 4308107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 597552 485931 370 106 0 592523 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2390208
[startup+162.301 s]
/proc/loadavg: 3.85 2.63 2.70 6/190 30806
/proc/meminfo: memFree=16259336/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=2777236 CPUtime=162.29 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 590123 0 0 0 16132 97 0 0 25 0 1 0 487833543 2843889664 558879 33554432000 4194304 4627331 140735762883872 18446744073709551615 4327450 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 694309 558879 370 106 0 689280 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2777236
[startup+222.307 s]
/proc/loadavg: 3.94 2.88 2.77 6/190 30861
/proc/meminfo: memFree=15810004/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=3629312 CPUtime=222.3 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 758330 0 0 0 22113 117 0 0 25 0 1 0 487833543 3716415488 727086 33554432000 4194304 4627331 140735762883872 18446744073709551615 4308888 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 907328 727086 374 106 0 902299 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 3629312
[startup+282.301 s]
/proc/loadavg: 4.04 3.10 2.85 5/190 30917
/proc/meminfo: memFree=15384088/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=3922920 CPUtime=282.31 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 831900 0 0 0 28103 128 0 0 25 0 1 0 487833543 4017070080 786709 33554432000 4194304 4627331 140735762883872 18446744073709551615 4308910 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 980730 786709 374 106 0 975701 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 3922920
[startup+342.301 s]
/proc/loadavg: 4.04 3.27 2.93 5/190 30945
/proc/meminfo: memFree=14192372/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=4334852 CPUtime=342.31 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 912856 0 0 0 34092 139 0 0 25 0 1 0 487833543 4438888448 867657 33554432000 4194304 4627331 140735762883872 18446744073709551615 4478883 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1083713 867657 374 106 0 1078684 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 4334852
[startup+402.3 s]
/proc/loadavg: 4.01 3.40 2.99 5/190 30974
/proc/meminfo: memFree=13115016/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=5077384 CPUtime=402.3 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1064891 0 0 0 40075 155 0 0 25 0 1 0 487833543 5199241216 1005845 33554432000 4194304 4627331 140735762883872 18446744073709551615 4515139 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1269346 1005845 374 106 0 1264317 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 5077384
[startup+462.3 s]
/proc/loadavg: 4.00 3.51 3.05 5/190 30976
/proc/meminfo: memFree=12726672/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=5276204 CPUtime=462.31 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1106151 0 0 0 46069 162 0 0 25 0 1 0 487833543 5402832896 1047105 33554432000 4194304 4627331 140735762883872 18446744073709551615 4308908 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1319051 1047105 374 106 0 1314022 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 5276204
[startup+522.3 s]
/proc/loadavg: 4.00 3.59 3.11 5/190 30977
/proc/meminfo: memFree=11243212/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=6251128 CPUtime=522.32 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1337131 0 0 0 52044 188 0 0 25 0 1 0 487833543 6401155072 1234048 33554432000 4194304 4627331 140735762883872 18446744073709551615 4415643 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1562782 1234048 374 106 0 1557753 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 6251128
[startup+582.3 s]
/proc/loadavg: 4.05 3.68 3.17 5/190 30979
/proc/meminfo: memFree=10499640/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=6272480 CPUtime=582.32 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1356511 0 0 0 58042 190 0 0 25 0 1 0 487833543 6423019520 1239618 33554432000 4194304 4627331 140735762883872 18446744073709551615 4308955 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1568120 1239618 374 106 0 1563091 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 6272480
[startup+642.301 s]
/proc/loadavg: 4.10 3.75 3.22 5/190 30980
/proc/meminfo: memFree=10144272/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=6393848 CPUtime=642.32 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1384629 0 0 0 64036 196 0 0 25 0 1 0 487833543 6547300352 1267736 33554432000 4194304 4627331 140735762883872 18446744073709551615 4309240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1598462 1267736 374 106 0 1593433 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 6393848
[startup+702.301 s]
/proc/loadavg: 4.03 3.80 3.27 5/190 30982
/proc/meminfo: memFree=9535084/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=6835292 CPUtime=702.33 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1427478 0 0 0 70031 202 0 0 25 0 1 0 487833543 6999339008 1310585 33554432000 4194304 4627331 140735762883872 18446744073709551615 4333330 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1708823 1310585 374 106 0 1703794 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 6835292
[startup+762.301 s]
/proc/loadavg: 4.01 3.83 3.31 5/190 30984
/proc/meminfo: memFree=8457488/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=7689748 CPUtime=762.33 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1613298 0 0 0 76008 225 0 0 25 0 1 0 487833543 7874301952 1473165 33554432000 4194304 4627331 140735762883872 18446744073709551615 4467964 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1922437 1473165 374 106 0 1917408 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 7689748
[startup+822.301 s]
/proc/loadavg: 4.08 3.89 3.36 5/190 30985
/proc/meminfo: memFree=8523300/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=7622112 CPUtime=822.33 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1616095 0 0 0 82008 225 0 0 25 0 1 0 487833543 7805042688 1459668 33554432000 4194304 4627331 140735762883872 18446744073709551615 4324727 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1905528 1459668 374 106 0 1900499 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 7622112
[startup+882.307 s]
/proc/loadavg: 4.03 3.90 3.40 5/190 30987
/proc/meminfo: memFree=8071624/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=7512188 CPUtime=882.34 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1673443 0 0 0 88000 234 0 0 25 0 1 0 487833543 7692480512 1479162 33554432000 4194304 4627331 140735762883872 18446744073709551615 4324631 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1878047 1479162 374 106 0 1873018 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 7512188
Solver just ended. Dumping a history of the last processes samples
[startup+896.001 s]
/proc/loadavg: 4.02 3.91 3.41 5/190 30987
/proc/meminfo: memFree=7929892/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=7542288 CPUtime=896.03 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1680650 0 0 0 89368 235 0 0 25 0 1 0 487833543 7723302912 1486369 33554432000 4194304 4627331 140735762883872 18446744073709551615 4406981 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1885572 1486369 374 106 0 1880543 0
Current children cumulated CPU time (s) 896.03
Current children cumulated vsize (KiB) 7542288
[startup+921.601 s]
/proc/loadavg: 4.01 3.91 3.42 5/190 30988
/proc/meminfo: memFree=7786900/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=7631116 CPUtime=921.64 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1698479 0 0 0 91927 237 0 0 25 0 1 0 487833543 7814262784 1504198 33554432000 4194304 4627331 140735762883872 18446744073709551615 4308360 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1907779 1504198 374 106 0 1902750 0
Current children cumulated CPU time (s) 921.64
Current children cumulated vsize (KiB) 7631116
[startup+928.001 s]
/proc/loadavg: 4.01 3.92 3.42 5/190 30988
/proc/meminfo: memFree=7719940/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=7649636 CPUtime=928.03 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4202496 1703121 0 0 0 92566 237 0 0 25 0 1 0 487833543 7833227264 1508840 33554432000 4194304 4627331 140735762883872 18446744073709551615 4309177 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1912409 1508840 374 106 0 1907380 0
Current children cumulated CPU time (s) 928.03
Current children cumulated vsize (KiB) 7649636
[startup+934.4 s]
/proc/loadavg: 4.01 3.92 3.43 5/190 30988
/proc/meminfo: memFree=5363556/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=7720268 CPUtime=934.43 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4204032 1704361 0 2 0 92825 618 0 0 25 0 1 0 487833543 7905554432 1510081 33554432000 4194304 4627331 140735762883872 18446744073709551615 254500078181 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1930067 1510081 403 106 0 1925038 0
Current children cumulated CPU time (s) 934.43
Current children cumulated vsize (KiB) 7720268
[startup+937.601 s]
/proc/loadavg: 4.09 3.93 3.43 5/190 30988
/proc/meminfo: memFree=3042876/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=7720268 CPUtime=937.63 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4204032 1704361 0 2 0 92825 938 0 0 25 0 1 0 487833543 7905554432 1510081 33554432000 4194304 4627331 140735762883872 18446744073709551615 254500078181 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1930067 1510081 403 106 0 1925038 0
Current children cumulated CPU time (s) 937.63
Current children cumulated vsize (KiB) 7720268
[startup+939.2 s]
/proc/loadavg: 4.09 3.93 3.43 5/190 30988
/proc/meminfo: memFree=2268620/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=7720268 CPUtime=939.23 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4204032 1704361 0 2 0 92825 1098 0 0 25 0 1 0 487833543 7905554432 1510081 33554432000 4194304 4627331 140735762883872 18446744073709551615 254500078181 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30584/statm: 1930067 1510081 403 106 0 1925038 0
Current children cumulated CPU time (s) 939.23
Current children cumulated vsize (KiB) 7720268
[startup+939.6 s]
/proc/loadavg: 4.09 3.93 3.43 5/190 30988
/proc/meminfo: memFree=1493420/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=0 CPUtime=939.63 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4204036 1704361 0 2 0 92825 1138 0 0 25 0 1 0 487833543 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30584/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 939.63
Current children cumulated vsize (KiB) 0
[startup+939.8 s]
/proc/loadavg: 4.09 3.93 3.43 5/190 30988
/proc/meminfo: memFree=1493420/32950928 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=0 CPUtime=939.83 cores=0,2
/proc/30584/stat : 30584 (strangenight2-s) R 30582 30584 29940 0 -1 4204036 1704361 0 2 0 92825 1158 0 0 25 0 1 0 487833543 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30584/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 939.83
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 939.82
CPU time (s): 939.857
CPU user time (s): 928.255
CPU system time (s): 11.6022
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 7783748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 928.255
system time used= 11.6022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1704361
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 1298
runsolver used 1.57276 second user time and 3.56346 second system time
The end
Begin job on node149 at 2011-04-25 22:12:49
IDJOB=3284091
IDBENCH=71686
IDSOLVER=1587
FILE ID=node149/3284091-1303762357
RUNJOBID= node149-1303762357-30542
PBS_JOBID= 13157116
Free space on /tmp= 71680 MiB
SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284091-1303762357/watcher-3284091-1303762357 -o /tmp/evaluation-result-3284091-1303762357/solver-3284091-1303762357 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3284091-1303762357.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 75d91f0ba4398ccb5b452707c0e7fa27
RANDOM SEED=919781415
node149.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.806
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.61
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.806
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.806
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.83
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.806
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.73
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.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
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.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 19555100 kB
Buffers: 2161384 kB
Cached: 9903300 kB
SwapCached: 0 kB
Active: 2486948 kB
Inactive: 10374528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 19555100 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 523980 kB
Writeback: 0 kB
AnonPages: 795852 kB
Mapped: 16116 kB
Slab: 469476 kB
PageTables: 6912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1251196 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= 65848 MiB
End job on node149 at 2011-04-25 22:28:28