Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 307 | 333.266 | 333.391 |
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 | 0.334949 |
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/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657920-1276353180.opb 0.00/0.00 c File size is 16026 bytes. 0.00/0.00 c Highest Coefficient sum: 1.02726e+06 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: 319 Constr: 6 0/0/6 Lit: 1243 Watch. Lit: 16 0.00/0.00 c Obj. Vars: 319 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 319 6 1243 207 16 2486 0 0 0.01 0.00/0.01 c Initial Lower Bound: 291 0.00/0.01 c Initial Path Cost: 0 0.00/0.01 o 604 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 319 7 1562 223 332 3124 1 0 0.01 0.09/0.12 o 543 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 10 319 18 4670 259 664 3124 12 80 0.12 0.19/0.22 o 486 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 10 319 19 4989 262 981 3124 13 45 0.22 0.29/0.33 o 477 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 10 319 20 5308 265 1295 3124 14 29 0.34 0.39/0.46 o 399 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 23 319 34 9046 266 1635 3124 28 50 0.46 0.69/0.79 c 132 319 144 39013 270 1859 3437 138 204 0.65 0.69/0.79 o 395 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 160 319 189 52232 276 2257 3124 183 202 0.79 0.89/0.90 o 394 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 163 319 193 53351 276 2579 3124 187 180 0.91 1.00/1.03 o 393 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 180 319 211 58344 276 2929 3124 205 174 1.03 1.29/1.39 c 280 319 322 87224 270 3148 3437 316 222 1.26 1.29/1.39 o 385 1.79/1.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.82 c 292 319 335 90476 270 3486 3124 329 210 1.39 1.79/1.82 c 392 319 442 114961 260 3700 3437 436 229 1.71 1.79/1.82 o 375 1.89/1.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.93 c 392 319 443 115280 260 4016 3124 437 215 1.82 1.89/1.93 o 374 2.10/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.13 c 393 319 445 115804 260 4333 3124 439 203 1.93 2.10/2.13 o 373 2.59/2.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.61 c 492 319 550 143733 261 4854 3124 544 230 2.13 2.59/2.61 c 592 319 668 174436 261 5087 3437 662 251 2.36 2.59/2.61 o 333 8.59/8.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.60 c 733 319 821 213477 260 5711 3124 815 280 2.61 8.59/8.60 c 834 319 936 242437 259 5941 3437 930 289 2.88 8.59/8.60 c 1084 319 1279 340606 266 6626 3781 1273 326 3.31 8.59/8.60 c 1594 319 2288 618414 270 8642 4160 2282 377 4.22 8.59/8.60 c 2408 319 3675 984930 268 11415 4577 3669 409 5.88 8.59/8.60 c 3730 319 2675 701013 262 5671 5035 2669 448 8.32 8.59/8.60 o 309 47.47/47.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.47/47.58 c 3865 319 2851 747338 262 6336 3124 2845 449 8.60 47.47/47.58 c 3974 319 3052 804915 263 6739 3437 3046 448 8.86 47.47/47.58 c 4224 319 1726 454723 263 3773 3781 1720 450 9.38 47.47/47.58 c 4709 319 2484 661819 266 5289 4160 2478 460 10.23 47.47/47.58 c 5523 319 3609 967030 267 7539 4577 3603 478 11.55 47.47/47.58 c 6853 319 3233 862724 266 6787 5035 3227 486 14.08 47.47/47.58 c 8934 319 3388 857278 253 7097 5539 3382 461 19.36 47.47/47.58 c 12164 319 4224 940214 222 8769 6093 4218 437 27.79 47.47/47.58 c 17131 319 5225 1108847 212 10770 6703 5219 451 37.91 47.47/47.58 o 307 333.18/333.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 333.18/333.38 c 21435 319 4080 851753 208 8795 3124 4074 450 47.57 333.18/333.38 c 21536 319 1746 351952 201 3813 3437 1740 450 47.81 333.18/333.38 c 21786 319 2162 431766 199 4644 3781 2156 447 48.68 333.18/333.38 c 22289 319 2915 585844 200 6150 4160 2909 433 51.41 333.18/333.38 c 23116 319 2087 431347 206 4494 4577 2081 428 53.99 333.18/333.38 c 24436 319 4525 910213 201 9370 5035 4519 433 56.43 333.18/333.38 c 26529 319 2865 525532 183 6052 5539 2859 424 62.43 333.18/333.38 c 29774 319 5441 982555 180 11203 6093 5435 405 73.40 333.18/333.38 c 34710 319 3054 547596 179 6430 6703 3048 371 93.44 333.18/333.38 c 42248 319 6516 1311337 201 13355 7374 6510 388 108.88 333.18/333.38 c 53609 319 6731 1236759 183 13783 8112 6725 357 149.81 333.18/333.38 c 70753 319 5190 864513 166 10701 8924 5184 300 235.53 333.18/333.38 v -x111 x222 -x254 -x265 -x276 -x287 -x298 -x309 -x1 -x12 -x23 -x34 -x45 -x56 -x67 -x78 -x89 -x100 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x189 -x200 -x211 -x223 -x234 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -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 -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 -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 -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 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x246 333.18/333.38 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 333.18/333.38 c 43 88374 23994 613732 6641 1002740 6635 265 333.26 333.18/333.38 c Objective: 307 333.18/333.38 s OPTIMUM FOUND 333.18/333.38 c Total time: 333.262 s
OK 307
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657920-1276353180/watcher-2657920-1276353180 -o /tmp/evaluation-result-2657920-1276353180/solver-2657920-1276353180 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657920-1276353180.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.94 0.98 0.99 3/106 11328 /proc/meminfo: memFree=1734244/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=18604 CPUtime=0 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 378 0 0 0 0 0 0 0 25 0 1 0 8969839 19050496 293 1992294400 134512640 137138936 4287290848 18446744073709551615 135466656 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 4651 299 229 642 0 4007 0 [startup+0.0318129 s] /proc/loadavg: 0.94 0.98 0.99 3/106 11328 /proc/meminfo: memFree=1734244/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=18688 CPUtime=0.02 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1252 0 0 0 2 0 0 0 25 0 1 0 8969839 19136512 362 1992294400 134512640 137138936 4287290848 18446744073709551615 134750301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 4761 368 280 642 0 4117 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18688 [startup+0.100826 s] /proc/loadavg: 0.94 0.98 0.99 3/106 11328 /proc/meminfo: memFree=1734244/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=18688 CPUtime=0.09 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 3871 0 0 0 9 0 0 0 25 0 1 0 8969839 19136512 364 1992294400 134512640 137138936 4287290848 18446744073709551615 134828794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 4672 364 282 642 0 4028 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18688 [startup+0.300861 s] /proc/loadavg: 0.94 0.98 0.99 3/106 11328 /proc/meminfo: memFree=1734244/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=19236 CPUtime=0.29 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 7632 0 0 0 28 1 0 0 25 0 1 0 8969839 19697664 398 1992294400 134512640 137138936 4287290848 18446744073709551615 135344379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 4809 398 286 642 0 4165 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19236 [startup+0.700934 s] /proc/loadavg: 0.94 0.98 0.99 3/106 11328 /proc/meminfo: memFree=1734244/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=11892 CPUtime=0.69 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 21054 0 0 0 63 6 0 0 25 0 1 0 8969839 12177408 508 1992294400 134512640 137138936 4287290848 18446744073709551615 134840705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 2973 512 286 642 0 2329 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11892 [startup+1.50108 s] /proc/loadavg: 0.94 0.98 0.99 2/107 11329 /proc/meminfo: memFree=1732996/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=12592 CPUtime=1.49 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 48690 0 0 0 134 15 0 0 25 0 1 0 8969839 12894208 687 1992294400 134512640 137138936 4287290848 18446744073709551615 134730576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 3148 687 286 642 0 2504 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12592 [startup+3.10137 s] /proc/loadavg: 0.94 0.98 0.99 2/107 11329 /proc/meminfo: memFree=1731632/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=15052 CPUtime=3.09 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 98182 0 0 0 279 30 0 0 25 0 1 0 8969839 15413248 1299 1992294400 134512640 137138936 4287290848 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 3763 1299 286 642 0 3119 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15052 [startup+6.30096 s] /proc/loadavg: 0.95 0.98 0.99 2/107 11329 /proc/meminfo: memFree=1721340/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=25480 CPUtime=6.29 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 143097 0 0 0 583 46 0 0 25 0 1 0 8969839 26091520 3942 1992294400 134512640 137138936 4287290848 18446744073709551615 134828567 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 6370 3942 286 642 0 5726 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25480 [startup+12.7011 s] /proc/loadavg: 0.95 0.98 0.99 2/107 11329 /proc/meminfo: memFree=1716380/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=27928 CPUtime=12.69 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 175595 0 0 0 1208 61 0 0 25 0 1 0 8969839 28598272 4636 1992294400 134512640 137138936 4287290848 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 6982 4636 286 642 0 6338 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27928 [startup+25.5005 s] /proc/loadavg: 0.96 0.98 0.99 2/107 11329 /proc/meminfo: memFree=1714644/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=30000 CPUtime=25.48 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 283658 0 0 0 2432 116 0 0 25 0 1 0 8969839 30720000 5157 1992294400 134512640 137138936 4287290848 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 7500 5157 286 642 0 6856 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30000 [startup+51.1011 s] /proc/loadavg: 0.97 0.98 0.99 2/107 11329 /proc/meminfo: memFree=1713404/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=30728 CPUtime=51.07 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 375545 0 0 0 4940 167 0 0 25 0 1 0 8969839 31465472 5314 1992294400 134512640 137138936 4287290848 18446744073709551615 135456032 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 7682 5314 286 642 0 7038 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30728 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11331 /proc/meminfo: memFree=1713280/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=30728 CPUtime=102.26 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 375545 0 0 0 10041 185 0 0 25 0 1 0 8969839 31465472 5314 1992294400 134512640 137138936 4287290848 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 7682 5314 286 642 0 7038 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30728 [startup+162.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11333 /proc/meminfo: memFree=1711916/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=32124 CPUtime=162.23 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 639594 0 0 0 15892 331 0 0 25 0 1 0 8969839 32894976 5680 1992294400 134512640 137138936 4287290848 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8031 5680 286 642 0 7387 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 32124 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11335 /proc/meminfo: memFree=1711544/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=32508 CPUtime=222.21 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1221059 0 0 0 21611 610 0 0 25 0 1 0 8969839 33288192 5776 1992294400 134512640 137138936 4287290848 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8127 5776 286 642 0 7483 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 32508 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11335 /proc/meminfo: memFree=1711420/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=33080 CPUtime=282.19 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1295061 0 0 0 27554 665 0 0 25 0 1 0 8969839 33873920 5788 1992294400 134512640 137138936 4287290848 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8131 5779 286 642 0 7487 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 33080 Solver just ended. Dumping a history of the last processes samples [startup+307.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11337 /proc/meminfo: memFree=1711296/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=33204 CPUtime=306.98 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1606595 0 0 0 29887 811 0 0 25 0 1 0 8969839 34000896 5837 1992294400 134512640 137138936 4287290848 18446744073709551615 134841075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8183 5832 286 642 0 7539 0 Current children cumulated CPU time (s) 306.98 Current children cumulated vsize (KiB) 33204 [startup+319.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11337 /proc/meminfo: memFree=1711172/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=32784 CPUtime=319.77 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1783160 0 0 0 31086 891 0 0 25 0 1 0 8969839 33570816 5844 1992294400 134512640 137138936 4287290848 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8324 5850 286 642 0 7680 0 Current children cumulated CPU time (s) 319.77 Current children cumulated vsize (KiB) 32784 [startup+326.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11337 /proc/meminfo: memFree=1711172/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=33096 CPUtime=326.17 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1882563 0 0 0 31682 935 0 0 25 0 1 0 8969839 33890304 5849 1992294400 134512640 137138936 4287290848 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8324 5850 286 642 0 7680 0 Current children cumulated CPU time (s) 326.17 Current children cumulated vsize (KiB) 33096 [startup+329.501 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11337 /proc/meminfo: memFree=1711172/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=32940 CPUtime=329.37 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1894053 0 0 0 31995 942 0 0 25 0 1 0 8969839 33730560 5847 1992294400 134512640 137138936 4287290848 18446744073709551615 134768846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8235 5847 286 642 0 7591 0 Current children cumulated CPU time (s) 329.37 Current children cumulated vsize (KiB) 32940 [startup+331.109 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11337 /proc/meminfo: memFree=1711172/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=32940 CPUtime=330.97 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1894053 0 0 0 32155 942 0 0 25 0 1 0 8969839 33730560 5847 1992294400 134512640 137138936 4287290848 18446744073709551615 135782997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8235 5847 286 642 0 7591 0 Current children cumulated CPU time (s) 330.97 Current children cumulated vsize (KiB) 32940 [startup+332.702 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11337 /proc/meminfo: memFree=1711172/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=32940 CPUtime=332.57 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1894053 0 0 0 32314 943 0 0 25 0 1 0 8969839 33730560 5847 1992294400 134512640 137138936 4287290848 18446744073709551615 134730577 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8235 5847 286 642 0 7591 0 Current children cumulated CPU time (s) 332.57 Current children cumulated vsize (KiB) 32940 [startup+333.102 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11337 /proc/meminfo: memFree=1711172/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=32940 CPUtime=332.97 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1894053 0 0 0 32354 943 0 0 25 0 1 0 8969839 33730560 5847 1992294400 134512640 137138936 4287290848 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8235 5847 286 642 0 7591 0 Current children cumulated CPU time (s) 332.97 Current children cumulated vsize (KiB) 32940 [startup+333.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11337 /proc/meminfo: memFree=1711172/2059040 swapFree=4192956/4192956 [pid=11328] ppid=11326 vsize=32940 CPUtime=333.18 /proc/11328/stat : 11328 (bsolo_pb10) R 11326 11328 11274 0 -1 4202496 1894053 0 0 0 32375 943 0 0 25 0 1 0 8969839 33730560 5847 1992294400 134512640 137138936 4287290848 18446744073709551615 136504435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11328/statm: 8235 5847 286 642 0 7591 0 Current children cumulated CPU time (s) 333.18 Current children cumulated vsize (KiB) 32940 Child status: 0 Real time (s): 333.391 CPU time (s): 333.266 CPU user time (s): 323.83 CPU system time (s): 9.43657 CPU usage (%): 99.9625 Max. virtual memory (cumulated for all children) (KiB): 33324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 323.83 system time used= 9.43656 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1894053 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= 1 involuntary context switches= 1324 runsolver used 0.543917 second user time and 1.59876 second system time The end
Begin job on node027 at 2010-06-12 16:33:00 IDJOB=2657920 IDBENCH=1854 IDSOLVER=1163 FILE ID=node027/2657920-1276353180 PBS_JOBID= 11173209 Free space on /tmp= 62448 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657920-1276353180/watcher-2657920-1276353180 -o /tmp/evaluation-result-2657920-1276353180/solver-2657920-1276353180 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657920-1276353180.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED=1717645894 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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 : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 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 : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1734772 kB Buffers: 49316 kB Cached: 145508 kB SwapCached: 0 kB Active: 152524 kB Inactive: 101568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1734772 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4364 kB Writeback: 0 kB AnonPages: 59260 kB Mapped: 15392 kB Slab: 48248 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180680 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node027 at 2010-06-12 16:38:33