Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | Wrong Opt. | 11 | 10.2034 | 10.2107 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb |
MD5SUM | 1cc97335e4341ed075b6e9adcc382d23 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 2.68759 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 96 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876594-1245187910.opb 0.00/0.00 c File size is 18984 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 4.89/4.93 c 101 352 673 9228 13 2236 3244 148 4809 0.02 4.89/4.93 c 251 352 882 23062 26 2750 3569 357 4735 0.05 4.89/4.93 c 476 352 1213 40371 33 3579 3926 688 5230 0.09 4.89/4.93 c 814 352 1588 63568 40 4403 4319 1063 5732 0.14 4.89/4.93 c 1322 352 2132 100862 47 5481 4751 1607 5554 0.24 4.89/4.93 c 2086 352 3036 151650 49 7494 5227 2511 5418 0.39 4.89/4.93 c 3233 352 4370 225351 51 10453 5750 3845 4534 0.71 4.89/4.93 c 4954 352 3484 162258 46 8170 6326 2959 3404 1.46 4.89/4.93 c 7539 343 6380 309821 48 14369 6959 5855 2917 2.58 4.89/4.93 c 11418 334 4011 195850 48 9550 7655 3486 2828 4.04 4.89/4.93 o 41 7.28/7.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.28/7.32 c 14561 326 7869 363952 46 18041 2965 7344 2952 4.93 7.28/7.32 c 14662 317 2128 79446 37 5165 3262 1603 2941 4.98 7.28/7.32 c 14912 317 2390 97138 40 5726 3589 1865 2967 5.03 7.28/7.32 c 15388 317 2897 130328 44 6781 3948 2372 3008 5.11 7.28/7.32 c 16202 317 3809 189114 49 8722 4343 3284 3056 5.30 7.28/7.32 c 17522 317 2799 152968 54 6441 4778 2274 3127 5.60 7.28/7.32 c 19603 305 5117 261560 51 11387 5256 4592 3249 6.03 7.28/7.32 c 22826 296 3554 158590 44 8115 5782 3029 3259 7.00 7.28/7.32 o 19 7.49/7.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.49/7.60 c 24110 285 5023 235452 46 11188 2961 4498 3296 7.31 7.49/7.60 c 24210 285 2203 86608 39 5255 3258 1678 3297 7.34 7.49/7.60 c 24461 285 2486 101148 40 5859 3584 1961 3307 7.40 7.49/7.60 c 24939 273 3036 131780 43 7063 3943 2511 3311 7.53 7.49/7.60 o 13 7.69/7.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.69/7.71 c 25334 273 3463 158054 45 7976 2963 2938 3334 7.60 7.69/7.71 c 25434 273 2104 88022 41 5076 3260 1579 3332 7.63 7.69/7.71 c 25685 273 2398 102712 42 5734 3587 1873 3340 7.69 7.69/7.71 o 11 10.19/10.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.20 c 25766 273 2493 107605 43 5954 2959 1968 3344 7.70 10.19/10.20 c 25866 273 2602 113446 43 6152 3255 2077 3347 7.73 10.19/10.20 c 26117 273 2916 128332 44 6865 3581 2391 3349 7.80 10.19/10.20 c 26592 265 3460 154651 44 8027 3940 2935 3348 7.94 10.19/10.20 c 27405 265 4373 199934 45 9956 4335 3848 3358 8.16 10.19/10.20 c 28726 257 3768 148672 39 8729 4769 3243 3333 8.62 10.19/10.20 c 30807 257 3732 124385 33 8533 5246 3207 3259 9.45 10.19/10.20 v x1 x2 -x3 x4 -x5 -x6 -x7 -x8 x9 x10 -x11 -x12 -x13 x14 -x15 x16 x17 x18 -x19 x20 x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 x97 x98 -x99 x100 -x101 -x102 -x103 -x104 x105 x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 x154 -x155 x156 -x157 -x158 -x159 -x160 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x65 x66 x67 -x68 -x69 -x70 -x71 -x72 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x49 x50 -x51 x52 x53 -x54 -x55 -x56 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x225 x226 -x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x57 x58 x59 -x60 -x61 -x62 -x63 x64 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x289 x290 x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 x314 x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 10.19/10.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 10.19/10.20 c 32 32518 469 37337 5764 188557 5239 3187 10.20 10.19/10.20 c Objective: 11 10.19/10.20 s OPTIMUM FOUND 10.19/10.20 c Total time: 10.201 s
OK 11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876594-1245187910/watcher-1876594-1245187910 -o /tmp/evaluation-result-1876594-1245187910/solver-1876594-1245187910 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876594-1245187910.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 0.99 3/64 13120 /proc/meminfo: memFree=1850016/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=10712 CPUtime=0 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 71493872 10969088 264 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 2678 264 189 640 0 2034 0 [startup+0.0107849 s] /proc/loadavg: 1.00 1.00 0.99 3/64 13120 /proc/meminfo: memFree=1850016/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=10844 CPUtime=0 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 71493872 11104256 283 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 2711 283 198 640 0 2067 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10844 [startup+0.101795 s] /proc/loadavg: 1.00 1.00 0.99 3/64 13120 /proc/meminfo: memFree=1850016/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=11360 CPUtime=0.09 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 454 0 0 0 9 0 0 0 18 0 1 0 71493872 11632640 433 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 2840 433 198 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.301817 s] /proc/loadavg: 1.00 1.00 0.99 3/64 13120 /proc/meminfo: memFree=1850016/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=12520 CPUtime=0.29 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 749 0 0 0 29 0 0 0 19 0 1 0 71493872 12820480 728 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 3130 728 198 640 0 2486 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12520 [startup+0.701863 s] /proc/loadavg: 1.00 1.00 0.99 3/64 13120 /proc/meminfo: memFree=1850016/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=14068 CPUtime=0.69 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 1116 0 0 0 69 0 0 0 22 0 1 0 71493872 14405632 1095 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 3517 1095 198 640 0 2873 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14068 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 0.99 2/65 13121 /proc/meminfo: memFree=1845720/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=15612 CPUtime=1.49 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 1520 0 0 0 148 1 0 0 25 0 1 0 71493872 15986688 1499 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 3903 1499 198 640 0 3259 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15612 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 0.99 2/65 13121 /proc/meminfo: memFree=1844696/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=16620 CPUtime=3.09 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 1752 0 0 0 308 1 0 0 25 0 1 0 71493872 17018880 1731 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 4155 1731 198 640 0 3511 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16620 [startup+6.30151 s] /proc/loadavg: 1.00 1.00 0.99 2/65 13121 /proc/meminfo: memFree=1843544/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=16620 CPUtime=6.29 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 1752 0 0 0 627 2 0 0 25 0 1 0 71493872 17018880 1731 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 4155 1731 198 640 0 3511 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16620 Solver just ended. Dumping a history of the last processes samples [startup+7.90169 s] /proc/loadavg: 1.00 1.00 0.99 2/65 13121 /proc/meminfo: memFree=1843544/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=16592 CPUtime=7.89 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 1752 0 0 0 786 3 0 0 25 0 1 0 71493872 16990208 1731 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 4148 1731 198 640 0 3504 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 16592 [startup+9.50188 s] /proc/loadavg: 1.00 1.00 0.99 2/65 13121 /proc/meminfo: memFree=1843544/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=16592 CPUtime=9.49 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 1752 0 0 0 945 4 0 0 25 0 1 0 71493872 16990208 1731 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 4148 1731 198 640 0 3504 0 Current children cumulated CPU time (s) 9.49 Current children cumulated vsize (KiB) 16592 [startup+9.90592 s] /proc/loadavg: 1.00 1.00 0.99 2/65 13121 /proc/meminfo: memFree=1843544/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=16592 CPUtime=9.89 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 1752 0 0 0 985 4 0 0 25 0 1 0 71493872 16990208 1731 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 4148 1731 198 640 0 3504 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (KiB) 16592 [startup+10.1019 s] /proc/loadavg: 1.00 1.00 0.99 2/65 13121 /proc/meminfo: memFree=1843544/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=16592 CPUtime=10.09 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 1752 0 0 0 1005 4 0 0 25 0 1 0 71493872 16990208 1731 1992294400 134512640 137136520 4294956256 18446744073709551615 134574384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 4148 1731 198 640 0 3504 0 Current children cumulated CPU time (s) 10.09 Current children cumulated vsize (KiB) 16592 [startup+10.202 s] /proc/loadavg: 1.00 1.00 0.99 2/65 13121 /proc/meminfo: memFree=1843544/2055920 swapFree=4192952/4192956 [pid=13120] ppid=13118 vsize=16592 CPUtime=10.19 /proc/13120/stat : 13120 (bsolo) R 13118 13120 12171 0 -1 4194304 1752 0 0 0 1015 4 0 0 25 0 1 0 71493872 16990208 1731 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13120/statm: 4148 1731 198 640 0 3504 0 Current children cumulated CPU time (s) 10.19 Current children cumulated vsize (KiB) 16592 Child status: 0 Real time (s): 10.2107 CPU time (s): 10.2034 CPU user time (s): 10.1575 CPU system time (s): 0.045993 CPU usage (%): 99.9287 Max. virtual memory (cumulated for all children) (KiB): 16620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.1575 system time used= 0.045993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1754 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= 28 runsolver used 0.011998 second user time and 0.028995 second system time The end
Begin job on node20 at 2009-06-16 23:31:50 IDJOB=1876594 IDBENCH=48004 IDSOLVER=699 FILE ID=node20/1876594-1245187910 PBS_JOBID= 9368283 Free space on /tmp= 66324 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876594-1245187910/watcher-1876594-1245187910 -o /tmp/evaluation-result-1876594-1245187910/solver-1876594-1245187910 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876594-1245187910.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1cc97335e4341ed075b6e9adcc382d23 RANDOM SEED=643650464 node20.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.234 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.234 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: 1850496 kB Buffers: 42400 kB Cached: 78500 kB SwapCached: 4 kB Active: 48084 kB Inactive: 86232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850496 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 23232 kB Slab: 57088 kB Committed_AS: 143036 kB PageTables: 1400 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-1876594-1245187910.opb Free space on /tmp at the end= 66320 MiB End job on node20 at 2009-06-16 23:32:01