Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 2007-03-21 | SAT (TO) | 124 | 1800.04 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb |
MD5SUM | cb09f183d3805e6536d629586026461f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 121 |
Best CPU time to get the best result obtained on this benchmark | 4.75128 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 121 |
Optimality of the best value was proved | YES |
Number of variables | 4688 |
Total number of constraints | 403 |
Number of constraints which are clauses | 403 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 4688 |
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 | 4688 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4688 |
Number of bits of the biggest sum of numbers | 13 |
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 0.00/0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00/0.00 c Developed by L. Liuand M. Truszczynski 0.00/0.00 c Last built on Sun 18 Mar 2007 03:03:40 PM EDT 0.00/0.00 c 0.00/0.00 c /tmp/evaluation/366173-1177057867/wildcat-rnp /tmp/evaluation/366173-1177057867/instance-366173-1177057867.opb 204939601 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 204939601 0.00/0.00 c Noise: 0.7 (70 : 100) 0.19/0.20 c Starting searching: 0.19/0.20 c Phase 1 ... 0.19/0.21 c trying 4688: vc 0.19/0.21 o 2382 0.19/0.23 c trying 2333: vc 0.19/0.23 o 2333 0.19/0.24 c trying 2284: vc 0.19/0.24 o 2284 0.19/0.26 c trying 2236: vc 0.19/0.26 o 2236 0.19/0.28 c trying 2188: vc 0.19/0.28 o 2188 0.29/0.30 c trying 2141: vc 0.29/0.30 o 2141 0.29/0.32 c trying 2094: vc 0.29/0.32 o 2094 0.29/0.34 c trying 2048: vc 0.29/0.34 o 2048 0.29/0.36 c trying 2002: vc 0.29/0.36 o 2002 0.29/0.38 c trying 1957: vc 0.29/0.38 o 1957 0.39/0.40 c trying 1912: vc 0.39/0.40 o 1912 0.39/0.43 c trying 1868: vc 0.39/0.43 o 1868 0.39/0.45 c trying 1824: vc 0.39/0.45 o 1824 0.39/0.48 c trying 1781: vc 0.39/0.48 o 1781 0.49/0.50 c trying 1738: vc 0.49/0.50 o 1738 0.49/0.53 c trying 1696: vc 0.49/0.53 o 1696 0.49/0.56 c trying 1654: vc 0.49/0.56 o 1654 0.49/0.58 c trying 1613: vc 0.49/0.58 o 1613 0.59/0.61 c trying 1572: vc 0.59/0.61 o 1572 0.59/0.64 c trying 1532: vc 0.59/0.64 o 1532 0.59/0.67 c trying 1492: vc 0.59/0.67 o 1492 0.69/0.71 c trying 1453: vc 0.69/0.71 o 1453 0.69/0.74 c trying 1414: vc 0.69/0.74 o 1414 0.69/0.77 c trying 1376: vc 0.69/0.77 o 1376 0.79/0.81 c trying 1338: vc 0.79/0.81 o 1338 0.79/0.84 c trying 1301: vc 0.79/0.84 o 1301 0.79/0.88 c trying 1264: vc 0.79/0.88 o 1264 0.89/0.92 c trying 1228: vc 0.89/0.92 o 1228 0.89/0.95 c trying 1192: vc 0.89/0.95 o 1192 0.89/0.99 c trying 1157: vc 0.89/0.99 o 1157 0.99/1.03 c trying 1122: vc 0.99/1.03 o 1122 0.99/1.07 c trying 1088: vc 0.99/1.07 o 1088 1.09/1.11 c trying 1055: vc 1.09/1.11 o 1055 1.09/1.16 c trying 1022: vc 1.09/1.16 o 1022 1.19/1.20 c trying 990: vc 1.19/1.20 o 990 1.19/1.24 c trying 958: vc 1.19/1.24 o 958 1.19/1.29 c trying 927: vc 1.19/1.29 o 927 1.29/1.33 c trying 896: vc 1.29/1.33 o 896 1.29/1.38 c trying 866: vc 1.29/1.38 o 866 1.39/1.43 c trying 836: vc 1.39/1.43 o 836 1.39/1.48 c trying 807: vc 1.39/1.48 o 807 1.49/1.53 c trying 778: vc 1.49/1.53 o 778 1.49/1.58 c trying 750: vc 1.49/1.58 o 750 1.59/1.63 c trying 722: vc 1.59/1.63 o 722 1.59/1.69 c trying 695: vc 1.59/1.69 o 695 1.69/1.75 c trying 668: vc 1.69/1.75 o 668 1.79/1.80 c trying 642: vc 1.79/1.80 o 642 1.79/1.87 c trying 616: vc 1.79/1.87 o 616 1.89/1.93 c trying 591: vc 1.89/1.93 o 591 1.99/2.00 c trying 566: vc 1.99/2.00 o 566 1.99/2.07 c trying 542: vc 1.99/2.07 o 542 2.09/2.15 c trying 518: vc 2.09/2.15 o 518 2.19/2.23 c trying 495: vc 2.19/2.23 o 495 2.29/2.32 c trying 472: vc 2.29/2.32 o 472 2.39/2.40 c trying 450: vc 2.39/2.40 o 450 2.49/2.50 c trying 428: vc 2.49/2.50 o 428 2.59/2.61 c trying 407: vc 2.59/2.61 o 407 2.69/2.72 c trying 386: vc 2.69/2.72 o 386 2.79/2.85 c trying 366: vc 2.79/2.85 o 366 2.99/3.00 c trying 346: vc 2.99/3.00 o 346 3.09/3.17 c trying 327: vc 3.09/3.17 o 327 3.29/3.37 c trying 308: vc 3.29/3.37 o 308 3.59/3.62 c trying 290: vc 3.59/3.62 o 290 3.79/3.86 c trying 272: vc 3.79/3.86 o 272 4.09/4.19 c trying 255: vc 4.09/4.19 o 255 4.49/4.56 c trying 239: vc 4.49/4.56 o 239 4.99/5.06 c trying 223: vc 4.99/5.06 o 223 5.69/5.72 c trying 208: vc 5.69/5.72 o 208 6.59/6.70 c trying 193: vc 6.59/6.70 o 193 7.99/8.06 c trying 179: vc 7.99/8.06 o 179 23.28/23.30 c trying 165: xxxxxxxxxxc 23.28/23.30 c Phase 2 ... 24.58/24.69 c trying 178: vc 24.58/24.69 o 178 26.08/26.14 c trying 177: vc 26.08/26.14 o 177 27.68/27.76 c trying 176: vc 27.68/27.76 o 176 29.08/29.18 c trying 175: vc 29.08/29.18 o 175 30.78/30.80 c trying 174: vc 30.78/30.80 o 174 32.48/32.56 c trying 173: vc 32.48/32.56 o 173 34.48/34.53 c trying 172: vc 34.48/34.53 o 172 36.08/36.11 c trying 171: vc 36.08/36.11 o 171 37.78/37.88 c trying 170: vc 37.78/37.88 o 170 39.58/39.67 c trying 169: vc 39.58/39.67 o 169 41.38/41.40 c trying 168: vc 41.38/41.40 o 168 43.48/43.50 c trying 167: vc 43.48/43.50 o 167 45.78/45.84 c trying 166: vc 45.78/45.84 o 166 47.68/47.75 c trying 165: vc 47.68/47.75 o 165 50.08/50.15 c trying 164: vc 50.08/50.15 o 164 52.48/52.54 c trying 163: vc 52.48/52.54 o 163 54.88/54.95 c trying 162: vc 54.88/54.95 o 162 57.47/57.50 c trying 161: vc 57.47/57.50 o 161 59.87/59.99 c trying 160: vc 59.87/59.99 o 160 62.77/62.84 c trying 159: vc 62.77/62.84 o 159 65.97/66.07 c trying 158: vc 65.97/66.07 o 158 68.97/69.10 c trying 157: vc 68.97/69.10 o 157 72.07/72.19 c trying 156: vc 72.07/72.19 o 156 75.27/75.36 c trying 155: vc 75.27/75.36 o 155 78.57/78.69 c trying 154: vc 78.57/78.69 o 154 82.26/82.31 c trying 153: vc 82.26/82.31 o 153 86.16/86.29 c trying 152: vc 86.16/86.29 o 152 90.56/90.60 c trying 151: vc 90.56/90.60 o 151 94.66/94.77 c trying 150: vc 94.66/94.77 o 150 99.16/99.25 c trying 149: vc 99.16/99.25 o 149 104.16/104.24 c trying 148: vc 104.16/104.24 o 148 108.76/108.83 c trying 147: vc 108.76/108.83 o 147 113.95/114.04 c trying 146: vc 113.95/114.04 o 146 119.75/119.82 c trying 145: vc 119.75/119.82 o 145 124.85/124.90 c trying 144: vc 124.85/124.90 o 144 129.65/129.71 c trying 143: vc 129.65/129.71 o 143 135.95/136.02 c trying 142: vc 135.95/136.02 o 142 142.44/142.51 c trying 141: vc 142.44/142.51 o 141 149.74/149.80 c trying 140: vc 149.74/149.80 o 140 156.74/156.88 c trying 139: vc 156.74/156.88 o 139 164.54/164.65 c trying 138: vc 164.54/164.65 o 138 172.33/172.49 c trying 137: vc 172.33/172.49 o 137 181.73/181.84 c trying 136: vc 181.73/181.84 o 136 191.03/191.19 c trying 135: vc 191.03/191.19 o 135 199.93/200.09 c trying 134: vc 199.93/200.09 o 134 211.92/212.08 c trying 133: vc 211.92/212.08 o 133 224.52/224.62 c trying 132: vc 224.52/224.62 o 132 237.91/238.04 c trying 131: vc 237.91/238.04 o 131 252.01/252.13 c trying 130: vc 252.01/252.13 o 130 267.60/267.73 c trying 129: vc 267.60/267.74 o 129 286.40/286.51 c trying 128: vc 286.40/286.51 o 128 302.99/303.14 c trying 127: vc 302.99/303.14 o 127 332.78/332.93 c trying 126: vc 332.78/332.93 o 126 446.25/446.42 c trying 125: xxxxvc 446.25/446.42 o 125 645.79/646.09 c trying 124: xxxxxxxxxxc 645.79/646.09 c Phase 3 ... 864.02/864.38 c trying 124 again: vc 864.02/864.38 o 124 1800.02/1800.61 c trying 123 again: xc 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 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 1800.02/1800.61 v -x29 -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 1800.02/1800.61 v -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.02/1800.61 v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 1800.02/1800.61 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.02/1800.61 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 1800.02/1800.61 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.02/1800.61 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.02/1800.61 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 1800.02/1800.61 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.02/1800.61 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.02/1800.61 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 1800.02/1800.61 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.02/1800.61 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.02/1800.61 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.02/1800.61 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.02/1800.61 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.02/1800.61 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.02/1800.61 v x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.02/1800.61 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.02/1800.61 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.02/1800.61 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.02/1800.61 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.02/1800.61 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.02/1800.61 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.02/1800.61 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.02/1800.61 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.02/1800.61 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.02/1800.61 v -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.02/1800.61 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.02/1800.61 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.02/1800.61 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.02/1800.61 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.02/1800.61 v -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 1800.02/1800.61 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.02/1800.61 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.02/1800.61 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.02/1800.61 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.02/1800.61 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.02/1800.61 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.02/1800.61 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.02/1800.61 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.02/1800.61 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.02/1800.61 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.02/1800.61 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.02/1800.61 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.02/1800.61 v -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.02/1800.61 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.02/1800.61 v x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1800.02/1800.61 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 1800.02/1800.61 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.02/1800.61 v x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.02/1800.61 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.02/1800.61 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 1800.02/1800.61 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.02/1800.61 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.02/1800.61 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.02/1800.61 v x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.02/1800.61 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1800.02/1800.61 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1800.02/1800.61 v -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.02/1800.61 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1800.02/1800.61 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.02/1800.61 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.02/1800.61 v -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.02/1800.61 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.02/1800.61 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.02/1800.61 v -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.02/1800.61 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 1800.02/1800.61 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.02/1800.61 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.02/1800.61 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.02/1800.61 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.02/1800.61 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.02/1800.61 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.02/1800.61 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.02/1800.61 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.02/1800.61 v x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1800.02/1800.61 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 1800.02/1800.61 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1800.02/1800.61 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.02/1800.61 v -x1586 x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1800.02/1800.61 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.02/1800.61 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 1800.02/1800.61 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.02/1800.61 v -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.02/1800.61 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.02/1800.61 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.02/1800.61 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.02/1800.61 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1800.02/1800.61 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.02/1800.61 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 1800.02/1800.61 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 1800.02/1800.61 v -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.02/1800.61 v -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.02/1800.61 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.02/1800.61 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.02/1800.61 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.02/1800.61 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1800.02/1800.61 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.02/1800.61 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 1800.02/1800.61 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1800.02/1800.61 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1800.02/1800.61 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1800.02/1800.61 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.02/1800.61 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 1800.02/1800.61 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.02/1800.61 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1800.02/1800.61 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1800.02/1800.61 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 1800.02/1800.61 v -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 1800.02/1800.61 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1800.02/1800.61 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 1800.02/1800.61 v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.02/1800.61 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 1800.02/1800.61 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1800.02/1800.61 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 1800.02/1800.61 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1800.02/1800.61 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 1800.02/1800.61 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1800.02/1800.61 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 1800.02/1800.61 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.02/1800.61 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.02/1800.61 v -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 1800.02/1800.61 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1800.02/1800.61 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1800.02/1800.61 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1800.02/1800.61 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1800.02/1800.61 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.02/1800.61 v -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 1800.02/1800.61 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 1800.02/1800.61 v -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.02/1800.61 v x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.02/1800.61 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1800.02/1800.61 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 1800.02/1800.61 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.02/1800.61 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.02/1800.61 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1800.02/1800.61 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.02/1800.61 v -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1800.02/1800.61 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1800.02/1800.61 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1800.02/1800.61 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.02/1800.61 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1800.02/1800.61 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1800.02/1800.61 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1800.02/1800.61 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1800.02/1800.61 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 1800.02/1800.61 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1800.02/1800.61 v -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1800.02/1800.61 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.02/1800.61 v -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.02/1800.61 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.02/1800.61 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 1800.02/1800.61 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 1800.02/1800.61 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1800.02/1800.61 v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 1800.02/1800.61 v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 1800.02/1800.61 v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1800.02/1800.61 v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 1800.02/1800.61 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 1800.02/1800.61 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 1800.02/1800.61 v -x2970 x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 1800.02/1800.61 v -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 1800.02/1800.61 v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 1800.02/1800.61 v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1800.02/1800.61 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1800.02/1800.61 v -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 1800.02/1800.61 v -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 x3091 1800.02/1800.61 v -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 1800.02/1800.61 v -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 1800.02/1800.61 v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 1800.02/1800.61 v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 1800.02/1800.61 v x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 1800.02/1800.61 v -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 1800.02/1800.61 v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 1800.02/1800.61 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 1800.02/1800.61 v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 1800.02/1800.61 v -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 1800.02/1800.61 v -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 x3278 1800.02/1800.61 v -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 1800.02/1800.61 v -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 1800.02/1800.61 v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 1800.02/1800.61 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 1800.02/1800.61 v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 1800.02/1800.61 v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 1800.02/1800.61 v -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 1800.02/1800.61 v x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 1800.02/1800.61 v -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 1800.02/1800.61 v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 1800.02/1800.61 v -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 1800.02/1800.61 v -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 1800.02/1800.61 v -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 1800.02/1800.61 v -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 1800.02/1800.61 v -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 1800.02/1800.61 v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 1800.02/1800.61 v -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 1800.02/1800.61 v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 1800.02/1800.61 v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 1800.02/1800.61 v -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 1800.02/1800.61 v -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 1800.02/1800.61 v -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 1800.02/1800.61 v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 1800.02/1800.61 v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 1800.02/1800.61 v -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 1800.02/1800.61 v -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 1800.02/1800.61 v -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 1800.02/1800.61 v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 1800.02/1800.61 v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 1800.02/1800.61 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 1800.02/1800.61 v -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 1800.02/1800.61 v -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 1800.02/1800.61 v -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 1800.02/1800.61 v -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 1800.02/1800.61 v -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 -x3872 -x3873 -x3874 -x3875 1800.02/1800.61 v -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 1800.02/1800.61 v -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 1800.02/1800.61 v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 1800.02/1800.61 v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 1800.02/1800.61 v -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 1800.02/1800.61 v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 1800.02/1800.61 v -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 1800.02/1800.61 v -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 x4009 -x4010 -x4011 1800.02/1800.61 v -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 1800.02/1800.61 v -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 1800.02/1800.61 v -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 1800.02/1800.61 v -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 1800.02/1800.61 v -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1800.02/1800.61 v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 1800.02/1800.61 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 1800.02/1800.61 v -x4131 -x4132 x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 1800.02/1800.61 v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 1800.02/1800.61 v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 1800.02/1800.61 v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 1800.02/1800.61 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 1800.02/1800.61 v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 1800.02/1800.61 v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 -x4249 -x4250 1800.02/1800.61 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1800.02/1800.61 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 1800.02/1800.61 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 1800.02/1800.61 v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1800.02/1800.61 v -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 1800.02/1800.61 v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 1800.02/1800.61 v -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 1800.02/1800.61 v -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 1800.02/1800.61 v -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 1800.02/1800.61 v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 1800.02/1800.61 v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 1800.02/1800.61 v -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 1800.02/1800.61 v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 1800.02/1800.61 v -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 1800.02/1800.61 v -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 x4505 1800.02/1800.61 v -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 1800.02/1800.61 v -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 1800.02/1800.61 v -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 1800.02/1800.61 v -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 1800.02/1800.61 v -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 x4586 -x4587 -x4588 -x4589 -x4590 1800.02/1800.61 v -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 1800.02/1800.61 v -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 1800.02/1800.61 v -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 1800.02/1800.61 v -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 1800.02/1800.61 v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 1800.02/1800.61 v -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 1800.02/1800.61 c Total Number of Positive Atoms : 124 1800.02/1800.61 c 1800.02/1800.61 c During searching: 864.182 seconds elapsed. 1800.02/1800.61 c CPU time spent: 864.03 seconds. 1800.02/1800.61 c 1800.02/1800.61 c =================================== END ===================================== 1800.02/1800.61 c
OK 124
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-366173-1177057867 -o ROOT/results/node69/solver-366173-1177057867 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366173-1177057867/wildcat-rnp /tmp/evaluation/366173-1177057867/instance-366173-1177057867.opb 204939601 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.95 0.97 0.99 3/64 28454 /proc/meminfo: memFree=1789156/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=5972 CPUtime=0 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 181776139 6115328 137 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014972 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1493 137 105 226 0 1264 0 [startup+0.0313871 s] /proc/loadavg: 0.95 0.97 0.99 3/64 28454 /proc/meminfo: memFree=1789156/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=6104 CPUtime=0.02 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 188 0 0 0 2 0 0 0 18 0 1 0 181776139 6250496 172 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015006 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1526 172 105 226 0 1297 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6104 [startup+0.101399 s] /proc/loadavg: 0.95 0.97 0.99 3/64 28454 /proc/meminfo: memFree=1789156/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=6500 CPUtime=0.09 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 279 0 0 0 9 0 0 0 18 0 1 0 181776139 6656000 263 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135015020 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1625 263 105 226 0 1396 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6500 [startup+0.301431 s] /proc/loadavg: 0.95 0.97 0.99 3/64 28454 /proc/meminfo: memFree=1789156/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=0.29 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 29 0 0 0 19 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7180 [startup+0.701497 s] /proc/loadavg: 0.95 0.97 0.99 3/64 28454 /proc/meminfo: memFree=1789156/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=0.69 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 69 0 0 0 22 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605400 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7180 [startup+1.50163 s] /proc/loadavg: 0.95 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787868/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1.49 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 149 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566831 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7180 [startup+3.10189 s] /proc/loadavg: 0.96 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787612/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=3.09 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 309 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7180 [startup+6.30141 s] /proc/loadavg: 0.96 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787612/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=6.29 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 629 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7180 [startup+12.7014 s] /proc/loadavg: 0.96 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787676/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=12.69 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 1269 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599260 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7180 [startup+25.5015 s] /proc/loadavg: 0.97 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787804/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=25.48 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 2548 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7180 [startup+51.1017 s] /proc/loadavg: 0.98 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787868/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=51.08 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 5108 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566252 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 7180 [startup+102.304 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787868/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=102.26 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 10226 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598432 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 7180 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787868/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=162.24 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 16224 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566831 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 7180 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787868/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=222.22 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 22222 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 7180 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787868/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=282.2 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 28220 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 7180 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787868/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=342.18 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 34218 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598592 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 7180 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787868/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=402.16 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 40216 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 7180 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28455 /proc/meminfo: memFree=1787868/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=462.14 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 46214 0 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 7180 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=522.13 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 52212 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598677 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 7180 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=582.11 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 58210 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 7180 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=642.1 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 64209 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 7180 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=822.03 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 82202 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 7180 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=882.01 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 88200 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598677 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 7180 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=941.99 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 94198 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 7180 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1001.97 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 100196 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599260 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 7180 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1061.95 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 106194 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 7180 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1121.94 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 112193 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 7180 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1181.92 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 118191 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 7180 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1241.9 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 124189 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599008 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 7180 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787740/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1301.88 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 130187 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566263 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 7180 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787676/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1361.86 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 136185 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598593 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 7180 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787676/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1421.84 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 142183 1 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598419 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 7180 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787676/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1481.83 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 148181 2 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 7180 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787676/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1541.81 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 154179 2 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 7180 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787676/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1601.79 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 160177 2 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 7180 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787676/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1661.77 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 166175 2 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566252 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 7180 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787676/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1721.75 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 172173 2 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 7180 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28457 /proc/meminfo: memFree=1787676/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1781.73 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 178171 2 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 7180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/71 28529 /proc/meminfo: memFree=1786412/2055920 swapFree=4182908/4192956 [pid=28454] ppid=28452 vsize=7180 CPUtime=1800.02 /proc/28454/stat : 28454 (wildcat-rnp) R 28452 28454 27794 0 -1 4194304 448 0 0 0 179998 4 0 0 25 0 1 0 181776139 7352320 431 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599008 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28454/statm: 1795 431 115 226 0 1566 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 7180 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.62 CPU time (s): 1800.04 CPU user time (s): 1799.99 CPU system time (s): 0.040993 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 7180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.040993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 448 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= 1953 runsolver used 1.15482 second user time and 3.78742 second system time The end
Begin job on node69 on Fri Apr 20 08:31:07 UTC 2007 IDJOB= 366173 IDBENCH= 2837 IDSOLVER= 161 FILE ID= node69/366173-1177057867 PBS_JOBID= 4640188 Free space on /tmp= 66496 MiB SOLVER NAME= wildcat-rnp 2007-03-21 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb COMMAND LINE= /tmp/evaluation/366173-1177057867/wildcat-rnp /tmp/evaluation/366173-1177057867/instance-366173-1177057867.opb 204939601 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-366173-1177057867 -o ROOT/results/node69/solver-366173-1177057867 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366173-1177057867/wildcat-rnp /tmp/evaluation/366173-1177057867/instance-366173-1177057867.opb 204939601 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= cb09f183d3805e6536d629586026461f RANDOM SEED= 204939601 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1789564 kB Buffers: 42700 kB Cached: 160232 kB SwapCached: 3788 kB Active: 19360 kB Inactive: 193540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1789564 kB SwapTotal: 4192956 kB SwapFree: 4182908 kB Dirty: 2412 kB Writeback: 0 kB Mapped: 15672 kB Slab: 39396 kB Committed_AS: 2161492 kB PageTables: 1472 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= 66496 MiB End job on node69 on Fri Apr 20 09:01:10 UTC 2007