Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.0 | UNSAT | 192.525 | 192.58 |
Name | /PURE-SAT/SAT09/ CRAFTED/ramseycube/Q32inK09.opb |
MD5SUM | e527fd61a44c6054d4b7492fd6de9f0f |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 46.7749 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 36 |
Total number of constraints | 7938 |
Number of constraints which are clauses | 7938 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 12 |
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 | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 13 |
Number of bits of the biggest sum of numbers | 4 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1884551-1245259533.opb. 0.00/0.00 c Instance file HOME/instance-1884551-1245259533.opb 0.00/0.00 c File size is 678701 bytes. 0.03/0.10 c Highest Coefficient sum: 13 0.03/0.10 c ============================[ Problem Statistics ]============================= 0.03/0.10 c | | 0.03/0.10 c | Parsing time: 0.10 s | 0.03/0.10 c | Number Variables: 36 | 0.03/0.10 c | Number Clauses: 7938 | 0.03/0.10 c | Number Cardinality: 0 | 0.03/0.10 c | Number PB Constraints: 0 | 0.03/0.10 c ============================[ Search Statistics ]============================== 0.03/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.10 c =============================================================================== 0.03/0.10 c | 0 | 36 7938 92232 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 101 | 36 7938 92232 | 5500 101 19 | 0.079 % | 0.09/0.14 c | 252 | 36 7938 92232 | 6050 252 19 | 0.079 % | 0.09/0.18 c | 479 | 36 7938 92232 | 6655 479 19 | 0.079 % | 0.19/0.24 c | 818 | 36 7938 92232 | 7320 818 19 | 0.079 % | 0.29/0.35 c | 1324 | 36 7938 92232 | 8052 1324 19 | 0.079 % | 0.49/0.51 c | 2086 | 36 7938 92232 | 8857 2086 19 | 0.079 % | 0.69/0.77 c | 3225 | 36 7938 92232 | 9743 3225 19 | 0.079 % | 1.19/1.22 c | 4934 | 36 7938 92232 | 10717 4934 19 | 0.079 % | 1.89/1.90 c | 7496 | 36 7938 92232 | 11789 7496 19 | 0.079 % | 3.19/3.30 c | 11342 | 36 7938 92232 | 12968 11342 19 | 0.079 % | 5.29/5.35 c | 17111 | 36 7938 92232 | 14265 10618 19 | 0.079 % | 8.49/8.53 c | 25760 | 36 7938 92232 | 15692 12124 19 | 0.079 % | 14.19/14.22 c | 38735 | 36 7938 92232 | 17261 9387 19 | 0.079 % | 22.28/22.30 c | 58198 | 36 7938 92232 | 18987 11569 19 | 0.079 % | 35.09/35.11 c | 87393 | 36 7938 92232 | 20886 12254 19 | 0.079 % | 55.28/55.38 c | 131183 | 36 7938 92232 | 22974 14239 19 | 0.082 % | 89.56/89.61 c | 196867 | 36 7938 92232 | 25272 20809 19 | 0.082 % | 145.95/146.01 c | 295394 | 36 7938 92232 | 27799 22045 19 | 0.234 % | 188.43/188.60 c =============================================================================== 192.44/192.56 c core #1 192.44/192.56 c Core size: 7938 Core Weight: 2147483647 Total Weight: 2147483647 192.44/192.56 c restarts : 19 192.44/192.56 c conflicts : 378009 (1973 /sec) 192.44/192.56 c decisions : 397286 (1.69 % random) (2073 /sec) 192.44/192.56 c propagations : 2649067 (13825 /sec) 192.44/192.56 c conflict literals : 7263021 (0.00 % deleted) 192.44/192.56 c Memory used : 93.23 MB 192.44/192.56 c CPU time : 191.619 s 192.44/192.56 c 192.44/192.56 s UNSATISFIABLE
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-1884551-1245259533/watcher-1884551-1245259533 -o /tmp/evaluation-result-1884551-1245259533/solver-1884551-1245259533 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1884551-1245259533.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.99 0.97 0.91 3/64 9632 /proc/meminfo: memFree=1848440/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=3056 CPUtime=0 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 193553274 3129344 163 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 764 163 126 292 0 303 0 [startup+0.034398 s] /proc/loadavg: 0.99 0.97 0.91 3/64 9632 /proc/meminfo: memFree=1848440/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=3320 CPUtime=0.03 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 277 0 0 0 3 0 0 0 18 0 1 0 193553274 3399680 261 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 830 261 175 292 0 369 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3320 [startup+0.101404 s] /proc/loadavg: 0.99 0.97 0.91 3/64 9632 /proc/meminfo: memFree=1848440/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=3080 CPUtime=0.09 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 527 0 0 0 9 0 0 0 18 0 1 0 193553274 3153920 345 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 770 345 133 292 0 475 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3080 [startup+0.301428 s] /proc/loadavg: 0.99 0.97 0.91 3/64 9632 /proc/meminfo: memFree=1848440/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=3484 CPUtime=0.29 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 619 0 0 0 29 0 0 0 18 0 1 0 193553274 3567616 437 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 871 437 134 292 0 576 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3484 [startup+0.701472 s] /proc/loadavg: 0.99 0.97 0.91 3/64 9632 /proc/meminfo: memFree=1848440/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=4012 CPUtime=0.69 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 740 0 0 0 68 1 0 0 22 0 1 0 193553274 4108288 558 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 1003 558 134 292 0 708 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4012 [startup+1.50156 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1846448/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=4672 CPUtime=1.49 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 913 0 0 0 148 1 0 0 25 0 1 0 193553274 4784128 731 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 1168 731 134 292 0 873 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4672 [startup+3.10175 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1845424/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=5884 CPUtime=3.09 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 1200 0 0 0 307 2 0 0 25 0 1 0 193553274 6025216 1018 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 1471 1018 134 292 0 1176 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5884 [startup+6.30111 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1843248/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=7784 CPUtime=6.29 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 1682 0 0 0 625 4 0 0 25 0 1 0 193553274 7970816 1500 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 1946 1500 134 292 0 1651 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7784 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1839536/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=11220 CPUtime=12.69 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 2528 0 0 0 1262 7 0 0 25 0 1 0 193553274 11489280 2346 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 2805 2346 134 292 0 2510 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11220 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1833008/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=17648 CPUtime=25.49 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 4113 0 0 0 2536 13 0 0 25 0 1 0 193553274 18071552 3931 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 4412 3931 134 292 0 4117 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17648 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1821488/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=29292 CPUtime=51.08 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 7030 0 0 0 5084 24 0 0 25 0 1 0 193553274 29995008 6848 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 7323 6848 134 292 0 7028 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29292 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1801456/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=49088 CPUtime=102.27 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 11973 0 0 0 10177 50 0 0 25 0 1 0 193553274 50266112 11791 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 12272 11791 134 292 0 11977 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49088 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1780016/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=71004 CPUtime=162.25 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 17416 0 0 0 16151 74 0 0 25 0 1 0 193553274 72708096 17234 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 17751 17234 134 292 0 17456 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 71004 Solver just ended. Dumping a history of the last processes samples [startup+179.102 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1772528/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=78432 CPUtime=179.04 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 19284 0 0 0 17823 81 0 0 25 0 1 0 193553274 80314368 19102 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 19608 19102 135 292 0 19313 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 78432 [startup+185.501 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1770160/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=80816 CPUtime=185.43 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 19872 0 0 0 18459 84 0 0 25 0 1 0 193553274 82755584 19690 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 20204 19690 135 292 0 19909 0 Current children cumulated CPU time (s) 185.43 Current children cumulated vsize (KiB) 80816 [startup+188.702 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1768048/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=84512 CPUtime=188.63 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 20810 0 0 0 18777 86 0 0 25 0 1 0 193553274 86540288 20628 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 21128 20628 136 292 0 20833 0 Current children cumulated CPU time (s) 188.63 Current children cumulated vsize (KiB) 84512 [startup+190.306 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1755120/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=95468 CPUtime=190.24 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 23530 0 0 0 18936 88 0 0 25 0 1 0 193553274 97759232 23348 1992294400 134512640 135709839 4294956240 18446744073709551615 134584062 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 23867 23348 136 292 0 23572 0 Current children cumulated CPU time (s) 190.24 Current children cumulated vsize (KiB) 95468 [startup+191.901 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1754992/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=95468 CPUtime=191.83 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 23538 0 0 0 19095 88 0 0 25 0 1 0 193553274 97759232 23356 1992294400 134512640 135709839 4294956240 18446744073709551615 134584101 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 23867 23356 136 292 0 23572 0 Current children cumulated CPU time (s) 191.83 Current children cumulated vsize (KiB) 95468 [startup+192.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1754992/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=95468 CPUtime=192.23 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 23538 0 0 0 19135 88 0 0 25 0 1 0 193553274 97759232 23356 1992294400 134512640 135709839 4294956240 18446744073709551615 134583795 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 23867 23356 136 292 0 23572 0 Current children cumulated CPU time (s) 192.23 Current children cumulated vsize (KiB) 95468 [startup+192.505 s] /proc/loadavg: 0.99 0.97 0.91 2/65 9633 /proc/meminfo: memFree=1754992/2055920 swapFree=4181924/4192956 [pid=9632] ppid=9630 vsize=95468 CPUtime=192.44 /proc/9632/stat : 9632 (wbo) R 9630 9632 9471 0 -1 4194304 23538 0 0 0 19156 88 0 0 25 0 1 0 193553274 97759232 23356 1992294400 134512640 135709839 4294956240 18446744073709551615 134583733 0 0 4096 3 0 0 0 17 1 0 0 /proc/9632/statm: 23867 23356 136 292 0 23572 0 Current children cumulated CPU time (s) 192.44 Current children cumulated vsize (KiB) 95468 Child status: 0 Real time (s): 192.58 CPU time (s): 192.525 CPU user time (s): 191.623 CPU system time (s): 0.901862 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 95468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 191.623 system time used= 0.901862 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23540 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= 249 runsolver used 0.164974 second user time and 0.416936 second system time The end
Begin job on node23 at 2009-06-17 19:25:34 IDJOB=1884551 IDBENCH=71968 IDSOLVER=698 FILE ID=node23/1884551-1245259533 PBS_JOBID= 9372430 Free space on /tmp= 66268 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/ramseycube/Q32inK09.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884551-1245259533/watcher-1884551-1245259533 -o /tmp/evaluation-result-1884551-1245259533/solver-1884551-1245259533 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1884551-1245259533.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e527fd61a44c6054d4b7492fd6de9f0f RANDOM SEED=2043071061 node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.236 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.236 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: 1848920 kB Buffers: 24712 kB Cached: 120008 kB SwapCached: 4540 kB Active: 38360 kB Inactive: 113980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848920 kB SwapTotal: 4192956 kB SwapFree: 4181924 kB Dirty: 3040 kB Writeback: 0 kB Mapped: 14364 kB Slab: 40676 kB Committed_AS: 175388 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1884551-1245259533.opb Free space on /tmp at the end= 66268 MiB End job on node23 at 2009-06-17 19:28:46