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-3291959-1303789002.cnf'
0.00/0.00 c -- header says num vars: 371419
0.00/0.00 c -- header says num clauses: 7170909
1.89/1.95 c -- clauses added: 0 learnts, 7170909 normals, 0 xors
1.89/1.95 c -- vars added 371419
2.98/3.01 c Parsing time: 1.82 s
2.98/3.01 c N st 0 0 371419 400457 6770451 0 20872418 0 no data no data --
2.98/3.01 c asymm cl-useful: 23/27/400448 lits-rem:822 time: 0.31
8.59/8.63 c Flit: 252 Blit: 91852 bXBeca: 0 bXProp: 3696 Bins: 0 BRemL: 0 BRemN: 0 P: 200.4M T: 6.13
9.29/9.36 c Cleaning up after failed var search: 0.72 s
9.80/9.81 c Replacing 3696 vars Replaced 244272 lits Time: 0.44 s
10.79/10.88 c bin-w-bin subsume rem 7 bins time: 0.60 s
12.49/12.59 c subs with bin: 4198 lits-rem: 33927 v-fix: 0 time: 1.72 s
16.59/16.65 c Subs w/ non-existent bins: 8 l-rem: 0 v-fix: 0 done: 27711 time: 4.03 s
16.79/16.89 c Removed useless bin: 394 fixed: 0 props: 20.00M time: 0.25 s
21.59/21.69 c lits-rem: 3653 cl-subs: 25012 v-elim: 9234 v-fix: 0 time: 4.79 s
22.39/22.47 c Finding binary XORs T: 0.79 s found: 967
22.59/22.67 c Replacing 967 vars Replaced 50817 lits Time: 0.19 s
23.49/23.56 c Finding non-binary XORs: 0.55 s (found: 0, avg size: nan)
23.49/23.56 c calculated reachability. Time: 0.25
23.59/23.64 c Calc default polars - time: 0.08 s pos: 49598 undec: 113916 neg: 207905
23.59/23.64 c =========================================================================================
23.59/23.64 c types(t): F = full restart, N = normal restart
23.59/23.64 c types(t): S = simplification begin/end, E = solution found
23.59/23.64 c restart types(rt): st = static, dy = dynamic
23.59/23.64 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
23.59/23.64 c B st 0 0 257828 259775 4790113 0 14608461 0 no data no data --
28.39/28.43 c N dy 21 4008 257827 259775 4790535 3511 14608379 164458 13.23 16.24 --
31.99/32.06 c N dy 50 8025 257769 259775 4790786 7173 14608377 333445 14.62 19.00 --
35.10/35.20 c N dy 75 12068 257294 259775 4791044 10855 14608371 511069 14.94 15.84 --
37.79/37.85 c N dy 92 16303 257294 259775 4791176 14826 14608371 754991 14.57 15.41 --
41.59/41.63 c N dy 97 20943 257294 259775 4791465 9891 14608371 373114 13.58 14.45 --
44.39/44.47 c F st 100 25000 257291 259775 4791699 13540 14608371 564290 12.93 8.36 --
46.29/46.39 c N st 100 25000 257291 259212 4756809 13479 14505767 562826 12.93 8.36 --
51.49/51.54 c N dy 106 30000 257289 259212 4757172 18056 14505749 807329 12.93 no data --
51.49/51.54 c S st 106 30000 257289 259212 4757172 18056 14505749 807329 12.93 no data --
52.79/52.89 c S st 106 30502 257279 259212 4757434 18284 14505749 810484 12.93 no data --
52.99/53.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
52.99/53.05 c Cache BProp: 831 Set: 45 BXProp: 2 T: 0.01
75.69/75.71 c Flit: 780 Blit: 931 bXBeca: 0 bXProp: 5026 Bins: 25091 BRemL: 128 BRemN: 443 P: 200.3M T: 22.48
75.79/75.83 c Cleaning up after failed var search: 0.12 s
76.09/76.15 c Replacing 5030 vars Replaced 426133 lits Time: 0.31 s
77.00/77.02 c bin-w-bin subsume rem 8089 bins time: 0.51 s
78.59/78.62 c subs with bin: 3289 lits-rem: 27955 v-fix: 0 time: 1.60 s
80.30/80.30 c Subs w/ non-existent bins: 46 l-rem: 2166 v-fix: 7 done: 68738 time: 1.67 s
80.69/80.70 c Removed useless bin: 2607 fixed: 0 props: 20.02M time: 0.31 s
84.49/84.58 c lits-rem: 1049 cl-subs: 7860 v-elim: 12162 v-fix: 0 time: 3.88 s
84.89/84.93 c asymm cl-useful: 128/843/233557 lits-rem:1355 time: 0.33
85.59/85.69 c calculated reachability. Time: 0.67
85.59/85.69 c N dy 106 30502 228093 233557 4529228 10833 13669615 512695 12.93 no data --
87.69/87.76 c Finding binary XORs T: 2.06 s found: 1940
94.19/94.25 c N dy 133 34536 228086 233557 4529875 14172 13669599 633448 13.05 13.83 --
102.09/102.17 c N dy 155 38718 228085 233557 4530594 17598 13669582 753504 13.01 13.82 --
108.59/108.67 c N dy 189 42723 228084 233557 4531054 21104 13669572 906463 13.35 19.07 --
113.99/114.06 c S st 215 45753 228084 233557 4531411 23742 13669570 1015943 13.57 no data --
114.99/115.07 c S st 215 46253 228081 233557 4531654 23996 13669570 1019331 13.57 no data --
115.19/115.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
115.19/115.25 c Cache BProp: 2483 Set: 1792 BXProp: 3 T: 0.03
127.50/127.60 c Flit: 301 Blit: 353 bXBeca: 0 bXProp: 869 Bins: 22381 BRemL: 2 BRemN: 115 P: 200.2M T: 12.25
127.70/127.70 c Cleaning up after failed var search: 0.10 s
128.00/128.02 c Replacing 2813 vars Replaced 250310 lits Time: 0.30 s
128.90/128.90 c bin-w-bin subsume rem 10193 bins time: 0.53 s
130.40/130.40 c subs with bin: 1577 lits-rem: 36169 v-fix: 0 time: 1.50 s
134.40/134.40 c Subs w/ non-existent bins: 225 l-rem: 3411 v-fix: 12 done: 21590 time: 3.99 s
134.70/134.72 c Removed useless bin: 1916 fixed: 0 props: 20.02M time: 0.31 s
138.79/138.81 c lits-rem: 9288 cl-subs: 14271 v-elim: 28672 v-fix: 0 time: 4.09 s
139.60/139.66 c vivif2 -- cl tried 108039 cl shrink 19396 lits rem 47024 time: 0.83
139.90/139.92 c vivif2 -- cl tried 14131 cl shrink 2744 lits rem 14021 time: 0.26
140.20/140.24 c asymm cl-useful: 121/613/265654 lits-rem:1468 time: 0.32
141.10/141.12 c calculated reachability. Time: 0.79
141.10/141.13 c N dy 215 46253 192561 265653 4359032 14096 13691073 526306 13.57 no data --
143.70/143.74 c Finding binary XORs T: 2.61 s found: 490
146.40/146.44 c N dy 229 50348 192561 265653 4359340 17798 13691055 669867 13.37 14.37 --
149.19/149.22 c N dy 249 55033 192561 265653 4359598 22097 13691055 877081 13.26 14.46 --
152.20/152.27 c N dy 252 60916 192561 265653 4359875 16063 13691055 527077 12.81 13.74 --
154.70/154.72 c N dy 255 65007 192560 265653 4360023 19849 13691050 832152 12.53 13.21 --
160.80/160.86 c N dy 285 69235 192560 265653 4360541 23506 13691013 977747 12.69 13.48 --
161.00/161.05 c S st 287 69380 192560 265653 4360544 23647 13691013 985394 12.70 no data --
162.00/162.01 c S st 287 69881 192557 265653 4360723 23965 13691013 990171 12.70 no data --
162.10/162.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.14
162.10/162.19 c Cache BProp: 610 Set: 0 BXProp: 0 T: 0.03
838.43/838.40 c Flit: 211 Blit: 219 bXBeca: 0 bXProp: 15 Bins: 193126 BRemL: 6 BRemN: 503 P: 200.2M T: 676.18
838.43/838.40 c Cleaning up after failed var search: 0.00 s
838.73/838.77 c Replacing 505 vars Replaced 137156 lits Time: 0.35 s
839.63/839.66 c bin-w-bin subsume rem 3575 bins time: 0.54 s
841.03/841.06 c subs with bin: 16495 lits-rem: 65394 v-fix: 0 time: 1.40 s
843.12/843.12 c Subs w/ non-existent bins: 597 l-rem: 2179 v-fix: 15 done: 22484 time: 2.05 s
843.42/843.48 c Removed useless bin: 4007 fixed: 17 props: 20.00M time: 0.34 s
852.13/852.17 c lits-rem: 5783 cl-subs: 14986 v-elim: 30158 v-fix: 0 time: 8.69 s
852.93/852.97 c vivif2 -- cl tried 71477 cl shrink 7954 lits rem 8149 time: 0.78
853.33/853.34 c vivif2 -- cl tried 14023 cl shrink 1903 lits rem 12299 time: 0.37
853.73/853.70 c asymm cl-useful: 235/1264/307404 lits-rem:1583 time: 0.36
854.53/854.54 c calculated reachability. Time: 0.76
854.53/854.54 c N dy 287 69881 161441 307403 3769359 13978 11829928 868514 12.70 no data --
857.13/857.15 c Finding binary XORs T: 2.60 s found: 175
862.52/862.53 c N dy 314 74390 161439 307403 3769777 17965 11829861 1059817 12.77 18.29 --
868.32/868.36 c N dy 353 79221 161439 307403 3770288 22215 11829855 1239317 12.96 16.09 --
875.13/875.15 c N dy 391 84338 161439 307403 3770779 26771 11829850 1406914 13.09 14.90 --
878.72/878.77 c F st 419 87500 161439 307403 3771046 29612 11829850 1534557 13.23 no data --
879.02/879.04 c Replacing 175 vars Replaced 38911 lits Time: 0.19 s
882.03/882.08 c N st 424 90796 161264 306988 3770835 17842 11827505 841208 13.23 no data --
888.03/888.09 c N dy 458 96683 161264 306988 3771207 23239 11827446 1080106 13.36 17.25 --
895.43/895.45 c N dy 510 102890 161264 306988 3771706 28863 11827437 1324179 13.58 14.36 --
897.23/897.29 c S st 527 104821 161264 306988 3771843 30634 11827437 1396863 13.66 no data --
898.32/898.33 c S st 527 105323 161262 306988 3772005 30965 11827437 1399531 13.66 no data --
898.42/898.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13
898.42/898.49 c Cache BProp: 661 Set: 141 BXProp: 11 T: 0.03
1197.34/1197.32 c Flit: 596 Blit: 560 bXBeca: 0 bXProp: 52 Bins: 99441 BRemL: 106 BRemN: 1520 P: 200.1M T: 298.76
1197.34/1197.32 c Cleaning up after failed var search: 0.00 s
1197.74/1197.75 c Replacing 63 vars Replaced 128307 lits Time: 0.42 s
1198.63/1198.61 c bin-w-bin subsume rem 1733 bins time: 0.45 s
1200.04/1200.06 c subs with bin: 2614 lits-rem: 67141 v-fix: 0 time: 1.45 s
1205.34/1205.38 c Subs w/ non-existent bins: 1289 l-rem: 5177 v-fix: 1 done: 9383 time: 5.30 s
1205.74/1205.78 c Removed useless bin: 4009 fixed: 0 props: 20.05M time: 0.40 s
1212.24/1212.29 c lits-rem: 4310 cl-subs: 6611 v-elim: 20570 v-fix: 0 time: 6.50 s
1214.84/1214.88 c vivif2 -- cl tried 188344 cl shrink 29076 lits rem 46806 time: 2.56
1215.94/1215.98 c vivif2 -- cl tried 27959 cl shrink 5413 lits rem 83633 time: 1.10
1216.34/1216.39 c asymm cl-useful: 144/578/288602 lits-rem:635 time: 0.42
1217.34/1217.35 c calculated reachability. Time: 0.88
1217.34/1217.35 c N dy 527 105323 139326 288602 3114726 27929 9516252 1395433 13.66 no data --
1220.53/1220.51 c Finding binary XORs T: 3.15 s found: 73
1225.93/1225.95 c N dy 579 112114 139324 288602 3115026 34280 9516245 1731819 13.74 19.13 --
1231.54/1231.54 c N dy 634 119327 139324 288602 3115315 23356 9516245 1159177 13.89 16.18 --
1236.64/1236.61 c N dy 695 126956 139323 288602 3115644 30509 9516239 1582209 13.98 16.01 --
1241.04/1241.09 c N dy 734 135103 139323 288602 3115866 38242 9516239 2116165 13.96 15.43 --
1246.73/1246.75 c N dy 780 144283 139323 288602 3116161 26715 9516239 1314198 13.94 14.72 --
1252.13/1252.13 c N dy 811 153797 139323 288602 3116415 35767 9516233 1749356 13.87 14.69 --
1254.64/1254.67 c S st 834 157984 139323 288602 3116513 39790 9516233 1980931 13.88 no data --
1255.34/1255.32 c S st 834 158484 139322 288602 3116608 40188 9516233 1987278 13.88 no data --
1255.44/1255.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
1255.44/1255.46 c Cache BProp: 266 Set: 0 BXProp: 5 T: 0.03
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-3291959-1303789002/watcher-3291959-1303789002 -o /tmp/evaluation-result-3291959-1303789002/solver-3291959-1303789002 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3291959-1303789002.cnf
running on 2 cores: 5,7
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: 5.60 7.28 6.86 4/189 27162
/proc/meminfo: memFree=26976856/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=32052 CPUtime=0 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 1290 0 0 0 0 0 0 0 22 0 1 0 490500355 32821248 1164 33554432000 4194304 4650387 140735552195232 18446744073709551615 4317100 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 8013 1164 328 112 0 2978 0
[startup+0.0316941 s]
/proc/loadavg: 5.60 7.28 6.86 4/189 27162
/proc/meminfo: memFree=26976856/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=35288 CPUtime=0.02 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 2339 0 0 0 2 0 0 0 22 0 1 0 490500355 36134912 2072 33554432000 4194304 4650387 140735552195232 18446744073709551615 4520320 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 8822 2076 329 112 0 3787 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 35288
[startup+0.100679 s]
/proc/loadavg: 5.60 7.28 6.86 4/189 27162
/proc/meminfo: memFree=26976856/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=45628 CPUtime=0.08 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 5435 0 0 0 8 0 0 0 22 0 1 0 490500355 46723072 4878 33554432000 4194304 4650387 140735552195232 18446744073709551615 4520077 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 11407 4879 329 112 0 6372 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45628
[startup+0.300643 s]
/proc/loadavg: 5.60 7.28 6.86 4/189 27162
/proc/meminfo: memFree=26976856/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=78660 CPUtime=0.29 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 14522 0 0 0 27 2 0 0 23 0 1 0 490500355 80547840 12342 33554432000 4194304 4650387 140735552195232 18446744073709551615 4545866 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 19665 12344 329 112 0 14630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78660
[startup+0.700629 s]
/proc/loadavg: 5.60 7.28 6.86 4/189 27162
/proc/meminfo: memFree=26976856/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=164040 CPUtime=0.69 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 30453 0 0 0 64 5 0 0 25 0 1 0 490500355 167976960 26073 33554432000 4194304 4650387 140735552195232 18446744073709551615 208079893189 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 41010 26075 329 112 0 35975 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 164040
[startup+1.50042 s]
/proc/loadavg: 5.47 7.23 6.84 5/190 27163
/proc/meminfo: memFree=26823956/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=284364 CPUtime=1.48 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 64284 0 0 0 138 10 0 0 25 0 1 0 490500355 291188736 55497 33554432000 4194304 4650387 140735552195232 18446744073709551615 4547046 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 71091 55497 329 112 0 66056 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 284364
[startup+3.10011 s]
/proc/loadavg: 5.47 7.23 6.84 5/190 27163
/proc/meminfo: memFree=26690168/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=404244 CPUtime=3.09 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 99473 0 0 0 294 15 0 0 25 0 1 0 490500355 413945856 82233 33554432000 4194304 4650387 140735552195232 18446744073709551615 4370490 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 101061 82233 353 112 0 96026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 404244
[startup+6.3005 s]
/proc/loadavg: 5.47 7.23 6.84 5/190 27163
/proc/meminfo: memFree=26481736/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=671604 CPUtime=6.29 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 153727 0 0 0 607 22 0 0 25 0 1 0 490500355 687722496 136487 33554432000 4194304 4650387 140735552195232 18446744073709551615 4370232 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 167901 136487 353 112 0 162866 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 671604
[startup+12.7003 s]
/proc/loadavg: 5.25 7.12 6.81 5/190 27163
/proc/meminfo: memFree=26195536/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=908468 CPUtime=12.69 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 204900 0 0 0 1241 28 0 0 25 0 1 0 490500355 930271232 187660 33554432000 4194304 4650387 140735552195232 18446744073709551615 4448891 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 227117 187660 365 112 0 222082 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 908468
[startup+25.5008 s]
/proc/loadavg: 5.06 7.02 6.78 5/190 27163
/proc/meminfo: memFree=26109000/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=967240 CPUtime=25.49 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 219657 0 0 0 2519 30 0 0 25 0 1 0 490500355 990453760 202417 33554432000 4194304 4650387 140735552195232 18446744073709551615 4363267 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 241810 202417 379 112 0 236775 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 967240
[startup+51.101 s]
/proc/loadavg: 4.69 6.78 6.70 5/190 27164
/proc/meminfo: memFree=26084388/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=967240 CPUtime=51.09 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 221146 0 0 0 5079 30 0 0 25 0 1 0 490500355 990453760 203906 33554432000 4194304 4650387 140735552195232 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 241810 203906 382 112 0 236775 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 967240
[startup+102.307 s]
/proc/loadavg: 4.28 6.31 6.54 5/190 27165
/proc/meminfo: memFree=25352664/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=1812068 CPUtime=102.3 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 391149 0 0 0 10180 50 0 0 25 0 1 0 490500355 1855557632 373909 33554432000 4194304 4650387 140735552195232 18446744073709551615 4363736 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 453017 373909 383 112 0 447982 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1812068
[startup+162.301 s]
/proc/loadavg: 4.10 5.88 6.38 5/190 27167
/proc/meminfo: memFree=24972128/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2255676 CPUtime=162.3 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 494611 0 0 0 16168 62 0 0 25 0 1 0 490500355 2309812224 464791 33554432000 4194304 4650387 140735552195232 18446744073709551615 4369147 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 563919 464791 383 112 0 558884 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 2255676
[startup+222.3 s]
/proc/loadavg: 4.03 5.54 6.23 5/190 27168
/proc/meminfo: memFree=24906100/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2277724 CPUtime=222.3 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 500108 0 0 0 22167 63 0 0 25 0 1 0 490500355 2332389376 470288 33554432000 4194304 4650387 140735552195232 18446744073709551615 4236872 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 569431 470288 383 112 0 564396 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 2277724
[startup+282.301 s]
/proc/loadavg: 4.01 5.26 6.09 5/190 27170
/proc/meminfo: memFree=24875412/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2283956 CPUtime=282.3 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 501666 0 0 0 28167 63 0 0 25 0 1 0 490500355 2338770944 471846 33554432000 4194304 4650387 140735552195232 18446744073709551615 4231007 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 570989 471846 383 112 0 565954 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2283956
[startup+342.3 s]
/proc/loadavg: 4.06 5.04 5.96 5/190 27172
/proc/meminfo: memFree=24874336/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2286604 CPUtime=342.3 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 502328 0 0 0 34167 63 0 0 25 0 1 0 490500355 2341482496 472508 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230706 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 571651 472508 383 112 0 566616 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2286604
[startup+402.301 s]
/proc/loadavg: 4.02 4.85 5.84 5/190 27173
/proc/meminfo: memFree=24831628/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2286604 CPUtime=402.3 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 502328 0 0 0 40167 63 0 0 25 0 1 0 490500355 2341482496 472508 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230691 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 571651 472508 383 112 0 566616 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2286604
[startup+462.301 s]
/proc/loadavg: 4.01 4.69 5.72 5/190 27175
/proc/meminfo: memFree=24821808/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2286604 CPUtime=462.31 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 502328 0 0 0 46168 63 0 0 25 0 1 0 490500355 2341482496 472508 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230573 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 571651 472508 383 112 0 566616 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2286604
[startup+522.3 s]
/proc/loadavg: 4.00 4.56 5.61 5/190 27176
/proc/meminfo: memFree=24819028/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2298852 CPUtime=522.3 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 505391 0 0 0 52167 63 0 0 25 0 1 0 490500355 2354024448 475571 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230600 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 574713 475571 383 112 0 569678 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2298852
[startup+582.301 s]
/proc/loadavg: 4.00 4.46 5.50 5/190 27178
/proc/meminfo: memFree=24812020/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2301856 CPUtime=582.31 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 506141 0 0 0 58168 63 0 0 25 0 1 0 490500355 2357100544 476321 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230695 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 575464 476321 383 112 0 570429 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2301856
[startup+642.3 s]
/proc/loadavg: 4.00 4.37 5.41 5/190 27180
/proc/meminfo: memFree=24794136/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2309696 CPUtime=642.32 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 508101 0 0 0 64168 64 0 0 25 0 1 0 490500355 2365128704 478281 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230566 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 577424 478281 383 112 0 572389 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 2309696
[startup+702.301 s]
/proc/loadavg: 4.00 4.30 5.32 5/190 27181
/proc/meminfo: memFree=24799520/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2309696 CPUtime=702.32 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 508101 0 0 0 70168 64 0 0 25 0 1 0 490500355 2365128704 478281 33554432000 4194304 4650387 140735552195232 18446744073709551615 4236872 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 577424 478281 383 112 0 572389 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 2309696
[startup+762.306 s]
/proc/loadavg: 4.00 4.24 5.23 5/190 27183
/proc/meminfo: memFree=24756972/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2311808 CPUtime=762.33 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 508629 0 0 0 76169 64 0 0 25 0 1 0 490500355 2367291392 478809 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230548 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 577952 478809 383 112 0 572917 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 2311808
[startup+822.301 s]
/proc/loadavg: 4.00 4.20 5.15 5/190 27184
/proc/meminfo: memFree=24755860/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2314308 CPUtime=822.32 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 509254 0 0 0 82168 64 0 0 25 0 1 0 490500355 2369851392 479434 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230600 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 578577 479434 383 112 0 573542 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2314308
[startup+882.301 s]
/proc/loadavg: 4.09 4.19 5.09 5/190 27186
/proc/meminfo: memFree=24488876/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2597852 CPUtime=882.33 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 577814 0 0 0 88161 72 0 0 25 0 1 0 490500355 2660200448 539169 33554432000 4194304 4650387 140735552195232 18446744073709551615 4365445 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 649463 539169 383 112 0 644428 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 2597852
[startup+942.3 s]
/proc/loadavg: 4.03 4.15 5.02 5/190 27188
/proc/meminfo: memFree=24462948/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2619524 CPUtime=942.33 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 583752 0 0 0 94160 73 0 0 25 0 1 0 490500355 2682392576 545107 33554432000 4194304 4650387 140735552195232 18446744073709551615 4231019 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 654881 545107 383 112 0 649846 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 2619524
[startup+1002.3 s]
/proc/loadavg: 4.01 4.12 4.95 5/190 27189
/proc/meminfo: memFree=24429040/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2628980 CPUtime=1002.33 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 586148 0 0 0 100160 73 0 0 25 0 1 0 490500355 2692075520 547503 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230784 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 657245 547503 383 112 0 652210 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2628980
[startup+1062.3 s]
/proc/loadavg: 4.11 4.13 4.90 5/190 27191
/proc/meminfo: memFree=24403844/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2651392 CPUtime=1062.33 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 591751 0 0 0 106160 73 0 0 25 0 1 0 490500355 2715025408 553106 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230791 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 662848 553106 383 112 0 657813 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2651392
[startup+1122.3 s]
/proc/loadavg: 4.04 4.10 4.84 5/190 27192
/proc/meminfo: memFree=24392104/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2652360 CPUtime=1122.34 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 591993 0 0 0 112160 74 0 0 25 0 1 0 490500355 2716016640 553348 33554432000 4194304 4650387 140735552195232 18446744073709551615 4236872 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 663090 553348 383 112 0 658055 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 2652360
[startup+1182.3 s]
/proc/loadavg: 4.01 4.08 4.78 5/190 27194
/proc/meminfo: memFree=24379252/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2652360 CPUtime=1182.34 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 591993 0 0 0 118160 74 0 0 25 0 1 0 490500355 2716016640 553348 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230684 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 663090 553348 383 112 0 658055 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 2652360
[startup+1242.3 s]
/proc/loadavg: 4.00 4.06 4.73 5/190 27196
/proc/meminfo: memFree=24151248/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2951264 CPUtime=1242.34 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 665702 0 0 0 124150 84 0 0 25 0 1 0 490500355 3022094336 610540 33554432000 4194304 4650387 140735552195232 18446744073709551615 4313424 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 737816 610540 383 112 0 732781 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2951264
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.41 3.63 4.54 2/172 27251
/proc/meminfo: memFree=24879168/32950928 swapFree=67111364/67111528
[pid=27162] ppid=27160 vsize=2974236 CPUtime=1300.04 cores=5,7
/proc/27162/stat : 27162 (strangenight1-s) R 27160 27162 24832 0 -1 4202496 672970 0 0 0 129919 85 0 0 25 0 1 0 490500355 3045617664 617808 33554432000 4194304 4650387 140735552195232 18446744073709551615 4230555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27162/statm: 743559 617808 383 112 0 738524 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 2974236
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.15
CPU user time (s): 1299.2
CPU system time (s): 0.955854
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2987672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.2
system time used= 0.955854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 672970
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= 1995
runsolver used 2.09468 second user time and 4.97324 second system time
The end
Begin job on node127 at 2011-04-26 05:36:47
IDJOB=3291959
IDBENCH=85005
IDSOLVER=1589
FILE ID=node127/3291959-1303789002
RUNJOBID= node127-1303788957-27067
PBS_JOBID= 13157213
Free space on /tmp= 71748 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291959-1303789002/watcher-3291959-1303789002 -o /tmp/evaluation-result-3291959-1303789002/solver-3291959-1303789002 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3291959-1303789002.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=2033007208
node127.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.823
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.64
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.823
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.823
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.823
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.86
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.823
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.823
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.823
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.60
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.823
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: 32950928 kB
MemFree: 26977136 kB
Buffers: 1286848 kB
Cached: 3815032 kB
SwapCached: 0 kB
Active: 1517656 kB
Inactive: 3977188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 26977136 kB
SwapTotal: 67111528 kB
SwapFree: 67111364 kB
Dirty: 177684 kB
Writeback: 0 kB
AnonPages: 392748 kB
Mapped: 16332 kB
Slab: 412212 kB
PageTables: 6088 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 618628 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= 71784 MiB
End job on node127 at 2011-04-26 05:58:29