Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-skc 0.8.0 | SAT (TO) | 5668 | 1800.66 | 1801.2 |
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 | 132.429 |
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 c 0.00 c wildcat-skc (VERSION 0.8.0-lite-skc-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:27:47 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node20/33145-1149401882/instance-33145-1149401882.opb 418509407 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 418509407 0.00 c Noise: 0.1 (10 : 100) 0.01 c Starting searching: 0.01 c Phase 1 ... 0.01 c trying 33355: vc 0.01 o 18332 0.01 c trying 12220: vc 0.01 o 12146 0.02 c trying 8096: vc 0.03 o 8091 17.62 c trying 5393: xxxxxxxxxxc 17.62 c Phase 2 ... 17.63 c trying 8090: vc 17.63 o 8074 17.63 c trying 8073: vc 17.63 o 8018 17.63 c trying 8017: vc 17.63 o 7976 17.64 c trying 7975: vc 17.64 o 7961 17.65 c trying 7960: vc 17.65 o 7936 17.65 c trying 7935: vc 17.65 o 7861 17.65 c trying 7860: vc 17.65 o 7844 17.67 c trying 7843: vc 17.67 o 7825 17.67 c trying 7824: vc 17.67 o 7803 17.68 c trying 7802: vc 17.68 o 7792 17.69 c trying 7791: vc 17.69 o 7767 17.70 c trying 7766: vc 17.70 o 7741 17.70 c trying 7740: vc 17.70 o 7718 17.71 c trying 7717: vc 17.71 o 7709 17.71 c trying 7708: vc 17.71 o 7695 17.72 c trying 7694: vc 17.72 o 7686 17.72 c trying 7685: vc 17.72 o 7683 17.73 c trying 7682: vc 17.73 o 7660 17.73 c trying 7659: vc 17.73 o 7638 17.74 c trying 7637: vc 17.74 o 7634 17.74 c trying 7633: vc 17.74 o 7600 17.75 c trying 7599: vc 17.75 o 7587 17.75 c trying 7586: vc 17.75 o 7549 17.76 c trying 7548: vc 17.76 o 7533 17.77 c trying 7532: vc 17.77 o 7514 17.77 c trying 7513: vc 17.77 o 7491 17.78 c trying 7490: vc 17.78 o 7486 17.78 c trying 7485: vc 17.78 o 7480 17.79 c trying 7479: vc 17.79 o 7479 17.79 c trying 7478: vc 17.79 o 7465 17.80 c trying 7464: vc 17.80 o 7464 17.81 c trying 7463: vc 17.81 o 7458 17.82 c trying 7457: vc 17.82 o 7435 17.83 c trying 7434: vc 17.83 o 7401 17.84 c trying 7400: vc 17.84 o 7391 17.84 c trying 7390: vc 17.84 o 7354 17.85 c trying 7353: vc 17.85 o 7344 17.86 c trying 7343: vc 17.86 o 7309 17.86 c trying 7308: vc 17.86 o 7291 17.87 c trying 7290: vc 17.87 o 7277 17.88 c trying 7276: vc 17.88 o 7274 17.89 c trying 7273: vc 17.89 o 7249 17.89 c trying 7248: vc 17.89 o 7248 17.90 c trying 7247: vc 17.90 o 7246 17.91 c trying 7245: vc 17.91 o 7212 17.91 c trying 7211: vc 17.91 o 7186 17.92 c trying 7185: vc 17.92 o 7161 17.94 c trying 7160: vc 17.94 o 7159 17.94 c trying 7158: vc 17.94 o 7156 17.95 c trying 7155: vc 17.95 o 7131 17.96 c trying 7130: vc 17.96 o 7113 17.96 c trying 7112: vc 17.96 o 7099 17.97 c trying 7098: vc 17.97 o 7067 17.99 c trying 7066: vc 17.99 o 7064 18.00 c trying 7063: vc 18.00 o 7057 18.01 c trying 7056: vc 18.01 o 7027 18.01 c trying 7026: vc 18.01 o 7002 18.03 c trying 7001: vc 18.03 o 6955 18.03 c trying 6954: vc 18.03 o 6935 18.04 c trying 6934: vc 18.04 o 6922 18.05 c trying 6921: vc 18.05 o 6889 18.06 c trying 6888: vc 18.06 o 6875 18.07 c trying 6874: vc 18.07 o 6863 18.08 c trying 6862: vc 18.08 o 6859 18.09 c trying 6858: vc 18.09 o 6850 18.10 c trying 6849: vc 18.10 o 6834 18.11 c trying 6833: vc 18.11 o 6799 18.14 c trying 6798: vc 18.14 o 6768 18.15 c trying 6767: vc 18.15 o 6736 18.16 c trying 6735: vc 18.16 o 6726 18.18 c trying 6725: vc 18.18 o 6698 18.22 c trying 6697: vc 18.22 o 6679 18.23 c trying 6678: vc 18.23 o 6647 18.26 c trying 6646: vc 18.26 o 6641 18.27 c trying 6640: vc 18.27 o 6619 18.31 c trying 6618: vc 18.31 o 6613 18.33 c trying 6612: vc 18.33 o 6593 18.34 c trying 6592: vc 18.34 o 6590 18.36 c trying 6589: vc 18.36 o 6588 18.40 c trying 6587: vc 18.40 o 6562 18.44 c trying 6561: vc 18.44 o 6557 18.45 c trying 6556: vc 18.45 o 6522 18.49 c trying 6521: vc 18.49 o 6521 18.58 c trying 6520: vc 18.58 o 6496 18.60 c trying 6495: vc 18.60 o 6477 18.63 c trying 6476: vc 18.63 o 6467 18.74 c trying 6466: vc 18.74 o 6449 18.77 c trying 6448: vc 18.77 o 6433 18.81 c trying 6432: vc 18.81 o 6424 18.87 c trying 6423: vc 18.87 o 6423 18.89 c trying 6422: vc 18.89 o 6407 19.07 c trying 6406: vc 19.07 o 6389 19.12 c trying 6388: vc 19.12 o 6364 19.25 c trying 6363: vc 19.25 o 6358 19.46 c trying 6357: vc 19.46 o 6338 19.52 c trying 6337: vc 19.52 o 6337 19.64 c trying 6336: vc 19.64 o 6320 19.74 c trying 6319: vc 19.74 o 6318 19.83 c trying 6317: vc 19.83 o 6313 19.90 c trying 6312: vc 19.90 o 6311 19.94 c trying 6310: vc 19.94 o 6291 20.06 c trying 6290: vc 20.06 o 6286 20.16 c trying 6285: vc 20.16 o 6262 20.47 c trying 6261: vc 20.47 o 6257 20.55 c trying 6256: vc 20.55 o 6254 20.70 c trying 6253: vc 20.70 o 6241 20.92 c trying 6240: vc 20.92 o 6239 20.98 c trying 6238: vc 20.98 o 6194 21.38 c trying 6193: vc 21.38 o 6182 21.45 c trying 6181: vc 21.45 o 6156 21.65 c trying 6155: vc 21.65 o 6154 21.74 c trying 6153: vc 21.74 o 6136 22.13 c trying 6135: vc 22.13 o 6111 22.22 c trying 6110: vc 22.22 o 6108 22.45 c trying 6107: vc 22.45 o 6103 22.83 c trying 6102: vc 22.83 o 6074 23.62 c trying 6073: vc 23.62 o 6073 23.82 c trying 6072: vc 23.82 o 6044 24.13 c trying 6043: vc 24.13 o 6036 24.81 c trying 6035: vc 24.81 o 6033 25.32 c trying 6032: vc 25.32 o 6000 27.55 c trying 5999: vc 27.55 o 5996 30.46 c trying 5995: vc 30.46 o 5976 30.94 c trying 5975: vc 30.94 o 5975 32.68 c trying 5974: vc 32.68 o 5925 33.66 c trying 5924: vc 33.66 o 5923 38.69 c trying 5922: vc 38.69 o 5922 44.58 c trying 5921: vc 44.58 o 5916 45.38 c trying 5915: vc 45.38 o 5893 49.22 c trying 5892: vc 49.22 o 5888 49.85 c trying 5887: vc 49.85 o 5881 59.78 c trying 5880: xvc 59.78 o 5879 64.09 c trying 5878: vc 64.09 o 5846 101.62 c trying 5845: xxxxxvc 101.62 o 5829 174.66 c trying 5828: xxxxxxxxxxc 174.66 c Phase 3 ... 208.18 c trying 5828 again: vc 208.18 o 5801 219.33 c trying 5800 again: vc 219.33 o 5800 251.07 c trying 5799 again: vc 251.07 o 5795 294.11 c trying 5794 again: vc 294.11 o 5786 406.20 c trying 5785 again: vc 406.20 o 5783 429.67 c trying 5782 again: vc 429.67 o 5773 526.19 c trying 5772 again: vc 526.19 o 5733 557.22 c trying 5732 again: vc 557.22 o 5716 965.44 c trying 5715 again: vc 965.44 o 5697 1679.28 c trying 5696 again: xvc 1679.28 o 5668 1801.19 c trying 5667 again: xc 1801.19 s SATISFIABLE 1801.19 v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1801.19 v -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 x55 x56 1801.19 v x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1801.19 v -x84 x85 -x86 x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 x107 x108 1801.19 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 x120 x121 -x122 -x123 -x124 x125 x126 -x127 -x128 -x129 -x130 1801.19 v x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 x149 -x150 -x151 1801.19 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 x169 -x170 -x171 -x172 1801.19 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 1801.19 v x194 x195 x196 -x197 x198 -x199 -x200 x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 x209 x210 -x211 -x212 -x213 -x214 -x215 1801.19 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 x225 x226 x227 x228 -x229 x230 -x231 x232 -x233 -x234 x235 -x236 x237 1801.19 v -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1801.19 v -x259 x260 x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 1801.19 v -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 x289 x290 x291 -x292 -x293 -x294 x295 x296 -x297 -x298 -x299 x300 x301 x302 x303 1801.19 v x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 1801.19 v x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 x337 x338 x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 1801.19 v -x347 -x348 -x349 x350 x351 x352 x353 x354 -x355 -x356 x357 -x358 x359 -x360 x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 1801.19 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 x385 -x386 -x387 -x388 -x389 x390 1801.19 v -x391 -x392 -x393 x394 -x395 x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 x407 -x408 x409 x410 -x411 -x412 1801.19 v -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 1801.19 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 1801.19 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 x472 -x473 -x474 -x475 1801.19 v -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 1801.19 v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 1801.19 v x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 1801.19 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 1801.19 v -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 x575 x576 -x577 -x578 x579 -x580 -x581 1801.19 v -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 1801.19 v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 1801.19 v -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 1801.19 v x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 1801.19 v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1801.19 v -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 x705 -x706 -x707 1801.19 v -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 1801.19 v -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 1801.19 v x750 -x751 -x752 -x753 -x754 x755 -x756 x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 1801.19 c Total Number of Positive Atoms : 140 1801.19 c 1801.19 c During searching: 1679.27 seconds elapsed. 1801.19 c CPU time spent: 1679 seconds. 1801.19 c 1801.19 c =================================== END ===================================== 1801.19 c
OK 5668
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-33145-1149401882 -o ROOT/results/node20/solver-33145-1149401882 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node20/33145-1149401882/instance-33145-1149401882.opb 418509407 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.97 0.96 0.97 2/64 9653 /proc/meminfo: memFree=1858072/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6000 CPUtime=0 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 205851331 6144000 142 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1500 142 105 226 0 1271 0 [startup+10.0018 s] /proc/loadavg: 0.97 0.96 0.97 2/64 9653 /proc/meminfo: memFree=1857256/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=9.99 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 999 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6628 [startup+20.008 s] /proc/loadavg: 0.98 0.96 0.97 2/64 9653 /proc/meminfo: memFree=1857256/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=20 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 2000 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605211 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 6628 [startup+30.0142 s] /proc/loadavg: 0.98 0.96 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=30 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 3000 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6628 [startup+40.0204 s] /proc/loadavg: 0.98 0.96 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=40 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 4000 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607782 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6628 [startup+50.0267 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=50 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 5000 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134551571 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 6628 [startup+60.0329 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=60.01 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 6001 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605229 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 6628 [startup+70.0391 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=70.01 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 7001 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134550016 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 6628 [startup+80.0453 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=80.01 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 8001 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 6628 [startup+90.0515 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857384/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=90.02 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 9002 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 6628 [startup+100.058 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857384/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=100.02 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 10002 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 6628 [startup+110.064 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857384/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=110.02 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 11002 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601307 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 6628 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857384/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=120.03 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 12003 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134550095 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 6628 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857384/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=130.03 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 13003 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 6628 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857384/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=140.03 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 14003 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 6628 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=150.03 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 15003 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 6628 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=160.04 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 16004 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 6628 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=170.04 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 17004 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134603840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 6628 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=180.05 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 18005 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601350 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 6628 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=190.05 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 19005 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605248 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 6628 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=200.05 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 20005 0 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601328 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 6628 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.97 2/64 9653 /proc/meminfo: memFree=1857320/2055920 swapFree=4181440/4192956 ################ # More data... # ################ [pid=9653] ppid=9651 vsize=6628 CPUtime=1781.56 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 178154 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134544246 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 6628 [startup+1783.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1782.56 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 178254 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 6628 [startup+1784.11 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1783.57 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 178355 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 6628 [startup+1785.11 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1784.57 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 178455 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134577731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 6628 [startup+1786.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1785.58 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 178556 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 6628 [startup+1787.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1786.58 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 178656 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598346 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 6628 [startup+1788.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1787.59 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 178757 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134567352 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 6628 [startup+1789.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1788.59 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 178857 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605248 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 6628 [startup+1790.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1789.59 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 178957 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 6628 [startup+1791.14 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1790.6 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179058 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601384 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 6628 [startup+1792.14 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1791.6 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179158 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605237 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 6628 [startup+1793.15 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1792.61 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179259 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605237 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 6628 [startup+1794.16 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1793.61 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179359 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 6628 [startup+1795.16 s] /proc/loadavg: 1.00 0.99 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1794.62 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179460 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134603875 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 6628 [startup+1796.17 s] /proc/loadavg: 1.08 1.00 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1795.62 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179560 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 6628 [startup+1797.17 s] /proc/loadavg: 1.08 1.00 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1796.63 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179661 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 6628 [startup+1798.17 s] /proc/loadavg: 1.08 1.00 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1797.63 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179761 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 6628 [startup+1799.18 s] /proc/loadavg: 1.08 1.00 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1798.64 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179862 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601088 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 6628 [startup+1800.18 s] /proc/loadavg: 1.07 1.00 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1799.64 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 179962 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134577188 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 6628 [startup+1801.19 s] /proc/loadavg: 1.07 1.00 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1800.65 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 180063 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 6628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.07 1.00 0.98 2/64 9655 /proc/meminfo: memFree=1856744/2055920 swapFree=4181440/4192956 [pid=9653] ppid=9651 vsize=6628 CPUtime=1800.65 /proc/9653/stat : 9653 (wildcat-skc) R 9651 9653 9607 0 -1 4194304 325 0 0 0 180063 2 0 0 25 0 1 0 205851331 6787072 301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598368 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9653/statm: 1657 301 117 226 0 1428 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 6628 Sending SIGTERM to -9653 Sleeping 2 seconds Child status: 0 Real time (s): 1801.2 CPU time (s): 1800.66 CPU user time (s): 1800.64 CPU system time (s): 0.025996 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (Kb): 6628
Begin job on node20 on Sun Jun 4 06:18:02 UTC 2006 FILE ID= 33145-1149401882 PBS_JOBID= 314066 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node20/33145-1149401882/instance-33145-1149401882.opb 418509407 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-33145-1149401882 -o ROOT/results/node20/solver-33145-1149401882 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node20/33145-1149401882/instance-33145-1149401882.opb 418509407 MD5SUM SOLVER= e3d27fcb27e96c4c5fdaee74465b047d MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED= 418509407 /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.236 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.236 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: 1858280 kB Buffers: 6740 kB Cached: 123484 kB SwapCached: 3192 kB Active: 32708 kB Inactive: 106164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858280 kB SwapTotal: 4192956 kB SwapFree: 4181440 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14708 kB Slab: 44804 kB Committed_AS: 411296 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node20 on Sun Jun 4 06:48:04 UTC 2006