Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | 12 | 33.3039 | 33.3151 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb |
MD5SUM | 6803f1153be9bf743da46b6e6a13cfbf |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 0.007998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | YES |
Number of variables | 90 |
Total number of constraints | 6 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 90 |
Number of terms in the objective function | 90 |
Biggest coefficient in the objective function | 168516 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524354 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262133 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524354 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.00/0.00 c Converting 6 PB-constraints to clauses... 0.00/0.00 c -- Unit propagations: (none) 0.00/0.00 c -- Detecting intervals from adjacent constraints: # 0.00/0.00 c -- Clauses(.)/Splits(s): s 0.00/0.00 c ---[ 5]---> BDD-cost: 14 0.00/0.00 c ---[ 3]---> Adder-cost: 122 maxlim: 15 bits: 5/4 0.00/0.00 c ---[ 2]---> Adder-cost: 78 maxlim: 76 bits: 7/7 0.00/0.01 c ---[ 1]---> Adder-cost: 58 maxlim: 49 bits: 6/6 0.00/0.01 c ---[ 0]---> BDD-cost: 11 0.00/0.01 c ==================================[MINISAT+]================================== 0.00/0.01 c | Conflicts | Original | Learnt | Progress | 0.00/0.01 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 1701 6019 | 567 0 0 nan | 0.000 % | 0.00/0.01 c | 101 | 1693 5993 | 623 100 608 6.1 | 14.526 % | 0.00/0.02 c ============================================================================== 0.00/0.02 c [1mFound solution: 14[0m 0.00/0.02 o 14 0.00/0.02 c ---[ 0]---> Sorter-cost: 1534 Base: 3 0.00/0.03 c ==================================[MINISAT+]================================== 0.00/0.03 c | Conflicts | Original | Learnt | Progress | 0.00/0.03 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.03 c ============================================================================== 0.00/0.03 c | 143 | 5148 14071 | 1716 142 856 6.0 | 14.526 % | 0.00/0.03 c | 243 | 5148 14071 | 1887 242 1912 7.9 | 3.262 % | 0.00/0.04 c | 393 | 5148 14071 | 2076 392 3852 9.8 | 3.262 % | 0.00/0.06 c | 619 | 5148 14071 | 2283 618 6602 10.7 | 3.262 % | 0.08/0.09 c | 957 | 5086 13923 | 2512 910 10260 11.3 | 4.246 % | 0.09/0.13 c | 1463 | 5079 13908 | 2763 1414 17354 12.3 | 4.372 % | 0.19/0.22 c | 2222 | 5079 13908 | 3039 2173 34604 15.9 | 4.369 % | 0.29/0.34 c | 3361 | 5056 13856 | 3343 1719 21603 12.6 | 4.739 % | 0.49/0.54 c | 5069 | 5047 13827 | 3678 3426 61863 18.1 | 4.862 % | 0.59/0.64 c ============================================================================== 0.59/0.64 c [1mFound solution: 12[0m 0.59/0.64 o 12 0.59/0.64 c ---[ 0]---> Sorter-cost: 2 Base: 3 0.59/0.65 c ==================================[MINISAT+]================================== 0.59/0.65 c | Conflicts | Original | Learnt | Progress | 0.59/0.65 c | | Clauses Literals | Max Clauses Literals LPC | | 0.59/0.65 c ============================================================================== 0.59/0.65 c | 5919 | 5139 14050 | 1713 2320 37209 16.0 | 4.862 % | 0.59/0.66 c | 6019 | 5139 14050 | 1884 1260 12201 9.7 | 4.873 % | 0.59/0.68 c | 6169 | 5139 14050 | 2072 1410 13932 9.9 | 4.873 % | 0.69/0.71 c | 6394 | 5139 14050 | 2280 1635 16944 10.4 | 4.873 % | 0.69/0.74 c | 6731 | 5139 14050 | 2508 1972 23017 11.7 | 4.872 % | 0.69/0.79 c | 7237 | 5139 14050 | 2758 2478 30944 12.5 | 4.872 % | 0.79/0.89 c | 7997 | 5139 14050 | 3034 3238 43900 13.6 | 4.872 % | 1.00/1.00 c | 9136 | 5139 14050 | 3338 2758 40422 14.7 | 4.873 % | 1.19/1.21 c | 10846 | 5139 14050 | 3671 2713 38818 14.3 | 4.873 % | 1.49/1.56 c | 13410 | 5139 14050 | 4039 3241 60109 18.5 | 4.873 % | 1.99/2.05 c | 17258 | 5139 14050 | 4443 2705 41581 15.4 | 4.873 % | 2.69/2.79 c | 23025 | 5139 14050 | 4887 3641 65806 18.1 | 4.872 % | 3.79/3.87 c | 31674 | 5139 14050 | 5376 4488 70820 15.8 | 4.873 % | 5.50/5.53 c | 44648 | 5139 14050 | 5913 3161 42834 13.6 | 4.873 % | 7.99/8.03 c | 64110 | 5139 14050 | 6505 4084 55465 13.6 | 4.873 % | 11.89/11.95 c | 93302 | 5139 14050 | 7155 6271 99476 15.9 | 4.873 % | 18.09/18.17 c | 137091 | 5139 14050 | 7871 5115 74293 14.5 | 4.872 % | 27.88/27.93 c | 202776 | 5139 14050 | 8658 5404 77536 14.3 | 4.873 % | 33.28/33.31 c ============================================================================== 33.28/33.31 c [1mOptimal solution: 12[0m 33.28/33.31 s OPTIMUM FOUND 33.28/33.31 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 33.28/33.31 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 33.28/33.31 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 33.28/33.31 v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 33.28/33.31 c _______________________________________________________________________________ 33.28/33.31 c 33.28/33.31 c restarts : 29 33.28/33.31 c conflicts : 239780 (7201 /sec) 33.28/33.31 c decisions : 314687 (9451 /sec) 33.28/33.31 c propagations : 0 (0 /sec) 33.28/33.31 c inspects : 0 (0 /sec) 33.28/33.31 c CPU time : 33.2979 s 33.28/33.31 c _______________________________________________________________________________
OK 12
/tmp/evaluation/362722-1177017333/instance-362722-1177017333.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-362722-1177017333 -o ROOT/results/node9/solver-362722-1177017333 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/362722-1177017333/minisat+ /tmp/evaluation/362722-1177017333/instance-362722-1177017333.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27022 /proc/meminfo: memFree=1858720/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=1048 CPUtime=0 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 129 0 0 0 0 0 0 0 18 0 1 0 177770872 1073152 114 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134664808 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 263 115 89 215 0 45 0 [startup+0.087052 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27022 /proc/meminfo: memFree=1858720/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=1632 CPUtime=0.08 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 290 0 0 0 8 0 0 0 18 0 1 0 177770872 1671168 275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 408 275 123 215 0 190 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1632 [startup+0.101055 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27022 /proc/meminfo: memFree=1858720/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=1632 CPUtime=0.09 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 293 0 0 0 9 0 0 0 18 0 1 0 177770872 1671168 278 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573353 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 408 278 123 215 0 190 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1632 [startup+0.301078 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27022 /proc/meminfo: memFree=1858720/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=1760 CPUtime=0.29 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 349 0 0 0 29 0 0 0 19 0 1 0 177770872 1802240 334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 440 334 123 215 0 222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1760 [startup+0.701123 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27022 /proc/meminfo: memFree=1858720/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2032 CPUtime=0.69 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 402 0 0 0 69 0 0 0 22 0 1 0 177770872 2080768 387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580214 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 508 387 123 215 0 290 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2032 [startup+1.50121 s] /proc/loadavg: 0.92 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1857560/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2032 CPUtime=1.49 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 418 0 0 0 149 0 0 0 25 0 1 0 177770872 2080768 403 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 508 403 123 215 0 290 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 2032 [startup+3.10139 s] /proc/loadavg: 0.92 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1857304/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2296 CPUtime=3.09 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 473 0 0 0 309 0 0 0 25 0 1 0 177770872 2351104 458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 574 458 123 215 0 356 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 2296 [startup+6.30175 s] /proc/loadavg: 0.93 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1856920/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2428 CPUtime=6.29 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 508 0 0 0 629 0 0 0 25 0 1 0 177770872 2486272 493 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 607 493 123 215 0 389 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 2428 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1856728/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2696 CPUtime=12.69 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 568 0 0 0 1269 0 0 0 25 0 1 0 177770872 2760704 553 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573904 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 674 553 123 215 0 456 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 2696 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1856408/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2964 CPUtime=25.48 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 637 0 0 0 2548 0 0 0 25 0 1 0 177770872 3035136 622 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 741 622 123 215 0 523 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 2964 Solver just ended. Dumping a history of the last processes samples [startup+28.7013 s] /proc/loadavg: 0.95 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1856408/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2964 CPUtime=28.68 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 638 0 0 0 2868 0 0 0 25 0 1 0 177770872 3035136 623 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 741 623 123 215 0 523 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 2964 [startup+31.9067 s] /proc/loadavg: 0.95 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1856344/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2964 CPUtime=31.89 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 645 0 0 0 3189 0 0 0 25 0 1 0 177770872 3035136 630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 741 630 123 215 0 523 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 2964 [startup+32.7027 s] /proc/loadavg: 0.95 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1856344/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2964 CPUtime=32.68 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 645 0 0 0 3268 0 0 0 25 0 1 0 177770872 3035136 630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 741 630 123 215 0 523 0 Current children cumulated CPU time (s) 32.68 Current children cumulated vsize (KiB) 2964 [startup+33.1018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1856344/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2964 CPUtime=33.08 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 645 0 0 0 3308 0 0 0 25 0 1 0 177770872 3035136 630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 741 630 123 215 0 523 0 Current children cumulated CPU time (s) 33.08 Current children cumulated vsize (KiB) 2964 [startup+33.3018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 27023 /proc/meminfo: memFree=1856344/2055920 swapFree=4152812/4192956 [pid=27022] ppid=27020 vsize=2964 CPUtime=33.28 /proc/27022/stat : 27022 (minisat+) R 27020 27022 26514 0 -1 4194304 645 0 0 0 3328 0 0 0 25 0 1 0 177770872 3035136 630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27022/statm: 741 630 123 215 0 523 0 Current children cumulated CPU time (s) 33.28 Current children cumulated vsize (KiB) 2964 Child status: 30 Real time (s): 33.3151 CPU time (s): 33.3039 CPU user time (s): 33.2979 CPU system time (s): 0.005999 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 2964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.2979 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 648 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= 7 involuntary context switches= 23 runsolver used 0.046992 second user time and 0.082987 second system time The end
Begin job on node9 on Thu Apr 19 21:15:33 UTC 2007 IDJOB= 362722 IDBENCH= 1634 IDSOLVER= 156 FILE ID= node9/362722-1177017333 PBS_JOBID= 4630575 Free space on /tmp= 66426 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb COMMAND LINE= /tmp/evaluation/362722-1177017333/minisat+ /tmp/evaluation/362722-1177017333/instance-362722-1177017333.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-362722-1177017333 -o ROOT/results/node9/conversion-362722-1177017333 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/362722-1177017333/instance-362722-1177017333.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-362722-1177017333 -o ROOT/results/node9/solver-362722-1177017333 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/362722-1177017333/minisat+ /tmp/evaluation/362722-1177017333/instance-362722-1177017333.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 6803f1153be9bf743da46b6e6a13cfbf RANDOM SEED= 358427007 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1859128 kB Buffers: 27448 kB Cached: 107372 kB SwapCached: 7844 kB Active: 54104 kB Inactive: 103364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859128 kB SwapTotal: 4192956 kB SwapFree: 4152812 kB Dirty: 2464 kB Writeback: 0 kB Mapped: 29728 kB Slab: 24836 kB Committed_AS: 6075624 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66426 MiB End job on node9 on Thu Apr 19 21:16:07 UTC 2007