Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 64 | 586.053 | 586.349 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb |
MD5SUM | 135acf1f05855c365b3d13b378debe22 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 0.358945 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | YES |
Number of variables | 648 |
Total number of constraints | 1952 |
Number of constraints which are clauses | 1928 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432907-1177952165/instance-432907-1177952165.opb 0.00/0.00 c File size is 70110 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.013 s 0.00/0.01 c Var: 648 Constr: 1952 1928/24/0 Lit: 6438 Watch. Lit: 4456 0.00/0.01 c Obj. Vars: 648 (100 % of total variables) 0.00/0.02 c Pre-processing Time: 0.023 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 1736 6006 3 4024 5754 0 0 0.02 0.06/0.09 c Initial Lower Bound: 61 0.06/0.09 c Initial Path Cost: 16 109.36/109.48 c 101 539 1837 7110 3 4225 6330 101 1020 0.10 109.36/109.48 c 252 539 1988 10321 5 4527 6964 252 2311 0.11 109.36/109.48 c 477 539 2213 13971 6 4977 7661 477 3846 0.12 109.36/109.48 c 816 539 2552 17882 7 5655 8428 816 5828 0.14 109.36/109.48 c 1327 539 3063 25497 8 6677 9271 1327 7626 0.17 109.36/109.48 c 2090 539 3826 37951 9 8203 10199 2090 8931 0.23 109.36/109.48 c 3237 539 4973 57817 11 10497 11219 3237 9492 0.34 109.36/109.48 c 4959 539 6695 90939 13 13941 12341 4959 8506 0.58 109.36/109.48 c 7544 539 9280 150122 16 19111 13576 7544 7439 1.01 109.36/109.48 c 11423 539 13159 275585 20 26869 14934 11423 4813 2.37 109.36/109.48 c 17245 539 11351 273908 24 23253 16428 9615 3939 4.38 109.36/109.48 c 25983 539 11745 220735 18 24041 18071 10009 3607 7.20 109.36/109.48 c 39093 539 15668 300408 19 31887 19879 13932 2789 14.02 109.36/109.48 c 58763 539 15110 264911 17 30771 21867 13374 1812 32.42 109.36/109.48 c 88275 536 22417 577293 25 45382 24054 20681 1666 52.97 109.36/109.48 c 132549 534 17833 388068 21 36212 26460 16097 1403 94.43 109.36/109.48 o 72 109.446 109.76/109.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 109.76/109.83 c 145699 533 16210 362987 22 33431 6788 14474 1331 109.45 109.76/109.83 o 68 109.796 * 109.87/109.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 109.87/109.98 c 145699 533 5183 81644 15 11841 6788 3447 1326 109.80 109.87/109.98 o 66 109.953 * 110.36/110.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 110.36/110.40 c 145701 533 5188 82176 15 12319 6788 3452 1325 109.95 110.36/110.40 o 64 110.372 * 586.00/586.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 586.00/586.34 c 145707 533 5201 82822 15 12813 6788 3465 1320 110.37 586.00/586.34 c 145807 525 5313 84186 15 13038 7467 3577 1294 112.65 586.00/586.34 c 146057 525 5563 90071 16 13538 8214 3827 1244 117.40 586.00/586.34 c 146533 525 6039 99180 16 14482 9036 4303 1148 127.58 586.00/586.34 c 147346 524 6852 118944 17 16119 9940 5116 1021 144.26 586.00/586.34 c 148666 523 8172 149520 18 18762 10935 6436 849 174.98 586.00/586.34 c 150747 523 10253 204697 19 22912 12029 8517 707 213.18 586.00/586.34 c 153970 522 13476 276909 20 29357 13232 11740 537 286.23 586.00/586.34 c 158906 516 11637 224103 19 24276 14556 9901 402 394.80 586.00/586.34 c 166412 516 11700 247974 21 24403 16012 9964 297 559.16 586.00/586.34 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 586.00/586.34 v -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 586.00/586.34 v -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 586.00/586.34 v -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 586.00/586.34 v -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 586.00/586.34 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 586.00/586.34 v -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 586.00/586.34 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 586.00/586.34 v x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 586.00/586.34 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 586.00/586.34 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 586.00/586.34 v -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 586.00/586.34 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 586.00/586.34 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 586.00/586.34 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 586.00/586.34 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 586.00/586.34 v x361 x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 586.00/586.34 v -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 586.00/586.34 v x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 586.00/586.34 v x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 586.00/586.34 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 586.00/586.34 v -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 586.00/586.34 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 586.00/586.34 v -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 586.00/586.34 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 586.00/586.34 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 586.00/586.34 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 586.00/586.34 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 586.00/586.34 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 586.00/586.34 v -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 586.00/586.34 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 586.00/586.34 c 29 167317 44818 265613 12605 260594 10869 285 586.05 586.00/586.34 c Objective: 64 586.00/586.34 s OPTIMUM FOUND 586.00/586.34 c Total time: 586.046 s
OK 64
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-432907-1177952165 -o ROOT/results/node22/solver-432907-1177952165 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432907-1177952165/instance-432907-1177952165.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.93 3/77 9481 /proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=11808 CPUtime=0 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243134164 12091392 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 2952 333 279 324 0 2004 0 [startup+0.068332 s] /proc/loadavg: 0.92 0.98 0.93 3/77 9481 /proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=4904 CPUtime=0.06 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 710 0 0 0 6 0 0 0 18 0 1 0 243134164 5021696 642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 1226 642 334 324 0 296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4904 [startup+0.101338 s] /proc/loadavg: 0.92 0.98 0.93 3/77 9481 /proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=4952 CPUtime=0.09 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1040 0 0 0 8 1 0 0 18 0 1 0 243134164 5070848 714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 1238 714 394 324 0 308 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4952 [startup+0.301368 s] /proc/loadavg: 0.92 0.98 0.93 3/77 9481 /proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=5740 CPUtime=0.29 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1208 0 0 0 28 1 0 0 20 0 1 0 243134164 5877760 882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 1435 882 395 324 0 505 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5740 [startup+0.701429 s] /proc/loadavg: 0.92 0.98 0.93 3/77 9481 /proc/meminfo: memFree=1854776/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=6796 CPUtime=0.69 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1486 0 0 0 68 1 0 0 24 0 1 0 243134164 6959104 1160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 1699 1160 395 324 0 769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6796 [startup+1.50155 s] /proc/loadavg: 0.92 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1850928/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=8364 CPUtime=1.49 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1882 0 0 0 148 1 0 0 25 0 1 0 243134164 8564736 1556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 2091 1556 395 324 0 1161 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8364 [startup+3.1018 s] /proc/loadavg: 0.93 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1849072/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=10452 CPUtime=3.1 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2397 0 0 0 308 2 0 0 25 0 1 0 243134164 10702848 2071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 2613 2071 395 324 0 1683 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 10452 [startup+6.30128 s] /proc/loadavg: 0.93 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1846832/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=11880 CPUtime=6.29 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2743 0 0 0 627 2 0 0 25 0 1 0 243134164 12165120 2417 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 2970 2417 395 324 0 2040 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11880 [startup+12.7013 s] /proc/loadavg: 0.94 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1845944/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=12148 CPUtime=12.69 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2829 0 0 0 1267 2 0 0 25 0 1 0 243134164 12439552 2503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109655 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 3037 2503 395 324 0 2107 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12148 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1845688/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=12412 CPUtime=25.49 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2893 0 0 0 2547 2 0 0 25 0 1 0 243134164 12709888 2567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 3103 2567 395 324 0 2173 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12412 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1843192/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=14964 CPUtime=51.07 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 3534 0 0 0 5105 2 0 0 25 0 1 0 243134164 15323136 3208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 3741 3208 395 324 0 2811 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14964 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1841784/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=16268 CPUtime=102.27 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 3863 0 0 0 10223 4 0 0 25 0 1 0 243134164 16658432 3537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4067 3537 395 324 0 3137 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16268 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1841208/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=18012 CPUtime=162.24 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 556460 0 0 0 15990 234 0 0 25 0 1 0 243134164 18444288 3631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135261916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4503 3631 395 324 0 3573 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18012 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1841144/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=18876 CPUtime=222.23 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1183334 0 0 0 21739 484 0 0 25 0 1 0 243134164 19329024 3666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135336313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4719 3666 395 324 0 3789 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18876 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9482 /proc/meminfo: memFree=1841080/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=18756 CPUtime=282.21 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 1824868 0 0 0 27479 742 0 0 25 0 1 0 243134164 19206144 3664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134800094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4689 3664 395 324 0 3759 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 18756 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.93 2/84 9656 /proc/meminfo: memFree=1839800/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=18620 CPUtime=342.09 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 2520139 0 0 0 33179 1030 0 0 25 0 1 0 243134164 19066880 3631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135308743 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4655 3631 395 324 0 3725 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 18620 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9680 /proc/meminfo: memFree=1840760/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=18616 CPUtime=402.05 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 3277788 0 0 0 38876 1329 0 0 25 0 1 0 243134164 19062784 3622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4654 3622 395 324 0 3724 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 18616 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9680 /proc/meminfo: memFree=1840888/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=18072 CPUtime=462.03 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 3986031 0 0 0 44591 1612 0 0 25 0 1 0 243134164 18505728 3593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135267285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4518 3594 395 324 0 3588 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 18072 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9680 /proc/meminfo: memFree=1840888/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=18416 CPUtime=522.01 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 4642253 0 0 0 50329 1872 0 0 25 0 1 0 243134164 18857984 3594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134802119 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4604 3594 395 324 0 3674 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 18416 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9680 /proc/meminfo: memFree=1840888/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=17792 CPUtime=582 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5201496 0 0 0 56100 2100 0 0 25 0 1 0 243134164 18219008 3586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135301802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4448 3586 395 324 0 3518 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 17792 Solver just ended. Dumping a history of the last processes samples [startup+583.902 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9680 /proc/meminfo: memFree=1840824/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=17792 CPUtime=583.6 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5214539 0 0 0 56254 2106 0 0 25 0 1 0 243134164 18219008 3568 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4448 3569 395 324 0 3518 0 Current children cumulated CPU time (s) 583.6 Current children cumulated vsize (KiB) 17792 [startup+585.502 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9680 /proc/meminfo: memFree=1840824/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=17812 CPUtime=585.2 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5226005 0 0 0 56409 2111 0 0 25 0 1 0 243134164 18239488 3587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135265573 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4523 3591 395 324 0 3593 0 Current children cumulated CPU time (s) 585.2 Current children cumulated vsize (KiB) 17812 [startup+585.902 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9680 /proc/meminfo: memFree=1840824/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=18508 CPUtime=585.6 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5228866 0 0 0 56448 2112 0 0 25 0 1 0 243134164 18952192 3694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135311552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4627 3694 395 324 0 3697 0 Current children cumulated CPU time (s) 585.6 Current children cumulated vsize (KiB) 18508 [startup+586.306 s] /proc/loadavg: 0.99 0.98 0.93 2/78 9680 /proc/meminfo: memFree=1840568/2055920 swapFree=4163632/4192956 [pid=9481] ppid=9479 vsize=18484 CPUtime=586 /proc/9481/stat : 9481 (bsolo3.0.17) R 9479 9481 8579 0 -1 4194304 5230837 0 0 0 56488 2112 0 0 25 0 1 0 243134164 18927616 3601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9481/statm: 4621 3601 395 324 0 3691 0 Current children cumulated CPU time (s) 586 Current children cumulated vsize (KiB) 18484 Child status: 0 Real time (s): 586.349 CPU time (s): 586.053 CPU user time (s): 564.92 CPU system time (s): 21.1328 CPU usage (%): 99.9496 Max. virtual memory (cumulated for all children) (KiB): 18888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 564.92 system time used= 21.1328 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5230981 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= 11 involuntary context switches= 12474 runsolver used 0.478927 second user time and 1.24881 second system time The end
Begin job on node22 on Mon Apr 30 16:56:05 UTC 2007 IDJOB= 432907 IDBENCH= 2024 IDSOLVER= 199 FILE ID= node22/432907-1177952165 PBS_JOBID= 4727677 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432907-1177952165/instance-432907-1177952165.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-432907-1177952165 -o ROOT/results/node22/solver-432907-1177952165 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432907-1177952165/instance-432907-1177952165.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 135acf1f05855c365b3d13b378debe22 RANDOM SEED= 988563204 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.265 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.265 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: 1855184 kB Buffers: 8412 kB Cached: 95416 kB SwapCached: 7352 kB Active: 49228 kB Inactive: 82312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855184 kB SwapTotal: 4192956 kB SwapFree: 4163632 kB Dirty: 6672 kB Writeback: 0 kB Mapped: 34756 kB Slab: 54872 kB Committed_AS: 2061288 kB PageTables: 1688 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node22 on Mon Apr 30 17:05:51 UTC 2007