Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 6116 | 1800.11 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb |
MD5SUM | a8708c855e8ec8c2a31771025318bb9b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4822 |
Best CPU time to get the best result obtained on this benchmark | 121.089 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4822 |
Optimality of the best value was proved | YES |
Number of variables | 771 |
Total number of constraints | 1951 |
Number of constraints which are clauses | 1949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
Number of terms in the objective function | 771 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 33355 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 33355 |
Number of bits of the biggest sum of numbers | 16 |
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/458787-1178643548/instance-458787-1178643548.opb ...... 0.00/0.03 c done parsing opb. 0.00/0.03 o 30994 0.00/0.03 o 30971 0.00/0.04 o 30965 0.00/0.04 o 30946 0.00/0.04 o 30937 0.00/0.05 o 30913 0.00/0.05 o 28379 0.00/0.05 o 28232 0.00/0.06 o 28066 0.00/0.06 o 28053 0.00/0.06 o 28043 0.00/0.07 o 28029 0.00/0.07 o 28015 0.00/0.07 o 28014 0.00/0.08 o 27999 0.00/0.08 o 27987 0.00/0.08 o 27962 0.00/0.08 o 27926 0.00/0.09 o 27912 0.08/0.09 o 27903 0.08/0.09 o 27894 0.09/0.10 o 27880 0.09/0.10 o 19725 0.09/0.10 o 19627 0.09/0.11 o 19618 0.09/0.12 o 12028 0.09/0.12 o 11740 0.09/0.12 o 11722 0.09/0.12 o 11694 0.09/0.12 o 11691 0.09/0.12 o 11688 0.09/0.13 o 11666 0.09/0.13 o 11659 0.09/0.13 o 11655 0.09/0.13 o 11642 0.09/0.13 o 11640 0.09/0.14 o 11632 0.09/0.14 o 10821 0.09/0.14 o 10739 0.09/0.14 o 10656 0.09/0.15 o 10561 0.09/0.15 o 10449 0.09/0.15 o 10425 0.09/0.15 o 10398 0.09/0.15 o 10379 0.09/0.15 o 10365 0.09/0.16 o 10351 0.09/0.16 o 10343 0.09/0.16 o 10334 0.09/0.16 o 10088 0.09/0.16 o 10081 31.58/31.67 o 10061 31.58/31.67 o 9973 31.58/31.67 o 9931 31.58/31.67 o 9906 31.58/31.67 o 9881 31.58/31.68 o 9873 31.58/31.68 o 9872 31.58/31.68 o 9864 31.58/31.68 o 9855 31.58/31.68 o 9830 31.58/31.68 o 9805 31.58/31.69 o 9780 31.58/31.69 o 9763 31.58/31.69 o 9738 31.58/31.69 o 9721 31.58/31.69 o 9704 31.58/31.69 o 9695 31.58/31.70 o 9687 31.68/31.70 o 9679 31.68/31.70 o 9670 31.68/31.70 o 9653 31.68/31.70 o 9636 31.68/31.70 o 9611 31.68/31.71 o 9594 31.68/31.71 o 9586 31.68/31.71 o 9561 31.68/31.71 o 9552 31.68/31.71 o 9543 31.68/31.71 o 9519 31.68/31.72 o 9518 31.68/31.72 o 9510 31.68/31.72 o 9502 31.68/31.72 o 9493 31.68/31.72 o 9476 31.68/31.72 o 9468 31.68/31.72 o 9459 31.68/31.73 o 9451 31.68/31.73 o 9434 31.68/31.73 o 9426 31.68/31.73 o 9418 31.68/31.73 o 9402 31.68/31.73 o 9401 31.68/31.74 o 9398 31.68/31.74 o 9391 31.68/31.74 o 9378 31.68/31.74 o 9356 31.68/31.74 o 9351 31.68/31.74 o 9332 31.68/31.75 o 9307 31.68/31.75 o 9292 31.68/31.75 o 9291 31.68/31.75 o 9288 31.68/31.75 o 9282 31.68/31.75 o 9258 31.68/31.75 o 9256 31.68/31.76 o 9247 31.68/31.76 o 9242 31.68/31.76 o 9233 31.68/31.76 o 9225 31.68/31.76 o 9224 31.68/31.76 o 9206 31.68/31.77 o 9195 31.68/31.77 o 9183 31.68/31.77 o 9158 31.68/31.77 o 9141 31.68/31.77 o 9116 31.68/31.77 o 9103 31.68/31.77 o 9096 31.68/31.78 o 9084 31.68/31.78 o 9080 31.68/31.78 o 9071 31.68/31.78 o 9054 31.68/31.78 o 9035 31.68/31.78 o 9010 31.68/31.78 o 9008 31.68/31.79 o 8990 31.68/31.79 o 8967 31.68/31.79 o 8942 31.68/31.79 o 8935 31.68/31.79 o 8932 31.68/31.79 o 8927 31.68/31.80 o 8924 31.68/31.80 o 8922 31.79/31.80 o 8913 31.79/31.80 o 8901 31.79/31.80 o 8885 31.79/31.80 o 8875 31.79/31.80 o 8860 31.79/31.81 o 8838 31.79/31.81 o 8820 31.79/31.81 o 8801 31.79/31.81 o 8791 31.79/31.81 o 8790 31.79/31.81 o 8784 31.79/31.81 o 8768 31.79/31.82 o 8748 31.79/31.82 o 8743 31.79/31.82 o 8741 31.79/31.82 o 8718 31.79/31.82 o 8715 31.79/31.82 o 8700 31.79/31.83 o 8683 31.79/31.83 o 8679 31.79/31.83 o 8674 31.79/31.83 o 8655 31.79/31.83 o 8642 31.79/31.83 o 8634 31.79/31.83 o 8610 31.79/31.84 o 8607 31.79/31.84 o 8588 31.79/31.84 o 8573 31.79/31.84 o 8553 31.79/31.84 o 8552 31.79/31.84 o 8550 31.79/31.84 o 8526 31.79/31.85 o 8518 31.79/31.85 o 8499 31.79/31.85 o 8489 31.79/31.85 o 8483 31.79/31.85 o 8474 31.79/31.85 o 8469 31.79/31.85 o 8452 31.79/31.86 o 8450 31.79/31.86 o 8443 31.79/31.86 o 8404 31.79/31.86 o 8305 31.79/31.86 o 8301 31.79/31.86 o 8289 31.79/31.86 o 8270 31.79/31.87 o 8266 31.79/31.87 o 8259 31.79/31.87 o 8256 31.79/31.87 o 8232 31.79/31.87 o 8225 31.79/31.87 o 8203 31.79/31.87 o 8181 31.79/31.88 o 8171 31.79/31.88 o 8168 31.79/31.88 o 8161 31.79/31.88 o 8140 31.79/31.88 o 8127 31.79/31.88 o 8125 31.79/31.88 o 8121 31.79/31.89 o 8114 31.79/31.89 o 8112 31.79/31.89 o 8095 31.79/31.89 o 8084 31.79/31.89 o 8071 31.79/31.89 o 8058 31.79/31.89 o 8049 31.79/31.90 o 8045 31.79/31.90 o 8041 31.79/31.90 o 8026 31.89/31.90 o 8012 31.89/31.90 o 8004 31.89/31.90 o 7990 31.89/31.90 o 7981 31.89/31.91 o 7956 31.89/31.91 o 7955 31.89/31.91 o 7947 31.89/31.91 o 7935 31.89/31.91 o 7929 31.89/31.91 o 7906 31.89/31.91 o 7886 31.89/31.92 o 7885 31.89/31.92 o 7871 31.89/31.92 o 7862 31.89/31.92 o 7861 31.89/31.92 o 7857 31.89/31.92 o 7842 31.89/31.92 o 7839 31.89/31.93 o 7822 31.89/31.93 o 7821 31.89/31.93 o 7812 31.89/31.93 o 7803 31.89/31.93 o 7800 31.89/31.93 o 7795 31.89/31.93 o 7790 31.89/31.94 o 7484 31.89/31.94 o 7233 31.89/31.94 o 7205 31.89/31.94 o 7184 31.89/31.94 o 7166 31.89/31.94 o 7153 31.89/31.95 o 7149 31.89/31.95 o 7120 31.89/31.95 o 7098 31.89/31.95 o 7096 31.89/31.95 o 7091 31.89/31.95 o 7071 31.89/31.95 o 7048 31.89/31.95 o 7023 31.89/31.96 o 7012 31.89/31.96 o 7007 31.89/31.96 o 6982 31.89/31.96 o 6974 31.89/31.96 o 6961 31.89/31.96 o 6952 31.89/31.96 o 6928 31.89/31.97 o 6903 31.89/31.97 o 6882 31.89/31.97 o 6860 31.89/31.97 o 6856 31.89/31.97 o 6836 31.89/31.98 o 6833 79.66/79.80 o 6830 79.76/79.80 o 6829 79.76/79.80 o 6824 79.76/79.81 o 6823 79.76/79.81 o 6818 79.76/79.81 o 6817 79.76/79.81 o 6735 79.76/79.81 o 6726 79.76/79.81 o 6701 79.76/79.81 o 6676 79.76/79.82 o 6659 79.76/79.82 o 6634 79.76/79.82 o 6625 79.76/79.82 o 6609 79.76/79.82 o 6600 79.76/79.82 o 6591 79.76/79.82 o 6568 79.76/79.82 o 6550 79.76/79.82 o 6543 79.76/79.83 o 6534 79.76/79.83 o 6509 79.76/79.83 o 6500 79.76/79.83 o 6491 79.76/79.83 o 6482 79.76/79.83 o 6466 79.76/79.83 o 6441 79.76/79.83 o 6432 79.76/79.83 o 6423 79.76/79.84 o 6407 79.76/79.84 o 6382 79.76/79.84 o 6373 79.76/79.84 o 6348 79.76/79.84 o 6332 79.76/79.84 o 6323 79.76/79.84 o 6298 79.76/79.84 o 6289 79.76/79.84 o 6280 79.76/79.85 o 6255 79.76/79.85 o 6246 79.76/79.85 o 6223 79.76/79.85 o 6221 79.76/79.85 o 6198 79.76/79.85 o 6189 79.76/79.85 o 6173 79.76/79.85 o 6158 79.76/79.86 o 6157 79.76/79.86 o 6132 79.76/79.86 o 6116 1800.08/1800.80 s SATISFIABLE 1800.08/1800.80 v -x1 x10 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 1800.08/1800.80 v -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 x130 x131 x132 -x133 -x134 -x135 x136 x137 -x138 1800.08/1800.80 v -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 1800.08/1800.80 v -x158 -x159 -x16 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 x173 -x174 x175 -x176 -x177 1800.08/1800.80 v -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 1800.08/1800.80 v -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 x21 -x210 -x211 -x212 -x213 -x214 -x215 1800.08/1800.80 v x216 -x217 -x218 -x219 -x22 x220 -x221 x222 -x223 -x224 x225 x226 x227 x228 -x229 -x23 x230 -x231 -x232 -x233 -x234 x235 -x236 1800.08/1800.80 v x237 -x238 x239 -x24 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 x253 x254 -x255 -x256 1800.08/1800.80 v -x257 x258 x259 -x26 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.08/1800.80 v -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x29 -x290 x291 -x292 -x293 -x294 x295 -x296 1800.08/1800.80 v -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 x31 -x310 -x311 -x312 -x313 x314 -x315 1800.08/1800.80 v x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 x323 -x324 -x325 -x326 x327 x328 -x329 x33 -x330 -x331 -x332 -x333 x334 -x335 1800.08/1800.80 v -x336 x337 -x338 x339 -x34 -x340 -x341 x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 x35 x350 -x351 x352 x353 -x354 -x355 -x356 1800.08/1800.80 v -x357 -x358 -x359 x36 x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 x376 1800.08/1800.80 v x377 -x378 -x379 -x38 -x380 x381 x382 x383 x384 -x385 x386 x387 -x388 -x389 -x39 x390 x391 x392 x393 x394 -x395 x396 x397 x398 1800.08/1800.80 v x399 -x4 -x40 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 1800.08/1800.80 v x418 -x419 -x42 -x420 x421 x422 x423 -x424 -x425 -x426 -x427 -x428 x429 x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1800.08/1800.80 v -x438 -x439 x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 1800.08/1800.80 v -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467 -x468 -x469 -x47 x470 x471 x472 -x473 -x474 -x475 -x476 1800.08/1800.80 v -x477 -x478 -x479 x48 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 1800.08/1800.80 v -x496 -x497 -x498 x499 -x5 x50 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 x512 -x513 -x514 1800.08/1800.80 v x515 -x516 -x517 -x518 x519 -x52 x520 -x521 x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 x534 1800.08/1800.80 v x535 -x536 x537 -x538 x539 -x54 x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x55 x550 x551 x552 -x553 -x554 -x555 1800.08/1800.80 v -x556 x557 -x558 -x559 x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x57 -x570 -x571 -x572 x573 -x574 -x575 1800.08/1800.80 v -x576 -x577 -x578 -x579 x58 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 1800.08/1800.80 v -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 1800.08/1800.80 v -x613 -x614 -x615 x616 -x617 -x618 -x619 x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x63 -x630 -x631 -x632 1800.08/1800.80 v x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 1800.08/1800.80 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x67 -x670 1800.08/1800.80 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x69 1800.08/1800.80 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 1800.08/1800.80 v x709 -x71 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 1800.08/1800.80 v -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1800.08/1800.80 v -x747 -x748 -x749 -x75 x750 -x751 x752 -x753 x754 -x755 -x756 -x757 x758 -x759 -x76 -x760 x761 -x762 -x763 x764 -x765 -x766 1800.08/1800.80 v -x767 -x768 -x769 -x77 x770 -x771 x78 -x79 x8 -x80 x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 x9 -x90 -x91 x92 x93 -x94 x95 -x96 1800.08/1800.80 v -x97 -x98 -x99
OK 6116
/tmp/evaluation/458787-1178643548/instance-458787-1178643548.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node76/watcher-458787-1178643548 -o ROOT/results/node76/solver-458787-1178643548 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458787-1178643548/instance-458787-1178643548.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 0.97 0.99 2/69 17543 /proc/meminfo: memFree=1913256/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=1456 CPUtime=0 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 156 0 0 0 0 0 0 0 18 0 1 0 312269361 1490944 139 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586450 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 364 139 86 219 0 141 0 [startup+0.0938931 s] /proc/loadavg: 0.91 0.97 0.99 2/69 17543 /proc/meminfo: memFree=1913256/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=1608 CPUtime=0.08 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 227 0 0 0 8 0 0 0 18 0 1 0 312269361 1646592 210 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 402 210 102 219 0 179 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1608 [startup+0.101895 s] /proc/loadavg: 0.91 0.97 0.99 2/69 17543 /proc/meminfo: memFree=1913256/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=1608 CPUtime=0.09 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 227 0 0 0 9 0 0 0 18 0 1 0 312269361 1646592 210 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 402 210 102 219 0 179 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1608 [startup+0.301934 s] /proc/loadavg: 0.91 0.97 0.99 2/69 17543 /proc/meminfo: memFree=1913256/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=2020 CPUtime=0.29 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 333 0 0 0 28 1 0 0 20 0 1 0 312269361 2068480 316 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 505 316 102 219 0 282 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2020 [startup+0.702012 s] /proc/loadavg: 0.91 0.97 0.99 2/69 17543 /proc/meminfo: memFree=1913256/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=3556 CPUtime=0.69 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 553 0 0 0 68 1 0 0 24 0 1 0 312269361 3641344 536 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 889 536 102 219 0 666 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3556 [startup+1.50117 s] /proc/loadavg: 0.91 0.97 0.99 2/70 17544 /proc/meminfo: memFree=1911072/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=3556 CPUtime=1.49 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 754 0 0 0 147 2 0 0 25 0 1 0 312269361 3641344 737 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 889 737 102 219 0 666 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3556 [startup+3.10148 s] /proc/loadavg: 0.92 0.97 0.99 2/70 17544 /proc/meminfo: memFree=1910048/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=5736 CPUtime=3.09 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 1096 0 0 0 306 3 0 0 25 0 1 0 312269361 5873664 1079 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 1434 1079 102 219 0 1211 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5736 [startup+6.30109 s] /proc/loadavg: 0.92 0.97 0.99 2/70 17544 /proc/meminfo: memFree=1908064/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=5932 CPUtime=6.29 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 1339 0 0 0 625 4 0 0 25 0 1 0 312269361 6074368 1322 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 1483 1322 102 219 0 1260 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5932 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.99 2/70 17544 /proc/meminfo: memFree=1907936/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=6072 CPUtime=12.69 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 1377 0 0 0 1263 6 0 0 25 0 1 0 312269361 6217728 1360 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 1518 1360 102 219 0 1295 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6072 [startup+25.5018 s] /proc/loadavg: 0.94 0.97 0.99 2/70 17544 /proc/meminfo: memFree=1907552/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=6528 CPUtime=25.48 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 1521 0 0 0 2539 9 0 0 25 0 1 0 312269361 6684672 1455 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 1632 1455 102 219 0 1409 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 6528 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.99 2/70 17544 /proc/meminfo: memFree=1902624/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=11416 CPUtime=51.07 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 2821 0 0 0 5091 16 0 0 25 0 1 0 312269361 11689984 2658 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 2854 2658 102 219 0 2631 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11416 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/70 17544 /proc/meminfo: memFree=1901664/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=12924 CPUtime=102.25 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 3267 0 0 0 10206 19 0 0 25 0 1 0 312269361 13234176 2911 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 3231 2911 102 219 0 3008 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 12924 [startup+162.301 s] /proc/loadavg: 1.06 0.99 1.00 2/76 17718 /proc/meminfo: memFree=1898920/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=13412 CPUtime=162.17 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 3557 0 0 0 16193 24 0 0 25 0 1 0 312269361 13733888 3201 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 3353 3201 102 219 0 3130 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 13412 [startup+222.302 s] /proc/loadavg: 1.05 1.00 1.00 2/70 17742 /proc/meminfo: memFree=1894432/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=24084 CPUtime=222.13 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 5367 0 0 0 22181 32 0 0 25 0 1 0 312269361 24662016 4626 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 6021 4626 102 219 0 5798 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 24084 [startup+282.302 s] /proc/loadavg: 1.02 1.00 1.00 2/70 17742 /proc/meminfo: memFree=1892768/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=24648 CPUtime=282.11 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 5762 0 0 0 28173 38 0 0 25 0 1 0 312269361 25239552 5021 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 6162 5021 102 219 0 5939 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 24648 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 17742 /proc/meminfo: memFree=1888352/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=25416 CPUtime=342.08 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 6849 0 0 0 34165 43 0 0 25 0 1 0 312269361 26025984 6108 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 6354 6108 102 219 0 6131 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 25416 [startup+402.302 s] /proc/loadavg: 1.05 1.01 1.00 2/70 17742 /proc/meminfo: memFree=1887072/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=45400 CPUtime=402.07 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 7952 0 0 0 40157 50 0 0 25 0 1 0 312269361 46489600 6442 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 11350 6442 102 219 0 11127 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 45400 [startup+462.301 s] /proc/loadavg: 1.02 1.01 1.00 2/70 17742 /proc/meminfo: memFree=1883872/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=45976 CPUtime=462.05 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 8779 0 0 0 46149 56 0 0 25 0 1 0 312269361 47079424 7269 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 11494 7269 102 219 0 11271 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 45976 [startup+522.303 s] /proc/loadavg: 1.10 1.03 1.01 2/70 17742 /proc/meminfo: memFree=1882464/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=46608 CPUtime=522.02 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 9082 0 0 0 52140 62 0 0 25 0 1 0 312269361 47726592 7572 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 11652 7572 102 219 0 11429 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 46608 [startup+582.302 s] /proc/loadavg: 1.07 1.04 1.01 2/70 17742 /proc/meminfo: memFree=1881696/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=47012 CPUtime=582 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 9308 0 0 0 58134 66 0 0 25 0 1 0 312269361 48140288 7798 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 11753 7798 102 219 0 11530 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 47012 [startup+642.301 s] /proc/loadavg: 1.06 1.04 1.01 2/70 17742 /proc/meminfo: memFree=1880736/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=47436 CPUtime=641.99 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 9522 0 0 0 64128 71 0 0 25 0 1 0 312269361 48574464 8012 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 11859 8012 102 219 0 11636 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 47436 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.12 1.07 1.01 2/70 17742 /proc/meminfo: memFree=1878176/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=48696 CPUtime=821.92 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 10212 0 0 0 82112 80 0 0 25 0 1 0 312269361 49864704 8702 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 12174 8702 102 219 0 11951 0 Current children cumulated CPU time (s) 821.92 Current children cumulated vsize (KiB) 48696 [startup+882.302 s] /proc/loadavg: 1.10 1.07 1.01 2/70 17742 /proc/meminfo: memFree=1877216/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=55212 CPUtime=881.9 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 11968 0 0 0 88105 85 0 0 25 0 1 0 312269361 56537088 8921 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 13803 8921 102 219 0 13580 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 55212 [startup+942.301 s] /proc/loadavg: 1.10 1.07 1.01 2/70 17742 /proc/meminfo: memFree=1874720/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=55740 CPUtime=941.88 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 12574 0 0 0 94097 91 0 0 25 0 1 0 312269361 57077760 9527 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 13935 9527 102 219 0 13712 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 55740 [startup+1002.3 s] /proc/loadavg: 1.08 1.07 1.01 2/70 17742 /proc/meminfo: memFree=1873952/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=56288 CPUtime=1001.86 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 12770 0 0 0 100090 96 0 0 25 0 1 0 312269361 57638912 9723 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14072 9723 102 219 0 13849 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 56288 [startup+1062.3 s] /proc/loadavg: 1.08 1.07 1.01 2/70 17742 /proc/meminfo: memFree=1873184/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=56736 CPUtime=1061.84 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 12953 0 0 0 106084 100 0 0 25 0 1 0 312269361 58097664 9906 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14184 9906 102 219 0 13961 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 56736 [startup+1122.3 s] /proc/loadavg: 1.15 1.08 1.01 2/70 17742 /proc/meminfo: memFree=1872416/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=57344 CPUtime=1121.81 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 13137 0 0 0 112076 105 0 0 25 0 1 0 312269361 58720256 10090 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14336 10090 102 219 0 14113 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 57344 [startup+1182.3 s] /proc/loadavg: 1.10 1.08 1.01 2/70 17742 /proc/meminfo: memFree=1871840/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=57344 CPUtime=1181.8 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 13294 0 0 0 118071 109 0 0 25 0 1 0 312269361 58720256 10247 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14336 10247 102 219 0 14113 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 57344 [startup+1242.3 s] /proc/loadavg: 1.07 1.08 1.01 2/70 17742 /proc/meminfo: memFree=1871072/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=57848 CPUtime=1241.77 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 13462 0 0 0 124065 112 0 0 25 0 1 0 312269361 59236352 10415 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14462 10415 102 219 0 14239 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 57848 [startup+1302.3 s] /proc/loadavg: 1.06 1.08 1.01 2/70 17742 /proc/meminfo: memFree=1870176/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=57972 CPUtime=1301.76 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 13682 0 0 0 130061 115 0 0 25 0 1 0 312269361 59363328 10635 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14493 10635 102 219 0 14270 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 57972 [startup+1362.3 s] /proc/loadavg: 1.06 1.07 1.01 2/70 17742 /proc/meminfo: memFree=1869472/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=58508 CPUtime=1361.74 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 13863 0 0 0 136055 119 0 0 25 0 1 0 312269361 59912192 10816 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14627 10816 102 219 0 14404 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 58508 [startup+1422.3 s] /proc/loadavg: 1.12 1.09 1.02 2/70 17742 /proc/meminfo: memFree=1868832/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=59076 CPUtime=1421.72 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 14027 0 0 0 142049 123 0 0 25 0 1 0 312269361 60493824 10980 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14769 10980 102 219 0 14546 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 59076 [startup+1482.3 s] /proc/loadavg: 1.16 1.10 1.02 2/70 17742 /proc/meminfo: memFree=1868128/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=59076 CPUtime=1481.69 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 14191 0 0 0 148042 127 0 0 25 0 1 0 312269361 60493824 11144 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14769 11144 102 219 0 14546 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 59076 [startup+1542.3 s] /proc/loadavg: 1.11 1.09 1.02 2/70 17742 /proc/meminfo: memFree=1867424/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=59808 CPUtime=1541.68 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 14357 0 0 0 154037 131 0 0 25 0 1 0 312269361 61243392 11310 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14952 11310 102 219 0 14729 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 59808 [startup+1602.3 s] /proc/loadavg: 1.11 1.09 1.02 2/70 17742 /proc/meminfo: memFree=1866784/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=59808 CPUtime=1601.65 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 14510 0 0 0 160030 135 0 0 25 0 1 0 312269361 61243392 11463 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 14952 11463 102 219 0 14729 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 59808 [startup+1662.3 s] /proc/loadavg: 1.03 1.07 1.01 2/70 17742 /proc/meminfo: memFree=1866144/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=60452 CPUtime=1661.63 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 14671 0 0 0 166023 140 0 0 25 0 1 0 312269361 61902848 11624 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 15113 11624 102 219 0 14890 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 60452 [startup+1722.3 s] /proc/loadavg: 1.01 1.06 1.01 2/70 17742 /proc/meminfo: memFree=1865440/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=60452 CPUtime=1721.61 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 14830 0 0 0 172018 143 0 0 25 0 1 0 312269361 61902848 11783 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 15113 11783 102 219 0 14890 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 60452 [startup+1782.3 s] /proc/loadavg: 1.00 1.04 1.00 2/70 17742 /proc/meminfo: memFree=1864864/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=61136 CPUtime=1781.59 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 14981 0 0 0 178013 146 0 0 25 0 1 0 312269361 62603264 11934 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 15284 11934 102 219 0 15061 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 61136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.04 1.00 2/70 17742 /proc/meminfo: memFree=1864672/2055888 swapFree=4087224/4096564 [pid=17543] ppid=17541 vsize=61136 CPUtime=1800.08 /proc/17543/stat : 17543 (PBS4_SAT07v2) R 17541 17543 17003 0 -1 4194304 15028 0 0 0 179861 147 0 0 25 0 1 0 312269361 62603264 11981 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17543/statm: 15284 11981 102 219 0 15061 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 61136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.11 CPU user time (s): 1798.62 CPU system time (s): 1.48777 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 61136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.62 system time used= 1.48777 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15031 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= 9 involuntary context switches= 1767 runsolver used 1.48377 second user time and 3.49447 second system time The end
Begin job on node76 on Tue May 8 16:59:08 UTC 2007 IDJOB= 458787 IDBENCH= 2018 IDSOLVER= 200 FILE ID= node76/458787-1178643548 PBS_JOBID= 5218346 Free space on /tmp= 66649 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458787-1178643548/instance-458787-1178643548.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node76/convwatcher-458787-1178643548 -o ROOT/results/node76/conversion-458787-1178643548 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458787-1178643548/instance-458787-1178643548.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-458787-1178643548 -o ROOT/results/node76/solver-458787-1178643548 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458787-1178643548/instance-458787-1178643548.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED= 443155464 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277 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 : 6006.17 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.277 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1913728 kB Buffers: 3200 kB Cached: 22828 kB SwapCached: 2668 kB Active: 66564 kB Inactive: 6496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1913728 kB SwapTotal: 4096564 kB SwapFree: 4087224 kB Dirty: 2352 kB Writeback: 0 kB Mapped: 53336 kB Slab: 55428 kB Committed_AS: 5806024 kB PageTables: 1512 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66649 MiB End job on node76 on Tue May 8 17:29:11 UTC 2007