Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -13 | 1782.74 | 1783.22 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb |
MD5SUM | 26861ca996cf8fd2abe5c211e1f47a26 |
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.06 |
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) | 1220 |
Sum of products size (including duplicates) | 2440 |
Number of different products | 610 |
Sum of products size | 1220 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.02 c starting to Solve 0.00/0.02 c #variables read: 710 - #constraints read: 1373 0.00/0.02 o 0 0.00/0.02 o 1 0.00/0.02 o 2 0.00/0.02 o 3 0.00/0.02 o 4 0.00/0.02 o 5 0.00/0.02 o 6 0.00/0.02 o 7 0.00/0.03 o 8 0.00/0.03 o 9 0.00/0.03 o 10 0.00/0.05 o 11 1.19/1.21 o 12 607.42/607.65 o 13 1782.71/1783.21 c total time : 1783 s 1782.71/1783.21 s SATISFIABLE 1782.71/1783.21 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.71/1783.21 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.71/1783.21 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1782.71/1783.21 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1782.71/1783.21 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1782.71/1783.21 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1782.71/1783.21 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1782.71/1783.21 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1782.71/1783.21 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1782.71/1783.21 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1782.71/1783.21 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1782.71/1783.21 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1782.71/1783.21 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 1782.71/1783.21 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1782.71/1783.21 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 1782.71/1783.21 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1782.71/1783.21 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1782.71/1783.21 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1782.71/1783.21 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1782.71/1783.21 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1782.71/1783.21 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1782.71/1783.21 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1782.71/1783.21 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1782.71/1783.21 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1782.71/1783.21 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 1782.71/1783.21 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1782.71/1783.21 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 1782.71/1783.21 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1782.71/1783.21 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1782.71/1783.21 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1782.71/1783.21 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x51 -x52 -x53 -x54 -x55 -x56 1782.71/1783.21 v -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 1782.71/1783.21 v -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 x98 -x99 x100
OK -13
Linearizing /tmp/evaluation/454892-1178033353/instance-454892-1178033353.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-454892-1178033353 -o ROOT/results/node57/solver-454892-1178033353 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/454892-1178033353/instance-454892-1178033353.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.72 0.92 0.97 3/64 3426 /proc/meminfo: memFree=1888456/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=2552 CPUtime=0 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 244471254 2613248 234 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7859927 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 638 235 199 16 0 77 0 [startup+0.089085 s] /proc/loadavg: 0.72 0.92 0.97 3/64 3426 /proc/meminfo: memFree=1888456/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=3088 CPUtime=0.08 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 412 0 0 0 8 0 0 0 18 0 1 0 244471254 3162112 383 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 772 383 205 16 0 211 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3088 [startup+0.102086 s] /proc/loadavg: 0.72 0.92 0.97 3/64 3426 /proc/meminfo: memFree=1888456/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=3220 CPUtime=0.09 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 427 0 0 0 9 0 0 0 18 0 1 0 244471254 3297280 398 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 805 398 205 16 0 244 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3220 [startup+0.302103 s] /proc/loadavg: 0.72 0.92 0.97 3/64 3426 /proc/meminfo: memFree=1888456/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=3352 CPUtime=0.29 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 489 0 0 0 29 0 0 0 19 0 1 0 244471254 3432448 460 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 838 460 205 16 0 277 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3352 [startup+0.701139 s] /proc/loadavg: 0.72 0.92 0.97 3/64 3426 /proc/meminfo: memFree=1888456/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=3616 CPUtime=0.69 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 531 0 0 0 69 0 0 0 22 0 1 0 244471254 3702784 502 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 904 502 205 16 0 343 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3616 [startup+1.50121 s] /proc/loadavg: 0.72 0.92 0.97 2/65 3427 /proc/meminfo: memFree=1887104/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=3736 CPUtime=1.49 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 575 0 0 0 149 0 0 0 25 0 1 0 244471254 3825664 546 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 934 546 205 16 0 373 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3736 [startup+3.10134 s] /proc/loadavg: 0.72 0.92 0.97 2/65 3427 /proc/meminfo: memFree=1886912/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=3864 CPUtime=3.08 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 601 0 0 0 308 0 0 0 25 0 1 0 244471254 3956736 572 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 966 572 205 16 0 405 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 3864 [startup+6.30162 s] /proc/loadavg: 0.74 0.92 0.97 2/65 3427 /proc/meminfo: memFree=1886536/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=4128 CPUtime=6.28 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 661 0 0 0 627 1 0 0 25 0 1 0 244471254 4227072 632 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1032 632 205 16 0 471 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 4128 [startup+12.7012 s] /proc/loadavg: 0.76 0.92 0.97 2/65 3427 /proc/meminfo: memFree=1886288/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=4348 CPUtime=12.68 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 738 0 0 0 1264 4 0 0 25 0 1 0 244471254 4452352 709 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1087 709 205 16 0 526 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4348 [startup+25.5013 s] /proc/loadavg: 0.81 0.93 0.97 2/65 3427 /proc/meminfo: memFree=1885912/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=4604 CPUtime=25.48 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 797 0 0 0 2541 7 0 0 25 0 1 0 244471254 4714496 768 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1151 768 205 16 0 590 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 4604 [startup+51.1015 s] /proc/loadavg: 0.87 0.93 0.97 2/65 3428 /proc/meminfo: memFree=1885400/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=4924 CPUtime=51.07 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 877 0 0 0 5094 13 0 0 25 0 1 0 244471254 5042176 848 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1231 848 205 16 0 670 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 4924 [startup+102.306 s] /proc/loadavg: 0.94 0.94 0.97 2/65 3429 /proc/meminfo: memFree=1885144/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=5440 CPUtime=102.26 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 998 0 0 0 10201 25 0 0 25 0 1 0 244471254 5570560 969 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1360 969 205 16 0 799 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 5440 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.97 2/65 3429 /proc/meminfo: memFree=1884952/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=5656 CPUtime=162.24 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1044 0 0 0 16184 40 0 0 25 0 1 0 244471254 5791744 1015 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134533487 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1414 1015 205 16 0 853 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 5656 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.97 2/65 3429 /proc/meminfo: memFree=1884824/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=5656 CPUtime=222.23 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1063 0 0 0 22166 57 0 0 25 0 1 0 244471254 5791744 1034 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1414 1034 205 16 0 853 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 5656 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.97 2/65 3429 /proc/meminfo: memFree=1884632/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=5976 CPUtime=282.21 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1123 0 0 0 28151 70 0 0 25 0 1 0 244471254 6119424 1094 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1494 1094 205 16 0 933 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 5976 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1884248/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=6196 CPUtime=342.2 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1198 0 0 0 34136 84 0 0 25 0 1 0 244471254 6344704 1169 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1549 1169 205 16 0 988 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 6196 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1884120/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=6396 CPUtime=402.18 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1244 0 0 0 40122 96 0 0 25 0 1 0 244471254 6549504 1215 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1599 1215 205 16 0 1038 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 6396 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883992/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=6528 CPUtime=462.17 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1274 0 0 0 46109 108 0 0 25 0 1 0 244471254 6684672 1245 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1632 1245 205 16 0 1071 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 6528 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883864/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=6636 CPUtime=522.15 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1296 0 0 0 52093 122 0 0 25 0 1 0 244471254 6795264 1267 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1659 1267 205 16 0 1098 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 6636 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883800/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=6652 CPUtime=582.13 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1310 0 0 0 58077 136 0 0 25 0 1 0 244471254 6811648 1281 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1663 1281 205 16 0 1102 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 6652 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883608/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=6900 CPUtime=642.12 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1353 0 0 0 64064 148 0 0 25 0 1 0 244471254 7065600 1324 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1725 1324 205 16 0 1164 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 6900 ################ # More data... # ################ /proc/meminfo: memFree=1883416/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7000 CPUtime=882.06 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1389 0 0 0 88016 190 0 0 25 0 1 0 244471254 7168000 1360 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1750 1360 205 16 0 1189 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 7000 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883416/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7000 CPUtime=942.04 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1389 0 0 0 94003 201 0 0 25 0 1 0 244471254 7168000 1360 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1750 1360 205 16 0 1189 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 7000 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883352/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7000 CPUtime=1002.02 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1389 0 0 0 99988 214 0 0 25 0 1 0 244471254 7168000 1360 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1750 1360 205 16 0 1189 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 7000 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883224/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7080 CPUtime=1062 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1419 0 0 0 105973 227 0 0 25 0 1 0 244471254 7249920 1390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1770 1390 205 16 0 1209 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 7080 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883224/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7080 CPUtime=1121.99 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1419 0 0 0 111960 239 0 0 25 0 1 0 244471254 7249920 1390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1770 1390 205 16 0 1209 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 7080 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883288/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7080 CPUtime=1181.97 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1419 0 0 0 117946 251 0 0 25 0 1 0 244471254 7249920 1390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1770 1390 205 16 0 1209 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 7080 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883224/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7080 CPUtime=1241.96 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1419 0 0 0 123931 265 0 0 25 0 1 0 244471254 7249920 1390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1770 1390 205 16 0 1209 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 7080 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883224/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7080 CPUtime=1301.95 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1419 0 0 0 129916 279 0 0 25 0 1 0 244471254 7249920 1390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1770 1390 205 16 0 1209 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 7080 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883096/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7212 CPUtime=1361.92 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1440 0 0 0 135903 289 0 0 25 0 1 0 244471254 7385088 1411 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1803 1411 205 16 0 1242 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 7212 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883096/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7304 CPUtime=1421.91 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1450 0 0 0 141890 301 0 0 25 0 1 0 244471254 7479296 1421 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1826 1421 205 16 0 1265 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 7304 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883032/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7256 CPUtime=1481.9 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1461 0 0 0 147876 314 0 0 25 0 1 0 244471254 7430144 1432 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527162 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1814 1432 205 16 0 1253 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 7256 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1883032/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7364 CPUtime=1541.88 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1471 0 0 0 153860 328 0 0 25 0 1 0 244471254 7540736 1442 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1841 1442 205 16 0 1280 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 7364 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1882968/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7332 CPUtime=1601.86 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1471 0 0 0 159844 342 0 0 25 0 1 0 244471254 7507968 1442 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1833 1442 205 16 0 1272 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 7332 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1882968/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7464 CPUtime=1661.84 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1502 0 0 0 165832 352 0 0 25 0 1 0 244471254 7643136 1473 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1866 1474 205 16 0 1305 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 7464 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1882520/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7640 CPUtime=1721.83 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1576 0 0 0 171823 360 0 0 25 0 1 0 244471254 7823360 1532 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1910 1532 205 16 0 1349 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 7640 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1882392/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7876 CPUtime=1781.81 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1617 0 0 0 177818 363 0 0 25 0 1 0 244471254 8065024 1573 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1969 1573 205 16 0 1408 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 7876 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1882392/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7876 CPUtime=1782.21 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1617 0 0 0 177858 363 0 0 25 0 1 0 244471254 8065024 1573 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1969 1573 205 16 0 1408 0 Current children cumulated CPU time (s) 1782.21 Current children cumulated vsize (KiB) 7876 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1882392/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7876 CPUtime=1782.62 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1617 0 0 0 177899 363 0 0 25 0 1 0 244471254 8065024 1573 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1969 1573 205 16 0 1408 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (KiB) 7876 [startup+1783.2 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3429 /proc/meminfo: memFree=1882392/2055920 swapFree=4183136/4192956 [pid=3426] ppid=3424 vsize=7876 CPUtime=1782.71 /proc/3426/stat : 3426 (Pueblo) R 3424 3426 3286 0 -1 4194304 1617 0 0 0 177908 363 0 0 25 0 1 0 244471254 8065024 1573 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559418 0 0 4096 0 0 0 0 17 1 0 0 /proc/3426/statm: 1969 1573 205 16 0 1408 0 Current children cumulated CPU time (s) 1782.71 Current children cumulated vsize (KiB) 7876 Child status: 10 Real time (s): 1783.22 CPU time (s): 1782.74 CPU user time (s): 1779.1 CPU system time (s): 3.64045 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 7900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.1 system time used= 3.64045 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1624 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= 13 involuntary context switches= 3043 runsolver used 1.38379 second user time and 3.48847 second system time The end
Begin job on node57 on Tue May 1 15:29:13 UTC 2007 IDJOB= 454892 IDBENCH= 48227 IDSOLVER= 165 FILE ID= node57/454892-1178033353 PBS_JOBID= 4728433 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_1.opb COMMAND LINE= Pueblo /tmp/evaluation/454892-1178033353/instance-454892-1178033353.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-454892-1178033353 -o ROOT/results/node57/conversion-454892-1178033353 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454892-1178033353/instance-454892-1178033353.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-454892-1178033353 -o ROOT/results/node57/solver-454892-1178033353 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/454892-1178033353/instance-454892-1178033353.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26 RANDOM SEED= 866369922 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1888864 kB Buffers: 32888 kB Cached: 69944 kB SwapCached: 3520 kB Active: 76672 kB Inactive: 38224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1888864 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 2628 kB Writeback: 0 kB Mapped: 15156 kB Slab: 38280 kB Committed_AS: 4699928 kB PageTables: 1408 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 node57 on Tue May 1 15:58:56 UTC 2007