Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 66 | 674.125 | 674.321 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb |
MD5SUM | 417e88f02ffea81dc93d5dcf35453cad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 66 |
Best CPU time to get the best result obtained on this benchmark | 0.138978 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 66 |
Optimality of the best value was proved | YES |
Number of variables | 624 |
Total number of constraints | 1884 |
Number of constraints which are clauses | 1860 |
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 | 26 |
Number of terms in the objective function | 624 |
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 | 624 |
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 | 624 |
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-1879012-1245148159.opb 0.00/0.00 c File size is 67765 bytes. 0.00/0.01 c Highest Coefficient sum: 624 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.008 s 0.00/0.01 c Var: 624 Constr: 1884 1860/24/0 Lit: 6232 Watch. Lit: 4296 0.00/0.01 c Obj. Vars: 624 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.017 s 0.06/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.08 c 0 520 1676 5816 3 3880 5334 0 0 0.02 0.06/0.08 c Initial Lower Bound: 63 0.06/0.08 c Initial Path Cost: 16 2.09/2.13 c 100 520 1776 6604 3 4080 5868 100 1098 0.09 2.09/2.13 c 250 520 1926 7862 4 4380 6455 250 2450 0.10 2.09/2.13 c 475 520 2151 10525 4 4830 7101 475 3925 0.12 2.09/2.13 c 813 519 2489 14378 5 5505 7812 813 5493 0.15 2.09/2.13 c 1322 518 2998 21558 7 6522 8594 1322 6994 0.19 2.09/2.13 c 2087 518 3763 35477 9 8052 9454 2087 7672 0.27 2.09/2.13 c 3233 517 4909 46278 9 10343 10400 3233 8226 0.39 2.09/2.13 c 4954 515 6630 80203 12 13783 11441 4954 7645 0.65 2.09/2.13 c 7539 515 9215 131057 14 18953 12586 7539 6822 1.10 2.09/2.13 c 11418 515 13094 206947 15 26711 13845 11418 5597 2.04 2.09/2.13 o 72 99.76/99.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.76/99.86 c 11869 515 13546 214351 15 28064 6334 11870 5572 2.13 99.76/99.86 c 11969 515 4970 61252 12 10908 6968 3294 2042 5.86 99.76/99.86 c 12219 515 5220 64985 12 11410 7665 3544 1157 10.55 99.76/99.86 c 12694 514 5695 70218 12 12357 8432 4019 661 19.19 99.76/99.86 c 13507 514 6508 84890 13 13983 9276 4832 421 32.05 99.76/99.86 c 14828 514 7829 105037 13 16625 10204 6153 254 58.17 99.76/99.86 o 70 475.06/475.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 475.06/475.21 c 16789 514 9795 138050 14 21005 6332 8119 168 99.83 475.06/475.21 c 16889 513 4971 57189 11 10910 6966 3295 162 103.70 475.06/475.21 c 17139 513 5221 59357 11 11410 7663 3545 156 109.30 475.06/475.21 c 17614 513 5701 73027 12 12373 8430 4025 150 116.98 475.06/475.21 c 18428 512 6515 83432 12 13998 9274 4839 139 132.14 475.06/475.21 c 19751 512 7838 103333 13 16645 10202 6162 128 154.29 475.06/475.21 c 21832 512 9921 138220 13 20810 11223 8245 115 189.26 475.06/475.21 c 25056 512 7425 109255 14 15816 12346 5749 100 248.56 475.06/475.21 c 29993 512 12362 209772 16 25692 13581 10686 90 330.31 475.06/475.21 c 37500 506 12971 226228 17 26908 14940 11295 79 472.56 475.06/475.21 o 68 489.74/489.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 489.74/489.92 c 37673 506 13148 229182 17 27702 6316 11472 79 475.08 489.74/489.92 c 37774 506 4976 55032 11 10912 6948 3300 79 477.43 489.74/489.92 c 38024 506 5226 58616 11 11414 7643 3550 78 481.76 489.74/489.92 o 66 674.10/674.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 674.10/674.31 c 38436 506 5653 66814 11 12711 6316 3977 78 489.77 674.10/674.31 c 38536 506 5756 68141 11 12919 6948 4080 78 492.15 674.10/674.31 c 38786 506 6027 72314 11 13463 7643 4351 77 497.51 674.10/674.31 c 39264 506 6505 79280 12 14415 8408 4829 77 505.73 674.10/674.31 c 40078 506 7343 113032 15 16095 9249 5667 77 517.33 674.10/674.31 c 41398 506 8663 133494 15 18729 10174 6987 76 541.06 674.10/674.31 c 43481 506 10907 204898 18 23219 11192 9231 75 579.70 674.10/674.31 c 46704 505 8318 202873 24 17600 12312 6642 75 619.06 674.10/674.31 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 674.10/674.31 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 674.10/674.31 c 37 51633 12928 82604 13270 380505 11594 76 674.12 674.10/674.31 c Objective: 66 674.10/674.31 s OPTIMUM FOUND 674.10/674.31 c Total time: 674.121 s
OK 66
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879012-1245148159/watcher-1879012-1245148159 -o /tmp/evaluation-result-1879012-1245148159/solver-1879012-1245148159 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1879012-1245148159.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11829 /proc/meminfo: memFree=1941256/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=10780 CPUtime=0 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 182416250 11038720 238 1992294400 134512640 137136520 4294956256 18446744073709551615 134600518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 2695 238 176 640 0 2034 0 [startup+0.0686289 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11829 /proc/meminfo: memFree=1941256/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=11292 CPUtime=0.06 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 526 0 0 0 6 0 0 0 18 0 1 0 182416250 11563008 452 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 2823 452 228 640 0 2179 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11292 [startup+0.101632 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11829 /proc/meminfo: memFree=1941256/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=11388 CPUtime=0.09 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 880 0 0 0 9 0 0 0 18 0 1 0 182416250 11661312 542 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 2847 542 293 640 0 2203 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11388 [startup+0.301652 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11829 /proc/meminfo: memFree=1941256/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=11796 CPUtime=0.29 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 981 0 0 0 28 1 0 0 19 0 1 0 182416250 12079104 643 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 2949 643 293 640 0 2305 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11796 [startup+0.701693 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11829 /proc/meminfo: memFree=1941256/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=12732 CPUtime=0.69 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 1210 0 0 0 68 1 0 0 22 0 1 0 182416250 13037568 872 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 3183 872 293 640 0 2539 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12732 [startup+1.50177 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11830 /proc/meminfo: memFree=1938240/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=14336 CPUtime=1.49 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 1598 0 0 0 147 2 0 0 25 0 1 0 182416250 14680064 1260 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 3584 1260 293 640 0 2940 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14336 [startup+3.10194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11830 /proc/meminfo: memFree=1936256/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=16496 CPUtime=3.09 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 9607 0 0 0 305 4 0 0 25 0 1 0 182416250 16891904 1732 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4124 1732 293 640 0 3480 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16496 [startup+6.30127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11830 /proc/meminfo: memFree=1935176/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=18060 CPUtime=6.29 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 34841 0 0 0 616 13 0 0 25 0 1 0 182416250 18493440 1876 1992294400 134512640 137136520 4294956256 18446744073709551615 135383419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4515 1876 293 640 0 3871 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18060 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11830 /proc/meminfo: memFree=1934920/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=17152 CPUtime=12.69 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 73935 0 0 0 1243 26 0 0 25 0 1 0 182416250 17563648 1729 1992294400 134512640 137136520 4294956256 18446744073709551615 134711054 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4288 1732 293 640 0 3644 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17152 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11830 /proc/meminfo: memFree=1935304/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=17860 CPUtime=25.48 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 169348 0 0 0 2488 60 0 0 25 0 1 0 182416250 18288640 1752 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4465 1752 293 640 0 3821 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17860 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11830 /proc/meminfo: memFree=1935176/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=17884 CPUtime=51.07 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 344764 0 0 0 4987 120 0 0 25 0 1 0 182416250 18313216 1762 1992294400 134512640 137136520 4294956256 18446744073709551615 134846826 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4471 1762 293 640 0 3827 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17884 [startup+102.305 s] /proc/loadavg: 1.07 1.02 1.00 2/65 11830 /proc/meminfo: memFree=1935560/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=17324 CPUtime=102.26 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 424724 0 0 0 10078 148 0 0 25 0 1 0 182416250 17739776 1611 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4440 1616 294 640 0 3796 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 17324 [startup+162.301 s] /proc/loadavg: 1.08 1.03 1.00 2/65 11830 /proc/meminfo: memFree=1935560/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=17744 CPUtime=162.24 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 1264435 0 0 0 15787 437 0 0 25 0 1 0 182416250 18169856 1650 1992294400 134512640 137136520 4294956256 18446744073709551615 135079030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4436 1650 294 640 0 3792 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 17744 [startup+222.301 s] /proc/loadavg: 1.09 1.04 1.00 2/65 11830 /proc/meminfo: memFree=1935496/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=15284 CPUtime=222.22 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 2034541 0 0 0 21513 709 0 0 25 0 1 0 182416250 15650816 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 3821 1517 294 640 0 3177 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 15284 [startup+282.302 s] /proc/loadavg: 1.08 1.04 1.00 2/65 11830 /proc/meminfo: memFree=1934024/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=18028 CPUtime=282.2 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 2356909 0 0 0 27391 829 0 0 25 0 1 0 182416250 18460672 2016 1992294400 134512640 137136520 4294956256 18446744073709551615 135441557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4507 2016 294 640 0 3863 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 18028 [startup+342.302 s] /proc/loadavg: 1.08 1.05 1.00 2/65 11830 /proc/meminfo: memFree=1935304/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=18248 CPUtime=342.19 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 2432001 0 0 0 33361 858 0 0 25 0 1 0 182416250 18685952 1753 1992294400 134512640 137136520 4294956256 18446744073709551615 135455630 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4562 1753 294 640 0 3918 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 18248 [startup+402.302 s] /proc/loadavg: 1.14 1.07 1.01 2/65 11830 /proc/meminfo: memFree=1934152/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=18916 CPUtime=402.17 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 3384657 0 0 0 39002 1215 0 0 25 0 1 0 182416250 19369984 1913 1992294400 134512640 137136520 4294956256 18446744073709551615 135469389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4729 1913 294 640 0 4085 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 18916 [startup+462.301 s] /proc/loadavg: 1.05 1.05 1.00 2/65 11830 /proc/meminfo: memFree=1933768/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=19196 CPUtime=462.16 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 4329123 0 0 0 44656 1560 0 0 25 0 1 0 182416250 19656704 2192 1992294400 134512640 137136520 4294956256 18446744073709551615 135379678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4799 2192 294 640 0 4155 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 19196 [startup+522.301 s] /proc/loadavg: 1.02 1.04 1.00 2/65 11830 /proc/meminfo: memFree=1933064/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=19088 CPUtime=522.14 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 4524760 0 0 0 50581 1633 0 0 25 0 1 0 182416250 19546112 2274 1992294400 134512640 137136520 4294956256 18446744073709551615 135407763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4772 2274 294 640 0 4128 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 19088 [startup+582.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 11830 /proc/meminfo: memFree=1933512/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=19028 CPUtime=582.12 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 4706554 0 0 0 56509 1703 0 0 25 0 1 0 182416250 19484672 2062 1992294400 134512640 137136520 4294956256 18446744073709551615 135443772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4757 2062 294 640 0 4113 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 19028 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11830 /proc/meminfo: memFree=1933896/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=19040 CPUtime=642.11 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 5263361 0 0 0 62308 1903 0 0 25 0 1 0 182416250 19496960 2025 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4760 2025 294 640 0 4116 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 19040 Solver just ended. Dumping a history of the last processes samples [startup+652.702 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11830 /proc/meminfo: memFree=1933640/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=18200 CPUtime=652.5 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 5353899 0 0 0 63313 1937 0 0 25 0 1 0 182416250 18636800 2023 1992294400 134512640 137136520 4294956256 18446744073709551615 135385617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4550 2023 294 640 0 3906 0 Current children cumulated CPU time (s) 652.5 Current children cumulated vsize (KiB) 18200 [startup+665.505 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11830 /proc/meminfo: memFree=1934024/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=19140 CPUtime=665.3 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 5535576 0 0 0 64529 2001 0 0 25 0 1 0 182416250 19599360 2040 1992294400 134512640 137136520 4294956256 18446744073709551615 134847244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4785 2040 294 640 0 4141 0 Current children cumulated CPU time (s) 665.3 Current children cumulated vsize (KiB) 19140 [startup+668.701 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11830 /proc/meminfo: memFree=1933064/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=18900 CPUtime=668.5 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 5619598 0 0 0 64817 2033 0 0 25 0 1 0 182416250 19353600 2048 1992294400 134512640 137136520 4294956256 18446744073709551615 135181754 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4725 2053 294 640 0 4081 0 Current children cumulated CPU time (s) 668.5 Current children cumulated vsize (KiB) 18900 [startup+671.902 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11830 /proc/meminfo: memFree=1932872/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=17384 CPUtime=671.7 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 5703647 0 0 0 65106 2064 0 0 25 0 1 0 182416250 17801216 2042 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 4346 2042 294 640 0 3702 0 Current children cumulated CPU time (s) 671.7 Current children cumulated vsize (KiB) 17384 [startup+673.502 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11830 /proc/meminfo: memFree=1931912/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=20068 CPUtime=673.29 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 5711173 0 0 0 65263 2066 0 0 25 0 1 0 182416250 20549632 2378 1992294400 134512640 137136520 4294956256 18446744073709551615 135464075 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 5017 2378 294 640 0 4373 0 Current children cumulated CPU time (s) 673.29 Current children cumulated vsize (KiB) 20068 [startup+673.902 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11830 /proc/meminfo: memFree=1931912/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=20068 CPUtime=673.7 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 5712193 0 0 0 65303 2067 0 0 25 0 1 0 182416250 20549632 2376 1992294400 134512640 137136520 4294956256 18446744073709551615 134846254 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 5017 2376 294 640 0 4373 0 Current children cumulated CPU time (s) 673.7 Current children cumulated vsize (KiB) 20068 [startup+674.306 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11830 /proc/meminfo: memFree=1932360/2055920 swapFree=4181836/4192956 [pid=11829] ppid=11827 vsize=20316 CPUtime=674.1 /proc/11829/stat : 11829 (bsolo) R 11827 11829 11609 0 -1 4194304 5714916 0 0 0 65342 2068 0 0 25 0 1 0 182416250 20803584 2442 1992294400 134512640 137136520 4294956256 18446744073709551615 135444034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11829/statm: 5079 2442 294 640 0 4435 0 Current children cumulated CPU time (s) 674.1 Current children cumulated vsize (KiB) 20316 Child status: 0 Real time (s): 674.321 CPU time (s): 674.125 CPU user time (s): 653.439 CPU system time (s): 20.6859 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 20316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 653.439 system time used= 20.6859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5715022 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= 1019 runsolver used 0.637903 second user time and 1.22881 second system time The end
Begin job on node24 at 2009-06-16 12:29:19 IDJOB=1879012 IDBENCH=2032 IDSOLVER=700 FILE ID=node24/1879012-1245148159 PBS_JOBID= 9363733 Free space on /tmp= 66364 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879012-1245148159/watcher-1879012-1245148159 -o /tmp/evaluation-result-1879012-1245148159/solver-1879012-1245148159 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1879012-1245148159.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 417e88f02ffea81dc93d5dcf35453cad RANDOM SEED=1261664102 node24.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.231 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.231 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: 1941736 kB Buffers: 16724 kB Cached: 55308 kB SwapCached: 5284 kB Active: 51288 kB Inactive: 28444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1941736 kB SwapTotal: 4192956 kB SwapFree: 4181836 kB Dirty: 4008 kB Writeback: 0 kB Mapped: 12876 kB Slab: 20372 kB Committed_AS: 186124 kB PageTables: 1444 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-1879012-1245148159.opb Free space on /tmp at the end= 66360 MiB End job on node24 at 2009-06-16 12:40:34