Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 68 | 1798.01 | 1798.6 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb |
MD5SUM | c2400ec88bd2efb16a03934d0b4c43da |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 62 |
Best CPU time to get the best result obtained on this benchmark | 0.136978 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62 |
Optimality of the best value was proved | YES |
Number of variables | 648 |
Total number of constraints | 1954 |
Number of constraints which are clauses | 1930 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 27 |
Number of terms in the objective function | 648 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 648 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 648 |
Number of bits of the biggest sum of numbers | 10 |
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.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-1879006-1245148002.opb 0.00/0.00 c File size is 70209 bytes. 0.00/0.01 c Highest Coefficient sum: 648 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 648 Constr: 1954 1930/24/0 Lit: 6444 Watch. Lit: 4460 0.00/0.01 c Obj. Vars: 648 (100 % of total variables) 0.00/0.02 c Pre-processing Time: 0.018 s 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 0 540 1738 6012 3 4028 5755 0 0 0.02 0.06/0.09 c Initial Lower Bound: 60 0.06/0.09 c Initial Path Cost: 12 56.58/56.63 c 104 540 1842 6887 3 4236 6331 104 1072 0.10 56.58/56.63 c 255 540 1993 8442 4 4538 6965 255 2361 0.11 56.58/56.63 c 483 540 2221 11620 5 4994 7662 483 3833 0.13 56.58/56.63 c 821 540 2559 14752 5 5670 8429 821 5401 0.15 56.58/56.63 c 1331 540 3069 20914 6 6690 9272 1331 6722 0.20 56.58/56.63 c 2098 540 3836 35742 9 8224 10200 2098 7656 0.27 56.58/56.63 c 3244 540 4982 58486 11 10516 11221 3244 7615 0.43 56.58/56.63 c 4966 540 6704 95259 14 13960 12344 4966 6774 0.73 56.58/56.63 c 7552 540 9290 148583 15 19132 13579 7552 5769 1.31 56.58/56.63 c 11431 540 13169 225595 17 26890 14937 11431 4800 2.38 56.58/56.63 c 17253 540 11393 168098 14 23338 16431 9655 4015 4.30 56.58/56.63 c 25990 540 11770 142776 12 24092 18075 10032 3814 6.81 56.58/56.63 c 39100 540 15678 209125 13 31908 19883 13940 3091 12.65 56.58/56.63 c 58771 540 15185 192316 12 30922 21872 13447 2382 24.67 56.58/56.63 c 88281 540 22537 338465 15 45626 24060 20799 1966 44.89 56.58/56.63 o 72 849.81/850.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 849.81/850.14 c 106452 540 16059 204246 12 33144 6811 14321 1880 56.61 849.81/850.14 c 106552 540 5252 53265 10 11525 7493 3514 1774 60.04 849.81/850.14 c 106802 540 5502 56357 10 12025 8243 3764 1630 65.51 849.81/850.14 c 107277 540 5977 62123 10 12975 9068 4239 1329 80.66 849.81/850.14 c 108092 540 6792 72048 10 14605 9975 5054 1051 102.81 849.81/850.14 c 109414 540 8114 90807 11 17249 10973 6376 814 134.38 849.81/850.14 c 111496 540 10196 121654 11 21413 12071 8458 592 188.19 849.81/850.14 c 114720 540 13420 165806 12 27861 13279 11682 437 262.46 849.81/850.14 c 119658 540 11579 147166 12 24179 14607 9841 324 368.92 849.81/850.14 c 127164 540 11642 137832 11 24305 16068 9904 234 543.36 849.81/850.14 c 138525 540 14830 206146 13 30682 17675 13092 181 761.15 849.81/850.14 o 68 1797.91/1798.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.59 c 142254 540 18560 265101 14 38618 6811 16822 167 849.87 1797.91/1798.59 c 142356 540 5271 57263 10 11568 7493 3533 167 852.31 1797.91/1798.59 c 142606 540 5521 60457 10 12068 8243 3783 166 856.36 1797.91/1798.59 c 143081 540 5996 68547 11 13019 9068 4258 165 864.28 1797.91/1798.59 c 143894 540 6809 81625 11 14645 9975 5071 162 885.28 1797.91/1798.59 c 145217 540 8139 100054 12 17304 10973 6401 158 916.54 1797.91/1798.59 c 147298 540 10220 139983 13 21466 12071 8482 153 958.86 1797.91/1798.59 c 150523 540 13446 197888 14 27917 13279 11708 147 1020.39 1797.91/1798.59 c 155461 540 11614 170766 14 24256 14607 9876 137 1134.49 1797.91/1798.59 c 162967 540 11669 159589 13 24363 16068 9931 125 1301.71 1797.91/1798.59 c 174328 540 14856 224871 15 30739 17675 13118 114 1520.73 1797.91/1798.59 c Resources Exceeded 1797.91/1798.59 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 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -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 -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 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -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 -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 x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 x433 x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1797.91/1798.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.59 c 37 187199 54847 299698 18772 300079 17034 104 1798.00 1797.91/1798.59 c Objective: 68 1797.91/1798.59 s SATISFIABLE 1797.91/1798.59 c Total time: 1798 s
OK 68
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879006-1245148002/watcher-1879006-1245148002 -o /tmp/evaluation-result-1879006-1245148002/solver-1879006-1245148002 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1879006-1245148002.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4689 /proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=10784 CPUtime=0 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 182401123 11042816 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136523271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 2696 239 176 640 0 2034 0 [startup+0.0717051 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4689 /proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=11456 CPUtime=0.06 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 527 0 0 0 6 0 0 0 18 0 1 0 182401123 11730944 462 1992294400 134512640 137136520 4294956256 18446744073709551615 134710037 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 2864 462 228 640 0 2220 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11456 [startup+0.101709 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4689 /proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=11416 CPUtime=0.09 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 886 0 0 0 9 0 0 0 18 0 1 0 182401123 11689984 547 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 2854 547 293 640 0 2210 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11416 [startup+0.301744 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4689 /proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=11824 CPUtime=0.29 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 989 0 0 0 29 0 0 0 19 0 1 0 182401123 12107776 650 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 2956 650 293 640 0 2312 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11824 [startup+0.701814 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4689 /proc/meminfo: memFree=1864920/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=12892 CPUtime=0.69 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1226 0 0 0 69 0 0 0 22 0 1 0 182401123 13201408 887 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 3223 887 293 640 0 2579 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12892 [startup+1.50196 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4690 /proc/meminfo: memFree=1861904/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=14236 CPUtime=1.49 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1566 0 0 0 148 1 0 0 25 0 1 0 182401123 14577664 1227 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 3559 1227 293 640 0 2915 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14236 [startup+3.10123 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4690 /proc/meminfo: memFree=1860240/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=15980 CPUtime=3.09 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2029 0 0 0 307 2 0 0 25 0 1 0 182401123 16363520 1690 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 3995 1690 293 640 0 3351 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15980 [startup+6.30179 s] /proc/loadavg: 1.07 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1858448/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=16516 CPUtime=6.29 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2147 0 0 0 625 4 0 0 25 0 1 0 182401123 16912384 1808 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 4129 1808 293 640 0 3485 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16516 [startup+12.7019 s] /proc/loadavg: 1.07 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1858384/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=16688 CPUtime=12.68 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2174 0 0 0 1263 5 0 0 25 0 1 0 182401123 17088512 1835 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 4172 1835 293 640 0 3528 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16688 [startup+25.5012 s] /proc/loadavg: 1.05 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1857744/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=17280 CPUtime=25.48 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2322 0 0 0 2538 10 0 0 25 0 1 0 182401123 17694720 1983 1992294400 134512640 137136520 4294956256 18446744073709551615 134544530 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 4320 1983 293 640 0 3676 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17280 [startup+51.1017 s] /proc/loadavg: 1.03 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1856080/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=18832 CPUtime=51.07 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2736 0 0 0 5091 16 0 0 25 0 1 0 182401123 19283968 2397 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 4708 2397 293 640 0 4064 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18832 [startup+102.306 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1854800/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21596 CPUtime=102.26 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 228602 0 0 0 10126 100 0 0 25 0 1 0 182401123 22114304 2700 1992294400 134512640 137136520 4294956256 18446744073709551615 134846254 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5399 2706 293 640 0 4755 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21596 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855248/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21584 CPUtime=162.23 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 599270 0 0 0 15983 240 0 0 25 0 1 0 182401123 22102016 2601 1992294400 134512640 137136520 4294956256 18446744073709551615 135249267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5396 2601 293 640 0 4752 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 21584 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1854928/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21612 CPUtime=222.22 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 878195 0 0 0 21872 350 0 0 25 0 1 0 182401123 22130688 2688 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5403 2688 294 640 0 4759 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 21612 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855056/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21588 CPUtime=282.19 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1185747 0 0 0 27749 470 0 0 25 0 1 0 182401123 22106112 2619 1992294400 134512640 137136520 4294956256 18446744073709551615 135441568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5397 2619 294 640 0 4753 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 21588 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1854288/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21636 CPUtime=342.18 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1378829 0 0 0 33669 549 0 0 25 0 1 0 182401123 22155264 2919 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5409 2919 294 640 0 4765 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 21636 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1854352/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21656 CPUtime=402.16 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1418387 0 0 0 39647 569 0 0 25 0 1 0 182401123 22175744 2911 1992294400 134512640 137136520 4294956256 18446744073709551615 135443880 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5414 2911 294 640 0 4770 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 21656 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1854480/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21664 CPUtime=462.14 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1464628 0 0 0 45621 593 0 0 25 0 1 0 182401123 22183936 2871 1992294400 134512640 137136520 4294956256 18446744073709551615 135430397 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5416 2871 294 640 0 4772 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 21664 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855760/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=18844 CPUtime=522.12 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 1812334 0 0 0 51477 735 0 0 25 0 1 0 182401123 19296256 2407 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 4711 2407 294 640 0 4067 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 18844 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855440/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21400 CPUtime=582.1 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2302134 0 0 0 57281 929 0 0 25 0 1 0 182401123 21913600 2532 1992294400 134512640 137136520 4294956256 18446744073709551615 134896851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5350 2532 294 640 0 4706 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 21400 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855440/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=18844 CPUtime=642.08 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 2950507 0 0 0 63026 1182 0 0 25 0 1 0 182401123 19296256 2407 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 4711 2407 294 640 0 4067 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 18844 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1855504/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21104 CPUtime=1061.95 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 6190689 0 0 0 103790 2405 0 0 25 0 1 0 182401123 21610496 2455 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5276 2455 295 640 0 4632 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 21104 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855440/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21068 CPUtime=1121.92 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 6527504 0 0 0 109661 2531 0 0 25 0 1 0 182401123 21573632 2467 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5267 2467 295 640 0 4623 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 21068 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855440/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21056 CPUtime=1181.9 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 6892285 0 0 0 115512 2678 0 0 25 0 1 0 182401123 21561344 2454 1992294400 134512640 137136520 4294956256 18446744073709551615 135445468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5264 2454 295 640 0 4620 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 21056 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855376/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21072 CPUtime=1241.89 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 7283970 0 0 0 121354 2835 0 0 25 0 1 0 182401123 21577728 2455 1992294400 134512640 137136520 4294956256 18446744073709551615 135497147 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5268 2455 295 640 0 4624 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 21072 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855248/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=20396 CPUtime=1301.87 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 7641610 0 0 0 127212 2975 0 0 25 0 1 0 182401123 20885504 2447 1992294400 134512640 137136520 4294956256 18446744073709551615 135402613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5170 2452 295 640 0 4526 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 20396 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855248/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=20380 CPUtime=1361.84 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 8008034 0 0 0 133063 3121 0 0 25 0 1 0 182401123 20869120 2424 1992294400 134512640 137136520 4294956256 18446744073709551615 134731914 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5095 2424 295 640 0 4451 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 20380 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4690 /proc/meminfo: memFree=1855248/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=18836 CPUtime=1421.83 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 8404599 0 0 0 138914 3269 0 0 25 0 1 0 182401123 19288064 2406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 4709 2406 295 640 0 4065 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 18836 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855056/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21072 CPUtime=1481.8 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 8782338 0 0 0 144757 3423 0 0 25 0 1 0 182401123 21577728 2461 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5268 2461 295 640 0 4624 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 21072 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855184/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=20372 CPUtime=1541.78 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 9154529 0 0 0 150611 3567 0 0 25 0 1 0 182401123 20860928 2436 1992294400 134512640 137136520 4294956256 18446744073709551615 135380752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5093 2439 295 640 0 4449 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 20372 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=20404 CPUtime=1601.77 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 9505569 0 0 0 156467 3710 0 0 25 0 1 0 182401123 20893696 2442 1992294400 134512640 137136520 4294956256 18446744073709551615 135432176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5101 2442 295 640 0 4457 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 20404 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21076 CPUtime=1661.74 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 9870776 0 0 0 162318 3856 0 0 25 0 1 0 182401123 21581824 2465 1992294400 134512640 137136520 4294956256 18446744073709551615 135455077 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5269 2465 295 640 0 4625 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 21076 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21028 CPUtime=1721.73 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10274154 0 0 0 168161 4012 0 0 25 0 1 0 182401123 21532672 2451 1992294400 134512640 137136520 4294956256 18446744073709551615 134845954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5257 2451 295 640 0 4613 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 21028 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=18836 CPUtime=1781.71 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10649984 0 0 0 174015 4156 0 0 25 0 1 0 182401123 19288064 2406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 4709 2406 295 640 0 4065 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 18836 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21044 CPUtime=1791.31 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10708284 0 0 0 174952 4179 0 0 25 0 1 0 182401123 21549056 2451 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5261 2451 295 640 0 4617 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 21044 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21004 CPUtime=1794.51 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10727483 0 0 0 175265 4186 0 0 25 0 1 0 182401123 21508096 2449 1992294400 134512640 137136520 4294956256 18446744073709551615 135445009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5251 2449 295 640 0 4607 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 21004 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855056/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=20372 CPUtime=1796.11 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10737014 0 0 0 175422 4189 0 0 25 0 1 0 182401123 20860928 2424 1992294400 134512640 137136520 4294956256 18446744073709551615 134731914 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5093 2424 295 640 0 4449 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (KiB) 20372 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=18836 CPUtime=1796.91 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10742166 0 0 0 175500 4191 0 0 25 0 1 0 182401123 19288064 2406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 4709 2406 295 640 0 4065 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (KiB) 18836 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855120/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21076 CPUtime=1797.71 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10747422 0 0 0 175578 4193 0 0 25 0 1 0 182401123 21581824 2456 1992294400 134512640 137136520 4294956256 18446744073709551615 134847244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5269 2456 295 640 0 4625 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 21076 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4692 /proc/meminfo: memFree=1855056/2055920 swapFree=4191900/4192956 [pid=4689] ppid=4687 vsize=21084 CPUtime=1797.91 /proc/4689/stat : 4689 (bsolo) R 4687 4689 4538 0 -1 4194304 10748621 0 0 0 175597 4194 0 0 25 0 1 0 182401123 21590016 2456 1992294400 134512640 137136520 4294956256 18446744073709551615 134732890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4689/statm: 5271 2456 295 640 0 4627 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 21084 Child status: 0 Real time (s): 1798.6 CPU time (s): 1798.01 CPU user time (s): 1756.06 CPU system time (s): 41.9456 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 21884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1756.06 system time used= 41.9456 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10749190 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= 2258 runsolver used 1.60875 second user time and 3.34949 second system time The end
Begin job on node4 at 2009-06-16 12:26:42 IDJOB=1879006 IDBENCH=2025 IDSOLVER=700 FILE ID=node4/1879006-1245148002 PBS_JOBID= 9363739 Free space on /tmp= 66408 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879006-1245148002/watcher-1879006-1245148002 -o /tmp/evaluation-result-1879006-1245148002/solver-1879006-1245148002 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1879006-1245148002.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c2400ec88bd2efb16a03934d0b4c43da RANDOM SEED=691126777 node4.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.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1865400 kB Buffers: 25368 kB Cached: 97112 kB SwapCached: 260 kB Active: 29600 kB Inactive: 106128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1865400 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4008 kB Writeback: 0 kB Mapped: 21804 kB Slab: 40736 kB Committed_AS: 137400 kB PageTables: 1472 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-1879006-1245148002.opb Free space on /tmp at the end= 66404 MiB End job on node4 at 2009-06-16 12:56:41