Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | OPT | 6 | 446.237 | 446.506 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_4.opb |
MD5SUM | 7b38b4ead930b62d925cf473e2cdd798 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 2.34764 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6 |
Optimality of the best value was proved | YES |
Number of variables | 50 |
Total number of constraints | 50 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 50 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 17 |
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 | 50 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 614 |
Sum of products size (including duplicates) | 1228 |
Number of different products | 614 |
Sum of products size | 1228 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459674-1178658031/instance-459674-1178658031.opb ...... 0.00/0.01 c done parsing opb. 0.00/0.01 o 25 0.00/0.01 o 19 0.00/0.01 o 18 0.00/0.01 o 17 0.00/0.01 o 16 0.00/0.01 o 15 0.00/0.01 o 14 0.00/0.01 o 13 0.00/0.01 o 12 0.00/0.01 o 11 0.00/0.02 o 10 0.00/0.02 o 9 0.00/0.02 o 8 0.00/0.02 o 7 1.99/2.08 o 6 446.12/446.49 o 6 446.12/446.49 s OPTIMUM FOUND 446.12/446.49 c Total Run Time 446.211 446.12/446.49 v -x1 -x10 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 446.12/446.49 v -x119 -x12 x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 446.12/446.49 v x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 446.12/446.49 v -x159 -x16 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 446.12/446.49 v x178 x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 x190 -x191 x192 -x193 x194 -x195 -x196 -x197 446.12/446.49 v -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 446.12/446.49 v -x217 -x218 x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 446.12/446.49 v -x236 -x237 -x238 -x239 x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 x25 -x250 -x251 -x252 -x253 -x254 -x255 446.12/446.49 v -x256 -x257 x258 x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 446.12/446.49 v -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 x294 446.12/446.49 v -x295 -x296 x297 -x298 -x299 -x3 -x30 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x31 -x310 x311 x312 -x313 -x314 446.12/446.49 v x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 446.12/446.49 v -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 446.12/446.49 v -x353 x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 x37 -x370 -x371 -x372 446.12/446.49 v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 446.12/446.49 v -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x4 x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 446.12/446.49 v x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 x419 -x42 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 446.12/446.49 v -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x45 446.12/446.49 v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 446.12/446.49 v -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 446.12/446.49 v -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x5 -x50 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 446.12/446.49 v -x508 -x509 -x51 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 446.12/446.49 v -x527 -x528 -x529 x53 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 x541 -x542 x543 -x544 -x545 -x546 446.12/446.49 v -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 446.12/446.49 v x566 x567 x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x58 -x580 x581 -x582 -x583 -x584 -x585 446.12/446.49 v -x586 -x587 -x588 -x589 -x59 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 x601 -x602 -x603 -x604 446.12/446.49 v -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 x622 -x623 446.12/446.49 v -x624 -x625 -x626 -x627 -x628 -x629 x63 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 x642 -x643 446.12/446.49 v -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 x662 446.12/446.49 v -x663 -x664 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 -x8 -x80 -x81 x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 446.12/446.49 v -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 6
Linearizing /tmp/evaluation/459674-1178658031/instance-459674-1178658031.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-459674-1178658031 -o ROOT/results/node13/solver-459674-1178658031 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459674-1178658031/instance-459674-1178658031.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28780 /proc/meminfo: memFree=1590136/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=1456 CPUtime=0 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 313720980 1490944 140 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 364 140 86 219 0 141 0 [startup+0.0939849 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28780 /proc/meminfo: memFree=1590136/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=1728 CPUtime=0.09 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 244 0 0 0 9 0 0 0 18 0 1 0 313720980 1769472 226 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 432 226 102 219 0 209 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1728 [startup+0.101986 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28780 /proc/meminfo: memFree=1590136/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=1728 CPUtime=0.09 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 246 0 0 0 9 0 0 0 18 0 1 0 313720980 1769472 228 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 432 228 102 219 0 209 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1728 [startup+0.302028 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28780 /proc/meminfo: memFree=1590136/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=1728 CPUtime=0.29 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 305 0 0 0 29 0 0 0 19 0 1 0 313720980 1769472 287 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 432 287 102 219 0 209 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1728 [startup+0.701114 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28780 /proc/meminfo: memFree=1590136/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=2112 CPUtime=0.69 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 380 0 0 0 69 0 0 0 22 0 1 0 313720980 2162688 362 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 528 362 102 219 0 305 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2112 [startup+1.50128 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28781 /proc/meminfo: memFree=1588720/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=2820 CPUtime=1.48 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 526 0 0 0 148 0 0 0 25 0 1 0 313720980 2887680 508 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 705 508 102 219 0 482 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 2820 [startup+3.10163 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28781 /proc/meminfo: memFree=1587632/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=4168 CPUtime=3.09 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 946 0 0 0 307 2 0 0 25 0 1 0 313720980 4268032 879 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 1042 879 102 219 0 819 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4168 [startup+6.30131 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28781 /proc/meminfo: memFree=1585016/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=7136 CPUtime=6.29 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 1567 0 0 0 625 4 0 0 25 0 1 0 313720980 7307264 1403 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 1784 1403 102 219 0 1561 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7136 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.99 2/78 28781 /proc/meminfo: memFree=1581496/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=12684 CPUtime=12.69 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 2578 0 0 0 1262 7 0 0 25 0 1 0 313720980 12988416 2221 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 3171 2221 102 219 0 2948 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12684 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 28781 /proc/meminfo: memFree=1576888/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=22412 CPUtime=25.48 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 3666 0 0 0 2536 12 0 0 25 0 1 0 313720980 22949888 3309 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 5603 3309 102 219 0 5380 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22412 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/84 28897 /proc/meminfo: memFree=1569536/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=25912 CPUtime=51.02 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 5604 0 0 0 5080 22 0 0 25 0 1 0 313720980 26533888 4862 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28780/statm: 6478 4862 102 219 0 6255 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 25912 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1561528/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=32948 CPUtime=102.16 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 8618 0 0 0 10181 35 0 0 25 0 1 0 313720980 33738752 7107 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 8237 7107 102 219 0 8014 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 32948 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1555320/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=51768 CPUtime=162.13 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 10187 0 0 0 16163 50 0 0 25 0 1 0 313720980 53010432 8676 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 12942 8676 102 219 0 12719 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 51768 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1551416/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=53736 CPUtime=222.11 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 11124 0 0 0 22147 64 0 0 25 0 1 0 313720980 55025664 9613 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 13434 9613 102 219 0 13211 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 53736 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1547896/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=61216 CPUtime=282.08 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 13553 0 0 0 28133 75 0 0 25 0 1 0 313720980 62685184 10505 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 15304 10505 102 219 0 15081 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 61216 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1539512/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=62992 CPUtime=342.06 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 15647 0 0 0 34122 84 0 0 25 0 1 0 313720980 64503808 12599 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 15748 12599 102 219 0 15525 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 62992 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1533432/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=64520 CPUtime=402.04 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 17211 0 0 0 40111 93 0 0 25 0 1 0 313720980 66068480 14163 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 16130 14163 102 219 0 15907 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 64520 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1532280/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=64652 CPUtime=409.24 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 17464 0 0 0 40830 94 0 0 25 0 1 0 313720980 66203648 14416 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 16163 14416 102 219 0 15940 0 Current children cumulated CPU time (s) 409.24 Current children cumulated vsize (KiB) 64652 [startup+422.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1531448/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=65308 CPUtime=422.04 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 17629 0 0 0 42108 96 0 0 25 0 1 0 313720980 66875392 14581 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 16327 14581 102 219 0 16104 0 Current children cumulated CPU time (s) 422.04 Current children cumulated vsize (KiB) 65308 [startup+435.103 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1529976/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=98852 CPUtime=434.83 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 18013 0 0 0 43386 97 0 0 25 0 1 0 313720980 101224448 14932 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 24713 14932 102 219 0 24490 0 Current children cumulated CPU time (s) 434.83 Current children cumulated vsize (KiB) 98852 [startup+441.501 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1529848/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=99256 CPUtime=441.23 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 18106 0 0 0 44025 98 0 0 25 0 1 0 313720980 101638144 15025 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135016403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 24814 15025 102 219 0 24591 0 Current children cumulated CPU time (s) 441.23 Current children cumulated vsize (KiB) 99256 [startup+444.702 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1529080/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=99852 CPUtime=444.43 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 18293 0 0 0 44345 98 0 0 25 0 1 0 313720980 102248448 15212 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 24963 15212 102 219 0 24740 0 Current children cumulated CPU time (s) 444.43 Current children cumulated vsize (KiB) 99852 [startup+445.504 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1528888/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=99852 CPUtime=445.23 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 18295 0 0 0 44425 98 0 0 25 0 1 0 313720980 102248448 15214 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544711 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 24963 15214 102 219 0 24740 0 Current children cumulated CPU time (s) 445.23 Current children cumulated vsize (KiB) 99852 [startup+446.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1528888/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=99852 CPUtime=446.02 /proc/28780/stat : 28780 (PBS4_SAT07v2) R 28778 28780 28290 0 -1 4194304 18298 0 0 0 44504 98 0 0 25 0 1 0 313720980 102248448 15217 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28780/statm: 24963 15217 102 219 0 24740 0 Current children cumulated CPU time (s) 446.02 Current children cumulated vsize (KiB) 99852 [startup+446.501 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28979 /proc/meminfo: memFree=1575672/2055920 swapFree=4159396/4192956 [pid=28780] ppid=28778 vsize=0 CPUtime=446.22 /proc/28780/stat : 28780 (PBS4_SAT07v2) D 28778 28780 28290 0 -1 4194308 18305 0 0 0 44523 99 0 0 25 0 1 0 313720980 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/28780/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 446.22 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 446.506 CPU time (s): 446.237 CPU user time (s): 445.239 CPU system time (s): 0.997848 CPU usage (%): 99.9398 Max. virtual memory (cumulated for all children) (KiB): 99852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 445.239 system time used= 0.997848 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18305 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= 6 involuntary context switches= 614 runsolver used 0.386941 second user time and 1.03284 second system time The end
Begin job on node13 on Tue May 8 21:00:31 UTC 2007 IDJOB= 459674 IDBENCH= 48135 IDSOLVER= 200 FILE ID= node13/459674-1178658031 PBS_JOBID= 5218007 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_10_4.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459674-1178658031/instance-459674-1178658031.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-459674-1178658031 -o ROOT/results/node13/conversion-459674-1178658031 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459674-1178658031/instance-459674-1178658031.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-459674-1178658031 -o ROOT/results/node13/solver-459674-1178658031 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459674-1178658031/instance-459674-1178658031.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 7b38b4ead930b62d925cf473e2cdd798 RANDOM SEED= 127269703 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1590544 kB Buffers: 45584 kB Cached: 327348 kB SwapCached: 12696 kB Active: 180164 kB Inactive: 216280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1590544 kB SwapTotal: 4192956 kB SwapFree: 4159396 kB Dirty: 2320 kB Writeback: 0 kB Mapped: 30544 kB Slab: 54412 kB Committed_AS: 9711808 kB PageTables: 1872 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 node13 on Tue May 8 21:07:58 UTC 2007