Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (MO) | 759.059 | 759.267 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb |
MD5SUM | a65cda8d8a424008ced1e00002242a19 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 8.65268 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 39901 |
Total number of constraints | 118441 |
Number of constraints which are clauses | 118440 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 39480 |
Number of terms in the objective function | 141 |
Biggest coefficient in the objective function | 1393796574908163946345982392040522594123776 |
Number of bits for the biggest coefficient in the objective function | 141 |
Sum of the numbers in the objective function | 2787593149816327892691964784081045188247551 |
Number of bits of the sum of numbers in the objective function | 141 |
Biggest number in a constraint | 1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288 |
Number of bits of the biggest number in a constraint | 420 |
Biggest sum of numbers in a constraint | 5415370496329716522614090203404460358274290488264820097939793578523366423469831924776142526293328950606202579825495873831248858 |
Number of bits of the biggest sum of numbers | 421 |
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 PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 1.59/1.67 c constraints 1/0 clauses 118440/0 units 0 1.59/1.67 c vars 39901 1.59/1.67 c objective 141 + 0 758.89/759.10 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669435-1276624069/watcher-2669435-1276624069 -o /tmp/evaluation-result-2669435-1276624069/solver-2669435-1276624069 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669435-1276624069.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 12521 /proc/meminfo: memFree=1869412/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=2208 CPUtime=0 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 258 0 0 0 0 0 0 0 18 0 1 0 3700774 2260992 180 1992294400 134512640 136485738 4290093968 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12521/statm: 552 180 156 482 0 68 0 [startup+0.0613919 s] /proc/loadavg: 1.00 1.00 1.00 3/105 12521 /proc/meminfo: memFree=1869412/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=2340 CPUtime=0.05 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 301 0 0 0 5 0 0 0 18 0 1 0 3700774 2396160 223 1992294400 134512640 136485738 4290093968 18446744073709551615 135170997 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12521/statm: 585 223 156 482 0 101 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2340 [startup+0.101396 s] /proc/loadavg: 1.00 1.00 1.00 3/105 12521 /proc/meminfo: memFree=1869412/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=2472 CPUtime=0.09 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 335 0 0 0 9 0 0 0 18 0 1 0 3700774 2531328 257 1992294400 134512640 136485738 4290093968 18446744073709551615 134532296 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12521/statm: 618 257 156 482 0 134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2472 [startup+0.301419 s] /proc/loadavg: 1.00 1.00 1.00 3/105 12521 /proc/meminfo: memFree=1869412/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=3132 CPUtime=0.29 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 491 0 0 0 29 0 0 0 18 0 1 0 3700774 3207168 413 1992294400 134512640 136485738 4290093968 18446744073709551615 135178929 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12521/statm: 783 413 156 482 0 299 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3132 [startup+0.701463 s] /proc/loadavg: 1.00 1.00 1.00 3/105 12521 /proc/meminfo: memFree=1869412/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=4448 CPUtime=0.69 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 843 0 0 0 69 0 0 0 18 0 1 0 3700774 4554752 732 1992294400 134512640 136485738 4290093968 18446744073709551615 135864601 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12521/statm: 1112 732 156 482 0 628 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4448 [startup+1.50155 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12522 /proc/meminfo: memFree=1866056/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=9252 CPUtime=1.49 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 2100 0 0 0 148 1 0 0 20 0 1 0 3700774 9474048 1924 1992294400 134512640 136485738 4290093968 18446744073709551615 135418948 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12521/statm: 2313 1924 156 482 0 1829 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9252 [startup+3.10174 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12522 /proc/meminfo: memFree=1813232/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=166248 CPUtime=3.08 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 43031 0 0 0 291 17 0 0 25 0 1 0 3700774 170237952 40133 1992294400 134512640 136485738 4290093968 18446744073709551615 134776329 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12521/statm: 41562 40133 194 482 0 41078 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 166248 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12522 /proc/meminfo: memFree=1527908/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=513020 CPUtime=6.28 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 135122 0 0 0 573 55 0 0 25 0 1 0 3700774 525332480 127258 1992294400 134512640 136485738 4290093968 18446744073709551615 134933016 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 128255 127258 210 482 0 127771 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 513020 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12522 /proc/meminfo: memFree=1324300/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=555572 CPUtime=12.68 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 145879 0 0 0 1195 73 0 0 25 0 1 0 3700774 568905728 137088 1992294400 134512640 136485738 4290093968 18446744073709551615 134880529 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 138893 137088 227 482 0 138409 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 555572 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12522 /proc/meminfo: memFree=1291440/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=585800 CPUtime=25.48 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 153408 0 0 0 2449 99 0 0 25 0 1 0 3700774 599859200 144617 1992294400 134512640 136485738 4290093968 18446744073709551615 135256150 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 146450 144617 228 482 0 145966 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 585800 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12522 /proc/meminfo: memFree=1204020/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=674832 CPUtime=51.07 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 175480 0 0 0 4977 130 0 0 25 0 1 0 3700774 691027968 166689 1992294400 134512640 136485738 4290093968 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 168708 166689 228 482 0 168224 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 674832 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12524 /proc/meminfo: memFree=1077540/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=800388 CPUtime=102.26 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 206525 0 0 0 10060 166 0 0 25 0 1 0 3700774 819597312 197734 1992294400 134512640 136485738 4290093968 18446744073709551615 135028831 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 200097 197734 228 482 0 199613 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 800388 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12526 /proc/meminfo: memFree=956764/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=923292 CPUtime=162.24 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 236951 0 0 0 16017 207 0 0 25 0 1 0 3700774 945451008 228160 1992294400 134512640 136485738 4290093968 18446744073709551615 134880991 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 230823 228160 228 482 0 230339 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 923292 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12528 /proc/meminfo: memFree=849504/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1029648 CPUtime=222.23 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 263532 0 0 0 21985 238 0 0 25 0 1 0 3700774 1054359552 254741 1992294400 134512640 136485738 4290093968 18446744073709551615 134880622 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 257412 254741 228 482 0 256928 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1029648 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12530 /proc/meminfo: memFree=734060/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1147428 CPUtime=282.21 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 292587 0 0 0 27925 296 0 0 25 0 1 0 3700774 1174966272 283796 1992294400 134512640 136485738 4290093968 18446744073709551615 135028854 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 286857 283796 228 482 0 286373 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1147428 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12530 /proc/meminfo: memFree=628288/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1254780 CPUtime=342.19 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 318672 0 0 0 33901 318 0 0 25 0 1 0 3700774 1284894720 309881 1992294400 134512640 136485738 4290093968 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 313695 309881 228 482 0 313211 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1254780 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12532 /proc/meminfo: memFree=548680/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1336968 CPUtime=402.17 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 338676 0 0 0 39887 330 0 0 25 0 1 0 3700774 1369055232 329885 1992294400 134512640 136485738 4290093968 18446744073709551615 135025271 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 334242 329885 228 482 0 333758 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1336968 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12534 /proc/meminfo: memFree=471056/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1415464 CPUtime=462.16 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 357951 0 0 0 45875 341 0 0 25 0 1 0 3700774 1449435136 349160 1992294400 134512640 136485738 4290093968 18446744073709551615 135039475 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 353866 349160 228 482 0 353382 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1415464 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12536 /proc/meminfo: memFree=371856/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1516048 CPUtime=522.15 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 382867 0 0 0 51841 374 0 0 25 0 1 0 3700774 1552433152 374076 1992294400 134512640 136485738 4290093968 18446744073709551615 135025302 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 379012 374076 228 482 0 378528 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1516048 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12538 /proc/meminfo: memFree=276252/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1613396 CPUtime=582.13 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 406541 0 0 0 57801 412 0 0 25 0 1 0 3700774 1652117504 397750 1992294400 134512640 136485738 4290093968 18446744073709551615 134882992 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 403349 397750 228 482 0 402865 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1613396 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12538 /proc/meminfo: memFree=211400/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1678076 CPUtime=642.12 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 422549 0 0 0 63790 422 0 0 25 0 1 0 3700774 1718349824 413758 1992294400 134512640 136485738 4290093968 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 419519 413758 228 482 0 419035 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1678076 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12540 /proc/meminfo: memFree=128692/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1763164 CPUtime=702.1 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 443392 0 0 0 69755 455 0 0 25 0 1 0 3700774 1805479936 434601 1992294400 134512640 136485738 4290093968 18446744073709551615 135039475 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 440791 434601 228 482 0 440307 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1763164 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+759.101 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12542 /proc/meminfo: memFree=48836/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=1843224 CPUtime=758.89 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4202496 463062 0 0 0 75407 482 0 0 25 0 1 0 3700774 1887461376 454271 1992294400 134512640 136485738 4290093968 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12521/statm: 460806 454271 228 482 0 460322 0 Current children cumulated CPU time (s) 758.89 Current children cumulated vsize (KiB) 1843224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+759.208 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12542 /proc/meminfo: memFree=48836/2059040 swapFree=4192956/4192956 [pid=12521] ppid=12519 vsize=0 CPUtime=758.99 /proc/12521/stat : 12521 (pbct) R 12519 12521 11957 0 -1 4194308 463062 0 0 0 75407 492 0 0 25 0 1 0 3700774 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/12521/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 758.99 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 759.267 CPU time (s): 759.059 CPU user time (s): 754.078 CPU system time (s): 4.98024 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1843224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 754.078 system time used= 4.98024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 463062 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= 2 involuntary context switches= 741 runsolver used 1.23981 second user time and 3.60845 second system time The end
Begin job on node085 at 2010-06-15 19:47:50 IDJOB=2669435 IDBENCH=2961 IDSOLVER=1170 FILE ID=node085/2669435-1276624069 PBS_JOBID= 11172305 Free space on /tmp= 121864 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669435-1276624069/watcher-2669435-1276624069 -o /tmp/evaluation-result-2669435-1276624069/solver-2669435-1276624069 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669435-1276624069.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a65cda8d8a424008ced1e00002242a19 RANDOM SEED=1328368193 node085.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 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 physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1869940 kB Buffers: 2184 kB Cached: 52240 kB SwapCached: 0 kB Active: 65140 kB Inactive: 48712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1869940 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 8064 kB Writeback: 0 kB AnonPages: 59428 kB Mapped: 15376 kB Slab: 53660 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182316 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121864 MiB End job on node085 at 2010-06-15 20:00:31