Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 45.5321 | 45.5618 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=149-P1=191-P2=199-B.opb |
MD5SUM | 2b352a53cf64b38d9bda6afbed4525e8 |
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 | 1.84472 |
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 | 54 |
Total number of constraints | 5 |
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 | 5 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 162 |
Sum of products size (including duplicates) | 324 |
Number of different products | 162 |
Sum of products size | 324 |
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: Clause 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-1878050-1245188541.opb 0.00/0.00 c File size is 11884 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 216 Constr: 331 162/0/169 Lit: 1377 Watch. Lit: 848 0.00/0.00 c Obj. Vars: 9 (4.16667 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 216 331 1377 4 1185 1835 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.05 c 100 216 431 9114 21 1363 2019 100 7142 0.01 0.00/0.05 c 252 216 583 20376 34 1659 2221 252 8400 0.03 0.00/0.05 o 171 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 407 216 739 32344 43 2001 1853 408 8479 0.05 0.04/0.06 c 507 216 839 40228 47 2140 2039 508 8177 0.06 0.04/0.06 o 57 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 518 216 851 40953 48 2193 1853 520 8093 0.06 0.04/0.06 o 53 0.04/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.07 c 546 216 880 42795 48 2253 1853 549 8029 0.07 0.04/0.07 o 27 0.04/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.08 c 601 206 936 46363 49 2413 1851 605 7907 0.08 0.04/0.08 o 3 45.46/45.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 45.46/45.56 c 618 206 954 47483 49 2433 1851 623 7822 0.08 45.46/45.56 c 719 184 1055 55088 52 2640 2037 724 7731 0.09 45.46/45.56 c 969 127 1305 71178 54 3130 2241 974 7285 0.13 45.46/45.56 c 1445 127 1781 102086 57 4075 2466 1450 6720 0.21 45.46/45.56 c 2258 127 2594 160369 61 5718 2713 2263 5834 0.39 45.46/45.56 c 3578 127 2392 149357 62 5276 2985 2061 5126 0.70 45.46/45.56 c 5660 127 2842 181870 63 6175 3284 2511 4796 1.18 45.46/45.56 c 8884 127 2473 162472 65 5437 3613 2142 4462 1.99 45.46/45.56 c 13821 127 3470 239516 69 7435 3975 3139 4186 3.30 45.46/45.56 c 21327 127 2378 155428 65 5224 4373 2047 4007 5.32 45.46/45.56 c 32689 127 4394 293983 66 9254 4811 4063 3967 8.24 45.46/45.56 c 49833 127 3606 234059 64 7701 5293 3275 3700 13.47 45.46/45.56 c 75652 127 4149 279186 67 8783 5823 3818 3590 21.07 45.46/45.56 c 114485 127 6179 417452 67 12851 6406 5848 3384 33.83 45.46/45.56 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 x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -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 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 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 -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 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 45.46/45.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 45.46/45.56 c 21 145976 818 148456 4157 236231 3826 3206 45.53 45.46/45.56 c Objective: 3 45.46/45.56 s OPTIMUM FOUND 45.46/45.56 c Total time: 45.53 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878050-1245188541/watcher-1878050-1245188541 -o /tmp/evaluation-result-1878050-1245188541/solver-1878050-1245188541 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878050-1245188541.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 0.99 0.99 3/64 3685 /proc/meminfo: memFree=1835432/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=10708 CPUtime=0 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 186450473 10964992 258 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 2677 258 193 640 0 2033 0 [startup+0.050652 s] /proc/loadavg: 1.00 0.99 0.99 3/64 3685 /proc/meminfo: memFree=1835432/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=11092 CPUtime=0.04 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 387 0 0 0 4 0 0 0 18 0 1 0 186450473 11358208 368 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 2773 368 197 640 0 2129 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11092 [startup+0.101659 s] /proc/loadavg: 1.00 0.99 0.99 3/64 3685 /proc/meminfo: memFree=1835432/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=11480 CPUtime=0.09 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 477 0 0 0 9 0 0 0 18 0 1 0 186450473 11755520 458 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 2870 458 197 640 0 2226 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11480 [startup+0.301697 s] /proc/loadavg: 1.00 0.99 0.99 3/64 3685 /proc/meminfo: memFree=1835432/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=12508 CPUtime=0.29 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 745 0 0 0 29 0 0 0 19 0 1 0 186450473 12808192 726 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 3127 726 197 640 0 2483 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12508 [startup+0.701772 s] /proc/loadavg: 1.00 0.99 0.99 3/64 3685 /proc/meminfo: memFree=1835432/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=13664 CPUtime=0.69 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1009 0 0 0 68 1 0 0 23 0 1 0 186450473 13991936 990 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 3416 990 197 640 0 2772 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13664 [startup+1.50193 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1831968/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=14304 CPUtime=1.49 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1178 0 0 0 148 1 0 0 25 0 1 0 186450473 14647296 1159 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 3576 1159 197 640 0 2932 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14304 [startup+3.10122 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1831392/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=14820 CPUtime=3.09 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1316 0 0 0 307 2 0 0 25 0 1 0 186450473 15175680 1297 1992294400 134512640 137136520 4294956256 18446744073709551615 134600654 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 3705 1297 197 640 0 3061 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14820 [startup+6.30282 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1830496/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=15588 CPUtime=6.29 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1499 0 0 0 626 3 0 0 25 0 1 0 186450473 15962112 1480 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 3897 1480 197 640 0 3253 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15588 [startup+12.702 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1829792/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=15976 CPUtime=12.68 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1589 0 0 0 1264 4 0 0 25 0 1 0 186450473 16359424 1570 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 3994 1570 197 640 0 3350 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15976 [startup+25.5014 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1828832/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=17004 CPUtime=25.48 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1856 0 0 0 2540 8 0 0 25 0 1 0 186450473 17412096 1837 1992294400 134512640 137136520 4294956256 18446744073709551615 135982480 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 4251 1837 197 640 0 3607 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17004 Solver just ended. Dumping a history of the last processes samples [startup+38.3018 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1828256/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=17496 CPUtime=38.26 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1988 0 0 0 3816 10 0 0 25 0 1 0 186450473 17915904 1969 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 4374 1969 197 640 0 3730 0 Current children cumulated CPU time (s) 38.26 Current children cumulated vsize (KiB) 17496 [startup+41.5014 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1828256/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=17496 CPUtime=41.46 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1988 0 0 0 4135 11 0 0 25 0 1 0 186450473 17915904 1969 1992294400 134512640 137136520 4294956256 18446744073709551615 134600356 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 4374 1969 197 640 0 3730 0 Current children cumulated CPU time (s) 41.46 Current children cumulated vsize (KiB) 17496 [startup+43.1017 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1828256/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=17496 CPUtime=43.07 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1988 0 0 0 4295 12 0 0 25 0 1 0 186450473 17915904 1969 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 4374 1969 197 640 0 3730 0 Current children cumulated CPU time (s) 43.07 Current children cumulated vsize (KiB) 17496 [startup+44.702 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1828256/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=17496 CPUtime=44.66 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1988 0 0 0 4454 12 0 0 25 0 1 0 186450473 17915904 1969 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 4374 1969 197 640 0 3730 0 Current children cumulated CPU time (s) 44.66 Current children cumulated vsize (KiB) 17496 [startup+45.1051 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1828256/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=17496 CPUtime=45.06 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1988 0 0 0 4494 12 0 0 25 0 1 0 186450473 17915904 1969 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 4374 1969 197 640 0 3730 0 Current children cumulated CPU time (s) 45.06 Current children cumulated vsize (KiB) 17496 [startup+45.5011 s] /proc/loadavg: 1.00 0.99 0.99 2/65 3686 /proc/meminfo: memFree=1828256/2055920 swapFree=4182544/4192956 [pid=3685] ppid=3683 vsize=17496 CPUtime=45.46 /proc/3685/stat : 3685 (bsolo) R 3683 3685 3205 0 -1 4194304 1988 0 0 0 4534 12 0 0 25 0 1 0 186450473 17915904 1969 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3685/statm: 4374 1969 197 640 0 3730 0 Current children cumulated CPU time (s) 45.46 Current children cumulated vsize (KiB) 17496 Child status: 0 Real time (s): 45.5618 CPU time (s): 45.5321 CPU user time (s): 45.4031 CPU system time (s): 0.12898 CPU usage (%): 99.9349 Max. virtual memory (cumulated for all children) (KiB): 17496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 45.4031 system time used= 0.12898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1990 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= 158 runsolver used 0.033994 second user time and 0.139978 second system time The end
Begin job on node47 at 2009-06-16 23:42:21 IDJOB=1878050 IDBENCH=48030 IDSOLVER=700 FILE ID=node47/1878050-1245188541 PBS_JOBID= 9368282 Free space on /tmp= 65952 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=149-P1=191-P2=199-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878050-1245188541/watcher-1878050-1245188541 -o /tmp/evaluation-result-1878050-1245188541/solver-1878050-1245188541 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878050-1245188541.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b352a53cf64b38d9bda6afbed4525e8 RANDOM SEED=788021892 node47.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.261 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.261 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: 1835912 kB Buffers: 47940 kB Cached: 105216 kB SwapCached: 4196 kB Active: 51720 kB Inactive: 109268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835912 kB SwapTotal: 4192956 kB SwapFree: 4182544 kB Dirty: 4128 kB Writeback: 0 kB Mapped: 13676 kB Slab: 44948 kB Committed_AS: 183904 kB PageTables: 1448 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-1878050-1245188541.opb Free space on /tmp at the end= 65948 MiB End job on node47 at 2009-06-16 23:43:06