Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 307 | 317.401 | 317.556 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
MD5SUM | 4dd9ac2644c29d272d2675c7fc366ed6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 307 |
Best CPU time to get the best result obtained on this benchmark | 4.87126 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | YES |
Number of variables | 319 |
Total number of constraints | 6 |
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 | 6 |
Minimum length of a constraint | 186 |
Maximum length of a constraint | 231 |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
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 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 319 variables and 6 constraints. 0.02 c Switching on LPR. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.011 0.02 c After prepocess the problem consists of 319 variables and 6 constraints. 0.05 c Initial Lower Bound: 291 0.06 c Sol. found (all assignments made)... 0.06 o 378 0.06 c NEW SOLUTION FOUND: 378 @ 0.028 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.06 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.08 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.13 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Restart #1 #Var: 319 LB: 291 @ 0.157 0.22 c Sol. found (all assignments made)... 0.22 o 377 0.22 c NEW SOLUTION FOUND: 377 @ 0.191 0.56 c Restart #2 #Var: 319 LB: 291 @ 0.536 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.61 o 369 0.61 c NEW SOLUTION FOUND: 369 @ 0.581 0.61 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 o 368 0.63 c NEW SOLUTION FOUND: 368 @ 0.598 0.82 c Sol. found (all assignments made)... 0.84 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 1.01 c Sol. found (all assignments made)... 1.07 c Restart #3 #Var: 319 LB: 291 @ 1.04 1.73 c Restart #4 #Var: 319 LB: 291 @ 1.7 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 o 365 3.39 c NEW SOLUTION FOUND: 365 @ 3.359 4.92 c Restart #5 #Var: 319 LB: 291 @ 4.893 18.33 c Restart #6 #Var: 319 LB: 291 @ 18.292 19.61 c Sol. found (all assignments made)... 20.24 c Restart #7 #Var: 319 LB: 291 @ 20.201 20.92 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.75 c Restart #8 #Var: 319 LB: 291 @ 21.713 22.66 c Sol. found (all assignments made)... 22.66 c Sol. found (all assignments made)... 22.66 o 363 22.66 c NEW SOLUTION FOUND: 363 @ 22.618 23.33 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.33 o 362 23.33 c NEW SOLUTION FOUND: 362 @ 23.29 24.84 c Sol. found (all assignments made)... 24.84 o 361 24.84 c NEW SOLUTION FOUND: 361 @ 24.8 31.27 c Restart #9 #Var: 319 LB: 291 @ 31.226 35.19 c Restart #10 #Var: 319 LB: 291 @ 35.147 36.06 c Sol. found (all assignments made)... 36.72 c Sol. found (all assignments made)... 37.63 c Sol. found (all assignments made)... 37.81 c Restart #11 #Var: 319 LB: 291 @ 37.764 42.93 c Sol. found (all assignments made)... 42.93 c Sol. found (all assignments made)... 42.93 o 328 42.93 c NEW SOLUTION FOUND: 328 @ 42.886 47.09 c Sol. found (all assignments made)... 47.09 o 326 47.09 c NEW SOLUTION FOUND: 326 @ 47.04 47.79 c Sol. found (all assignments made)... 47.79 o 325 47.79 c NEW SOLUTION FOUND: 325 @ 47.742 54.78 c Restart #12 #Var: 319 LB: 291 @ 54.726 60.96 c Restart #13 #Var: 319 LB: 291 @ 60.906 71.44 c Restart #14 #Var: 319 LB: 291 @ 71.382 77.84 c Sol. found (all assignments made)... 77.84 c Sol. found (all assignments made)... 77.84 o 307 77.84 c NEW SOLUTION FOUND: 307 @ 77.781 88.65 c Restart #15 #Var: 319 LB: 291 @ 88.584 101.20 c Sol. found (all assignments made)... 102.97 c Sol. found (all assignments made)... 103.53 c Restart #16 #Var: 319 LB: 291 @ 103.46 106.11 c Sol. found (all assignments made)... 122.38 c Restart #17 #Var: 319 LB: 291 @ 122.3 139.71 c Restart #18 #Var: 319 LB: 291 @ 139.63 145.25 c Sol. found (all assignments made)... 161.02 c Restart #19 #Var: 319 LB: 291 @ 160.92 177.25 c Restart #20 #Var: 316 LB: 292 @ 177.15 195.50 c Restart #21 #Var: 316 LB: 292 @ 195.39 223.06 c Restart #22 #Var: 316 LB: 292 @ 222.94 245.95 c Restart #23 #Var: 314 LB: 293 @ 245.83 274.26 c Restart #24 #Var: 314 LB: 293 @ 274.12 309.69 c Restart #25 #Var: 301 LB: 297 @ 309.54 317.54 s OPTIMUM FOUND 317.54 c Cost: 307 317.54 v -x111 -x222 x254 -x265 -x276 -x287 -x298 -x309 -x1 -x12 -x23 -x34 -x45 -x56 -x67 -x78 -x89 -x100 -x112 -x123 -x134 -x145 -x156 317.54 v -x167 -x178 -x189 -x200 -x211 -x223 -x234 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 317.54 v -x261 -x262 -x263 -x264 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x277 x278 -x279 -x280 -x281 -x282 -x283 317.54 v -x284 -x285 -x286 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 317.54 v -x307 -x308 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x13 -x14 -x15 317.54 v -x16 -x17 -x18 -x19 -x20 x21 -x22 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 317.54 v -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x68 -x69 -x70 -x71 -x72 317.54 v -x73 -x74 -x75 -x76 -x77 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x101 317.54 v -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x124 -x125 317.54 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 -x147 -x148 317.54 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x168 -x169 -x170 -x171 317.54 v -x172 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x190 -x191 -x192 -x193 -x194 317.54 v -x195 -x196 -x197 -x198 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x213 -x214 -x215 -x216 -x217 317.54 v -x218 -x219 -x220 -x221 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x235 -x236 -x237 -x238 -x239 -x240 -x241 317.54 v -x242 -x243 -x244 -x246 317.54 c Exit Code: 30 317.54 c Total time: 317.39 s
OK 307
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node75/watcher-40102-1149367715 -o ROOT/results/node75/solver-40102-1149367715 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40102-1149367715/instance-40102-1149367715.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.93 3/64 28313 /proc/meminfo: memFree=1725112/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=4932 CPUtime=0 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 202434873 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 1233 330 226 55 0 125 0 [startup+10.002 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1718272/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=9328 CPUtime=9.96 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 24254 0 10 0 949 47 0 0 25 0 1 0 202434873 9551872 1649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 2380 1650 422 55 0 1272 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 9328 [startup+20.008 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1717312/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=10352 CPUtime=19.96 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 62336 0 10 0 1881 115 0 0 25 0 1 0 202434873 10600448 1893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 2584 1893 422 55 0 1476 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 10352 [startup+30.014 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1714176/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=13392 CPUtime=29.96 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 82140 0 10 0 2846 150 0 0 25 0 1 0 202434873 13713408 2664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 3348 2664 422 55 0 2240 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 13392 [startup+40.02 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1708096/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=19556 CPUtime=39.96 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 92990 0 10 0 3824 172 0 0 25 0 1 0 202434873 20025344 4192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 4889 4192 424 55 0 3781 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 19556 [startup+50.026 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1706496/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=21120 CPUtime=49.97 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 96092 0 10 0 4816 181 0 0 25 0 1 0 202434873 21626880 4596 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 5280 4596 424 55 0 4172 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 21120 [startup+60.032 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1701504/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=26136 CPUtime=59.97 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 104220 0 10 0 5802 195 0 0 25 0 1 0 202434873 26763264 5853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 6534 5853 424 55 0 5426 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 26136 [startup+70.038 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1697472/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=30188 CPUtime=69.97 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 110112 0 10 0 6792 205 0 0 25 0 1 0 202434873 30912512 6864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 7547 6864 424 55 0 6439 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 30188 [startup+80.044 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1692416/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=35200 CPUtime=79.98 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 116359 0 10 0 7782 216 0 0 25 0 1 0 202434873 36044800 8100 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 8800 8100 424 55 0 7692 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 35200 [startup+90.05 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1691456/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=36004 CPUtime=89.98 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 116912 0 10 0 8779 219 0 0 25 0 1 0 202434873 36868096 8320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 9001 8320 424 55 0 7893 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 36004 [startup+100.056 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1689408/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=38164 CPUtime=99.98 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 121438 0 10 0 9773 225 0 0 25 0 1 0 202434873 39079936 8860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 9541 8860 424 55 0 8433 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 38164 [startup+110.062 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1684800/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=42780 CPUtime=109.98 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 124824 0 10 0 10767 231 0 0 25 0 1 0 202434873 43806720 10014 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 10695 10014 425 55 0 9587 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 42780 [startup+120.068 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1684800/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=42780 CPUtime=119.98 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 124824 0 10 0 11766 232 0 0 25 0 1 0 202434873 43806720 10014 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 10695 10014 425 55 0 9587 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 42780 [startup+130.074 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1682496/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=45056 CPUtime=129.98 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 130494 0 10 0 12755 243 0 0 25 0 1 0 202434873 46137344 10584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 11264 10584 425 55 0 10156 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 45056 [startup+140.08 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1678016/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=49552 CPUtime=139.99 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 135034 0 10 0 13748 251 0 0 25 0 1 0 202434873 50741248 11701 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 12388 11701 425 55 0 11280 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 49552 [startup+150.086 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1676096/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=51532 CPUtime=149.99 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 136267 0 10 0 14745 254 0 0 25 0 1 0 202434873 52768768 12189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 12883 12189 425 55 0 11775 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 51532 [startup+160.092 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1674944/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=52600 CPUtime=159.99 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 136973 0 10 0 15742 257 0 0 25 0 1 0 202434873 53862400 12469 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 13150 12469 425 55 0 12042 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 52600 [startup+170.099 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1671744/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=55564 CPUtime=169.99 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 139716 0 10 0 16737 262 0 0 25 0 1 0 202434873 56897536 13211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 13891 13211 425 55 0 12783 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 55564 [startup+180.106 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1669888/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=57592 CPUtime=180 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 141459 0 10 0 17733 267 0 0 25 0 1 0 202434873 58974208 13718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 14398 13718 425 55 0 13290 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 57592 [startup+190.112 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1667712/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=59800 CPUtime=190 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 143315 0 10 0 18729 271 0 0 25 0 1 0 202434873 61235200 14264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 14950 14264 425 55 0 13842 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 59800 [startup+200.118 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1666112/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=61404 CPUtime=200 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 145144 0 10 0 19725 275 0 0 25 0 1 0 202434873 62877696 14671 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 15351 14671 425 55 0 14243 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 61404 [startup+210.125 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1664192/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=63304 CPUtime=210.01 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 146584 0 10 0 20722 279 0 0 25 0 1 0 202434873 64823296 15145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 15826 15145 425 55 0 14718 0 Current children cumulated CPU time (s) 210.01 Current children cumulated vsize (Kb) 63304 [startup+220.131 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1664192/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=63304 CPUtime=220.01 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 146584 0 10 0 21721 280 0 0 25 0 1 0 202434873 64823296 15145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 15826 15145 425 55 0 14718 0 Current children cumulated CPU time (s) 220.01 Current children cumulated vsize (Kb) 63304 [startup+230.137 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1660352/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=67152 CPUtime=230.01 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 149319 0 10 0 22716 285 0 0 25 0 1 0 202434873 68763648 16102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 16788 16102 425 55 0 15680 0 Current children cumulated CPU time (s) 230.01 Current children cumulated vsize (Kb) 67152 [startup+240.143 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1660288/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=67052 CPUtime=240.01 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 149630 0 10 0 23715 286 0 0 25 0 1 0 202434873 68661248 16083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 16763 16083 425 55 0 15655 0 Current children cumulated CPU time (s) 240.01 Current children cumulated vsize (Kb) 67052 [startup+250.149 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1656384/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=70948 CPUtime=250.01 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 153508 0 10 0 24708 293 0 0 25 0 1 0 202434873 72650752 17057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 17737 17057 425 55 0 16629 0 Current children cumulated CPU time (s) 250.01 Current children cumulated vsize (Kb) 70948 [startup+260.155 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1654784/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=72720 CPUtime=260.02 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 154644 0 10 0 25706 296 0 0 25 0 1 0 202434873 74465280 17496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 18180 17496 425 55 0 17072 0 Current children cumulated CPU time (s) 260.02 Current children cumulated vsize (Kb) 72720 [startup+270.161 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1652864/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=74460 CPUtime=270.02 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 156606 0 10 0 26703 299 0 0 25 0 1 0 202434873 76247040 17935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 18615 17935 425 55 0 17507 0 Current children cumulated CPU time (s) 270.02 Current children cumulated vsize (Kb) 74460 [startup+280.167 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1651264/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=76280 CPUtime=280.02 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 158131 0 10 0 27700 302 0 0 25 0 1 0 202434873 78110720 18386 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 19070 18386 425 55 0 17962 0 Current children cumulated CPU time (s) 280.02 Current children cumulated vsize (Kb) 76280 [startup+290.173 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1649600/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=77860 CPUtime=290.02 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 159119 0 10 0 28698 304 0 0 25 0 1 0 202434873 79728640 18785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 19465 18785 425 55 0 18357 0 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (Kb) 77860 [startup+300.179 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1649600/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=77860 CPUtime=300.03 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 159119 0 10 0 29697 306 0 0 25 0 1 0 202434873 79728640 18785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 19465 18785 425 55 0 18357 0 Current children cumulated CPU time (s) 300.03 Current children cumulated vsize (Kb) 77860 [startup+310.185 s] /proc/loadavg: 1.00 0.99 0.93 2/64 28313 /proc/meminfo: memFree=1647936/2055920 swapFree=4182500/4192956 [pid=28313] ppid=28311 vsize=79552 CPUtime=310.03 /proc/28313/stat : 28313 (bsolo) R 28311 28313 28267 0 -1 0 160153 0 10 0 30694 309 0 0 25 0 1 0 202434873 81461248 19201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28313/statm: 19888 19201 425 55 0 18780 0 Current children cumulated CPU time (s) 310.03 Current children cumulated vsize (Kb) 79552 Child status: 30 Real time (s): 317.556 CPU time (s): 317.401 CPU user time (s): 314.273 CPU system time (s): 3.12752 CPU usage (%): 99.9511 Max. virtual memory (cumulated for all children) (Kb): 79552
Begin job on node75 on Sat Jun 3 20:48:35 UTC 2006 FILE ID= 40102-1149367715 PBS_JOBID= 311938 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40102-1149367715/instance-40102-1149367715.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-40102-1149367715 -o ROOT/results/node75/solver-40102-1149367715 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40102-1149367715/instance-40102-1149367715.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED= 438393078 /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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1725384 kB Buffers: 26080 kB Cached: 239180 kB SwapCached: 2048 kB Active: 46592 kB Inactive: 227264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1725384 kB SwapTotal: 4192956 kB SwapFree: 4182500 kB Dirty: 180 kB Writeback: 0 kB Mapped: 16032 kB Slab: 42656 kB Committed_AS: 360768 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node75 on Sat Jun 3 20:53:52 UTC 2006