Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 64 | 1800.01 | 1800.63 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/363765-1177032412/instance-363765-1177032412.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.022 s 0.04/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.09 c 0 540 1736 6006 3 4024 5754 0 0 0.02 0.04/0.09 c Initial Lower Bound: 61 0.04/0.09 c Initial Path Cost: 16 111.75/111.83 c 101 539 1837 7110 3 4225 6330 101 1020 0.10 111.75/111.83 c 252 539 1988 10321 5 4527 6964 252 2333 0.11 111.75/111.83 c 477 539 2213 13971 6 4977 7661 477 3846 0.12 111.75/111.83 c 816 539 2552 17882 7 5655 8428 816 5787 0.14 111.75/111.83 c 1327 539 3063 25497 8 6677 9271 1327 7582 0.17 111.75/111.83 c 2090 539 3826 37951 9 8203 10199 2090 8893 0.23 111.75/111.83 c 3237 539 4973 57817 11 10497 11219 3237 9437 0.34 111.75/111.83 c 4959 539 6695 90939 13 13941 12341 4959 8462 0.59 111.75/111.83 c 7544 539 9280 150122 16 19111 13576 7544 7367 1.02 111.75/111.83 c 11423 539 13159 275585 20 26869 14934 11423 4683 2.44 111.75/111.83 c 17245 539 11351 273908 24 23253 16428 9615 3815 4.52 111.75/111.83 c 25983 539 11745 220735 18 24041 18071 10009 3486 7.45 111.75/111.83 c 39093 539 15668 300408 19 31887 19879 13932 2692 14.52 111.75/111.83 c 58763 539 15110 264911 17 30771 21867 13374 1757 33.45 111.75/111.83 c 88275 536 22417 577293 25 45382 24054 20681 1620 54.48 111.75/111.83 c 132549 534 17833 388068 21 36212 26460 16097 1372 96.58 111.75/111.83 o 72 111.789 112.06/112.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 112.06/112.18 c 145699 533 16210 362987 22 33431 6788 14474 1303 111.79 112.06/112.18 o 68 112.137 * 113.45/113.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 113.45/113.59 c 145699 533 5183 81644 15 11841 6788 3447 1299 112.14 113.45/113.59 o 64 113.548 * 1799.98/1800.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.62 c 145765 532 5258 83414 15 12461 6786 3522 1283 113.55 1799.98/1800.62 c 145865 532 5359 84796 15 12668 7465 3623 1270 114.84 1799.98/1800.62 c 146115 532 5617 89115 15 13184 8212 3881 1199 121.84 1799.98/1800.62 c 146592 532 6105 100724 16 14157 9034 4369 1148 127.61 1799.98/1800.62 c 147405 532 6926 119135 17 15805 9938 5190 1041 141.59 1799.98/1800.62 c 148725 532 8250 147571 17 18444 10932 6514 904 164.39 1799.98/1800.62 c 150806 532 10338 195771 18 22620 12026 8602 753 200.26 1799.98/1800.62 c 154029 532 13561 268377 19 29075 13229 11825 593 259.43 1799.98/1800.62 c 158966 532 11681 310637 26 24377 14552 9945 493 322.11 1799.98/1800.62 c 166474 531 11772 296529 25 24558 16008 10036 384 432.74 1799.98/1800.62 c 177837 531 14976 431493 28 30965 17609 13240 310 573.67 1799.98/1800.62 c 194981 531 14250 478188 33 29512 19370 12514 247 786.31 1799.98/1800.62 c 220801 530 20391 756260 37 41796 21308 18655 192 1148.17 1799.98/1800.62 c 259636 525 16018 454341 28 33044 23439 14282 154 1685.18 1799.98/1800.62 c Resources Exceeded 1799.98/1800.62 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 1799.98/1800.62 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 1799.98/1800.62 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 1799.98/1800.62 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 1799.98/1800.62 v -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1799.98/1800.62 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 1799.98/1800.62 v -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 1799.98/1800.62 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 1799.98/1800.62 v x192 -x193 -x194 x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 x210 -x211 -x212 -x213 1799.98/1800.62 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 1799.98/1800.62 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1799.98/1800.62 v -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 1799.98/1800.62 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1799.98/1800.62 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1799.98/1800.62 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 1799.98/1800.62 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 1799.98/1800.62 v x361 x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 1799.98/1800.62 v -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 1799.98/1800.62 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1799.98/1800.62 v x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1799.98/1800.62 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1799.98/1800.62 v -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 1799.98/1800.62 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1799.98/1800.62 v -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 1799.98/1800.62 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 1799.98/1800.62 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1799.98/1800.62 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 1799.98/1800.62 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1799.98/1800.62 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1799.98/1800.62 v -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1799.98/1800.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.62 c 32 268232 80721 453893 24616 714992 22880 149 1800.00 1799.98/1800.62 c Objective: 64 1799.98/1800.62 s SATISFIABLE 1799.98/1800.62 c Total time: 1800 s
OK 64
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-363765-1177032412 -o ROOT/results/node58/solver-363765-1177032412 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363765-1177032412/instance-363765-1177032412.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.99 0.99 3/64 29197 /proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=11808 CPUtime=0 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 151150848 12091392 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 2952 336 281 324 0 2003 0 [startup+0.0503871 s] /proc/loadavg: 0.92 0.99 0.99 3/64 29197 /proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=4852 CPUtime=0.04 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 671 0 0 0 4 0 0 0 18 0 1 0 151150848 4968448 621 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 1213 621 332 324 0 282 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4852 [startup+0.101395 s] /proc/loadavg: 0.92 0.99 0.99 3/64 29197 /proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=4952 CPUtime=0.09 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1041 0 0 0 9 0 0 0 18 0 1 0 151150848 5070848 713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 1238 713 393 324 0 307 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4952 [startup+0.301427 s] /proc/loadavg: 0.92 0.99 0.99 3/64 29197 /proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=5740 CPUtime=0.29 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1208 0 0 0 28 1 0 0 19 0 1 0 151150848 5877760 880 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 1435 880 394 324 0 504 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5740 [startup+0.701495 s] /proc/loadavg: 0.92 0.99 0.99 3/64 29197 /proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=6796 CPUtime=0.69 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1484 0 0 0 68 1 0 0 22 0 1 0 151150848 6959104 1156 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 1699 1156 394 324 0 768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6796 [startup+1.50163 s] /proc/loadavg: 0.92 0.99 0.99 2/65 29198 /proc/meminfo: memFree=1808016/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=8364 CPUtime=1.49 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1868 0 0 0 148 1 0 0 25 0 1 0 151150848 8564736 1540 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 2091 1540 394 324 0 1160 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8364 [startup+3.1019 s] /proc/loadavg: 0.92 0.99 0.99 2/65 29198 /proc/meminfo: memFree=1806032/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=10320 CPUtime=3.09 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2372 0 0 0 307 2 0 0 25 0 1 0 151150848 10567680 2044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 2580 2044 394 324 0 1649 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10320 [startup+6.30143 s] /proc/loadavg: 0.93 0.99 0.99 2/65 29198 /proc/meminfo: memFree=1804048/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=11492 CPUtime=6.29 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2672 0 0 0 625 4 0 0 25 0 1 0 151150848 11767808 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 2873 2344 394 324 0 1942 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11492 [startup+12.7015 s] /proc/loadavg: 0.93 0.99 0.99 2/65 29198 /proc/meminfo: memFree=1803088/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=12148 CPUtime=12.68 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2830 0 0 0 1263 5 0 0 25 0 1 0 151150848 12439552 2502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 3037 2502 394 324 0 2106 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12148 [startup+25.5016 s] /proc/loadavg: 0.95 0.99 0.99 2/65 29198 /proc/meminfo: memFree=1802768/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=12412 CPUtime=25.49 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2894 0 0 0 2542 7 0 0 25 0 1 0 151150848 12709888 2566 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 3103 2566 394 324 0 2172 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12412 [startup+51.1019 s] /proc/loadavg: 0.96 0.99 0.99 2/65 29198 /proc/meminfo: memFree=1800272/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=14964 CPUtime=51.07 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 3535 0 0 0 5094 13 0 0 25 0 1 0 151150848 15323136 3207 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 3741 3207 394 324 0 2810 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14964 [startup+102.305 s] /proc/loadavg: 0.98 0.99 0.99 2/65 29198 /proc/meminfo: memFree=1798992/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=16268 CPUtime=102.26 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 3864 0 0 0 10204 22 0 0 25 0 1 0 151150848 16658432 3536 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4067 3536 394 324 0 3136 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16268 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29198 /proc/meminfo: memFree=1798480/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=18780 CPUtime=162.24 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 557888 0 0 0 15978 246 0 0 25 0 1 0 151150848 19230720 3699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331966 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4695 3699 394 324 0 3764 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18780 [startup+222.302 s] /proc/loadavg: 1.07 1.01 1.00 2/65 29198 /proc/meminfo: memFree=1798352/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=18740 CPUtime=222.22 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1172580 0 0 0 21730 492 0 0 25 0 1 0 151150848 19189760 3695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135235756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4685 3695 394 324 0 3754 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 18740 [startup+282.303 s] /proc/loadavg: 1.10 1.02 1.00 2/65 29198 /proc/meminfo: memFree=1798416/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=18644 CPUtime=282.19 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1758456 0 0 0 27486 733 0 0 25 0 1 0 151150848 19091456 3677 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4661 3677 394 324 0 3730 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 18644 [startup+342.302 s] /proc/loadavg: 1.03 1.01 1.00 2/65 29198 /proc/meminfo: memFree=1798544/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=18620 CPUtime=342.17 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2469472 0 0 0 33185 1032 0 0 25 0 1 0 151150848 19066880 3601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4655 3601 394 324 0 3724 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 18620 [startup+402.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 29198 /proc/meminfo: memFree=1798608/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=17792 CPUtime=402.15 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 3134083 0 0 0 38903 1312 0 0 25 0 1 0 151150848 18219008 3578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135254911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4448 3580 394 324 0 3517 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 17792 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29198 /proc/meminfo: memFree=1798544/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=18448 CPUtime=462.13 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 3735838 0 0 0 44666 1547 0 0 25 0 1 0 151150848 18890752 3590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134799991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4612 3590 394 324 0 3681 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 18448 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29198 /proc/meminfo: memFree=1798672/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=18416 CPUtime=522.11 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 4308426 0 0 0 50426 1785 0 0 25 0 1 0 151150848 18857984 3588 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4604 3586 394 324 0 3673 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 18416 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29198 /proc/meminfo: memFree=1798544/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=16272 CPUtime=582.09 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 4871196 0 0 0 56183 2026 0 0 25 0 1 0 151150848 16662528 3544 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134709769 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4068 3544 394 324 0 3137 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 16272 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29198 /proc/meminfo: memFree=1798480/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=18416 CPUtime=642.08 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 5433762 0 0 0 61946 2262 0 0 25 0 1 0 151150848 18857984 3626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4604 3626 394 324 0 3673 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 18416 ################ # More data... # ################ /proc/meminfo: memFree=1795408/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21472 CPUtime=1121.9 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 12376935 0 0 0 107164 5026 0 0 25 0 1 0 151150848 21987328 4331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134799991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5368 4331 394 324 0 4437 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 21472 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795408/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21476 CPUtime=1181.88 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 13216604 0 0 0 112825 5363 0 0 25 0 1 0 151150848 21991424 4346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308184 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5369 4346 394 324 0 4438 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 21476 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21280 CPUtime=1241.86 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 13889185 0 0 0 118542 5644 0 0 25 0 1 0 151150848 21790720 4270 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5320 4273 394 324 0 4389 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 21280 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=18968 CPUtime=1301.85 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 14569335 0 0 0 124267 5918 0 0 25 0 1 0 151150848 19423232 4218 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5304147 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 4742 4218 394 324 0 3811 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 18968 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795664/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21116 CPUtime=1361.82 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 15181160 0 0 0 130010 6172 0 0 25 0 1 0 151150848 21622784 4265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5279 4265 394 324 0 4348 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 21116 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795728/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21116 CPUtime=1421.8 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 15739966 0 0 0 135775 6405 0 0 25 0 1 0 151150848 21622784 4265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5279 4265 394 324 0 4348 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 21116 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=20460 CPUtime=1481.78 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 16270823 0 0 0 141548 6630 0 0 25 0 1 0 151150848 20951040 4251 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135253502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5115 4251 394 324 0 4184 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 20460 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795664/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21116 CPUtime=1541.76 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 16803000 0 0 0 147327 6849 0 0 25 0 1 0 151150848 21622784 4264 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690029 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5279 4264 394 324 0 4348 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 21116 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795664/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21080 CPUtime=1601.74 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 17289973 0 0 0 153117 7057 0 0 25 0 1 0 151150848 21585920 4318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5270 4318 394 324 0 4339 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 21080 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795536/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21080 CPUtime=1661.71 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 17822783 0 0 0 158881 7290 0 0 25 0 1 0 151150848 21585920 4262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5270 4262 394 324 0 4339 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 21080 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21116 CPUtime=1721.69 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 18386161 0 0 0 164629 7540 0 0 25 0 1 0 151150848 21622784 4293 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5279 4293 394 324 0 4348 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 21116 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21140 CPUtime=1781.68 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 18949926 0 0 0 170391 7777 0 0 25 0 1 0 151150848 21647360 4271 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188183 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5285 4271 394 324 0 4354 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 21140 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 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21140 CPUtime=1791.27 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19037152 0 0 0 171311 7816 0 0 25 0 1 0 151150848 21647360 4267 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5285 4267 394 324 0 4354 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 21140 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21144 CPUtime=1794.47 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19070703 0 0 0 171617 7830 0 0 25 0 1 0 151150848 21651456 4269 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135314372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5286 4269 394 324 0 4355 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 21144 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21080 CPUtime=1797.67 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19101719 0 0 0 171926 7841 0 0 25 0 1 0 151150848 21585920 4261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5270 4261 394 324 0 4339 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 21080 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21116 CPUtime=1799.27 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19116281 0 0 0 172081 7846 0 0 25 0 1 0 151150848 21622784 4270 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5279 4270 394 324 0 4348 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (KiB) 21116 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=21076 CPUtime=1799.67 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19119386 0 0 0 172119 7848 0 0 25 0 1 0 151150848 21581824 4261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5269 4261 394 324 0 4338 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (KiB) 21076 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=20268 CPUtime=1799.87 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19121250 0 0 0 172138 7849 0 0 25 0 1 0 151150848 20754432 4252 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5067 4252 394 324 0 4136 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (KiB) 20268 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29200 /proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956 [pid=29197] ppid=29195 vsize=20916 CPUtime=1799.98 /proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19122303 0 0 0 172149 7849 0 0 25 0 1 0 151150848 21417984 4258 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135314372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29197/statm: 5229 4258 394 324 0 4298 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 20916 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.01 CPU user time (s): 1721.51 CPU system time (s): 78.4981 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 21748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1721.51 system time used= 78.4981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19122445 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= 12 involuntary context switches= 4149 runsolver used 1.01085 second user time and 3.9164 second system time The end
Begin job on node58 on Fri Apr 20 01:26:52 UTC 2007 IDJOB= 363765 IDBENCH= 2024 IDSOLVER= 163 FILE ID= node58/363765-1177032412 PBS_JOBID= 4630649 Free space on /tmp= 66446 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/363765-1177032412/instance-363765-1177032412.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-363765-1177032412 -o ROOT/results/node58/solver-363765-1177032412 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363765-1177032412/instance-363765-1177032412.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 135acf1f05855c365b3d13b378debe22 RANDOM SEED= 842818761 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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: 1812208 kB Buffers: 14572 kB Cached: 166576 kB SwapCached: 2248 kB Active: 77876 kB Inactive: 113432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812208 kB SwapTotal: 4192956 kB SwapFree: 4184528 kB Dirty: 4448 kB Writeback: 0 kB Mapped: 16708 kB Slab: 38420 kB Committed_AS: 972264 kB PageTables: 1380 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= 66446 MiB End job on node58 on Fri Apr 20 01:56:53 UTC 2007