Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | UNSAT | 198.015 | 198.063 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb |
MD5SUM | aacf18cf0b8ed9727f2f81c2bd5074e6 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 47.4028 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 717 |
Number of bits of the biggest sum of numbers | 10 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655381-1276260555.opb. 0.00/0.00 c Instance file HOME/instance-2655381-1276260555.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.01 c Highest Coefficient sum: 717 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 231 | 0.00/0.01 c | Number Clauses: 2684 | 0.00/0.01 c | Number Cardinality: 22 | 0.00/0.01 c | Number PB Constraints: 1 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 231 2707 8338 | 5500 100 14 | 0.002 % | 0.00/0.02 c | 250 | 231 2707 8338 | 6050 250 17 | 0.002 % | 0.00/0.03 c | 477 | 231 2707 8338 | 6655 477 20 | 0.002 % | 0.00/0.05 c | 814 | 231 2707 8338 | 7320 814 17 | 0.002 % | 0.00/0.08 c | 1321 | 231 2707 8338 | 8052 1321 16 | 0.002 % | 0.10/0.12 c | 2080 | 231 2707 8338 | 8857 2080 18 | 0.002 % | 0.10/0.19 c | 3221 | 231 2707 8338 | 9743 3221 19 | 0.002 % | 0.29/0.31 c | 4929 | 231 2707 8338 | 10717 4929 18 | 0.002 % | 0.49/0.50 c | 7491 | 231 2707 8338 | 11789 7491 20 | 0.002 % | 0.79/0.87 c | 11337 | 231 2707 8338 | 12968 11337 22 | 0.002 % | 1.49/1.55 c | 17104 | 231 2707 8338 | 14265 10574 29 | 0.002 % | 2.69/2.80 c | 25754 | 231 2707 8338 | 15692 12035 28 | 0.002 % | 4.59/4.63 c | 38729 | 231 2707 8338 | 17261 9215 25 | 0.002 % | 7.49/7.51 c | 58190 | 231 2707 8338 | 18987 11304 26 | 0.002 % | 12.59/12.67 c | 87382 | 231 2707 8338 | 20886 11885 25 | 0.002 % | 21.19/21.21 c | 131173 | 231 2707 8338 | 22974 13680 27 | 0.002 % | 34.69/34.73 c | 196857 | 231 2707 8338 | 25272 21668 26 | 0.002 % | 55.87/55.93 c | 295383 | 231 2707 8338 | 27799 13291 25 | 0.002 % | 88.97/89.00 c | 443175 | 231 2707 8338 | 30579 20249 24 | 0.002 % | 142.65/142.76 c | 664860 | 231 2707 8338 | 33637 23526 24 | 0.002 % | 197.95/198.04 c =============================================================================== 197.95/198.04 c core #1 197.95/198.04 c Memory used : 157.94 MB 197.95/198.04 c CPU time : 195.319 s 197.95/198.04 c 197.95/198.04 s UNSATISFIABLE 197.95/198.04 c Total CPU time: 195.319 s
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-2655381-1276260555/watcher-2655381-1276260555 -o /tmp/evaluation-result-2655381-1276260555/solver-2655381-1276260555 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2655381-1276260555.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: 0.95 0.44 0.16 3/106 3938 /proc/meminfo: memFree=1612368/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=2656 CPUtime=0 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 279 0 0 0 0 0 0 0 20 0 1 0 2041055 2719744 198 1992294400 134512640 135751879 4287432240 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 664 198 139 303 0 338 0 [startup+0.105834 s] /proc/loadavg: 0.95 0.44 0.16 3/106 3938 /proc/meminfo: memFree=1612368/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=2968 CPUtime=0.1 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 405 0 0 0 10 0 0 0 20 0 1 0 2041055 3039232 303 1992294400 134512640 135751879 4287432240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 742 303 143 303 0 437 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2968 [startup+0.200842 s] /proc/loadavg: 0.95 0.44 0.16 3/106 3938 /proc/meminfo: memFree=1612368/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=3232 CPUtime=0.19 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 470 0 0 0 19 0 0 0 20 0 1 0 2041055 3309568 368 1992294400 134512640 135751879 4287432240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 808 368 143 303 0 503 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3232 [startup+0.300852 s] /proc/loadavg: 0.95 0.44 0.16 3/106 3938 /proc/meminfo: memFree=1612368/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=3496 CPUtime=0.29 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 531 0 0 0 29 0 0 0 20 0 1 0 2041055 3579904 429 1992294400 134512640 135751879 4287432240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 874 429 143 303 0 569 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3496 [startup+0.700891 s] /proc/loadavg: 0.95 0.44 0.16 3/106 3938 /proc/meminfo: memFree=1612368/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=4420 CPUtime=0.69 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 766 0 0 0 68 1 0 0 20 0 1 0 2041055 4526080 664 1992294400 134512640 135751879 4287432240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 1105 664 143 303 0 800 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4420 [startup+1.50097 s] /proc/loadavg: 0.95 0.44 0.16 2/107 3939 /proc/meminfo: memFree=1609384/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=5872 CPUtime=1.49 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 1139 0 0 0 146 3 0 0 22 0 1 0 2041055 6012928 1037 1992294400 134512640 135751879 4287432240 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 1468 1037 143 303 0 1163 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5872 [startup+3.10112 s] /proc/loadavg: 0.95 0.44 0.16 2/107 3939 /proc/meminfo: memFree=1607524/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=8128 CPUtime=3.09 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 1691 0 0 0 303 6 0 0 25 0 1 0 2041055 8323072 1589 1992294400 134512640 135751879 4287432240 18446744073709551615 134616806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 2032 1589 143 303 0 1727 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8128 [startup+6.30042 s] /proc/loadavg: 0.95 0.45 0.17 2/107 3939 /proc/meminfo: memFree=1602812/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=12352 CPUtime=6.29 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 2742 0 0 0 618 11 0 0 25 0 1 0 2041055 12648448 2640 1992294400 134512640 135751879 4287432240 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 3088 2640 143 303 0 2783 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12352 [startup+12.701 s] /proc/loadavg: 0.96 0.46 0.17 2/107 3939 /proc/meminfo: memFree=1595372/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=19372 CPUtime=12.69 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 4506 0 0 0 1246 23 0 0 25 0 1 0 2041055 19836928 4404 1992294400 134512640 135751879 4287432240 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 4843 4404 143 303 0 4538 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19372 [startup+25.5012 s] /proc/loadavg: 0.97 0.48 0.19 2/107 3940 /proc/meminfo: memFree=1582476/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=31816 CPUtime=25.48 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 7603 0 0 0 2508 40 0 0 25 0 1 0 2041055 32579584 7501 1992294400 134512640 135751879 4287432240 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 7954 7501 143 303 0 7649 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31816 [startup+51.1007 s] /proc/loadavg: 0.98 0.52 0.21 2/107 3940 /proc/meminfo: memFree=1559412/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=55128 CPUtime=51.07 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 13429 0 0 0 5027 80 0 0 25 0 1 0 2041055 56451072 13327 1992294400 134512640 135751879 4287432240 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 13782 13327 143 303 0 13477 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 55128 [startup+102.302 s] /proc/loadavg: 0.99 0.59 0.24 2/107 3942 /proc/meminfo: memFree=1517624/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=96228 CPUtime=102.27 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 23702 0 0 0 10080 147 0 0 25 0 1 0 2041055 98537472 23600 1992294400 134512640 135751879 4287432240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 24057 23600 143 303 0 23752 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 96228 [startup+162.301 s] /proc/loadavg: 0.99 0.67 0.29 2/107 3943 /proc/meminfo: memFree=1474968/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=139360 CPUtime=162.25 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 34477 0 0 0 15999 226 0 0 25 0 1 0 2041055 142704640 34375 1992294400 134512640 135751879 4287432240 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 34840 34375 143 303 0 34535 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 139360 Solver just ended. Dumping a history of the last processes samples [startup+179.201 s] /proc/loadavg: 0.99 0.68 0.30 2/107 3944 /proc/meminfo: memFree=1463560/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=150728 CPUtime=179.15 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 37308 0 0 0 17666 249 0 0 25 0 1 0 2041055 154345472 37206 1992294400 134512640 135751879 4287432240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 37682 37206 143 303 0 37377 0 Current children cumulated CPU time (s) 179.15 Current children cumulated vsize (KiB) 150728 [startup+185.6 s] /proc/loadavg: 0.99 0.69 0.31 2/107 3944 /proc/meminfo: memFree=1459592/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=154704 CPUtime=185.54 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 38283 0 0 0 18298 256 0 0 25 0 1 0 2041055 158416896 38181 1992294400 134512640 135751879 4287432240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 38676 38181 143 303 0 38371 0 Current children cumulated CPU time (s) 185.54 Current children cumulated vsize (KiB) 154704 [startup+192.002 s] /proc/loadavg: 0.99 0.70 0.31 2/107 3944 /proc/meminfo: memFree=1455748/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=158280 CPUtime=191.95 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 39196 0 0 0 18933 262 0 0 25 0 1 0 2041055 162078720 39094 1992294400 134512640 135751879 4287432240 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 39570 39094 143 303 0 39265 0 Current children cumulated CPU time (s) 191.95 Current children cumulated vsize (KiB) 158280 [startup+195.201 s] /proc/loadavg: 0.99 0.70 0.31 2/107 3944 /proc/meminfo: memFree=1454384/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=159732 CPUtime=195.15 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 39531 0 0 0 19250 265 0 0 25 0 1 0 2041055 163565568 39429 1992294400 134512640 135751879 4287432240 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 39933 39429 143 303 0 39628 0 Current children cumulated CPU time (s) 195.15 Current children cumulated vsize (KiB) 159732 [startup+196.801 s] /proc/loadavg: 0.99 0.70 0.31 2/107 3944 /proc/meminfo: memFree=1453516/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=160936 CPUtime=196.75 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 39862 0 0 0 19408 267 0 0 25 0 1 0 2041055 164798464 39760 1992294400 134512640 135751879 4287432240 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 40234 39760 143 303 0 39929 0 Current children cumulated CPU time (s) 196.75 Current children cumulated vsize (KiB) 160936 [startup+197.602 s] /proc/loadavg: 0.99 0.70 0.31 3/107 3944 /proc/meminfo: memFree=1452896/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=161332 CPUtime=197.54 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 39934 0 0 0 19487 267 0 0 25 0 1 0 2041055 165203968 39832 1992294400 134512640 135751879 4287432240 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 40333 39832 143 303 0 40028 0 Current children cumulated CPU time (s) 197.54 Current children cumulated vsize (KiB) 161332 [startup+198.002 s] /proc/loadavg: 0.99 0.70 0.31 2/107 3944 /proc/meminfo: memFree=1452276/2059040 swapFree=4192956/4192956 [pid=3938] ppid=3936 vsize=161728 CPUtime=197.95 /proc/3938/stat : 3938 (wbo1.4a) R 3936 3938 3449 0 -1 4202496 40028 0 0 0 19527 268 0 0 25 0 1 0 2041055 165609472 39926 1992294400 134512640 135751879 4287432240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3938/statm: 40432 39926 143 303 0 40127 0 Current children cumulated CPU time (s) 197.95 Current children cumulated vsize (KiB) 161728 Child status: 0 Real time (s): 198.063 CPU time (s): 198.015 CPU user time (s): 195.319 CPU system time (s): 2.69559 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 161728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 195.319 system time used= 2.69559 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40034 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= 2138 runsolver used 0.305953 second user time and 0.967852 second system time The end
Begin job on node015 at 2010-06-11 14:49:15 IDJOB=2655381 IDBENCH=1281 IDSOLVER=1160 FILE ID=node015/2655381-1276260555 PBS_JOBID= 11172196 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb COMMAND LINE= wbo1.4a -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655381-1276260555/watcher-2655381-1276260555 -o /tmp/evaluation-result-2655381-1276260555/solver-2655381-1276260555 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2655381-1276260555.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aacf18cf0b8ed9727f2f81c2bd5074e6 RANDOM SEED=1263073666 node015.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.244 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.48 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.244 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 : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1612772 kB Buffers: 40796 kB Cached: 279988 kB SwapCached: 0 kB Active: 142032 kB Inactive: 238308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1612772 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2776 kB Writeback: 0 kB AnonPages: 59656 kB Mapped: 15388 kB Slab: 43984 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178508 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= 62536 MiB End job on node015 at 2010-06-11 14:52:33