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-3370689-1305396665.cnf'
0.00/0.01 c -- header says num vars: 569795
0.00/0.01 c -- header says num clauses: 8562505
2.48/2.50 c -- clauses added: 0 learnts, 8562505 normals, 0 xors
2.48/2.50 c -- vars added 569795
2.48/2.50 c Parsing time: 2.30 s
2.48/2.50 c N st 0 0 569795 994556 7567948 0 24843744 0 no data no data --
2.88/2.97 c asymm cl-useful: 76/80/994498 lits-rem:1704 time: 0.42
11.28/11.30 c Flit: 301 Blit: 61462 bXBeca: 0 bXProp: 236 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.07
11.68/11.79 c Cleaning up after failed var search: 0.49 s
12.09/12.12 c Replacing 236 vars Replaced 234762 lits Time: 0.32 s
13.19/13.24 c bin-w-bin subsume rem 56 bins time: 0.54 s
14.68/14.76 c subs with bin: 75426 lits-rem: 74489 v-fix: 0 time: 1.52 s
17.08/17.17 c Subs w/ non-existent bins: 2711 l-rem: 2534 v-fix: 1044 done: 63977 time: 2.40 s
17.38/17.49 c Removed useless bin: 795 fixed: 0 props: 20.00M time: 0.31 s
21.68/21.78 c lits-rem: 365 cl-subs: 41630 v-elim: 18051 v-fix: 0 time: 4.28 s
22.88/22.92 c Finding binary XORs T: 1.13 s found: 2448
23.09/23.16 c Replacing 2448 vars Replaced 70802 lits Time: 0.25 s
24.19/24.22 c Finding non-binary XORs: 0.63 s (found: 0, avg size: nan)
24.19/24.22 c calculated reachability. Time: 0.31
24.28/24.33 c Calc default polars - time: 0.10 s pos: 35558 undec: 83843 neg: 450394
24.28/24.33 c =========================================================================================
24.28/24.33 c types(t): F = full restart, N = normal restart
24.28/24.33 c types(t): S = simplification begin/end, E = solution found
24.28/24.33 c restart types(rt): st = static, dy = dynamic
24.28/24.33 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
24.28/24.33 c B st 0 0 486056 586312 5360727 0 17349341 0 no data no data --
40.78/40.88 c N dy 16 4068 486052 586312 5361471 3240 17349324 178651 10.50 23.56 --
59.78/59.80 c N dy 35 8127 486037 586312 5362823 5861 17349312 296572 9.61 10.18 --
78.68/78.77 c N dy 48 13164 486020 586312 5363690 9896 17349304 519703 8.92 9.76 --
103.08/103.10 c N dy 67 17374 486018 586312 5365182 12583 17349295 663474 9.09 9.97 --
123.79/123.84 c N dy 99 21378 485878 586312 5365906 8543 17349288 321101 10.58 11.15 --
141.29/141.32 c F st 119 25000 485878 586312 5366624 11408 17349280 471316 10.52 10.79 --
145.59/145.65 c N st 121 25625 485878 584543 5345878 11534 17275473 472258 10.52 no data --
166.79/166.88 c N dy 125 30003 485878 584543 5347034 14746 17275463 664626 10.52 no data --
166.79/166.88 c S st 125 30003 485878 584543 5347034 14746 17275463 664626 10.52 no data --
169.09/169.12 c S st 125 30504 485875 584543 5347357 14917 17275463 666378 10.52 no data --
169.30/169.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.20
169.30/169.33 c Cache BProp: 449 Set: 10 BXProp: 12 T: 0.01
618.90/618.98 c Flit: 284 Blit: 5 bXBeca: 0 bXProp: 935 Bins: 48006 BRemL: 0 BRemN: 53 P: 200.0M T: 449.48
618.90/619.00 c Cleaning up after failed var search: 0.00 s
619.40/619.42 c Replacing 948 vars Replaced 72760 lits Time: 0.40 s
620.41/620.48 c bin-w-bin subsume rem 1431 bins time: 0.61 s
621.90/621.93 c subs with bin: 479 lits-rem: 15367 v-fix: 0 time: 1.45 s
625.81/625.90 c Subs w/ non-existent bins: 159 l-rem: 218 v-fix: 0 done: 42943 time: 3.97 s
626.20/626.26 c Removed useless bin: 658 fixed: 0 props: 20.00M time: 0.37 s
629.50/629.57 c lits-rem: 441 cl-subs: 1550 v-elim: 11738 v-fix: 0 time: 3.30 s
630.00/630.02 c asymm cl-useful: 82/101/569622 lits-rem:5379 time: 0.45
631.10/631.13 c calculated reachability. Time: 0.99
631.10/631.14 c N dy 125 30504 472796 569622 5363846 12911 17313527 664371 10.52 no data --
634.50/634.53 c Finding binary XORs T: 3.39 s found: 475
656.61/656.64 c N dy 149 34557 472656 569622 5364808 15956 17313517 887209 10.75 11.36 --
676.60/676.65 c N dy 172 39356 472643 569622 5365602 19906 17313505 1165670 10.75 11.45 --
694.80/694.84 c N dy 200 43405 472639 569622 5366243 11950 17313487 348703 11.04 12.26 --
707.00/707.05 c S st 216 45760 472632 569622 5366744 13779 17313476 441110 11.04 4.66 --
709.60/709.67 c S st 216 46260 472629 569622 5366992 14027 17313476 446030 11.04 no data --
709.80/709.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.19
709.90/709.90 c Cache BProp: 156 Set: 144 BXProp: 1 T: 0.03
761.31/761.30 c Flit: 585 Blit: 210 bXBeca: 0 bXProp: 429 Bins: 15282 BRemL: 0 BRemN: 42 P: 200.1M T: 51.29
761.31/761.32 c Cleaning up after failed var search: 0.00 s
761.70/761.72 c Replacing 909 vars Replaced 76439 lits Time: 0.38 s
762.70/762.78 c bin-w-bin subsume rem 1880 bins time: 0.62 s
764.20/764.28 c subs with bin: 15312 lits-rem: 35747 v-fix: 0 time: 1.51 s
766.10/766.15 c Subs w/ non-existent bins: 1489 l-rem: 1636 v-fix: 0 done: 48323 time: 1.87 s
767.10/767.10 c Removed useless bin: 466 fixed: 0 props: 20.00M time: 0.43 s
772.51/772.54 c lits-rem: 12852 cl-subs: 6781 v-elim: 37155 v-fix: 0 time: 5.41 s
773.41/773.47 c vivif2 -- cl tried 287605 cl shrink 6841 lits rem 7198 time: 0.93
773.61/773.63 c vivif2 -- cl tried 8320 cl shrink 929 lits rem 6229 time: 0.16
774.01/774.05 c asymm cl-useful: 48/400/527416 lits-rem:1067 time: 0.43
775.31/775.38 c calculated reachability. Time: 1.21
775.31/775.39 c N dy 216 46260 433610 527416 5284852 8252 17578616 210162 11.04 no data --
779.71/779.78 c Finding binary XORs T: 4.39 s found: 2056
794.11/794.11 c N dy 237 50289 433603 527416 5285171 11896 17578595 390087 10.99 11.93 --
804.50/804.58 c N dy 261 54573 432862 527416 5285410 15877 17578585 656810 11.21 12.13 --
817.10/817.16 c N dy 287 58813 432859 527416 5285664 19817 17578580 897023 11.35 12.13 --
830.20/830.24 c N dy 319 62890 432849 527416 5285902 23598 17578469 1097830 11.71 12.46 --
842.00/842.03 c N dy 349 67069 432848 527416 5286106 27514 17578456 1335468 11.99 12.82 --
849.22/849.29 c S st 368 69394 432848 527416 5286246 29675 17578448 1458722 12.20 no data --
853.21/853.27 c S st 368 69894 432844 527416 5286487 15042 17578446 377346 12.20 no data --
853.41/853.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.20
853.52/853.51 c Cache BProp: 15 Set: 13 BXProp: 0 T: 0.04
1006.21/1006.20 c Flit: 360 Blit: 684 bXBeca: 0 bXProp: 622 Bins: 7567 BRemL: 0 BRemN: 12 P: 200.0M T: 152.54
1006.21/1006.22 c Cleaning up after failed var search: 0.00 s
1006.61/1006.64 c Replacing 2678 vars Replaced 125128 lits Time: 0.40 s
1007.62/1007.68 c bin-w-bin subsume rem 8320 bins time: 0.60 s
1009.01/1009.06 c subs with bin: 554 lits-rem: 7980 v-fix: 0 time: 1.38 s
1010.61/1010.63 c Subs w/ non-existent bins: 3660 l-rem: 4002 v-fix: 0 done: 44886 time: 1.57 s
1010.92/1010.96 c Removed useless bin: 500 fixed: 0 props: 20.01M time: 0.33 s
1016.02/1016.00 c lits-rem: 5142 cl-subs: 2306 v-elim: 53391 v-fix: 0 time: 5.03 s
1017.02/1017.03 c vivif2 -- cl tried 209846 cl shrink 3383 lits rem 3993 time: 1.02
1017.32/1017.33 c vivif2 -- cl tried 11408 cl shrink 553 lits rem 8526 time: 0.30
1017.72/1017.78 c asymm cl-useful: 87/443/460801 lits-rem:1777 time: 0.45
1019.22/1019.24 c calculated reachability. Time: 1.35
1019.22/1019.26 c N dy 368 69894 375696 460801 5172726 11350 17120570 209984 12.20 no data --
1024.52/1024.57 c Finding binary XORs T: 5.32 s found: 3743
1037.92/1037.94 c N dy 400 74916 375411 460801 5173049 15967 17120555 451982 12.27 13.02 --
1050.52/1050.56 c N dy 424 79925 375410 460801 5173287 20690 17120483 745875 12.41 13.12 --
1065.11/1065.15 c N dy 457 85078 375410 460801 5173603 25444 17120467 990153 12.67 13.38 --
1072.31/1072.34 c F st 476 87500 375410 460801 5173775 27673 17120458 1108523 12.83 8.04 --
1072.61/1072.69 c Replacing 3743 vars Replaced 45757 lits Time: 0.23 s
1081.22/1081.23 c N st 481 90798 371676 459724 5159682 30427 17075763 1311892 12.83 no data --
1096.31/1096.31 c N dy 508 96589 371675 459724 5159921 18847 17075733 409900 12.93 13.71 --
1114.22/1114.26 c N dy 554 102841 371669 459724 5160290 24678 17075714 715616 13.17 27.49 --
1119.11/1119.12 c S st 566 104845 371668 459724 5160370 26570 17075712 819618 13.25 no data --
1122.32/1122.36 c S st 566 105345 371662 459724 5160600 26833 17075712 824538 13.25 no data --
1122.52/1122.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.19
1122.52/1122.59 c Cache BProp: 900 Set: 669 BXProp: 21 T: 0.04
1139.31/1139.36 c Flit: 66 Blit: 258 bXBeca: 0 bXProp: 3735 Bins: 6070 BRemL: 0 BRemN: 5 P: 200.0M T: 16.64
1139.31/1139.37 c Cleaning up after failed var search: 0.00 s
1139.81/1139.82 c Replacing 3757 vars Replaced 154703 lits Time: 0.42 s
1140.81/1140.86 c bin-w-bin subsume rem 2895 bins time: 0.59 s
1142.21/1142.24 c subs with bin: 1227 lits-rem: 23160 v-fix: 0 time: 1.37 s
1144.31/1144.34 c Subs w/ non-existent bins: 16 l-rem: 803 v-fix: 0 done: 55852 time: 2.10 s
1144.71/1144.75 c Removed useless bin: 367 fixed: 0 props: 20.02M time: 0.40 s
1152.62/1152.64 c lits-rem: 19428 cl-subs: 10273 v-elim: 39677 v-fix: 0 time: 7.88 s
1155.91/1155.94 c vivif2 -- cl tried 365620 cl shrink 29749 lits rem 99030 time: 3.29
1156.41/1156.49 c vivif2 -- cl tried 16194 cl shrink 2585 lits rem 34871 time: 0.55
1156.81/1156.89 c asymm cl-useful: 104/531/475645 lits-rem:6445 time: 0.40
1158.22/1158.29 c calculated reachability. Time: 1.29
1158.22/1158.30 c N dy 566 105345 326935 475622 4979478 16042 16919434 418603 13.25 no data --
1164.21/1164.20 c Finding binary XORs T: 5.90 s found: 60
1181.92/1181.97 c N dy 600 112089 326929 475622 4979763 22371 16919420 662316 13.23 22.15 --
1203.22/1203.28 c N dy 658 119559 326824 475622 4980041 29466 16919414 1020272 13.58 14.52 --
1223.72/1223.78 c N dy 718 127690 326823 475622 4980337 37197 16919408 1402799 13.91 15.03 --
1248.82/1248.88 c N dy 781 135849 326822 475622 4980788 26144 16919397 686452 14.22 15.92 --
1270.82/1270.89 c N dy 850 144595 326819 475622 4981113 34475 16919385 1122591 14.53 15.63 --
1296.42/1296.48 c N dy 930 153917 326814 475622 4981478 22211 16919381 345532 15.03 28.91 --
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-3370689-1305396665/watcher-3370689-1305396665 -o /tmp/evaluation-result-3370689-1305396665/solver-3370689-1305396665 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370689-1305396665.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: 3.90 3.73 3.78 4/286 30854
/proc/meminfo: memFree=23329504/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=11796 CPUtime=0 cores=5,7
/proc/30854/stat : 30854 (runsolver) R 30852 30854 29599 0 -1 4202560 40 0 0 0 0 0 0 0 22 0 1 0 729897344 12079104 50 33554432000 4194304 5432360 140734359422224 18446744073709551615 4881623 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/30854/statm: 2949 50 30 303 0 2643 0
[startup+0.0785159 s]
/proc/loadavg: 3.90 3.73 3.78 4/286 30854
/proc/meminfo: memFree=23329504/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=41820 CPUtime=0.06 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 4134 0 0 0 6 0 0 0 22 0 1 0 729897344 42823680 3590 33554432000 4194304 4650387 140735405696768 18446744073709551615 4520290 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 10455 3594 329 112 0 5420 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 41820
[startup+0.100509 s]
/proc/loadavg: 3.90 3.73 3.78 4/286 30854
/proc/meminfo: memFree=23329504/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=45036 CPUtime=0.08 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 5222 0 0 0 8 0 0 0 22 0 1 0 729897344 46116864 4666 33554432000 4194304 4650387 140735405696768 18446744073709551615 4319131 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 11259 4667 329 112 0 6224 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45036
[startup+0.300468 s]
/proc/loadavg: 3.90 3.73 3.78 4/286 30854
/proc/meminfo: memFree=23329504/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=78968 CPUtime=0.28 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 15251 0 0 0 26 2 0 0 23 0 1 0 729897344 80863232 13046 33554432000 4194304 4650387 140735405696768 18446744073709551615 4372442 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 19742 13050 329 112 0 14707 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 78968
[startup+0.700398 s]
/proc/loadavg: 3.90 3.73 3.78 4/286 30854
/proc/meminfo: memFree=23329504/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=171248 CPUtime=0.68 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 33128 0 0 0 63 5 0 0 25 0 1 0 729897344 175357952 28673 33554432000 4194304 4650387 140735405696768 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 42812 28678 329 112 0 37777 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 171248
[startup+1.50025 s]
/proc/loadavg: 3.90 3.73 3.78 6/287 30855
/proc/meminfo: memFree=23168048/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=293424 CPUtime=1.48 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 68491 0 0 0 137 11 0 0 25 0 1 0 729897344 300466176 59560 33554432000 4194304 4650387 140735405696768 18446744073709551615 260020056773 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 73356 59561 329 112 0 68321 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 293424
[startup+3.10096 s]
/proc/loadavg: 3.90 3.73 3.78 6/287 30855
/proc/meminfo: memFree=22988124/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=655972 CPUtime=3.08 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 134063 0 0 0 287 21 0 0 25 0 1 0 729897344 671715328 116581 33554432000 4194304 4650387 140735405696768 18446744073709551615 4511514 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 163993 116581 349 112 0 158958 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 655972
[startup+6.30037 s]
/proc/loadavg: 3.99 3.75 3.78 6/287 30855
/proc/meminfo: memFree=22830296/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=709944 CPUtime=6.28 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 167095 0 0 0 603 25 0 0 25 0 1 0 729897344 726982656 137203 33554432000 4194304 4650387 140735405696768 18446744073709551615 4244897 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 177486 137203 353 112 0 172451 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 709944
[startup+12.7002 s]
/proc/loadavg: 3.99 3.75 3.78 6/287 30855
/proc/meminfo: memFree=22562968/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1181672 CPUtime=12.68 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 269271 0 0 0 1231 37 0 0 25 0 1 0 729897344 1210032128 239379 33554432000 4194304 4650387 140735405696768 18446744073709551615 4540187 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 295418 239379 360 112 0 290383 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1181672
[startup+25.5009 s]
/proc/loadavg: 3.99 3.77 3.79 6/287 30855
/proc/meminfo: memFree=22342860/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1231056 CPUtime=25.48 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 282174 0 0 0 2509 39 0 0 19 0 1 0 729897344 1260601344 252279 33554432000 4194304 4650387 140735405696768 18446744073709551615 4364912 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 307764 252279 380 112 0 302729 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1231056
[startup+51.1011 s]
/proc/loadavg: 3.99 3.78 3.79 5/287 30882
/proc/meminfo: memFree=21475412/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1231056 CPUtime=51.09 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 282386 0 0 0 5069 40 0 0 25 0 1 0 729897344 1260601344 252491 33554432000 4194304 4650387 140735405696768 18446744073709551615 4349648 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 307764 252491 380 112 0 302729 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1231056
[startup+102.311 s]
/proc/loadavg: 3.99 3.81 3.80 5/287 30910
/proc/meminfo: memFree=21420548/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1231056 CPUtime=102.29 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 282858 0 0 0 10189 40 0 0 25 0 1 0 729897344 1260601344 252963 33554432000 4194304 4650387 140735405696768 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 307764 252963 380 112 0 302729 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1231056
[startup+162.301 s]
/proc/loadavg: 4.06 3.86 3.82 5/287 30912
/proc/meminfo: memFree=20436228/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1204632 CPUtime=162.29 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 295346 0 0 0 16186 43 0 0 25 0 1 0 729897344 1233543168 251029 33554432000 4194304 4650387 140735405696768 18446744073709551615 4368052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 301158 251029 382 112 0 296123 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1204632
[startup+222.301 s]
/proc/loadavg: 4.02 3.88 3.82 5/287 30914
/proc/meminfo: memFree=20209744/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1322516 CPUtime=222.28 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 323830 0 0 0 22182 46 0 0 25 0 1 0 729897344 1354256384 279513 33554432000 4194304 4650387 140735405696768 18446744073709551615 4230784 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 330629 279513 383 112 0 325594 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1322516
[startup+282.301 s]
/proc/loadavg: 4.07 3.92 3.84 5/287 30915
/proc/meminfo: memFree=20101212/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1322516 CPUtime=282.28 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 323830 0 0 0 28182 46 0 0 25 0 1 0 729897344 1354256384 279513 33554432000 4194304 4650387 140735405696768 18446744073709551615 4230671 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 330629 279513 383 112 0 325594 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1322516
[startup+342.301 s]
/proc/loadavg: 4.08 3.94 3.85 5/287 30917
/proc/meminfo: memFree=19307376/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1322516 CPUtime=342.29 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 323830 0 0 0 34183 46 0 0 25 0 1 0 729897344 1354256384 279513 33554432000 4194304 4650387 140735405696768 18446744073709551615 4231034 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 330629 279513 383 112 0 325594 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1322516
[startup+402.301 s]
/proc/loadavg: 4.03 3.95 3.85 5/287 30918
/proc/meminfo: memFree=18803956/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1322516 CPUtime=402.29 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 323830 0 0 0 40183 46 0 0 25 0 1 0 729897344 1354256384 279513 33554432000 4194304 4650387 140735405696768 18446744073709551615 4231022 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 330629 279513 383 112 0 325594 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1322516
[startup+462.301 s]
/proc/loadavg: 4.08 3.97 3.86 5/287 30920
/proc/meminfo: memFree=18256356/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1322516 CPUtime=462.29 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 323830 0 0 0 46183 46 0 0 25 0 1 0 729897344 1354256384 279513 33554432000 4194304 4650387 140735405696768 18446744073709551615 4230798 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 330629 279513 383 112 0 325594 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1322516
[startup+522.301 s]
/proc/loadavg: 4.03 3.97 3.87 5/287 30921
/proc/meminfo: memFree=17912412/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1322516 CPUtime=522.29 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 323830 0 0 0 52183 46 0 0 25 0 1 0 729897344 1354256384 279513 33554432000 4194304 4650387 140735405696768 18446744073709551615 4230706 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 330629 279513 383 112 0 325594 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1322516
[startup+582.301 s]
/proc/loadavg: 4.01 3.97 3.88 5/287 30923
/proc/meminfo: memFree=17526796/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=1322516 CPUtime=582.29 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 323830 0 0 0 58183 46 0 0 25 0 1 0 729897344 1354256384 279513 33554432000 4194304 4650387 140735405696768 18446744073709551615 4231007 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 330629 279513 383 112 0 325594 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 1322516
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.88 5/287 30925
/proc/meminfo: memFree=16363928/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=2000004 CPUtime=642.31 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 459711 0 0 0 64169 62 0 0 25 0 1 0 729897344 2048004096 415394 33554432000 4194304 4650387 140735405696768 18446744073709551615 4364912 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 500001 415394 383 112 0 494966 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 2000004
[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.89 5/287 30926
/proc/meminfo: memFree=16255808/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=2000004 CPUtime=702.3 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 460346 0 0 0 70167 63 0 0 25 0 1 0 729897344 2048004096 416029 33554432000 4194304 4650387 140735405696768 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 500001 416029 383 112 0 494966 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 2000004
[startup+762.31 s]
/proc/loadavg: 4.03 3.99 3.90 5/287 30928
/proc/meminfo: memFree=15493272/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=2452256 CPUtime=762.31 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 555115 0 0 0 76156 75 0 0 25 0 1 0 729897344 2511110144 510798 33554432000 4194304 4650387 140735405696768 18446744073709551615 4468623 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 613064 510798 383 112 0 608029 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 2452256
[startup+822.3 s]
/proc/loadavg: 4.01 3.99 3.90 5/287 30930
/proc/meminfo: memFree=14875016/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=2570896 CPUtime=822.3 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 568786 0 0 0 82152 78 0 0 25 0 1 0 729897344 2632597504 524469 33554432000 4194304 4650387 140735405696768 18446744073709551615 4364743 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 642724 524469 383 112 0 637689 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 2570896
[startup+882.3 s]
/proc/loadavg: 4.03 4.00 3.91 5/287 30931
/proc/meminfo: memFree=14675492/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=2600064 CPUtime=882.3 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 604793 0 0 0 88148 82 0 0 25 0 1 0 729897344 2662465536 545896 33554432000 4194304 4650387 140735405696768 18446744073709551615 4231007 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 650016 545896 383 112 0 644981 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 2600064
[startup+942.3 s]
/proc/loadavg: 4.04 4.01 3.92 5/287 30933
/proc/meminfo: memFree=14302764/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=2708328 CPUtime=942.31 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 632854 0 0 0 94146 85 0 0 25 0 1 0 729897344 2773327872 573957 33554432000 4194304 4650387 140735405696768 18446744073709551615 4236872 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 677082 573957 383 112 0 672047 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2708328
[startup+1002.3 s]
/proc/loadavg: 4.10 4.03 3.93 5/287 30934
/proc/meminfo: memFree=14143992/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=2866348 CPUtime=1002.31 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 674949 0 0 0 100140 91 0 0 25 0 1 0 729897344 2935140352 590389 33554432000 4194304 4650387 140735405696768 18446744073709551615 4247225 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 716587 590389 383 112 0 711552 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2866348
[startup+1062.3 s]
/proc/loadavg: 4.03 4.03 3.93 5/287 30936
/proc/meminfo: memFree=13931956/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=3079252 CPUtime=1062.31 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 718055 0 0 0 106134 97 0 0 25 0 1 0 729897344 3153154048 633495 33554432000 4194304 4650387 140735405696768 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 769813 633495 383 112 0 764778 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3079252
[startup+1122.3 s]
/proc/loadavg: 4.01 4.02 3.93 5/287 30938
/proc/meminfo: memFree=13771460/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=3086508 CPUtime=1122.32 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 721898 0 0 0 112134 98 0 0 25 0 1 0 729897344 3160584192 637338 33554432000 4194304 4650387 140735405696768 18446744073709551615 4363702 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 771627 637338 383 112 0 766592 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3086508
[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.93 5/287 30939
/proc/meminfo: memFree=12692504/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=3683188 CPUtime=1182.32 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 832595 0 0 0 118119 113 0 0 25 0 1 0 729897344 3771584512 748035 33554432000 4194304 4650387 140735405696768 18446744073709551615 4368049 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 920797 748035 383 112 0 915762 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3683188
[startup+1242.3 s]
/proc/loadavg: 3.40 3.84 3.87 4/281 30959
/proc/meminfo: memFree=17039112/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=3616000 CPUtime=1242.32 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 842458 0 0 0 124118 114 0 0 25 0 1 0 729897344 3702784000 743039 33554432000 4194304 4650387 140735405696768 18446744073709551615 4364756 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 904000 743039 383 112 0 898965 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3616000
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.19 3.70 3.82 4/281 30960
/proc/meminfo: memFree=16968460/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=3620468 CPUtime=1300.03 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4202496 844907 0 0 0 129888 115 0 0 25 0 1 0 729897344 3707359232 745488 33554432000 4194304 4650387 140735405696768 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30854/statm: 905117 745488 383 112 0 900082 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 3620468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.11 s]
/proc/loadavg: 3.19 3.70 3.82 4/282 30961
/proc/meminfo: memFree=19530324/32951124 swapFree=67083432/67111528
[pid=30854] ppid=30852 vsize=0 CPUtime=1300.14 cores=5,7
/proc/30854/stat : 30854 (strangenight1-s) R 30852 30854 29599 0 -1 4203524 844907 0 0 0 129888 126 0 0 25 0 1 0 729897344 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30854/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.13
CPU time (s): 1300.16
CPU user time (s): 1298.88
CPU system time (s): 1.27281
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3733568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.88
system time used= 1.27281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 844907
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= 13
involuntary context switches= 1653
runsolver used 3.49147 second user time and 8.25275 second system time
The end
Begin job on node110 at 2011-05-14 20:11:08
IDJOB=3370689
IDBENCH=88159
IDSOLVER=1847
FILE ID=node110/3370689-1305396665
RUNJOBID= node110-1305396545-30708
PBS_JOBID= 13324412
Free space on /tmp= 73156 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370689-1305396665/watcher-3370689-1305396665 -o /tmp/evaluation-result-3370689-1305396665/solver-3370689-1305396665 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370689-1305396665.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=1337866354
node110.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.830
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.66
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.830
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.830
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.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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.76
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.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 23329784 kB
Buffers: 274592 kB
Cached: 4379180 kB
SwapCached: 1440 kB
Active: 6191484 kB
Inactive: 3089208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 23329784 kB
SwapTotal: 67111528 kB
SwapFree: 67083432 kB
Dirty: 408268 kB
Writeback: 0 kB
AnonPages: 4625580 kB
Mapped: 24172 kB
Slab: 253232 kB
PageTables: 24404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 47956884 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= 73288 MiB
End job on node110 at 2011-05-14 20:32:50