Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 2007-03-21 | SAT (TO) | 123 | 1800.04 | 1800.56 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb |
MD5SUM | df1c0055bf82833faa95d352e28c6731 |
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 | 15.5636 |
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 | 4676 |
Total number of constraints | 398 |
Number of constraints which are clauses | 398 |
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 | 4676 |
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 | 4676 |
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 | 4676 |
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/363973-1177035695/wildcat-rnp /tmp/evaluation/363973-1177035695/instance-363973-1177035695.opb 691394719 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 691394719 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 4676: vc 0.19/0.21 o 2371 0.19/0.23 c trying 2322: vc 0.19/0.23 o 2322 0.19/0.25 c trying 2273: vc 0.19/0.25 o 2273 0.19/0.26 c trying 2225: vc 0.19/0.26 o 2225 0.19/0.28 c trying 2177: vc 0.19/0.28 o 2177 0.29/0.30 c trying 2130: vc 0.29/0.30 o 2130 0.29/0.32 c trying 2083: vc 0.29/0.32 o 2083 0.29/0.34 c trying 2037: vc 0.29/0.34 o 2037 0.29/0.36 c trying 1991: vc 0.29/0.36 o 1991 0.29/0.38 c trying 1946: vc 0.29/0.38 o 1946 0.39/0.40 c trying 1901: vc 0.39/0.40 o 1901 0.39/0.42 c trying 1857: vc 0.39/0.42 o 1857 0.39/0.45 c trying 1813: vc 0.39/0.45 o 1813 0.39/0.47 c trying 1770: vc 0.39/0.47 o 1770 0.39/0.50 c trying 1727: vc 0.39/0.50 o 1727 0.49/0.52 c trying 1685: vc 0.49/0.52 o 1685 0.49/0.55 c trying 1643: vc 0.49/0.55 o 1643 0.49/0.58 c trying 1602: vc 0.49/0.58 o 1602 0.59/0.61 c trying 1561: vc 0.59/0.61 o 1561 0.59/0.64 c trying 1521: vc 0.59/0.64 o 1521 0.59/0.67 c trying 1482: vc 0.59/0.67 o 1482 0.69/0.70 c trying 1443: vc 0.69/0.70 o 1443 0.69/0.73 c trying 1405: vc 0.69/0.73 o 1405 0.69/0.77 c trying 1367: vc 0.69/0.77 o 1367 0.79/0.80 c trying 1330: vc 0.79/0.80 o 1330 0.79/0.83 c trying 1293: vc 0.79/0.83 o 1293 0.79/0.87 c trying 1257: vc 0.79/0.87 o 1257 0.89/0.91 c trying 1221: vc 0.89/0.91 o 1221 0.89/0.94 c trying 1186: vc 0.89/0.94 o 1186 0.89/0.98 c trying 1151: vc 0.89/0.98 o 1151 1.00/1.02 c trying 1117: vc 1.00/1.02 o 1117 1.00/1.06 c trying 1083: vc 1.00/1.06 o 1083 1.00/1.10 c trying 1050: vc 1.00/1.10 o 1050 1.10/1.14 c trying 1017: vc 1.10/1.14 o 1017 1.10/1.19 c trying 985: vc 1.10/1.19 o 985 1.19/1.23 c trying 953: vc 1.19/1.23 o 953 1.19/1.27 c trying 922: vc 1.19/1.27 o 922 1.29/1.32 c trying 891: vc 1.29/1.32 o 891 1.29/1.37 c trying 861: vc 1.29/1.37 o 861 1.39/1.41 c trying 831: vc 1.39/1.41 o 831 1.39/1.46 c trying 802: vc 1.39/1.46 o 802 1.49/1.51 c trying 773: vc 1.49/1.51 o 773 1.49/1.56 c trying 745: vc 1.49/1.56 o 745 1.59/1.61 c trying 717: vc 1.59/1.61 o 717 1.59/1.67 c trying 690: vc 1.59/1.67 o 690 1.69/1.73 c trying 663: vc 1.69/1.73 o 663 1.69/1.78 c trying 637: vc 1.69/1.78 o 637 1.79/1.85 c trying 611: vc 1.79/1.85 o 611 1.89/1.91 c trying 586: vc 1.89/1.91 o 586 1.89/1.98 c trying 561: vc 1.89/1.98 o 561 1.99/2.05 c trying 537: vc 1.99/2.05 o 537 2.10/2.12 c trying 513: vc 2.10/2.12 o 513 2.10/2.20 c trying 490: vc 2.10/2.20 o 490 2.20/2.28 c trying 467: vc 2.20/2.28 o 467 2.29/2.38 c trying 445: vc 2.29/2.38 o 445 2.39/2.48 c trying 423: vc 2.39/2.48 o 423 2.49/2.58 c trying 402: vc 2.49/2.58 o 402 2.69/2.71 c trying 381: vc 2.69/2.71 o 381 2.79/2.83 c trying 361: vc 2.79/2.83 o 361 2.89/2.99 c trying 342: vc 2.89/2.99 o 342 3.09/3.15 c trying 323: vc 3.09/3.15 o 323 3.30/3.35 c trying 305: vc 3.30/3.35 o 305 3.49/3.57 c trying 287: vc 3.49/3.57 o 287 3.79/3.85 c trying 270: vc 3.79/3.85 o 270 4.09/4.14 c trying 253: vc 4.09/4.14 o 253 4.49/4.56 c trying 237: vc 4.49/4.56 o 237 4.99/5.05 c trying 221: vc 4.99/5.05 o 221 5.59/5.67 c trying 206: vc 5.59/5.67 o 206 6.59/6.64 c trying 191: vc 6.59/6.64 o 191 7.89/7.96 c trying 177: vc 7.89/7.96 o 177 22.69/22.78 c trying 163: xxxxxxxxxxc 22.69/22.78 c Phase 2 ... 24.09/24.20 c trying 176: vc 24.09/24.20 o 176 25.58/25.67 c trying 175: vc 25.58/25.67 o 175 27.18/27.26 c trying 174: vc 27.18/27.26 o 174 28.68/28.76 c trying 173: vc 28.68/28.76 o 173 30.48/30.58 c trying 172: vc 30.48/30.58 o 172 32.38/32.45 c trying 171: vc 32.38/32.45 o 171 33.98/34.09 c trying 170: vc 33.98/34.09 o 170 35.88/35.99 c trying 169: vc 35.88/35.99 o 169 37.88/37.99 c trying 168: vc 37.88/37.99 o 168 39.98/40.02 c trying 167: vc 39.98/40.02 o 167 41.98/42.06 c trying 166: vc 41.98/42.06 o 166 44.38/44.40 c trying 165: vc 44.38/44.40 o 165 46.48/46.59 c trying 164: vc 46.58/46.65 o 164 48.68/48.77 c trying 163: vc 48.68/48.77 o 163 50.88/50.96 c trying 162: vc 50.88/50.96 o 162 53.58/53.64 c trying 161: vc 53.58/53.64 o 161 56.48/56.54 c trying 160: vc 56.48/56.54 o 160 59.47/59.59 c trying 159: vc 59.47/59.59 o 159 61.87/61.96 c trying 158: vc 61.87/61.96 o 158 64.88/64.95 c trying 157: vc 64.88/64.95 o 157 67.77/67.85 c trying 156: vc 67.77/67.85 o 156 71.27/71.33 c trying 155: vc 71.27/71.33 o 155 74.57/74.66 c trying 154: vc 74.57/74.66 o 154 77.77/77.86 c trying 153: vc 77.77/77.86 o 153 81.46/81.50 c trying 152: vc 81.46/81.50 o 152 84.96/85.06 c trying 151: vc 84.96/85.06 o 151 88.86/88.92 c trying 150: vc 88.86/88.92 o 150 92.77/92.82 c trying 149: vc 92.77/92.82 o 149 96.97/97.08 c trying 148: vc 96.97/97.08 o 148 101.77/101.82 c trying 147: vc 101.77/101.82 o 147 105.97/106.07 c trying 146: vc 105.97/106.07 o 146 110.67/110.75 c trying 145: vc 110.67/110.75 o 145 115.76/115.85 c trying 144: vc 115.76/115.85 o 144 121.26/121.38 c trying 143: vc 121.26/121.38 o 143 127.86/127.90 c trying 142: vc 127.86/127.90 o 142 134.26/134.34 c trying 141: vc 134.26/134.34 o 141 140.76/140.84 c trying 140: vc 140.76/140.84 o 140 147.56/147.66 c trying 139: vc 147.56/147.66 o 139 154.96/155.09 c trying 138: vc 154.96/155.09 o 138 163.45/163.54 c trying 137: vc 163.45/163.54 o 137 172.15/172.24 c trying 136: vc 172.15/172.24 o 136 181.05/181.16 c trying 135: vc 181.05/181.16 o 135 192.14/192.28 c trying 134: vc 192.14/192.28 o 134 203.04/203.19 c trying 133: vc 203.04/203.19 o 133 216.44/216.57 c trying 132: vc 216.44/216.57 o 132 230.13/230.21 c trying 131: vc 230.13/230.21 o 131 243.13/243.21 c trying 130: vc 243.13/243.21 o 130 257.33/257.49 c trying 129: vc 257.33/257.49 o 129 277.42/277.53 c trying 128: vc 277.42/277.53 o 128 334.80/334.90 c trying 127: xvc 334.80/334.90 o 127 414.98/415.16 c trying 126: xxvc 414.98/415.16 o 126 472.87/473.08 c trying 125: xvc 472.87/473.08 o 125 658.51/658.73 c trying 124: xxxxxxxxxxc 658.51/658.73 c Phase 3 ... 754.10/754.34 c trying 124 again: vc 754.10/754.34 o 124 1191.68/1192.01 c trying 123 again: vc 1191.68/1192.01 o 123 1800.02/1800.50 c trying 122 again: xc 1800.02/1800.50 s SATISFIABLE 1800.02/1800.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 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.55 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.02/1800.55 v -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.02/1800.55 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.02/1800.55 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.02/1800.55 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.02/1800.55 v -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.02/1800.55 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.02/1800.55 v -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.02/1800.55 v -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.02/1800.55 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.02/1800.55 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.02/1800.55 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.02/1800.55 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1800.02/1800.55 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1800.02/1800.55 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.02/1800.55 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1800.02/1800.55 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.02/1800.55 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1800.02/1800.55 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.02/1800.55 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.02/1800.55 v -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.02/1800.55 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.02/1800.55 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.02/1800.55 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.02/1800.55 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 1800.02/1800.55 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.02/1800.55 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.02/1800.55 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.02/1800.55 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1800.02/1800.55 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1800.02/1800.55 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.02/1800.55 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 1800.02/1800.55 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1800.02/1800.55 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 1800.02/1800.55 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1800.02/1800.55 v x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1800.02/1800.55 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.02/1800.55 v -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.02/1800.55 v -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.02/1800.55 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1800.02/1800.55 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.02/1800.55 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.02/1800.55 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 1800.02/1800.55 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.02/1800.55 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.02/1800.55 v -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.02/1800.55 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1800.02/1800.55 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.02/1800.55 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.02/1800.55 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.02/1800.55 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 1800.02/1800.55 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.02/1800.55 v -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.02/1800.55 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 1800.02/1800.55 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.02/1800.55 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.02/1800.55 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.02/1800.55 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.02/1800.55 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 1800.02/1800.55 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.02/1800.55 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.02/1800.55 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.02/1800.55 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.02/1800.55 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.02/1800.55 v x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.02/1800.55 v -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 1800.02/1800.55 v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1800.02/1800.55 v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 1800.02/1800.55 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.02/1800.55 v x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1800.02/1800.55 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1800.02/1800.55 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 1800.02/1800.55 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1800.02/1800.55 v x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1800.02/1800.55 v -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 1800.02/1800.55 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 1800.02/1800.55 v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 1800.02/1800.55 v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1800.02/1800.55 v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.02/1800.55 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 1800.02/1800.55 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 1800.02/1800.55 v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 1800.02/1800.55 v -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 1800.02/1800.55 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1800.02/1800.55 v -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 1800.02/1800.55 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 1800.02/1800.55 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 1800.02/1800.55 v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 1800.02/1800.55 v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 1800.02/1800.55 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1800.02/1800.55 v x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1800.02/1800.55 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1800.02/1800.55 v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1800.02/1800.55 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1800.02/1800.55 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1800.02/1800.55 v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 1800.02/1800.55 v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 1800.02/1800.55 v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 1800.02/1800.55 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 1800.02/1800.55 v x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.02/1800.55 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1800.02/1800.55 v -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.02/1800.55 v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 1800.02/1800.55 v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.02/1800.55 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 1800.02/1800.55 v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 1800.02/1800.55 v -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 1800.02/1800.55 v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1800.02/1800.55 v x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1800.02/1800.55 v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 1800.02/1800.55 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1800.02/1800.55 v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1800.02/1800.55 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 1800.02/1800.55 v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1800.02/1800.55 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 1800.02/1800.55 v -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 1800.02/1800.55 v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 1800.02/1800.55 v -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 1800.02/1800.55 v -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1800.02/1800.55 v -x3016 -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 1800.02/1800.55 v -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 1800.02/1800.55 v -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 1800.02/1800.55 v -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 1800.02/1800.55 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1800.02/1800.55 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 1800.02/1800.55 v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 -x3134 1800.02/1800.55 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 1800.02/1800.55 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 1800.02/1800.55 v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 1800.02/1800.55 v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 1800.02/1800.55 v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 1800.02/1800.55 v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 1800.02/1800.55 v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 1800.02/1800.55 v -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 1800.02/1800.55 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 1800.02/1800.55 v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 1800.02/1800.55 v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 x3320 -x3321 1800.02/1800.55 v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 1800.02/1800.55 v -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1800.02/1800.55 v -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 1800.02/1800.55 v -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 1800.02/1800.55 v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 1800.02/1800.55 v -x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 1800.02/1800.55 v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 1800.02/1800.55 v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.02/1800.55 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1800.02/1800.55 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 1800.02/1800.55 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 x3505 -x3506 -x3507 -x3508 x3509 -x3510 1800.02/1800.55 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 1800.02/1800.55 v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 1800.02/1800.55 v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 1800.02/1800.55 v -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 1800.02/1800.55 v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 1800.02/1800.55 v -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 1800.02/1800.55 v -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625 -x3626 -x3627 -x3628 -x3629 -x3630 1800.02/1800.55 v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 1800.02/1800.55 v -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 1800.02/1800.55 v -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 1800.02/1800.55 v -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 1800.02/1800.55 v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 1800.02/1800.55 v -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 1800.02/1800.55 v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 1800.02/1800.55 v -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 1800.02/1800.55 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 1800.02/1800.55 v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 1800.02/1800.55 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 1800.02/1800.55 v -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 1800.02/1800.55 v -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 1800.02/1800.55 v -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 1800.02/1800.55 v -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 1800.02/1800.55 v -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 1800.02/1800.55 v -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 1800.02/1800.55 v -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 1800.02/1800.55 v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 1800.02/1800.55 v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 1800.02/1800.55 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 1800.02/1800.55 v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 1800.02/1800.55 v -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 1800.02/1800.55 v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 x4037 -x4038 1800.02/1800.55 v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 1800.02/1800.55 v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1800.02/1800.55 v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 1800.02/1800.55 v -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 1800.02/1800.55 v -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 x4121 -x4122 -x4123 1800.02/1800.55 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 1800.02/1800.55 v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 1800.02/1800.55 v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 1800.02/1800.55 v -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 1800.02/1800.55 v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 1800.02/1800.55 v -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 1800.02/1800.55 v -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 1800.02/1800.55 v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 1800.02/1800.55 v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 1800.02/1800.55 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 1800.02/1800.55 v -x4294 x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 1800.02/1800.55 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 1800.02/1800.55 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.02/1800.55 v -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 1800.02/1800.55 v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1800.02/1800.55 v -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 1800.02/1800.55 v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 1800.02/1800.55 v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 1800.02/1800.55 v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 1800.02/1800.55 v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 1800.02/1800.55 v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 x4478 -x4479 -x4480 1800.02/1800.55 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 1800.02/1800.55 v -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.02/1800.55 v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 1800.02/1800.55 v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 1800.02/1800.55 v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 1800.02/1800.55 v -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 1800.02/1800.55 v -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 1800.02/1800.55 v -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 x4615 -x4616 1800.02/1800.55 v -x4617 -x4618 -x4619 x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 1800.02/1800.55 v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 1800.02/1800.55 v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 1800.02/1800.55 v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1800.02/1800.55 c Total Number of Positive Atoms : 123 1800.02/1800.55 c 1800.02/1800.55 c During searching: 1191.81 seconds elapsed. 1800.02/1800.55 c CPU time spent: 1191.64 seconds. 1800.02/1800.55 c 1800.02/1800.55 c =================================== END ===================================== 1800.02/1800.55 c
OK 123
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-363973-1177035695 -o ROOT/results/node41/solver-363973-1177035695 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363973-1177035695/wildcat-rnp /tmp/evaluation/363973-1177035695/instance-363973-1177035695.opb 691394719 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: 1.00 1.00 1.00 3/77 25260 /proc/meminfo: memFree=1758968/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=5972 CPUtime=0 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 151481357 6115328 137 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1493 138 105 226 0 1264 0 [startup+0.0968281 s] /proc/loadavg: 1.00 1.00 1.00 3/77 25260 /proc/meminfo: memFree=1758968/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=6368 CPUtime=0.09 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 274 0 0 0 9 0 0 0 18 0 1 0 151481357 6520832 258 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1592 258 105 226 0 1363 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6368 [startup+0.101829 s] /proc/loadavg: 1.00 1.00 1.00 3/77 25260 /proc/meminfo: memFree=1758968/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=6500 CPUtime=0.09 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 280 0 0 0 9 0 0 0 18 0 1 0 151481357 6656000 264 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1625 264 105 226 0 1396 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6500 [startup+0.301847 s] /proc/loadavg: 1.00 1.00 1.00 3/77 25260 /proc/meminfo: memFree=1758968/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=0.29 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 29 0 0 0 19 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7176 [startup+0.701881 s] /proc/loadavg: 1.00 1.00 1.00 3/77 25260 /proc/meminfo: memFree=1758968/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=0.69 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 69 0 0 0 22 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598677 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7176 [startup+1.50195 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757680/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1.49 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 149 0 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598432 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7176 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757424/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=3.09 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 309 0 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7176 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757424/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=6.29 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 629 0 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7176 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757432/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=12.69 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 1269 0 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7176 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757496/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=25.48 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 2548 0 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607300 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7176 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757496/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=51.08 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 5108 0 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 7176 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757560/2055920 swapFree=4154952/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=102.27 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 10226 1 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 7176 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757560/2055920 swapFree=4155016/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=162.25 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 16224 1 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 7176 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757496/2055920 swapFree=4155016/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=222.23 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 22222 1 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 7176 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757496/2055920 swapFree=4155016/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=282.22 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 28221 1 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 7176 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757432/2055920 swapFree=4155080/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=342.2 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 34219 1 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 7176 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757432/2055920 swapFree=4155080/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=402.18 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 40217 1 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598626 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 7176 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757688/2055920 swapFree=4155144/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=462.17 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 46215 2 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598388 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 7176 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757624/2055920 swapFree=4155144/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=522.15 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 52213 2 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 7176 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757624/2055920 swapFree=4155144/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=582.14 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 58212 2 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566853 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 7176 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 3/78 25261 /proc/meminfo: memFree=1757560/2055920 swapFree=4155208/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=642.12 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 64210 2 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 7176 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757496/2055920 swapFree=4155336/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=882.06 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 88203 3 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598445 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 7176 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757432/2055920 swapFree=4155336/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=942.04 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 94201 3 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 7176 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25261 /proc/meminfo: memFree=1757432/2055920 swapFree=4155336/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1002.02 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 100199 3 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599013 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 7176 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757496/2055920 swapFree=4155400/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1062.01 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 106198 3 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598373 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 7176 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757432/2055920 swapFree=4155400/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1122 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 112196 4 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598643 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 7176 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757560/2055920 swapFree=4155464/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1181.98 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 118194 4 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 7176 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757496/2055920 swapFree=4155464/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1241.97 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 124193 4 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 7176 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757496/2055920 swapFree=4155464/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1301.95 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 130191 4 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598368 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 7176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757496/2055920 swapFree=4155528/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1361.93 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 136189 4 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 7176 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757432/2055920 swapFree=4155528/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1421.92 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 142188 4 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599260 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 7176 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757432/2055920 swapFree=4155592/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1481.89 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 148185 4 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598443 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 7176 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757432/2055920 swapFree=4155592/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1541.89 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 154184 5 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599037 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 7176 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757432/2055920 swapFree=4155592/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1601.87 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 160182 5 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 7176 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25263 /proc/meminfo: memFree=1757432/2055920 swapFree=4155656/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1661.85 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 166180 5 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 7176 [startup+1722.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 25263 /proc/meminfo: memFree=1757368/2055920 swapFree=4155656/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1721.84 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 172179 5 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598388 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 7176 [startup+1782.3 s] /proc/loadavg: 1.09 1.03 1.00 2/78 25263 /proc/meminfo: memFree=1757560/2055920 swapFree=4155720/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1781.82 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 178177 5 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598626 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 7176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.14 1.04 1.01 2/78 25263 /proc/meminfo: memFree=1757560/2055920 swapFree=4155720/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1800.02 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 179997 5 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566263 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 7176 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.14 1.04 1.01 2/78 25263 /proc/meminfo: memFree=1757560/2055920 swapFree=4155720/4192956 [pid=25260] ppid=25258 vsize=7176 CPUtime=1800.02 /proc/25260/stat : 25260 (wildcat-rnp) R 25258 25260 23172 0 -1 4194304 447 0 0 0 179997 5 0 0 25 0 1 0 151481357 7348224 430 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566263 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25260/statm: 1794 430 115 226 0 1565 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 7176 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.04 CPU user time (s): 1799.98 CPU system time (s): 0.056991 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 7176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.056991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 447 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= 14 involuntary context switches= 2784 runsolver used 2.12568 second user time and 4.39433 second system time The end
Begin job on node41 on Fri Apr 20 02:21:35 UTC 2007 IDJOB= 363973 IDBENCH= 2048 IDSOLVER= 161 FILE ID= node41/363973-1177035695 PBS_JOBID= 4630618 Free space on /tmp= 66346 MiB SOLVER NAME= wildcat-rnp 2007-03-21 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb COMMAND LINE= /tmp/evaluation/363973-1177035695/wildcat-rnp /tmp/evaluation/363973-1177035695/instance-363973-1177035695.opb 691394719 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-363973-1177035695 -o ROOT/results/node41/solver-363973-1177035695 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363973-1177035695/wildcat-rnp /tmp/evaluation/363973-1177035695/instance-363973-1177035695.opb 691394719 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731 RANDOM SEED= 691394719 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1759376 kB Buffers: 37392 kB Cached: 169504 kB SwapCached: 2680 kB Active: 113660 kB Inactive: 129664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1759376 kB SwapTotal: 4192956 kB SwapFree: 4154952 kB Dirty: 2432 kB Writeback: 0 kB Mapped: 44128 kB Slab: 38432 kB Committed_AS: 2582852 kB PageTables: 2052 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= 66346 MiB End job on node41 on Fri Apr 20 02:51:37 UTC 2007