Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | ? (MO) | 513.909 | 514.204 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
MD5SUM | d761333f7ff9a755d3cd90e52b11f227 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 480 |
Number of constraints which are cardinality constraints (but not clauses) | 608 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 120 |
Maximum length of a constraint | 225 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 227 |
Number of bits of the biggest sum of numbers | 8 |
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.08 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.08 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.08 c type "bsolo -h" for help 0.00/0.08 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.08 c Time Limit set to 1800 0.00/0.08 c Memory Limit set to 1800 MB 0.00/0.08 c Instance file /tmp/evaluation/350261-1176492939/instance-350261-1176492939.opb 0.00/0.08 c File size is 1337368 bytes. 0.21/0.33 c Highest Coefficient sum: 227 0.21/0.33 c Parsing was ok!! 0.21/0.33 c Total parsing time: 0.248 s 0.21/0.34 c Var: 14400 Constr: 1088 480/608/0 Lit: 144000 Watch. Lit: 87232 0.21/0.34 c Obj. Vars: 0 (0 % of total variables) 4.31/4.42 c Pre-processing Time: 4.335 s 4.31/4.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.31/4.42 c 0 14400 1088 144000 132 87232 608160 0 0 4.33 4.31/4.42 c Switching off LPR mode. 513.60/513.90 c 101 14400 1189 173153 145 87434 668977 101 23 4.37 513.60/513.90 c 252 14400 1340 211481 157 87736 735875 252 55 4.50 513.60/513.90 c 478 14400 1566 297593 190 88188 809463 478 102 4.68 513.60/513.90 c 816 14400 1904 432777 227 88864 890410 816 166 4.89 513.60/513.90 c 1326 14400 2414 677532 280 89884 979452 1326 253 5.24 513.60/513.90 c 2089 14400 3177 1021374 321 91410 500000 2089 363 5.75 513.60/513.90 c 3238 14400 4326 1575289 364 93708 550001 3238 490 6.59 513.60/513.90 c 4959 14400 6047 2764349 457 97150 605002 4959 600 8.26 513.60/513.90 c 7546 14400 8634 5790493 670 102324 665503 7546 629 11.98 513.60/513.90 c 11428 14400 12516 16308146 1302 110088 732054 11428 322 35.44 513.60/513.90 c 17250 14400 18338 26051811 1420 121732 805260 17250 314 54.80 513.60/513.90 c 25988 14400 27076 38063486 1405 139208 885787 25988 320 81.07 513.60/513.90 c 39103 14400 40191 99308783 2470 165438 974366 39103 131 297.47 513.60/513.90 c Caught signal: 15 513.60/513.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 513.60/513.90 c 13 53087 24406 602388 54175 144050878 53087 103 513.61 513.60/513.90 s UNKNOWN 513.60/513.90 c Total time: 513.611 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-350261-1176492939 -o ROOT/results/node10/solver-350261-1176492939 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350261-1176492939/instance-350261-1176492939.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.00 0.23 0.19 3/77 2049 /proc/meminfo: memFree=1815184/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=3780 CPUtime=0 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 184 0 1 0 0 0 0 0 18 0 1 0 125331457 3870720 153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160041328 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/2049/statm: 945 153 127 324 0 14 0 [startup+0.0919931 s] /proc/loadavg: 0.00 0.23 0.19 3/77 2049 /proc/meminfo: memFree=1815184/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=13316 CPUtime=0 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 416 0 8 0 0 0 0 0 18 0 1 0 125331457 13635584 392 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 3329 392 292 324 0 2071 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13316 [startup+0.101992 s] /proc/loadavg: 0.00 0.23 0.19 3/77 2049 /proc/meminfo: memFree=1815184/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=13456 CPUtime=0.01 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 490 0 8 0 1 0 0 0 18 0 1 0 125331457 13778944 466 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 3364 466 305 324 0 2106 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13456 [startup+0.302034 s] /proc/loadavg: 0.00 0.23 0.19 3/77 2049 /proc/meminfo: memFree=1815184/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=7784 CPUtime=0.21 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 1290 0 8 0 21 0 0 0 19 0 1 0 125331457 7970816 1266 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 1946 1267 570 324 0 688 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 7784 [startup+0.701121 s] /proc/loadavg: 0.00 0.23 0.19 3/77 2049 /proc/meminfo: memFree=1815184/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=10168 CPUtime=0.61 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 2200 0 8 0 60 1 0 0 23 0 1 0 125331457 10412032 1849 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 2542 1849 305 324 0 1611 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 10168 [startup+1.50229 s] /proc/loadavg: 0.00 0.23 0.19 2/78 2050 /proc/meminfo: memFree=1808200/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=10168 CPUtime=1.41 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 2200 0 8 0 140 1 0 0 25 0 1 0 125331457 10412032 1849 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 2542 1849 305 324 0 1611 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 10168 [startup+3.10163 s] /proc/loadavg: 0.00 0.23 0.19 2/78 2050 /proc/meminfo: memFree=1808072/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=12440 CPUtime=3.01 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 2881 0 8 0 299 2 0 0 25 0 1 0 125331457 12738560 2416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 3110 2416 307 324 0 2179 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 12440 [startup+6.30132 s] /proc/loadavg: 0.08 0.24 0.19 2/78 2050 /proc/meminfo: memFree=1800720/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=26128 CPUtime=6.21 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 6876 0 8 0 610 11 0 0 25 0 1 0 125331457 26755072 5881 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 6532 5881 311 324 0 5601 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 26128 [startup+12.7017 s] /proc/loadavg: 0.16 0.25 0.19 2/78 2050 /proc/meminfo: memFree=1735440/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=88400 CPUtime=12.61 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 22439 0 8 0 1239 22 0 0 25 0 1 0 125331457 90521600 21444 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 22100 21444 311 324 0 21169 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 88400 [startup+25.5014 s] /proc/loadavg: 0.34 0.29 0.21 2/78 2050 /proc/meminfo: memFree=1647824/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=171184 CPUtime=25.4 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 43153 0 8 0 2510 30 0 0 25 0 1 0 125331457 175292416 42158 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 42796 42158 311 324 0 41865 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 171184 [startup+51.102 s] /proc/loadavg: 0.57 0.35 0.23 2/78 2050 /proc/meminfo: memFree=1498000/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=322660 CPUtime=50.98 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 81024 0 8 0 5049 49 0 0 25 0 1 0 125331457 330403840 80029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 80665 80029 311 324 0 79734 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 322660 [startup+102.306 s] /proc/loadavg: 0.81 0.44 0.26 2/78 2050 /proc/meminfo: memFree=1189520/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=627820 CPUtime=102.16 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 157311 0 8 0 10130 86 0 0 25 0 1 0 125331457 642887680 156316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 156955 156316 311 324 0 156024 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 627820 [startup+162.302 s] /proc/loadavg: 0.93 0.54 0.31 2/78 2050 /proc/meminfo: memFree=967952/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=850656 CPUtime=162.14 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 213030 0 8 0 16106 108 0 0 25 0 1 0 125331457 871071744 212035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 212664 212035 311 324 0 211733 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 850656 [startup+222.302 s] /proc/loadavg: 0.97 0.62 0.35 2/78 2050 /proc/meminfo: memFree=764944/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=1051508 CPUtime=222.11 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 263244 0 8 0 22086 125 0 0 25 0 1 0 125331457 1076744192 262249 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 262877 262249 311 324 0 261946 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 1051508 [startup+282.302 s] /proc/loadavg: 0.99 0.69 0.39 2/78 2050 /proc/meminfo: memFree=587728/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=1230264 CPUtime=282.1 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 307934 0 8 0 28069 141 0 0 25 0 1 0 125331457 1259790336 306939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 307566 306939 311 324 0 306635 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 1230264 [startup+342.302 s] /proc/loadavg: 0.99 0.74 0.42 2/78 2050 /proc/meminfo: memFree=395152/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=1421044 CPUtime=342.07 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 355628 0 8 0 34046 161 0 0 25 0 1 0 125331457 1455149056 354633 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 355261 354633 311 324 0 354330 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 1421044 [startup+402.301 s] /proc/loadavg: 0.99 0.79 0.46 2/78 2050 /proc/meminfo: memFree=221776/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=1595568 CPUtime=402.05 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 399257 0 8 0 40028 177 0 0 25 0 1 0 125331457 1633861632 398262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 398892 398262 311 324 0 397961 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 1595568 [startup+462.301 s] /proc/loadavg: 0.99 0.82 0.49 2/78 2050 /proc/meminfo: memFree=78160/2055920 swapFree=4172988/4192956 [pid=2049] ppid=2047 vsize=1737364 CPUtime=462.03 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 434713 0 8 0 46011 192 0 0 25 0 1 0 125331457 1779060736 433718 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 434341 433718 311 324 0 433410 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 1737364 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+513.901 s] /proc/loadavg: 1.03 0.86 0.52 2/78 2050 /proc/meminfo: memFree=15504/2055920 swapFree=4171784/4192956 [pid=2049] ppid=2047 vsize=1843412 CPUtime=513.6 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194304 461222 0 8 0 51157 203 0 0 25 0 1 0 125331457 1887653888 460227 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 460853 460227 311 324 0 459922 0 Current children cumulated CPU time (s) 513.6 Current children cumulated vsize (KiB) 1843412 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+514.201 s] /proc/loadavg: 1.03 0.86 0.52 2/78 2050 /proc/meminfo: memFree=15504/2055920 swapFree=4171784/4192956 [pid=2049] ppid=2047 vsize=0 CPUtime=513.9 /proc/2049/stat : 2049 (bsolo3.0.16) R 2047 2049 1984 0 -1 4194308 461223 0 8 0 51158 232 0 0 25 0 1 0 125331457 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/2049/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 513.9 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 514.204 CPU time (s): 513.909 CPU user time (s): 511.581 CPU system time (s): 2.32765 CPU usage (%): 99.9426 Max. virtual memory (cumulated for all children) (KiB): 1843412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 511.581 system time used= 2.32765 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461223 page faults= 8 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20 involuntary context switches= 10823 runsolver used 0.551916 second user time and 1.19282 second system time The end
Begin job on node10 on Fri Apr 13 19:35:39 UTC 2007 IDJOB= 350261 IDBENCH= 1153 IDSOLVER= 163 FILE ID= node10/350261-1176492939 PBS_JOBID= 4556683 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350261-1176492939/instance-350261-1176492939.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-350261-1176492939 -o ROOT/results/node10/solver-350261-1176492939 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350261-1176492939/instance-350261-1176492939.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227 RANDOM SEED= 213484308 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1815784 kB Buffers: 38436 kB Cached: 110384 kB SwapCached: 1120 kB Active: 140464 kB Inactive: 43972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815784 kB SwapTotal: 4192956 kB SwapFree: 4172988 kB Dirty: 5724 kB Writeback: 0 kB Mapped: 45192 kB Slab: 41352 kB Committed_AS: 2157932 kB PageTables: 1708 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= 66555 MiB End job on node10 on Fri Apr 13 19:44:15 UTC 2007