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