Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -13 | 1782.73 | 1783.17 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_5.opb |
MD5SUM | 0619afe86d0e2ffb4ad28e9f2f441c24 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1212 |
Sum of products size (including duplicates) | 2424 |
Number of different products | 606 |
Sum of products size | 1212 |
0.00/0.01 c Pueblo version 1.4 (September 2005) 0.00/0.01 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.01 c by Hossein Sheini 0.00/0.03 c starting to Solve 0.00/0.03 c #variables read: 706 - #constraints read: 1365 0.00/0.03 o 0 0.00/0.03 o 1 0.00/0.03 o 2 0.00/0.03 o 3 0.00/0.03 o 4 0.00/0.03 o 5 0.00/0.03 o 6 0.00/0.03 o 7 0.00/0.03 o 8 0.00/0.03 o 9 0.00/0.04 o 10 0.09/0.10 o 11 1.48/1.54 o 12 27.48/27.57 o 13 1782.67/1783.16 c total time : 1783 s 1782.67/1783.16 s SATISFIABLE 1782.67/1783.16 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 1782.67/1783.16 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 x40 x41 -x42 -x43 -x44 x45 x46 -x47 x48 x49 x50 -x101 -x102 -x103 -x104 -x105 -x106 1782.67/1783.16 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1782.67/1783.16 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1782.67/1783.16 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1782.67/1783.16 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 1782.67/1783.16 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1782.67/1783.16 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1782.67/1783.16 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1782.67/1783.16 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1782.67/1783.16 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1782.67/1783.16 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1782.67/1783.16 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1782.67/1783.16 v -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1782.67/1783.16 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 1782.67/1783.16 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1782.67/1783.16 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1782.67/1783.16 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1782.67/1783.16 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1782.67/1783.16 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1782.67/1783.16 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1782.67/1783.16 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1782.67/1783.16 v -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1782.67/1783.16 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1782.67/1783.16 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 1782.67/1783.16 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1782.67/1783.16 v -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1782.67/1783.16 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1782.67/1783.16 v -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1782.67/1783.16 v -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1782.67/1783.16 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x51 -x52 x53 -x54 x55 -x56 -x57 -x58 x59 -x60 x61 -x62 1782.67/1783.16 v -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 1782.67/1783.16 v -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100
OK -13
Linearizing /tmp/evaluation/455402-1178042741/instance-455402-1178042741.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-455402-1178042741 -o ROOT/results/node41/solver-455402-1178042741 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455402-1178042741/instance-455402-1178042741.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.91 1.12 1.10 3/77 2470 /proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=0 CPUtime=0 /proc/2470/stat : 2470 (runsolver) R 2468 2470 20852 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 252186013 0 0 18446744073709551615 0 0 0 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0 /proc/2470/statm: 0 0 0 0 0 0 0 [startup+0.055303 s] /proc/loadavg: 0.91 1.12 1.10 3/77 2470 /proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=3088 CPUtime=0.04 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 399 0 0 0 4 0 0 0 18 0 1 0 252186013 3162112 370 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 772 370 205 16 0 211 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3088 [startup+0.101306 s] /proc/loadavg: 0.91 1.12 1.10 3/77 2470 /proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=3088 CPUtime=0.09 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 416 0 0 0 9 0 0 0 18 0 1 0 252186013 3162112 387 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 772 387 205 16 0 211 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.301324 s] /proc/loadavg: 0.91 1.12 1.10 3/77 2470 /proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=3352 CPUtime=0.29 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 468 0 0 0 29 0 0 0 19 0 1 0 252186013 3432448 439 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 838 439 205 16 0 277 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3352 [startup+0.701359 s] /proc/loadavg: 0.91 1.12 1.10 3/77 2470 /proc/meminfo: memFree=1714456/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=3484 CPUtime=0.69 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 524 0 0 0 69 0 0 0 22 0 1 0 252186013 3567616 495 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 871 495 205 16 0 310 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3484 [startup+1.50243 s] /proc/loadavg: 0.91 1.12 1.10 2/78 2471 /proc/meminfo: memFree=1712976/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=3744 CPUtime=1.48 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 577 0 0 0 148 0 0 0 25 0 1 0 252186013 3833856 548 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 936 548 205 16 0 375 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 3744 [startup+3.10157 s] /proc/loadavg: 0.91 1.12 1.10 2/78 2471 /proc/meminfo: memFree=1712720/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=3992 CPUtime=3.09 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 644 0 0 0 308 1 0 0 25 0 1 0 252186013 4087808 615 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 998 615 205 16 0 437 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3992 [startup+6.30185 s] /proc/loadavg: 0.92 1.12 1.09 2/78 2471 /proc/meminfo: memFree=1712408/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=4248 CPUtime=6.28 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 687 0 0 0 627 1 0 0 25 0 1 0 252186013 4349952 658 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1062 658 205 16 0 501 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 4248 [startup+12.7014 s] /proc/loadavg: 0.92 1.12 1.09 2/78 2471 /proc/meminfo: memFree=1712224/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=4460 CPUtime=12.68 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 755 0 0 0 1265 3 0 0 25 0 1 0 252186013 4567040 726 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1115 726 205 16 0 554 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4460 [startup+25.5015 s] /proc/loadavg: 1.02 1.13 1.10 2/78 2471 /proc/meminfo: memFree=1712096/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=4592 CPUtime=25.48 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 790 0 0 0 2541 7 0 0 25 0 1 0 252186013 4702208 761 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1148 761 205 16 0 587 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 4592 [startup+51.1017 s] /proc/loadavg: 1.01 1.12 1.09 2/78 2471 /proc/meminfo: memFree=1711968/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=4820 CPUtime=51.07 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 857 0 0 0 5092 15 0 0 25 0 1 0 252186013 4935680 828 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1205 828 205 16 0 644 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 4820 [startup+102.305 s] /proc/loadavg: 1.00 1.10 1.09 2/78 2471 /proc/meminfo: memFree=1711520/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=5252 CPUtime=102.26 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 950 0 0 0 10198 28 0 0 25 0 1 0 252186013 5378048 921 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1313 921 205 16 0 752 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 5252 [startup+162.301 s] /proc/loadavg: 1.00 1.08 1.08 2/78 2471 /proc/meminfo: memFree=1711328/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=5468 CPUtime=162.25 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 996 0 0 0 16180 45 0 0 25 0 1 0 252186013 5599232 967 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1367 967 205 16 0 806 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 5468 [startup+222.302 s] /proc/loadavg: 1.00 1.06 1.07 2/78 2471 /proc/meminfo: memFree=1711072/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=5692 CPUtime=222.23 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1063 0 0 0 22164 59 0 0 25 0 1 0 252186013 5828608 1034 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1423 1034 205 16 0 862 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 5692 [startup+282.302 s] /proc/loadavg: 1.00 1.05 1.07 2/78 2471 /proc/meminfo: memFree=1710944/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=5836 CPUtime=282.22 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1100 0 0 0 28151 71 0 0 25 0 1 0 252186013 5976064 1071 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1459 1071 205 16 0 898 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 5836 [startup+342.302 s] /proc/loadavg: 1.00 1.04 1.06 2/78 2471 /proc/meminfo: memFree=1710816/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=5968 CPUtime=342.21 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1132 0 0 0 34139 82 0 0 25 0 1 0 252186013 6111232 1103 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1492 1103 205 16 0 931 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 5968 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.06 2/78 2471 /proc/meminfo: memFree=1710688/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6096 CPUtime=402.19 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1167 0 0 0 40125 94 0 0 25 0 1 0 252186013 6242304 1138 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1524 1138 205 16 0 963 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 6096 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.05 2/78 2471 /proc/meminfo: memFree=1710688/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6212 CPUtime=462.18 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1195 0 0 0 46111 107 0 0 25 0 1 0 252186013 6361088 1166 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1553 1166 205 16 0 992 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 6212 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.04 2/78 2471 /proc/meminfo: memFree=1710624/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6316 CPUtime=522.16 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1207 0 0 0 52096 120 0 0 25 0 1 0 252186013 6467584 1178 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1579 1178 205 16 0 1018 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 6316 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.04 2/78 2471 /proc/meminfo: memFree=1710560/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6316 CPUtime=582.14 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1225 0 0 0 58084 130 0 0 25 0 1 0 252186013 6467584 1196 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1579 1196 205 16 0 1018 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 6316 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.03 2/78 2471 /proc/meminfo: memFree=1710560/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6316 CPUtime=642.14 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1225 0 0 0 64072 142 0 0 25 0 1 0 252186013 6467584 1196 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1579 1196 205 16 0 1018 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 6316 ################ # More data... # ################ /proc/meminfo: memFree=1710240/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6684 CPUtime=822.09 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1299 0 0 0 82029 180 0 0 25 0 1 0 252186013 6844416 1270 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1671 1270 205 16 0 1110 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 6684 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.01 2/78 2471 /proc/meminfo: memFree=1710240/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6684 CPUtime=882.07 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1301 0 0 0 88018 189 0 0 25 0 1 0 252186013 6844416 1272 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1671 1272 205 16 0 1110 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 6684 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1710176/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6684 CPUtime=942.06 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1321 0 0 0 94008 198 0 0 25 0 1 0 252186013 6844416 1292 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1671 1292 205 16 0 1110 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 6684 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1710176/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6684 CPUtime=1002.04 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1321 0 0 0 99995 209 0 0 25 0 1 0 252186013 6844416 1292 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1671 1292 205 16 0 1110 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 6684 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6960 CPUtime=1062.04 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1363 0 0 0 105986 218 0 0 25 0 1 0 252186013 7127040 1334 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1740 1334 205 16 0 1179 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 6960 [startup+1122.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 2471 /proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6960 CPUtime=1122.01 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1374 0 0 0 111972 229 0 0 25 0 1 0 252186013 7127040 1345 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1740 1345 205 16 0 1179 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 6960 [startup+1182.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 2471 /proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6960 CPUtime=1182.01 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1378 0 0 0 117961 240 0 0 25 0 1 0 252186013 7127040 1349 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527436 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1740 1349 205 16 0 1179 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 6960 [startup+1242.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6960 CPUtime=1241.99 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1378 0 0 0 123947 252 0 0 25 0 1 0 252186013 7127040 1349 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556334 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1740 1349 205 16 0 1179 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 6960 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709984/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=6960 CPUtime=1301.98 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1378 0 0 0 129933 265 0 0 25 0 1 0 252186013 7127040 1349 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1740 1349 205 16 0 1179 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 6960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 2471 /proc/meminfo: memFree=1709856/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7092 CPUtime=1361.96 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1395 0 0 0 135920 276 0 0 25 0 1 0 252186013 7262208 1366 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1773 1366 205 16 0 1212 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 7092 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709856/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7092 CPUtime=1421.95 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1395 0 0 0 141907 288 0 0 25 0 1 0 252186013 7262208 1366 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1773 1366 205 16 0 1212 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 7092 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709792/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7092 CPUtime=1481.94 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1419 0 0 0 147895 299 0 0 25 0 1 0 252186013 7262208 1390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528063 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1773 1390 205 16 0 1212 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 7092 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709792/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7212 CPUtime=1541.92 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1426 0 0 0 153881 311 0 0 25 0 1 0 252186013 7385088 1397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1803 1397 205 16 0 1242 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 7212 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709600/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7324 CPUtime=1601.9 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1459 0 0 0 159870 320 0 0 25 0 1 0 252186013 7499776 1430 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520169 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1831 1430 205 16 0 1270 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 7324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709600/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7324 CPUtime=1661.88 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1464 0 0 0 165856 332 0 0 25 0 1 0 252186013 7499776 1435 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1831 1435 205 16 0 1270 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 7324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709600/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7324 CPUtime=1721.88 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1474 0 0 0 171844 344 0 0 25 0 1 0 252186013 7499776 1445 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1831 1445 205 16 0 1270 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 7324 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709536/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7324 CPUtime=1781.86 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1480 0 0 0 177831 355 0 0 25 0 1 0 252186013 7499776 1451 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1831 1451 205 16 0 1270 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 7324 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709536/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7324 CPUtime=1782.26 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1480 0 0 0 177871 355 0 0 25 0 1 0 252186013 7499776 1451 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1831 1451 205 16 0 1270 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 7324 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2471 /proc/meminfo: memFree=1709536/2055920 swapFree=4169228/4192956 [pid=2470] ppid=2468 vsize=7324 CPUtime=1782.67 /proc/2470/stat : 2470 (Pueblo) R 2468 2470 20852 0 -1 4194304 1480 0 0 0 177912 355 0 0 25 0 1 0 252186013 7499776 1451 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2470/statm: 1831 1451 205 16 0 1270 0 Current children cumulated CPU time (s) 1782.67 Current children cumulated vsize (KiB) 7324 Child status: 10 Real time (s): 1783.17 CPU time (s): 1782.73 CPU user time (s): 1779.18 CPU system time (s): 3.55546 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 7336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.18 system time used= 3.55546 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1487 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= 2264 runsolver used 1.43278 second user time and 3.89541 second system time The end
Begin job on node41 on Tue May 1 18:05:41 UTC 2007 IDJOB= 455402 IDBENCH= 48261 IDSOLVER= 165 FILE ID= node41/455402-1178042741 PBS_JOBID= 4728441 Free space on /tmp= 66562 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb COMMAND LINE= Pueblo /tmp/evaluation/455402-1178042741/instance-455402-1178042741.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-455402-1178042741 -o ROOT/results/node41/conversion-455402-1178042741 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455402-1178042741/instance-455402-1178042741.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-455402-1178042741 -o ROOT/results/node41/solver-455402-1178042741 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455402-1178042741/instance-455402-1178042741.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED= 485067741 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1714928 kB Buffers: 130636 kB Cached: 110096 kB SwapCached: 2572 kB Active: 196420 kB Inactive: 76944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1714928 kB SwapTotal: 4192956 kB SwapFree: 4169228 kB Dirty: 2464 kB Writeback: 0 kB Mapped: 37508 kB Slab: 52948 kB Committed_AS: 7489724 kB PageTables: 2028 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= 66562 MiB End job on node41 on Tue May 1 18:35:25 UTC 2007