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