Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 68.9435 | 68.9739 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb |
MD5SUM | ba7629ec9d43ef12b6ab9587104e8a0f |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 2.49662 |
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 | 813 |
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 Parsing PB file... 0.07/0.09 c Converting 2707 PB-constraints to clauses... 0.07/0.09 c -- Unit propagations: (none) 0.07/0.09 c -- Detecting intervals from adjacent constraints: ###################### 0.07/0.09 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.09/0.10 c ---[ 43]---> BDD-cost: 19 0.09/0.10 c ---[ 41]---> BDD-cost: 19 0.09/0.10 c ---[ 39]---> BDD-cost: 19 0.09/0.10 c ---[ 37]---> BDD-cost: 19 0.09/0.10 c ---[ 35]---> BDD-cost: 19 0.09/0.10 c ---[ 33]---> BDD-cost: 19 0.09/0.10 c ---[ 31]---> BDD-cost: 19 0.09/0.10 c ---[ 29]---> BDD-cost: 19 0.09/0.10 c ---[ 27]---> BDD-cost: 19 0.09/0.10 c ---[ 25]---> BDD-cost: 19 0.09/0.10 c ---[ 23]---> BDD-cost: 19 0.09/0.10 c ---[ 21]---> BDD-cost: 19 0.09/0.10 c ---[ 19]---> BDD-cost: 19 0.09/0.10 c ---[ 17]---> BDD-cost: 19 0.09/0.10 c ---[ 15]---> BDD-cost: 19 0.09/0.10 c ---[ 13]---> BDD-cost: 19 0.09/0.10 c ---[ 11]---> BDD-cost: 19 0.09/0.10 c ---[ 9]---> BDD-cost: 19 0.09/0.10 c ---[ 7]---> BDD-cost: 19 0.09/0.10 c ---[ 5]---> BDD-cost: 19 0.09/0.10 c ---[ 3]---> BDD-cost: 19 0.09/0.10 c ---[ 1]---> BDD-cost: 19 0.09/0.10 c ---[ 0]---> Adder-cost: 380 maxlim: 762 bits: 10/10 0.09/0.12 c ==================================[MINISAT+]================================== 0.09/0.12 c | Conflicts | Original | Learnt | Progress | 0.09/0.12 c | | Clauses Literals | Max Clauses Literals LPC | | 0.09/0.12 c ============================================================================== 0.09/0.12 c | 0 | 6308 19768 | 2102 0 0 nan | 0.000 % | 0.09/0.13 c | 100 | 6308 19768 | 2312 100 953 9.5 | 2.896 % | 0.09/0.14 c | 251 | 6308 19768 | 2543 251 8370 33.3 | 2.896 % | 0.09/0.16 c | 478 | 6308 19768 | 2797 478 17956 37.6 | 2.896 % | 0.19/0.21 c | 816 | 6308 19768 | 3077 816 38502 47.2 | 2.896 % | 0.19/0.28 c | 1324 | 6308 19768 | 3385 1324 65441 49.4 | 2.896 % | 0.39/0.40 c | 2083 | 6308 19768 | 3723 2083 118799 57.0 | 2.896 % | 0.49/0.57 c | 3225 | 6308 19768 | 4096 3225 187170 58.0 | 2.896 % | 0.79/0.84 c | 4935 | 6308 19768 | 4505 2797 133758 47.8 | 2.896 % | 1.28/1.30 c | 7497 | 6308 19768 | 4956 2924 154496 52.8 | 2.896 % | 1.98/2.01 c | 11341 | 6308 19768 | 5452 4168 229538 55.1 | 2.896 % | 3.08/3.15 c | 17107 | 6308 19768 | 5997 4217 215553 51.1 | 2.896 % | 4.88/4.92 c | 25757 | 6308 19768 | 6596 3458 156195 45.2 | 2.896 % | 7.68/7.79 c | 38733 | 6308 19768 | 7256 6152 356690 58.0 | 2.896 % | 12.09/12.13 c | 58194 | 6301 19745 | 7982 6764 388368 57.4 | 2.992 % | 18.98/19.07 c | 87387 | 6292 19714 | 8780 7140 404820 56.7 | 3.089 % | 30.07/30.11 c | 131176 | 6219 19460 | 9658 5797 293731 50.7 | 4.151 % | 48.07/48.14 c | 196861 | 6064 18929 | 10624 7083 342042 48.3 | 6.564 % | 66.96/67.06 c | 295388 | 6048 18877 | 11686 7867 179137 22.8 | 6.853 % | 68.86/68.97 c ============================================================================== 68.86/68.97 c [1mUNSATISFIABLE[0m 68.86/68.97 s UNSATISFIABLE 68.86/68.97 c _______________________________________________________________________________ 68.86/68.97 c 68.86/68.97 c restarts : 19 68.86/68.97 c conflicts : 309271 (4487 /sec) 68.86/68.97 c decisions : 417073 (6051 /sec) 68.86/68.97 c propagations : 0 (0 /sec) 68.86/68.97 c inspects : 0 (0 /sec) 68.86/68.97 c CPU time : 68.9245 s 68.86/68.97 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/359692-1176940361/instance-359692-1176940361.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-359692-1176940361 -o ROOT/results/node45/solver-359692-1176940361 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/359692-1176940361/minisat+ /tmp/evaluation/359692-1176940361/instance-359692-1176940361.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: 1.11 1.05 1.00 3/77 26607 /proc/meminfo: memFree=1858424/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=1048 CPUtime=0 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 48881717 1073152 101 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 262 101 74 215 0 44 0 [startup+0.0750061 s] /proc/loadavg: 1.11 1.05 1.00 3/77 26607 /proc/meminfo: memFree=1858424/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=1620 CPUtime=0.07 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 263 0 0 0 7 0 0 0 18 0 1 0 48881717 1658880 248 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 405 248 74 215 0 187 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1620 [startup+0.102058 s] /proc/loadavg: 1.11 1.05 1.00 3/77 26607 /proc/meminfo: memFree=1858424/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=1896 CPUtime=0.09 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 345 0 0 0 9 0 0 0 18 0 1 0 48881717 1941504 330 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 474 330 86 215 0 256 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1896 [startup+0.301216 s] /proc/loadavg: 1.11 1.05 1.00 3/77 26607 /proc/meminfo: memFree=1858424/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=2552 CPUtime=0.29 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 514 0 0 0 29 0 0 0 18 0 1 0 48881717 2613248 499 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 638 499 123 215 0 420 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2552 [startup+0.701258 s] /proc/loadavg: 1.11 1.05 1.00 3/77 26607 /proc/meminfo: memFree=1858424/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=3208 CPUtime=0.69 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 688 0 0 0 69 0 0 0 22 0 1 0 48881717 3284992 673 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 802 673 123 215 0 584 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3208 [startup+1.50134 s] /proc/loadavg: 1.10 1.05 1.00 2/78 26608 /proc/meminfo: memFree=1856112/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=3472 CPUtime=1.48 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 744 0 0 0 148 0 0 0 25 0 1 0 48881717 3555328 729 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579914 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 868 729 123 215 0 650 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 3472 [startup+3.1015 s] /proc/loadavg: 1.10 1.05 1.00 2/78 26608 /proc/meminfo: memFree=1855664/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=3864 CPUtime=3.08 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 842 0 0 0 308 0 0 0 25 0 1 0 48881717 3956736 827 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576760 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 966 827 123 215 0 748 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 3864 [startup+6.30164 s] /proc/loadavg: 1.09 1.05 1.00 2/78 26608 /proc/meminfo: memFree=1855152/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=4256 CPUtime=6.28 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 952 0 0 0 628 0 0 0 25 0 1 0 48881717 4358144 937 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1064 937 123 215 0 846 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 4256 [startup+12.7013 s] /proc/loadavg: 1.08 1.05 1.00 2/78 26608 /proc/meminfo: memFree=1854328/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=4908 CPUtime=12.68 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 1116 0 0 0 1267 1 0 0 25 0 1 0 48881717 5025792 1101 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1227 1101 123 215 0 1009 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4908 [startup+25.5016 s] /proc/loadavg: 1.07 1.04 1.00 2/78 26608 /proc/meminfo: memFree=1853688/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=5432 CPUtime=25.48 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 1262 0 0 0 2547 1 0 0 25 0 1 0 48881717 5562368 1247 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1358 1247 123 215 0 1140 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5432 [startup+51.1012 s] /proc/loadavg: 1.04 1.04 1.00 2/78 26608 /proc/meminfo: memFree=1852856/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=6364 CPUtime=51.07 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 1470 0 0 0 5106 1 0 0 25 0 1 0 48881717 6516736 1455 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1591 1455 123 215 0 1373 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6364 Solver just ended. Dumping a history of the last processes samples [startup+57.5018 s] /proc/loadavg: 1.04 1.04 1.00 2/78 26608 /proc/meminfo: memFree=1852728/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=6496 CPUtime=57.47 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 1499 0 0 0 5746 1 0 0 25 0 1 0 48881717 6651904 1484 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1624 1484 123 215 0 1406 0 Current children cumulated CPU time (s) 57.47 Current children cumulated vsize (KiB) 6496 [startup+63.9015 s] /proc/loadavg: 1.04 1.04 1.00 2/78 26608 /proc/meminfo: memFree=1852600/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=6496 CPUtime=63.86 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 1520 0 0 0 6385 1 0 0 25 0 1 0 48881717 6651904 1505 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1624 1505 123 215 0 1406 0 Current children cumulated CPU time (s) 63.86 Current children cumulated vsize (KiB) 6496 [startup+67.1058 s] /proc/loadavg: 1.03 1.04 1.00 2/78 26608 /proc/meminfo: memFree=1852536/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=6636 CPUtime=67.06 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 1534 0 0 0 6705 1 0 0 25 0 1 0 48881717 6795264 1519 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1659 1519 123 215 0 1441 0 Current children cumulated CPU time (s) 67.06 Current children cumulated vsize (KiB) 6636 [startup+67.9019 s] /proc/loadavg: 1.03 1.04 1.00 2/78 26608 /proc/meminfo: memFree=1852536/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=6636 CPUtime=67.86 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 1546 0 0 0 6785 1 0 0 25 0 1 0 48881717 6795264 1531 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1659 1531 123 215 0 1441 0 Current children cumulated CPU time (s) 67.86 Current children cumulated vsize (KiB) 6636 [startup+68.703 s] /proc/loadavg: 1.03 1.04 1.00 2/78 26608 /proc/meminfo: memFree=1852536/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=6636 CPUtime=68.66 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 1551 0 0 0 6865 1 0 0 25 0 1 0 48881717 6795264 1536 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588664 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1659 1536 123 215 0 1441 0 Current children cumulated CPU time (s) 68.66 Current children cumulated vsize (KiB) 6636 [startup+68.903 s] /proc/loadavg: 1.03 1.04 1.00 2/78 26608 /proc/meminfo: memFree=1852536/2055920 swapFree=4157496/4192956 [pid=26607] ppid=26605 vsize=6636 CPUtime=68.86 /proc/26607/stat : 26607 (minisat+) R 26605 26607 26104 0 -1 4194304 1556 0 0 0 6885 1 0 0 25 0 1 0 48881717 6795264 1541 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580816 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26607/statm: 1659 1541 123 215 0 1441 0 Current children cumulated CPU time (s) 68.86 Current children cumulated vsize (KiB) 6636 Child status: 20 Real time (s): 68.9739 CPU time (s): 68.9435 CPU user time (s): 68.9245 CPU system time (s): 0.018997 CPU usage (%): 99.9559 Max. virtual memory (cumulated for all children) (KiB): 6636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.9245 system time used= 0.018997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1558 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= 27 involuntary context switches= 127 runsolver used 0.091986 second user time and 0.163975 second system time The end
Begin job on node45 on Wed Apr 18 23:52:41 UTC 2007 IDJOB= 359692 IDBENCH= 1313 IDSOLVER= 156 FILE ID= node45/359692-1176940361 PBS_JOBID= 4605701 Free space on /tmp= 66445 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb COMMAND LINE= /tmp/evaluation/359692-1176940361/minisat+ /tmp/evaluation/359692-1176940361/instance-359692-1176940361.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-359692-1176940361 -o ROOT/results/node45/conversion-359692-1176940361 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/359692-1176940361/instance-359692-1176940361.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-359692-1176940361 -o ROOT/results/node45/solver-359692-1176940361 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/359692-1176940361/minisat+ /tmp/evaluation/359692-1176940361/instance-359692-1176940361.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= ba7629ec9d43ef12b6ab9587104e8a0f RANDOM SEED= 489649702 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1858896 kB Buffers: 31084 kB Cached: 99888 kB SwapCached: 15296 kB Active: 67868 kB Inactive: 87868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858896 kB SwapTotal: 4192956 kB SwapFree: 4157496 kB Dirty: 2428 kB Writeback: 0 kB Mapped: 32108 kB Slab: 26884 kB Committed_AS: 1145632 kB PageTables: 1732 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= 66445 MiB End job on node45 on Wed Apr 18 23:53:50 UTC 2007