Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 64 | 67.7847 | 67.8136 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb |
MD5SUM | c260403f4942794773ec12b2770e1c07 |
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.244961 |
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 | 672 |
Total number of constraints | 2030 |
Number of constraints which are clauses | 2006 |
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 | 28 |
Number of terms in the objective function | 672 |
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 | 672 |
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 | 672 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657949-1276406652.opb 0.00/0.00 c File size is 73216 bytes. 0.00/0.01 c Highest Coefficient sum: 672 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.012 s 0.00/0.01 c Var: 672 Constr: 2030 2006/24/0 Lit: 6728 Watch. Lit: 4636 0.00/0.01 c Obj. Vars: 672 (100 % of total variables) 0.00/0.02 c Pre-processing Time: 0.022 s 0.08/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.09 c 0 560 1806 6280 3 4188 6194 0 0 0.02 0.08/0.09 c Initial Lower Bound: 63 0.08/0.09 c Initial Path Cost: 14 4.99/5.06 c 100 560 1906 7046 3 4388 6814 100 961 0.10 4.99/5.06 c 254 560 2060 8647 4 4696 7496 254 2208 0.12 4.99/5.06 c 480 560 2286 12084 5 5148 8246 480 3555 0.14 4.99/5.06 c 818 560 2624 17354 6 5824 9071 818 5080 0.16 4.99/5.06 c 1327 560 3133 26771 8 6842 9979 1327 6410 0.21 4.99/5.06 c 2090 560 3896 41671 10 8368 10977 2090 7133 0.29 4.99/5.06 c 3237 560 5043 62125 12 10662 12075 3237 7424 0.44 4.99/5.06 c 4958 560 6764 97197 14 14104 13283 4958 6992 0.71 4.99/5.06 c 7543 560 9349 154840 16 19274 14612 7543 5481 1.38 4.99/5.06 c 11423 560 13229 242240 18 27034 16074 11423 3952 2.89 4.99/5.06 c 17245 560 10849 169786 15 22274 17682 9043 3863 4.46 4.99/5.06 o 70 30.48/30.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.48/30.56 c 19276 559 12881 209723 16 26830 7284 11075 3809 5.06 30.48/30.56 c 19376 559 5553 70754 12 12173 8013 3747 2345 8.26 30.48/30.56 c 19627 559 5804 75405 12 12674 8815 3998 1282 15.31 30.48/30.56 c 20103 559 6280 82000 13 13627 9697 4474 871 23.07 30.48/30.56 o 68 57.76/57.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.76/57.85 c 20540 559 6718 89218 13 14994 7284 4912 672 30.56 57.76/57.85 c 20641 559 6819 91194 13 15197 8013 5013 624 33.08 57.76/57.85 c 20892 559 7075 96046 13 15707 8815 5269 527 39.57 57.76/57.85 c 21367 559 7550 105556 13 16661 9697 5744 421 50.72 57.76/57.85 o 66 67.07/67.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.07/67.13 c 21645 558 7829 109208 13 17707 7282 6023 374 57.83 67.07/67.13 c 21749 558 7935 112561 14 17922 8011 6129 363 59.85 67.07/67.13 c 22001 558 8189 114962 14 18430 8813 6383 328 67.00 67.07/67.13 o 64 67.76/67.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.76/67.81 c 22001 558 8190 115506 14 18927 7282 6384 327 67.10 67.76/67.81 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 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 67.76/67.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 67.76/67.81 c 23 22029 6300 38029 8222 115664 6416 325 67.78 67.76/67.81 c Objective: 64 67.76/67.81 s OPTIMUM FOUND 67.76/67.81 c Total time: 67.781 s
OK 64
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657949-1276406652/watcher-2657949-1276406652 -o /tmp/evaluation-result-2657949-1276406652/solver-2657949-1276406652 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657949-1276406652.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.99 0.99 3/106 22125 /proc/meminfo: memFree=1786300/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=10868 CPUtime=0 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 339 0 0 0 0 0 0 0 17 0 1 0 16266586 11128832 258 1992294400 134512640 137138936 4292628992 18446744073709551615 136658830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 2717 259 176 642 0 2055 0 [startup+0.094458 s] /proc/loadavg: 0.99 0.99 0.99 3/106 22125 /proc/meminfo: memFree=1786300/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=13364 CPUtime=0.08 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 854 0 0 0 8 0 0 0 17 0 1 0 16266586 13684736 675 1992294400 134512640 137138936 4292628992 18446744073709551615 135457623 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 3341 675 276 642 0 2697 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13364 [startup+0.100459 s] /proc/loadavg: 0.99 0.99 0.99 3/106 22125 /proc/meminfo: memFree=1786300/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=11520 CPUtime=0.09 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 928 0 0 0 9 0 0 0 17 0 1 0 16266586 11796480 549 1992294400 134512640 137138936 4292628992 18446744073709551615 134581892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 2880 549 286 642 0 2236 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11520 [startup+0.300493 s] /proc/loadavg: 0.99 0.99 0.99 3/106 22125 /proc/meminfo: memFree=1786300/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=12052 CPUtime=0.29 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 1031 0 0 0 29 0 0 0 17 0 1 0 16266586 12341248 652 1992294400 134512640 137138936 4292628992 18446744073709551615 134542909 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 3013 652 286 642 0 2369 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12052 [startup+0.700561 s] /proc/loadavg: 0.99 0.99 0.99 3/106 22125 /proc/meminfo: memFree=1786300/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=12988 CPUtime=0.69 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 1282 0 0 0 68 1 0 0 17 0 1 0 16266586 13299712 903 1992294400 134512640 137138936 4292628992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 3247 903 286 642 0 2603 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12988 [startup+1.5007 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22126 /proc/meminfo: memFree=1783192/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=14188 CPUtime=1.49 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 1577 0 0 0 146 3 0 0 18 0 1 0 16266586 14528512 1198 1992294400 134512640 137138936 4292628992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 3547 1198 286 642 0 2903 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14188 [startup+3.10097 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22126 /proc/meminfo: memFree=1781704/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=16060 CPUtime=3.09 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 2055 0 0 0 305 4 0 0 21 0 1 0 16266586 16445440 1676 1992294400 134512640 137138936 4292628992 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 4015 1676 286 642 0 3371 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16060 [startup+6.30052 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22126 /proc/meminfo: memFree=1777736/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=19736 CPUtime=6.29 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 3862 0 0 0 623 6 0 0 25 0 1 0 16266586 20209664 2460 1992294400 134512640 137138936 4292628992 18446744073709551615 135251029 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 4934 2460 287 642 0 4290 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19736 [startup+12.7016 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22126 /proc/meminfo: memFree=1777116/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=19948 CPUtime=12.69 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 6332 0 0 0 1262 7 0 0 25 0 1 0 16266586 20426752 2443 1992294400 134512640 137138936 4292628992 18446744073709551615 134720962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 4987 2443 287 642 0 4343 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19948 [startup+25.5008 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22128 /proc/meminfo: memFree=1777736/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=20008 CPUtime=25.48 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 11904 0 0 0 2539 9 0 0 25 0 1 0 16266586 20488192 2329 1992294400 134512640 137138936 4292628992 18446744073709551615 135377436 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 5002 2329 287 642 0 4358 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20008 [startup+51.1012 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22128 /proc/meminfo: memFree=1777116/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=19812 CPUtime=51.07 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 37735 0 0 0 5087 20 0 0 25 0 1 0 16266586 20287488 2298 1992294400 134512640 137138936 4292628992 18446744073709551615 135251830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 4953 2298 288 642 0 4309 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19812 Solver just ended. Dumping a history of the last processes samples [startup+57.5013 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22128 /proc/meminfo: memFree=1776992/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=19916 CPUtime=57.47 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 46317 0 0 0 5723 24 0 0 25 0 1 0 16266586 20393984 2396 1992294400 134512640 137138936 4292628992 18446744073709551615 135445255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 4979 2396 288 642 0 4335 0 Current children cumulated CPU time (s) 57.47 Current children cumulated vsize (KiB) 19916 [startup+63.9014 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22128 /proc/meminfo: memFree=1777116/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=19828 CPUtime=63.87 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 58666 0 0 0 6358 29 0 0 25 0 1 0 16266586 20303872 2120 1992294400 134512640 137138936 4292628992 18446744073709551615 135447523 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 4957 2120 288 642 0 4313 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 19828 [startup+65.5017 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22128 /proc/meminfo: memFree=1777116/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=19908 CPUtime=65.47 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 61060 0 0 0 6517 30 0 0 25 0 1 0 16266586 20385792 2307 1992294400 134512640 137138936 4292628992 18446744073709551615 135251273 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 4977 2307 288 642 0 4333 0 Current children cumulated CPU time (s) 65.47 Current children cumulated vsize (KiB) 19908 [startup+67.108 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22128 /proc/meminfo: memFree=1776992/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=19064 CPUtime=67.07 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 62755 0 0 0 6677 30 0 0 25 0 1 0 16266586 19521536 2072 1992294400 134512640 137138936 4292628992 18446744073709551615 135404677 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 4766 2073 288 642 0 4122 0 Current children cumulated CPU time (s) 67.07 Current children cumulated vsize (KiB) 19064 [startup+67.501 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22128 /proc/meminfo: memFree=1776992/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=19256 CPUtime=67.46 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 64661 0 0 0 6715 31 0 0 25 0 1 0 16266586 19718144 2132 1992294400 134512640 137138936 4292628992 18446744073709551615 135382742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 4814 2133 288 642 0 4170 0 Current children cumulated CPU time (s) 67.46 Current children cumulated vsize (KiB) 19256 [startup+67.7011 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22128 /proc/meminfo: memFree=1776992/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=20088 CPUtime=67.66 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 64809 0 0 0 6735 31 0 0 25 0 1 0 16266586 20570112 2280 1992294400 134512640 137138936 4292628992 18446744073709551615 135443683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 5022 2280 288 642 0 4378 0 Current children cumulated CPU time (s) 67.66 Current children cumulated vsize (KiB) 20088 [startup+67.8011 s] /proc/loadavg: 0.99 0.99 0.99 2/107 22128 /proc/meminfo: memFree=1776992/2059040 swapFree=4165864/4192956 [pid=22125] ppid=22123 vsize=20088 CPUtime=67.76 /proc/22125/stat : 22125 (bsolo_pb10) R 22123 22125 21942 0 -1 4202496 64872 0 0 0 6745 31 0 0 25 0 1 0 16266586 20570112 2343 1992294400 134512640 137138936 4292628992 18446744073709551615 135446711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22125/statm: 5022 2343 288 642 0 4378 0 Current children cumulated CPU time (s) 67.76 Current children cumulated vsize (KiB) 20088 Child status: 0 Real time (s): 67.8136 CPU time (s): 67.7847 CPU user time (s): 67.4677 CPU system time (s): 0.316951 CPU usage (%): 99.9573 Max. virtual memory (cumulated for all children) (KiB): 20096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 67.4677 system time used= 0.316951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64877 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 899 runsolver used 0.112982 second user time and 0.32695 second system time The end
Begin job on node014 at 2010-06-13 07:24:12 IDJOB=2657949 IDBENCH=2033 IDSOLVER=1163 FILE ID=node014/2657949-1276406652 PBS_JOBID= 11173281 Free space on /tmp= 62464 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657949-1276406652/watcher-2657949-1276406652 -o /tmp/evaluation-result-2657949-1276406652/solver-2657949-1276406652 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657949-1276406652.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c260403f4942794773ec12b2770e1c07 RANDOM SEED=958082118 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1786828 kB Buffers: 24712 kB Cached: 136356 kB SwapCached: 1640 kB Active: 116732 kB Inactive: 78676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1786828 kB SwapTotal: 4192956 kB SwapFree: 4165864 kB Dirty: 4052 kB Writeback: 0 kB AnonPages: 32700 kB Mapped: 15048 kB Slab: 55076 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183456 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62460 MiB End job on node014 at 2010-06-13 07:25:20