Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 16 | 1800.06 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir04_area_delay.opb |
MD5SUM | ea4ff8014cd873922b6021da249fa157 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 0.232963 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | YES |
Number of variables | 741 |
Total number of constraints | 2072 |
Number of constraints which are clauses | 2072 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31 |
Number of terms in the objective function | 360 |
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 | 360 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 360 |
Number of bits of the biggest sum of numbers | 9 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb ...... 0.00/0.01 c done parsing opb. 0.00/0.01 o 85 0.00/0.02 o 84 0.00/0.02 o 83 0.00/0.02 o 82 0.00/0.02 o 81 0.00/0.02 o 80 0.00/0.02 o 79 0.00/0.02 o 78 0.00/0.02 o 77 0.00/0.02 o 76 0.00/0.02 o 75 0.00/0.02 o 74 0.00/0.02 o 73 0.00/0.02 o 72 0.00/0.02 o 71 0.00/0.03 o 70 0.00/0.03 o 69 0.00/0.03 o 68 0.00/0.03 o 66 0.00/0.03 o 65 0.00/0.03 o 64 0.00/0.03 o 63 0.00/0.03 o 62 0.00/0.03 o 61 0.00/0.03 o 60 0.00/0.03 o 59 0.00/0.03 o 58 0.00/0.03 o 57 0.00/0.03 o 56 0.03/0.04 o 55 3.19/3.26 o 54 3.19/3.27 o 53 3.19/3.27 o 52 3.19/3.27 o 51 3.19/3.27 o 50 3.19/3.27 o 49 3.19/3.27 o 48 3.19/3.27 o 47 3.19/3.27 o 46 3.19/3.27 o 45 3.19/3.27 o 44 3.19/3.27 o 43 3.19/3.27 o 42 3.19/3.27 o 41 3.19/3.27 o 40 3.19/3.27 o 39 3.29/3.38 o 38 3.79/3.85 o 37 3.79/3.86 o 36 3.79/3.86 o 35 3.79/3.86 o 34 3.79/3.86 o 33 3.79/3.86 o 32 3.79/3.86 o 31 3.79/3.86 o 30 3.79/3.86 o 29 3.79/3.86 o 28 3.79/3.86 o 27 3.79/3.86 o 26 3.79/3.86 o 25 3.79/3.86 o 24 3.89/3.96 o 23 4.30/4.31 o 22 4.59/4.62 o 21 4.99/5.09 o 20 5.29/5.36 o 19 5.39/5.44 o 18 15.59/15.66 o 17 556.45/556.69 o 16 1800.04/1800.50 s SATISFIABLE 1800.04/1800.50 v x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 -x118 1800.04/1800.50 v -x119 -x12 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 1800.04/1800.50 v -x139 x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x15 x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 1800.04/1800.50 v -x159 -x16 -x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 -x169 x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1800.04/1800.50 v -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1800.04/1800.50 v -x199 -x2 x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.04/1800.50 v -x218 x219 x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x23 -x230 x231 x232 -x233 -x234 -x235 -x236 -x237 1800.04/1800.50 v -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x25 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 1800.04/1800.50 v -x258 -x259 x26 -x260 x261 x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1800.04/1800.50 v -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.04/1800.50 v -x297 -x298 -x299 x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 1800.04/1800.50 v -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x33 -x330 -x331 -x332 -x333 -x334 1800.04/1800.50 v -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x35 -x350 -x351 -x352 -x353 1800.04/1800.50 v -x354 -x355 -x356 -x357 -x358 -x359 x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x37 -x370 -x371 -x372 1800.04/1800.50 v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 1800.04/1800.50 v x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x41 -x410 1800.04/1800.50 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 1800.04/1800.50 v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 1800.04/1800.50 v x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.04/1800.50 v -x469 x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1800.04/1800.50 v -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 x5 x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1800.04/1800.50 v -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x52 -x520 -x521 -x522 -x523 -x524 -x525 1800.04/1800.50 v -x526 -x527 -x528 -x529 x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544 1800.04/1800.50 v -x545 -x546 -x547 -x548 -x549 x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 1800.04/1800.50 v -x564 -x565 -x566 -x567 -x568 -x569 x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 1800.04/1800.50 v -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x6 x60 -x600 -x601 1800.04/1800.50 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 1800.04/1800.50 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x64 1800.04/1800.50 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1800.04/1800.50 v x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.04/1800.50 v -x679 x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.04/1800.50 v -x698 -x699 x7 x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1800.04/1800.50 v -x717 -x718 -x719 x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735 1800.04/1800.50 v -x736 -x737 -x738 -x739 x74 -x740 -x741 x75 x76 x77 x78 x79 x8 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x9 -x90 -x91 -x92 1800.04/1800.50 v -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 16
/tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-459235-1178652028 -o ROOT/results/node12/solver-459235-1178652028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459235-1178652028/instance-459235-1178652028.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.85 0.97 0.99 3/77 19819 /proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=1456 CPUtime=0 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 341240198 1490944 141 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134531417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 364 141 86 219 0 141 0 [startup+0.043575 s] /proc/loadavg: 0.85 0.97 0.99 3/77 19819 /proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=1672 CPUtime=0.03 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 227 0 0 0 3 0 0 0 18 0 1 0 341240198 1712128 209 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 418 209 102 219 0 195 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1672 [startup+0.10158 s] /proc/loadavg: 0.85 0.97 0.99 3/77 19819 /proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=1672 CPUtime=0.09 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 237 0 0 0 9 0 0 0 18 0 1 0 341240198 1712128 219 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 418 219 102 219 0 195 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1672 [startup+0.301599 s] /proc/loadavg: 0.85 0.97 0.99 3/77 19819 /proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=1928 CPUtime=0.29 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 287 0 0 0 29 0 0 0 19 0 1 0 341240198 1974272 269 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 482 269 102 219 0 259 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1928 [startup+0.701639 s] /proc/loadavg: 0.85 0.97 0.99 3/77 19819 /proc/meminfo: memFree=1649384/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=2440 CPUtime=0.69 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 432 0 0 0 69 0 0 0 23 0 1 0 341240198 2498560 414 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 610 414 102 219 0 387 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2440 [startup+1.50176 s] /proc/loadavg: 0.86 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1647456/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=3660 CPUtime=1.49 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 770 0 0 0 149 0 0 0 25 0 1 0 341240198 3747840 752 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 915 752 102 219 0 692 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3660 [startup+3.10192 s] /proc/loadavg: 0.86 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1645792/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=6032 CPUtime=3.09 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 1348 0 0 0 308 1 0 0 25 0 1 0 341240198 6176768 1281 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 1508 1281 102 219 0 1285 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6032 [startup+6.3012 s] /proc/loadavg: 0.87 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1642976/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=11176 CPUtime=6.29 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 1824 0 0 0 626 3 0 0 25 0 1 0 341240198 11444224 1660 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 2794 1660 102 219 0 2571 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11176 [startup+12.7018 s] /proc/loadavg: 0.88 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1642272/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=11572 CPUtime=12.69 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 1969 0 0 0 1263 6 0 0 25 0 1 0 341240198 11849728 1805 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 2893 1805 102 219 0 2670 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11572 [startup+25.5011 s] /proc/loadavg: 0.90 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1641568/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=12884 CPUtime=25.48 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 2342 0 0 0 2537 11 0 0 25 0 1 0 341240198 13193216 1985 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 3221 1985 102 219 0 2998 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12884 [startup+51.1017 s] /proc/loadavg: 0.94 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1640608/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=13456 CPUtime=51.08 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 2580 0 0 0 5090 18 0 0 25 0 1 0 341240198 13778944 2223 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 3364 2223 102 219 0 3141 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13456 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1637152/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=15736 CPUtime=102.27 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 3828 0 0 0 10199 28 0 0 25 0 1 0 341240198 16113664 3086 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 3934 3086 102 219 0 3711 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15736 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1634080/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=24912 CPUtime=162.25 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 4598 0 0 0 16187 38 0 0 25 0 1 0 341240198 25509888 3856 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 6228 3856 102 219 0 6005 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24912 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1631840/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=25664 CPUtime=222.24 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 5145 0 0 0 22174 50 0 0 25 0 1 0 341240198 26279936 4403 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 6416 4403 102 219 0 6193 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 25664 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1629664/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=26172 CPUtime=282.22 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 5689 0 0 0 28162 60 0 0 25 0 1 0 341240198 26800128 4947 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 6543 4947 102 219 0 6320 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 26172 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1627936/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=29836 CPUtime=342.2 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 6889 0 0 0 34154 66 0 0 25 0 1 0 341240198 30552064 5378 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 7459 5378 102 219 0 7236 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 29836 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1626912/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=30536 CPUtime=402.18 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 7140 0 0 0 40145 73 0 0 25 0 1 0 341240198 31268864 5629 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 7634 5629 102 219 0 7411 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 30536 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1626080/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=31144 CPUtime=462.17 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 7354 0 0 0 46136 81 0 0 25 0 1 0 341240198 31891456 5843 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 7786 5843 102 219 0 7563 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 31144 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1625184/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=31768 CPUtime=522.16 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 7568 0 0 0 52128 88 0 0 25 0 1 0 341240198 32530432 6057 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 7942 6057 102 219 0 7719 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 31768 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1624096/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=32660 CPUtime=582.14 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 7845 0 0 0 58118 96 0 0 25 0 1 0 341240198 33443840 6334 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 8165 6334 102 219 0 7942 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 32660 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1623008/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=33428 CPUtime=642.13 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 8114 0 0 0 64108 105 0 0 25 0 1 0 341240198 34230272 6603 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 8357 6603 102 219 0 8134 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 33428 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19820 /proc/meminfo: memFree=1619488/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=41860 CPUtime=882.07 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 10526 0 0 0 88063 144 0 0 25 0 1 0 341240198 42864640 7478 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 10465 7478 102 219 0 10242 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 41860 [startup+942.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19822 /proc/meminfo: memFree=1618848/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=42336 CPUtime=942.05 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 10680 0 0 0 94054 151 0 0 25 0 1 0 341240198 43352064 7632 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 10584 7632 102 219 0 10361 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 42336 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19822 /proc/meminfo: memFree=1618208/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=42468 CPUtime=1002.04 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 10843 0 0 0 100045 159 0 0 25 0 1 0 341240198 43487232 7795 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 10617 7795 102 219 0 10394 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 42468 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 19822 /proc/meminfo: memFree=1617760/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=42600 CPUtime=1062.02 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 10952 0 0 0 106036 166 0 0 25 0 1 0 341240198 43622400 7904 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 10650 7904 102 219 0 10427 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 42600 [startup+1122.3 s] /proc/loadavg: 1.07 0.99 0.99 2/78 19822 /proc/meminfo: memFree=1616992/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=43360 CPUtime=1122 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 11147 0 0 0 112028 172 0 0 25 0 1 0 341240198 44400640 8099 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 10840 8099 102 219 0 10617 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 43360 [startup+1182.3 s] /proc/loadavg: 1.03 0.99 0.99 2/78 19822 /proc/meminfo: memFree=1616480/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=43492 CPUtime=1182 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 11263 0 0 0 118022 178 0 0 25 0 1 0 341240198 44535808 8215 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 10873 8215 102 219 0 10650 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 43492 [startup+1242.3 s] /proc/loadavg: 1.01 0.99 0.99 2/78 19822 /proc/meminfo: memFree=1614880/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=43888 CPUtime=1241.98 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 11670 0 0 0 124014 184 0 0 25 0 1 0 341240198 44941312 8622 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 10972 8622 102 219 0 10749 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 43888 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 19822 /proc/meminfo: memFree=1613664/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=44272 CPUtime=1301.96 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 11970 0 0 0 130008 188 0 0 25 0 1 0 341240198 45334528 8922 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11068 8922 102 219 0 10845 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 44272 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 19822 /proc/meminfo: memFree=1612192/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=44668 CPUtime=1361.95 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 12337 0 0 0 136002 193 0 0 25 0 1 0 341240198 45740032 9289 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11167 9289 102 219 0 10944 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 44668 [startup+1422.31 s] /proc/loadavg: 1.08 1.00 1.00 2/78 19822 /proc/meminfo: memFree=1611744/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=45208 CPUtime=1421.94 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 12449 0 0 0 141996 198 0 0 25 0 1 0 341240198 46292992 9401 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11302 9401 102 219 0 11079 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 45208 [startup+1482.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 19822 /proc/meminfo: memFree=1610976/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=45468 CPUtime=1481.92 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 12637 0 0 0 147989 203 0 0 25 0 1 0 341240198 46559232 9589 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11367 9589 102 219 0 11144 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 45468 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 19822 /proc/meminfo: memFree=1610464/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=45732 CPUtime=1541.9 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 12771 0 0 0 153982 208 0 0 25 0 1 0 341240198 46829568 9723 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11433 9723 102 219 0 11210 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 45732 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 19822 /proc/meminfo: memFree=1609504/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=46168 CPUtime=1601.89 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13017 0 0 0 159975 214 0 0 25 0 1 0 341240198 47276032 9969 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11542 9969 102 219 0 11319 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 46168 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19822 /proc/meminfo: memFree=1608672/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=46300 CPUtime=1661.87 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13236 0 0 0 165968 219 0 0 25 0 1 0 341240198 47411200 10188 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11575 10188 102 219 0 11352 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 46300 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19822 /proc/meminfo: memFree=1608032/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=46764 CPUtime=1721.86 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13401 0 0 0 171961 225 0 0 25 0 1 0 341240198 47886336 10353 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11691 10353 102 219 0 11468 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 46764 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19822 /proc/meminfo: memFree=1607264/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=47256 CPUtime=1781.84 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13587 0 0 0 177955 229 0 0 25 0 1 0 341240198 48390144 10539 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11814 10539 102 219 0 11591 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 47256 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19822 /proc/meminfo: memFree=1607136/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=47256 CPUtime=1800.04 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13616 0 0 0 179773 231 0 0 25 0 1 0 341240198 48390144 10568 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11814 10568 102 219 0 11591 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 47256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19822 /proc/meminfo: memFree=1607136/2055920 swapFree=4160020/4192956 [pid=19819] ppid=19817 vsize=47256 CPUtime=1800.04 /proc/19819/stat : 19819 (PBS4_SAT07v2) R 19817 19819 19752 0 -1 4194304 13616 0 0 0 179773 231 0 0 25 0 1 0 341240198 48390144 10568 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19819/statm: 11814 10568 102 219 0 11591 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 47256 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.06 CPU user time (s): 1797.73 CPU system time (s): 2.32765 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 47420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.73 system time used= 2.32765 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13619 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= 8 involuntary context switches= 27841 runsolver used 1.46778 second user time and 4.16237 second system time The end
Begin job on node12 on Tue May 8 19:20:28 UTC 2007 IDJOB= 459235 IDBENCH= 25006 IDSOLVER= 200 FILE ID= node12/459235-1178652028 PBS_JOBID= 5218005 Free space on /tmp= 66560 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-459235-1178652028 -o ROOT/results/node12/conversion-459235-1178652028 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-459235-1178652028 -o ROOT/results/node12/solver-459235-1178652028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459235-1178652028/instance-459235-1178652028.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= ea4ff8014cd873922b6021da249fa157 RANDOM SEED= 209475840 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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: 1649728 kB Buffers: 37556 kB Cached: 277056 kB SwapCached: 11448 kB Active: 197172 kB Inactive: 140128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1649728 kB SwapTotal: 4192956 kB SwapFree: 4160020 kB Dirty: 2492 kB Writeback: 0 kB Mapped: 29556 kB Slab: 54408 kB Committed_AS: 10841876 kB PageTables: 1792 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= 66560 MiB End job on node12 on Tue May 8 19:50:31 UTC 2007