Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -86 | 1800.26 | 1800.91 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_2.opb |
MD5SUM | 8d62286ae12c02f1d9e42b05c51333f2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -131 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 21 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6328 |
Sum of products size (including duplicates) | 12656 |
Number of different products | 3164 |
Sum of products size | 6328 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.04/0.06 c ...done 0.04/0.06 c #vars=3664 #constraints=7329 hasObjective=yes 0.19/0.27 c res. mode=mod 0.19/0.27 c VSIDS like heuristics 0.19/0.27 c complete search running 0.19/0.28 c nbDecision=86 #constraints=7329 0.19/0.28 c linear search for optimum 0.19/0.28 o -86 0.59/0.60 c restart after 401 decisions 0.59/0.66 c nbDecision=500 #constraints=7440 0.99/1.08 c restart after 801 decisions 1.29/1.30 c nbDecision=1000 #constraints=7581 2.10/2.11 c nbDecision=1500 #constraints=7763 2.20/2.24 c restart after 1601 decisions 2.89/2.95 c nbDecision=2000 #constraints=7917 3.99/4.02 c nbDecision=2500 #constraints=8123 5.69/5.78 c nbDecision=3000 #constraints=8410 6.49/6.51 c restart after 3201 decisions 7.89/7.93 c nbDecision=3500 #constraints=8687 9.79/9.86 c nbDecision=4000 #constraints=8857 11.49/11.56 c nbDecision=4500 #constraints=8984 13.39/13.49 c nbDecision=5000 #constraints=9118 15.58/15.69 c nbDecision=5500 #constraints=9248 17.38/17.41 c nbDecision=6000 #constraints=9360 19.39/19.40 c restart after 6401 decisions 20.28/20.34 c nbDecision=6500 #constraints=9514 22.38/22.44 c nbDecision=7000 #constraints=9687 24.49/24.57 c nbDecision=7500 #constraints=9859 27.18/27.22 c nbDecision=8000 #constraints=10033 29.59/29.69 c nbDecision=8500 #constraints=10218 33.38/33.45 c nbDecision=9000 #constraints=10407 37.47/37.54 c nbDecision=9500 #constraints=10553 40.37/40.49 c nbDecision=10000 #constraints=10672 45.48/45.50 c nbDecision=10500 #constraints=10834 50.18/50.25 c nbDecision=11000 #constraints=10982 53.78/53.89 c nbDecision=11500 #constraints=11132 58.37/58.47 c nbDecision=12000 #constraints=11356 63.07/63.15 c nbDecision=12500 #constraints=11558 65.17/65.20 c restart after 12801 decisions 68.57/68.65 c nbDecision=13000 #constraints=11721 73.97/74.08 c nbDecision=13500 #constraints=12002 80.66/80.76 c nbDecision=14000 #constraints=12322 87.67/87.71 c nbDecision=14500 #constraints=12618 95.16/95.28 c nbDecision=15000 #constraints=12909 103.37/103.42 c nbDecision=15500 #constraints=13240 111.35/111.43 c nbDecision=16000 #constraints=13481 120.45/120.58 c nbDecision=16500 #constraints=13796 127.95/128.07 c nbDecision=17000 #constraints=14082 135.75/135.80 c nbDecision=17500 #constraints=14365 146.15/146.22 c nbDecision=18000 #constraints=14720 156.54/156.65 c nbDecision=18500 #constraints=15077 167.84/167.92 c nbDecision=19000 #constraints=15442 179.64/179.75 c nbDecision=19500 #constraints=15804 189.73/189.86 c nbDecision=20000 #constraints=15997 198.72/198.85 c nbDecision=20500 #constraints=16223 209.23/209.35 c nbDecision=21000 #constraints=16456 218.52/218.62 c nbDecision=21500 #constraints=16631 231.42/231.51 c nbDecision=22000 #constraints=16943 244.32/244.44 c nbDecision=22500 #constraints=17165 256.71/256.83 c nbDecision=23000 #constraints=17323 267.41/267.56 c nbDecision=23500 #constraints=17502 276.60/276.74 c nbDecision=24000 #constraints=17688 286.00/286.12 c nbDecision=24500 #constraints=17885 298.89/299.04 c nbDecision=25000 #constraints=18177 313.19/313.39 c nbDecision=25500 #constraints=18487 317.59/317.74 c restart after 25601 decisions 330.09/330.25 c nbDecision=26000 #constraints=18613 341.28/341.41 c nbDecision=26500 #constraints=18737 353.18/353.31 c nbDecision=27000 #constraints=18873 366.27/366.46 c nbDecision=27500 #constraints=19005 375.57/375.72 c nbDecision=28000 #constraints=19115 386.56/386.73 c nbDecision=28500 #constraints=19288 396.47/396.60 c nbDecision=29000 #constraints=19461 406.56/406.77 c nbDecision=29500 #constraints=19636 418.16/418.33 c nbDecision=30000 #constraints=19811 427.86/428.04 c nbDecision=30500 #constraints=19999 442.85/443.04 c nbDecision=31000 #constraints=20181 457.12/457.32 c nbDecision=31500 #constraints=20327 466.30/466.56 c nbDecision=32000 #constraints=20441 483.97/484.21 c nbDecision=32500 #constraints=20613 497.87/498.17 c nbDecision=33000 #constraints=20751 509.25/509.58 c nbDecision=33500 #constraints=20919 523.04/523.37 c nbDecision=34000 #constraints=21130 537.44/537.77 c nbDecision=34500 #constraints=21337 549.23/549.60 c nbDecision=35000 #constraints=21544 566.33/566.61 c nbDecision=35500 #constraints=21854 584.63/584.94 c nbDecision=36000 #constraints=22168 603.31/603.68 c nbDecision=36500 #constraints=22355 621.91/622.21 c nbDecision=37000 #constraints=22513 636.81/637.18 c nbDecision=37500 #constraints=22696 651.41/651.76 c nbDecision=38000 #constraints=22882 664.80/665.19 c nbDecision=38500 #constraints=23087 686.10/686.43 c nbDecision=39000 #constraints=23407 709.78/710.11 c nbDecision=39500 #constraints=23695 726.28/726.69 c nbDecision=40000 #constraints=23822 739.48/739.82 c nbDecision=40500 #constraints=23935 758.47/758.88 c nbDecision=41000 #constraints=24079 775.87/776.28 c nbDecision=41500 #constraints=24205 790.86/791.22 c nbDecision=42000 #constraints=24351 805.76/806.18 c nbDecision=42500 #constraints=24522 819.65/820.02 c nbDecision=43000 #constraints=24694 834.25/834.61 c nbDecision=43500 #constraints=24868 849.34/849.70 c nbDecision=44000 #constraints=25021 867.44/867.84 c nbDecision=44500 #constraints=25243 887.13/887.51 c nbDecision=45000 #constraints=25397 904.32/904.76 c nbDecision=45500 #constraints=25533 924.51/924.94 c nbDecision=46000 #constraints=25681 945.61/946.09 c nbDecision=46500 #constraints=25827 961.40/961.87 c nbDecision=47000 #constraints=25949 981.70/982.18 c nbDecision=47500 #constraints=26181 999.69/1000.19 c nbDecision=48000 #constraints=26379 1015.69/1016.16 c nbDecision=48500 #constraints=26547 1034.39/1034.80 c nbDecision=49000 #constraints=26798 1058.98/1059.41 c nbDecision=49500 #constraints=27125 1083.96/1084.44 c nbDecision=50000 #constraints=27417 1108.96/1109.42 c nbDecision=50500 #constraints=27711 1136.05/1136.50 c nbDecision=51000 #constraints=28037 1147.35/1147.87 c restart after 51201 decisions 1168.75/1169.29 c nbDecision=51500 #constraints=28259 1196.24/1196.73 c nbDecision=52000 #constraints=28554 1220.93/1221.43 c nbDecision=52500 #constraints=28847 1243.62/1244.13 c nbDecision=53000 #constraints=29125 1270.71/1271.21 c nbDecision=53500 #constraints=29440 1299.50/1300.02 c nbDecision=54000 #constraints=29805 1329.59/1330.12 c nbDecision=54500 #constraints=30159 1361.78/1362.39 c nbDecision=55000 #constraints=30537 1393.17/1393.71 c nbDecision=55500 #constraints=30827 1414.97/1415.59 c nbDecision=56000 #constraints=31001 1442.15/1442.78 c nbDecision=56500 #constraints=31275 1469.95/1470.56 c nbDecision=57000 #constraints=31459 1496.54/1497.10 c nbDecision=57500 #constraints=31708 1528.13/1528.74 c nbDecision=58000 #constraints=32014 1557.61/1558.23 c nbDecision=58500 #constraints=32308 1589.61/1590.27 c nbDecision=59000 #constraints=32634 1618.90/1619.55 c nbDecision=59500 #constraints=32876 1652.49/1653.12 c nbDecision=60000 #constraints=33187 1680.48/1681.17 c nbDecision=60500 #constraints=33478 1707.68/1708.36 c nbDecision=61000 #constraints=33757 1739.86/1740.51 c nbDecision=61500 #constraints=34076 1775.35/1776.03 c nbDecision=62000 #constraints=34445 1800.05/1800.70 Received signal 15 1800.14/1800.81 1800.14/1800.81 s SATISFIABLE 1800.14/1800.81 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 x30 -x31 x32 -x33 1800.14/1800.81 v x34 -x35 -x36 x37 -x38 x39 x40 x41 x42 -x43 x44 x45 x46 -x47 -x48 x49 -x50 x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59 x60 -x61 -x62 1800.14/1800.81 v -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 x83 -x84 x85 -x86 -x87 -x88 -x89 1800.14/1800.81 v -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 x112 1800.14/1800.81 v x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 1800.14/1800.81 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 1800.14/1800.81 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 1800.14/1800.81 v x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 1800.14/1800.81 v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.14/1800.81 v -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 1800.14/1800.81 v -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 x257 -x258 -x259 1800.14/1800.81 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 1800.14/1800.81 v -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 1800.14/1800.81 v -x302 -x303 -x304 x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 x317 -x318 x319 -x320 -x321 -x322 -x323 1800.14/1800.81 v -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1800.14/1800.81 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 x360 x361 -x362 -x363 -x364 -x365 1800.14/1800.81 v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 x384 -x385 -x386 1800.14/1800.81 v -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 1800.14/1800.81 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 1800.14/1800.81 v -x429 x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 1800.14/1800.81 v -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 1800.14/1800.81 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 1800.14/1800.81 v x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 1800.14/1800.81 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 1800.14/1800.81 v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 1800.14/1800.81 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 1800.14/1800.81 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.14/1800.81 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.14/1800.81 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1800.14/1800.81 v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1800.14/1800.81 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1800.14/1800.81 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 1800.14/1800.81 v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 1800.14/1800.81 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.14/1800.81 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.14/1800.81 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.14/1800.81 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.14/1800.81 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.14/1800.81 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.14/1800.81 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1800.14/1800.81 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1800.14/1800.81 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.14/1800.81 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.14/1800.81 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1800.14/1800.81 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1800.14/1800.81 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1800.14/1800.81 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1800.14/1800.81 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1800.14/1800.81 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.14/1800.81 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.14/1800.81 v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 1800.14/1800.81 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1800.14/1800.81 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.14/1800.81 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.14/1800.81 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 1800.14/1800.81 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 1800.14/1800.81 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 1800.14/1800.81 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 1800.14/1800.81 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 1800.14/1800.81 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 1800.14/1800.81 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 1800.14/1800.81 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.14/1800.81 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.14/1800.81 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1800.14/1800.81 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.14/1800.81 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1800.14/1800.81 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 1800.14/1800.81 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.14/1800.81 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 1800.14/1800.81 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1800.14/1800.81 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1800.14/1800.81 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1800.14/1800.81 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.14/1800.81 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1800.14/1800.81 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1800.14/1800.81 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.14/1800.81 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1800.14/1800.81 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.14/1800.81 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1800.14/1800.81 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1800.14/1800.81 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1800.14/1800.81 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1800.14/1800.81 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1800.14/1800.81 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.14/1800.81 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1800.14/1800.81 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1800.14/1800.81 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.14/1800.81 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1800.14/1800.81 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1800.14/1800.81 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1800.14/1800.81 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.14/1800.81 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1800.14/1800.81 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1800.14/1800.81 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 1800.14/1800.81 v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.14/1800.81 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1800.14/1800.81 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.14/1800.81 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.14/1800.81 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1800.14/1800.81 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 1800.14/1800.81 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1800.14/1800.81 v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.14/1800.81 v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 1800.14/1800.81 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 1800.14/1800.81 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1800.14/1800.81 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.14/1800.81 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1800.14/1800.81 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1800.14/1800.81 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.14/1800.81 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.14/1800.81 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.14/1800.81 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.14/1800.81 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1800.14/1800.81 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1800.14/1800.81 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.14/1800.81 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.14/1800.81 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.14/1800.81 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.14/1800.81 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.14/1800.81 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.14/1800.81 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.14/1800.81 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.14/1800.81 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.14/1800.81 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.14/1800.81 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.14/1800.81 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.14/1800.81 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 1800.14/1800.81 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1800.14/1800.81 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1800.14/1800.81 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 1800.14/1800.81 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1800.14/1800.81 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.14/1800.81 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.14/1800.81 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1800.14/1800.81 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.14/1800.81 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.14/1800.81 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.14/1800.81 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1800.14/1800.81 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.14/1800.81 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1800.14/1800.81 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1800.14/1800.81 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1800.14/1800.81 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.14/1800.81 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1800.14/1800.81 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1800.14/1800.81 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1800.14/1800.81 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1800.14/1800.81 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1800.14/1800.81 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1800.14/1800.81 v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1800.14/1800.81 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.14/1800.81 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.14/1800.81 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.14/1800.81 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 1800.14/1800.81 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1800.14/1800.81 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.14/1800.81 v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 1800.14/1800.81 v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1800.14/1800.81 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 1800.14/1800.81 v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1800.14/1800.81 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1800.14/1800.81 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.14/1800.81 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1800.14/1800.81 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1800.14/1800.81 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1800.14/1800.81 v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1800.14/1800.81 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1800.14/1800.81 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1800.14/1800.81 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1800.14/1800.81 v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1800.14/1800.81 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 1800.14/1800.81 v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1800.14/1800.81 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1800.14/1800.81 v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 1800.14/1800.81 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 1800.14/1800.81 v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 1800.14/1800.81 v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 1800.14/1800.81 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1800.14/1800.81 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.14/1800.81 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.14/1800.81 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1800.14/1800.81 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.14/1800.81 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.14/1800.81 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.14/1800.81 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.14/1800.81 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1800.14/1800.81 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 1800.14/1800.81 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1800.14/1800.81 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1800.14/1800.81 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 1800.14/1800.81 v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 1800.14/1800.81 v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.14/1800.81 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 1800.14/1800.81 v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 1800.14/1800.81 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.14/1800.81 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1800.14/1800.81 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 1800.14/1800.81 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1800.14/1800.81 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1800.14/1800.81 v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1800.14/1800.81 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 1800.14/1800.81 v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 1800.14/1800.81 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 1800.14/1800.81 1800.14/1800.81 c user time= 1799.4 s 1800.14/1800.81 c system time= 0.767883 s 1800.14/1800.81 c wall clock time=1800.81
OK -86
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb mv /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb.tmp /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-454790-1178031217 -o ROOT/results/node69/solver-454790-1178031217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22622 /proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=1468 CPUtime=0 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 279111121 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 367 166 131 317 0 46 0 [startup+0.0488559 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22622 /proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=2812 CPUtime=0.04 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 514 0 0 0 4 0 0 0 18 0 1 0 279111121 2879488 497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 703 497 132 317 0 382 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2812 [startup+0.101856 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22622 /proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=4224 CPUtime=0.09 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 873 0 0 0 9 0 0 0 18 0 1 0 279111121 4325376 856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 1056 856 137 317 0 735 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4224 [startup+0.301888 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22622 /proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=4956 CPUtime=0.29 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 1081 0 0 0 29 0 0 0 19 0 1 0 279111121 5074944 1013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271311 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 1239 1013 170 317 0 918 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4956 [startup+0.701953 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22622 /proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=7456 CPUtime=0.69 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 1722 0 0 0 69 0 0 0 22 0 1 0 279111121 7634944 1654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 1864 1654 170 317 0 1543 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7456 [startup+1.50208 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1814676/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=11108 CPUtime=1.49 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 2626 0 0 0 149 0 0 0 25 0 1 0 279111121 11374592 2558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 2777 2558 170 317 0 2456 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11108 [startup+3.10134 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1809940/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=17996 CPUtime=3.09 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 4342 0 0 0 308 1 0 0 25 0 1 0 279111121 18427904 4274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 4499 4274 170 317 0 4178 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17996 [startup+6.30186 s] /proc/loadavg: 1.00 1.00 1.00 3/65 22623 /proc/meminfo: memFree=1796052/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=30336 CPUtime=6.29 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 7244 0 0 0 627 2 0 0 25 0 1 0 279111121 31064064 7176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 7584 7176 170 317 0 7263 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30336 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1784284/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=39620 CPUtime=12.69 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 9768 0 0 0 1266 3 0 0 25 0 1 0 279111121 40570880 9700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 9905 9700 170 317 0 9584 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39620 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1764956/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=60200 CPUtime=25.49 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 14484 0 0 0 2543 6 0 0 25 0 1 0 279111121 61644800 14416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 15050 14416 170 317 0 14729 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60200 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1745436/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=78020 CPUtime=51.08 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 19352 0 0 0 5099 9 0 0 25 0 1 0 279111121 79892480 19284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 19505 19284 170 317 0 19184 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 78020 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1699548/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=126600 CPUtime=102.27 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 30718 0 0 0 10211 16 0 0 25 0 1 0 279111121 129638400 30650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 31650 30650 170 317 0 31329 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 126600 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1662492/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=161288 CPUtime=162.24 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 40134 0 0 0 16203 21 0 0 25 0 1 0 279111121 165158912 39966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 40322 39966 170 317 0 40001 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 161288 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1623772/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=211264 CPUtime=222.22 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 49707 0 0 0 22198 24 0 0 25 0 1 0 279111121 216334336 49539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 52816 49539 170 317 0 52495 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 211264 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1604700/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=228896 CPUtime=282.2 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 54507 0 0 0 28194 26 0 0 25 0 1 0 279111121 234389504 54339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 57224 54339 170 317 0 56903 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 228896 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1586908/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=244796 CPUtime=342.18 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 58869 0 0 0 34190 28 0 0 25 0 1 0 279111121 250671104 58701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 61199 58701 170 317 0 60878 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 244796 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22623 /proc/meminfo: memFree=1572828/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=258208 CPUtime=402.17 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 62417 0 0 0 40187 30 0 0 25 0 1 0 279111121 264404992 62249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 64552 62249 170 317 0 64231 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 258208 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/71 22731 /proc/meminfo: memFree=1556204/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=272048 CPUtime=462.1 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 66251 0 0 0 46176 34 0 0 25 0 1 0 279111121 278577152 66083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 68012 66083 170 317 0 67691 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 272048 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1544796/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=284040 CPUtime=522.04 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 69422 0 0 0 52168 36 0 0 25 0 1 0 279111121 290856960 69254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 71010 69254 170 317 0 70689 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 284040 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1526300/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=300592 CPUtime=582.02 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 73991 0 0 0 58164 38 0 0 25 0 1 0 279111121 307806208 73823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 75148 73823 170 317 0 74827 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 300592 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1513820/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=311360 CPUtime=642.01 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 77073 0 0 0 64160 41 0 0 25 0 1 0 279111121 318832640 76905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 77840 76905 170 317 0 77519 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 311360 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1445724/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=411664 CPUtime=941.91 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 100904 0 0 0 94139 52 0 0 25 0 1 0 279111121 421543936 93872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 102916 93872 170 317 0 102595 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 411664 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1434524/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=421536 CPUtime=1001.89 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 103688 0 0 0 100136 53 0 0 25 0 1 0 279111121 431652864 96656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 105384 96656 170 317 0 105063 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 421536 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1420956/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=434036 CPUtime=1061.88 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 107144 0 0 0 106132 56 0 0 25 0 1 0 279111121 444452864 100079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716140 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 108509 100079 170 317 0 108188 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 434036 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1406748/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=445584 CPUtime=1121.85 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 110655 0 0 0 112128 57 0 0 25 0 1 0 279111121 456278016 103590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 111396 103590 170 317 0 111075 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 445584 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1396956/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=454200 CPUtime=1181.84 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 113139 0 0 0 118125 59 0 0 25 0 1 0 279111121 465100800 106074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 113550 106074 170 317 0 113229 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 454200 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1383836/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=467208 CPUtime=1241.81 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 116685 0 0 0 124121 60 0 0 25 0 1 0 279111121 478420992 109323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 116802 109323 170 317 0 116481 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 467208 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1370588/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=479124 CPUtime=1301.8 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 119984 0 0 0 130118 62 0 0 25 0 1 0 279111121 490622976 112589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 119781 112589 170 317 0 119460 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 479124 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1356508/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=490956 CPUtime=1361.78 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 123515 0 0 0 136114 64 0 0 25 0 1 0 279111121 502738944 116120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 122739 116120 170 317 0 122418 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 490956 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1346524/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=499808 CPUtime=1421.77 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 126039 0 0 0 142111 66 0 0 25 0 1 0 279111121 511803392 118611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 124952 118611 170 317 0 124631 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 499808 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 22821 /proc/meminfo: memFree=1337052/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=508044 CPUtime=1481.74 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 128411 0 0 0 148107 67 0 0 25 0 1 0 279111121 520237056 120983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 127011 120983 170 317 0 126690 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 508044 [startup+1542.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 22821 /proc/meminfo: memFree=1326108/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=517628 CPUtime=1541.72 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 131134 0 0 0 154103 69 0 0 25 0 1 0 279111121 530051072 123706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563401 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 129407 123706 170 317 0 129086 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 517628 [startup+1602.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 22821 /proc/meminfo: memFree=1315100/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=527372 CPUtime=1601.71 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 133884 0 0 0 160100 71 0 0 25 0 1 0 279111121 540028928 126456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 131843 126456 170 317 0 131522 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 527372 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 22821 /proc/meminfo: memFree=1305244/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=536092 CPUtime=1661.69 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 136395 0 0 0 166097 72 0 0 25 0 1 0 279111121 548958208 128901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 134023 128901 170 317 0 133702 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 536092 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 22821 /proc/meminfo: memFree=1293660/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=546664 CPUtime=1721.67 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 139367 0 0 0 172094 73 0 0 25 0 1 0 279111121 559783936 131807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 136666 131807 170 317 0 136345 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 546664 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1281180/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=556728 CPUtime=1781.65 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 142517 0 0 0 178090 75 0 0 25 0 1 0 279111121 570089472 134924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 139182 134924 170 317 0 138861 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 556728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1277980/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=560044 CPUtime=1800.05 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 143330 0 0 0 179929 76 0 0 25 0 1 0 279111121 573485056 135704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 140011 135704 170 317 0 139690 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 560044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1277980/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=560044 CPUtime=1800.14 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 143335 0 0 0 179938 76 0 0 25 0 1 0 279111121 573485056 135709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 140011 135709 170 317 0 139690 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 560044 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22821 /proc/meminfo: memFree=1277980/2055920 swapFree=4182940/4192956 [pid=22622] ppid=22620 vsize=0 CPUtime=1800.24 /proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194308 143351 0 0 0 179940 84 0 0 25 0 1 0 279111121 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22622/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.26 CPU user time (s): 1799.41 CPU system time (s): 0.85087 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (KiB): 560044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.85087 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 143351 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= 8 involuntary context switches= 2556 runsolver used 1.49477 second user time and 3.48647 second system time The end
Begin job on node69 on Tue May 1 14:53:37 UTC 2007 IDJOB= 454790 IDBENCH= 48220 IDSOLVER= 172 FILE ID= node69/454790-1178031217 PBS_JOBID= 4728363 Free space on /tmp= 66561 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb COMMAND LINE= oree /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node69/convwatcher-454790-1178031217 -o ROOT/results/node69/conversion-454790-1178031217 -C 600 -M 1800 /tmp/evaluation/454790-1178031217/substituteSizeProductKeyword /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-454790-1178031217 -o ROOT/results/node69/solver-454790-1178031217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 8d62286ae12c02f1d9e42b05c51333f2 RANDOM SEED= 443950658 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1822388 kB Buffers: 93964 kB Cached: 64396 kB SwapCached: 3820 kB Active: 118048 kB Inactive: 58684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822388 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 1384 kB Writeback: 0 kB Mapped: 22764 kB Slab: 42756 kB Committed_AS: 6335020 kB PageTables: 1492 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= 66561 MiB End job on node69 on Tue May 1 15:23:40 UTC 2007