Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -85 | 1800.21 | 1800.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb |
MD5SUM | 0247ef4de041bbff376811a7e6bf0408 |
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 | -110 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -110 |
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 | 22 |
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) | 6316 |
Sum of products size (including duplicates) | 12632 |
Number of different products | 3158 |
Sum of products size | 6316 |
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=3658 #constraints=7317 hasObjective=yes 0.19/0.26 c res. mode=mod 0.19/0.26 c VSIDS like heuristics 0.19/0.26 c complete search running 0.19/0.27 c nbDecision=83 #constraints=7317 0.19/0.27 c linear search for optimum 0.19/0.27 o -83 0.69/0.70 c nbDecision=371 #constraints=7450 0.69/0.70 o -84 0.69/0.77 c restart after 401 decisions 0.79/0.87 c nbDecision=500 #constraints=7488 1.29/1.34 c restart after 801 decisions 1.59/1.65 c nbDecision=1000 #constraints=7681 1.99/2.09 c nbDecision=1296 #constraints=7788 1.99/2.09 o -85 2.49/2.50 c nbDecision=1500 #constraints=7880 2.59/2.68 c restart after 1601 decisions 3.49/3.54 c nbDecision=2000 #constraints=8049 4.48/4.59 c nbDecision=2500 #constraints=8234 5.79/5.86 c nbDecision=3000 #constraints=8429 6.49/6.50 c restart after 3201 decisions 7.48/7.55 c nbDecision=3500 #constraints=8598 9.08/9.12 c nbDecision=4000 #constraints=8789 10.89/10.95 c nbDecision=4500 #constraints=8989 12.78/12.82 c nbDecision=5000 #constraints=9177 14.49/14.56 c nbDecision=5500 #constraints=9352 16.68/16.70 c nbDecision=6000 #constraints=9569 18.39/18.41 c restart after 6401 decisions 19.49/19.55 c nbDecision=6500 #constraints=9761 22.39/22.40 c nbDecision=7000 #constraints=10006 25.19/25.29 c nbDecision=7500 #constraints=10225 28.59/28.60 c nbDecision=8000 #constraints=10457 31.78/31.84 c nbDecision=8500 #constraints=10653 35.09/35.17 c nbDecision=9000 #constraints=10869 38.57/38.65 c nbDecision=9500 #constraints=11100 42.48/42.57 c nbDecision=10000 #constraints=11333 46.77/46.90 c nbDecision=10500 #constraints=11549 51.77/51.82 c nbDecision=11000 #constraints=11786 55.98/56.07 c nbDecision=11500 #constraints=11975 60.47/60.60 c nbDecision=12000 #constraints=12209 65.17/65.29 c nbDecision=12500 #constraints=12436 68.37/68.44 c restart after 12801 decisions 72.27/72.38 c nbDecision=13000 #constraints=12640 77.87/77.96 c nbDecision=13500 #constraints=12858 84.16/84.21 c nbDecision=14000 #constraints=13086 89.66/89.73 c nbDecision=14500 #constraints=13278 95.26/95.30 c nbDecision=15000 #constraints=13508 101.16/101.30 c nbDecision=15500 #constraints=13741 107.46/107.53 c nbDecision=16000 #constraints=13972 114.46/114.52 c nbDecision=16500 #constraints=14188 122.45/122.51 c nbDecision=17000 #constraints=14422 129.45/129.53 c nbDecision=17500 #constraints=14610 136.04/136.16 c nbDecision=18000 #constraints=14793 143.15/143.27 c nbDecision=18500 #constraints=14986 150.55/150.67 c nbDecision=19000 #constraints=15178 157.74/157.85 c nbDecision=19500 #constraints=15357 166.54/166.63 c nbDecision=20000 #constraints=15580 176.54/176.69 c nbDecision=20500 #constraints=15821 185.64/185.75 c nbDecision=21000 #constraints=16040 196.03/196.17 c nbDecision=21500 #constraints=16277 205.82/205.93 c nbDecision=22000 #constraints=16502 216.53/216.67 c nbDecision=22500 #constraints=16738 226.82/226.98 c nbDecision=23000 #constraints=16961 237.62/237.71 c nbDecision=23500 #constraints=17185 246.81/246.92 c nbDecision=24000 #constraints=17369 256.81/256.96 c nbDecision=24500 #constraints=17566 266.81/266.99 c nbDecision=25000 #constraints=17758 277.20/277.34 c nbDecision=25500 #constraints=17950 279.10/279.28 c restart after 25601 decisions 291.89/292.02 c nbDecision=26000 #constraints=18125 302.40/302.50 c nbDecision=26500 #constraints=18314 313.19/313.38 c nbDecision=27000 #constraints=18510 323.99/324.13 c nbDecision=27500 #constraints=18701 334.19/334.39 c nbDecision=28000 #constraints=18883 344.68/344.80 c nbDecision=28500 #constraints=19073 354.98/355.15 c nbDecision=29000 #constraints=19306 366.87/367.10 c nbDecision=29500 #constraints=19555 378.18/378.35 c nbDecision=30000 #constraints=19771 391.27/391.49 c nbDecision=30500 #constraints=20002 403.36/403.53 c nbDecision=31000 #constraints=20198 415.16/415.32 c nbDecision=31500 #constraints=20412 426.95/427.16 c nbDecision=32000 #constraints=20644 439.55/439.73 c nbDecision=32500 #constraints=20883 452.75/452.95 c nbDecision=33000 #constraints=21096 467.44/467.67 c nbDecision=33500 #constraints=21336 480.04/480.20 c nbDecision=34000 #constraints=21525 493.12/493.31 c nbDecision=34500 #constraints=21755 505.80/506.05 c nbDecision=35000 #constraints=21978 519.37/519.68 c nbDecision=35500 #constraints=22213 534.05/534.32 c nbDecision=36000 #constraints=22430 549.94/550.21 c nbDecision=36500 #constraints=22658 563.54/563.81 c nbDecision=37000 #constraints=22847 577.43/577.73 c nbDecision=37500 #constraints=23082 591.83/592.17 c nbDecision=38000 #constraints=23313 606.52/606.83 c nbDecision=38500 #constraints=23545 622.72/623.05 c nbDecision=39000 #constraints=23759 639.71/640.09 c nbDecision=39500 #constraints=23995 656.42/656.78 c nbDecision=40000 #constraints=24202 670.81/671.13 c nbDecision=40500 #constraints=24387 689.59/689.90 c nbDecision=41000 #constraints=24596 706.39/706.78 c nbDecision=41500 #constraints=24802 724.78/725.15 c nbDecision=42000 #constraints=25016 739.18/739.56 c nbDecision=42500 #constraints=25199 758.07/758.49 c nbDecision=43000 #constraints=25403 776.28/776.66 c nbDecision=43500 #constraints=25601 795.46/795.86 c nbDecision=44000 #constraints=25823 811.36/811.79 c nbDecision=44500 #constraints=26010 829.86/830.23 c nbDecision=45000 #constraints=26206 849.65/850.02 c nbDecision=45500 #constraints=26409 869.54/869.90 c nbDecision=46000 #constraints=26630 886.44/886.88 c nbDecision=46500 #constraints=26823 905.33/905.70 c nbDecision=47000 #constraints=27014 926.03/926.43 c nbDecision=47500 #constraints=27219 943.61/944.05 c nbDecision=48000 #constraints=27417 958.82/959.29 c nbDecision=48500 #constraints=27605 974.50/974.93 c nbDecision=49000 #constraints=27796 993.50/993.98 c nbDecision=49500 #constraints=27989 1011.09/1011.56 c nbDecision=50000 #constraints=28153 1029.89/1030.30 c nbDecision=50500 #constraints=28361 1045.59/1046.01 c nbDecision=51000 #constraints=28547 1052.19/1052.70 c restart after 51201 decisions 1070.18/1070.66 c nbDecision=51500 #constraints=28711 1090.27/1090.73 c nbDecision=52000 #constraints=28907 1108.06/1108.51 c nbDecision=52500 #constraints=29068 1127.56/1128.03 c nbDecision=53000 #constraints=29277 1143.65/1144.13 c nbDecision=53500 #constraints=29461 1160.95/1161.47 c nbDecision=54000 #constraints=29655 1180.64/1181.16 c nbDecision=54500 #constraints=29841 1199.54/1200.09 c nbDecision=55000 #constraints=30006 1219.73/1220.22 c nbDecision=55500 #constraints=30218 1236.33/1236.84 c nbDecision=56000 #constraints=30402 1255.42/1255.98 c nbDecision=56500 #constraints=30599 1274.81/1275.30 c nbDecision=57000 #constraints=30777 1295.31/1295.83 c nbDecision=57500 #constraints=30948 1318.30/1318.87 c nbDecision=58000 #constraints=31177 1342.99/1343.52 c nbDecision=58500 #constraints=31413 1369.39/1369.96 c nbDecision=59000 #constraints=31653 1394.18/1394.71 c nbDecision=59500 #constraints=31886 1418.96/1419.51 c nbDecision=60000 #constraints=32121 1445.66/1446.28 c nbDecision=60500 #constraints=32342 1476.55/1477.15 c nbDecision=61000 #constraints=32534 1505.94/1506.54 c nbDecision=61500 #constraints=32715 1535.93/1536.52 c nbDecision=62000 #constraints=32901 1564.23/1564.81 c nbDecision=62500 #constraints=33077 1594.41/1595.04 c nbDecision=63000 #constraints=33261 1620.21/1620.87 c nbDecision=63500 #constraints=33430 1646.29/1646.90 c nbDecision=64000 #constraints=33643 1672.59/1673.26 c nbDecision=64500 #constraints=33862 1701.18/1701.83 c nbDecision=65000 #constraints=34079 1731.87/1732.57 c nbDecision=65500 #constraints=34297 1757.17/1757.87 c nbDecision=66000 #constraints=34510 1785.06/1785.73 c nbDecision=66500 #constraints=34733 1800.06/1800.70 Received signal 15 1800.06/1800.75 1800.06/1800.75 s SATISFIABLE 1800.06/1800.75 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.06/1800.75 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 1800.06/1800.75 v -x61 -x62 -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 1800.06/1800.75 v -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 x105 x106 -x107 x108 x109 x110 -x111 -x112 1800.06/1800.75 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 x127 -x128 -x129 x130 -x131 -x132 -x133 1800.06/1800.75 v -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 1800.06/1800.75 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 1800.06/1800.75 v -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 1800.06/1800.75 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 1800.06/1800.75 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 1800.06/1800.75 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 1800.06/1800.75 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 1800.06/1800.75 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 1800.06/1800.75 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 1800.06/1800.75 v -x324 x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1800.06/1800.75 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 1800.06/1800.75 v -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 x381 -x382 -x383 -x384 x385 -x386 1800.06/1800.75 v -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 1800.06/1800.75 v -x408 -x409 -x410 x411 -x412 x413 -x414 -x415 -x416 -x417 x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 1800.06/1800.75 v -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 1800.06/1800.75 v -x450 x451 x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 1800.06/1800.75 v -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 1800.06/1800.75 v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 1800.06/1800.75 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 1800.06/1800.75 v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 1800.06/1800.75 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 1800.06/1800.75 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.06/1800.75 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.06/1800.75 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1800.06/1800.75 v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1800.06/1800.75 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1800.06/1800.75 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 1800.06/1800.75 v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 1800.06/1800.75 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.06/1800.75 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.06/1800.75 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.06/1800.75 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.06/1800.75 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.06/1800.75 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.06/1800.75 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1800.06/1800.75 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1800.06/1800.75 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.06/1800.75 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.06/1800.75 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1800.06/1800.75 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1800.06/1800.75 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1800.06/1800.75 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1800.06/1800.75 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1800.06/1800.75 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.06/1800.75 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.06/1800.75 v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 1800.06/1800.75 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1800.06/1800.75 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.06/1800.75 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.06/1800.75 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 1800.06/1800.75 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 1800.06/1800.75 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 1800.06/1800.75 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 1800.06/1800.75 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 1800.06/1800.75 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 1800.06/1800.75 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 1800.06/1800.75 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.06/1800.75 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.06/1800.75 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1800.06/1800.75 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.06/1800.75 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1800.06/1800.75 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 1800.06/1800.75 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.06/1800.75 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 1800.06/1800.75 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1800.06/1800.75 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1800.06/1800.75 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1800.06/1800.75 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.06/1800.75 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1800.06/1800.75 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1800.06/1800.75 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.06/1800.75 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1800.06/1800.75 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.06/1800.75 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1800.06/1800.75 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1800.06/1800.75 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1800.06/1800.75 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1800.06/1800.75 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1800.06/1800.75 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.06/1800.75 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1800.06/1800.75 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1800.06/1800.75 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.06/1800.75 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1800.06/1800.75 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1800.06/1800.75 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1800.06/1800.75 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.06/1800.75 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1800.06/1800.75 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1800.06/1800.75 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 1800.06/1800.75 v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.06/1800.75 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1800.06/1800.75 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.06/1800.75 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.06/1800.75 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1800.06/1800.75 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 1800.06/1800.75 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1800.06/1800.75 v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.06/1800.75 v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 1800.06/1800.75 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 1800.06/1800.75 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1800.06/1800.75 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.06/1800.75 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1800.06/1800.75 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1800.06/1800.75 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.06/1800.75 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.06/1800.75 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.06/1800.75 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.06/1800.75 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1800.06/1800.75 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1800.06/1800.75 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.06/1800.75 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.06/1800.75 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.06/1800.75 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.06/1800.75 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.06/1800.75 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.06/1800.75 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.06/1800.75 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.06/1800.75 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.06/1800.75 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.06/1800.75 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.06/1800.75 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.06/1800.75 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 1800.06/1800.75 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1800.06/1800.75 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1800.06/1800.75 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 1800.06/1800.75 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1800.06/1800.75 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.06/1800.75 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.06/1800.75 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1800.06/1800.75 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.06/1800.75 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.06/1800.75 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.06/1800.75 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1800.06/1800.75 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.06/1800.75 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1800.06/1800.75 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1800.06/1800.75 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1800.06/1800.75 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.06/1800.75 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1800.06/1800.75 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1800.06/1800.75 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1800.06/1800.75 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1800.06/1800.75 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1800.06/1800.75 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1800.06/1800.75 v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1800.06/1800.75 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.06/1800.75 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.06/1800.75 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.06/1800.75 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 1800.06/1800.75 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1800.06/1800.75 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.06/1800.75 v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 1800.06/1800.75 v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1800.06/1800.75 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 1800.06/1800.75 v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1800.06/1800.75 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1800.06/1800.75 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.06/1800.75 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1800.06/1800.75 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1800.06/1800.75 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1800.06/1800.75 v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1800.06/1800.75 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1800.06/1800.75 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1800.06/1800.75 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1800.06/1800.75 v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1800.06/1800.75 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 1800.06/1800.75 v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1800.06/1800.75 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1800.06/1800.75 v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 1800.06/1800.75 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 1800.06/1800.75 v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 1800.06/1800.75 v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 1800.06/1800.75 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1800.06/1800.75 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.06/1800.75 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.06/1800.75 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1800.06/1800.75 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.06/1800.75 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.06/1800.75 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.06/1800.75 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.06/1800.75 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1800.06/1800.75 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 1800.06/1800.75 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1800.06/1800.75 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1800.06/1800.75 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 1800.06/1800.75 v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 1800.06/1800.75 v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.06/1800.75 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 1800.06/1800.75 v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 1800.06/1800.75 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.06/1800.75 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1800.06/1800.75 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 1800.06/1800.75 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1800.06/1800.75 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1800.06/1800.75 v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1800.06/1800.75 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 1800.06/1800.75 v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 1800.06/1800.75 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 1800.06/1800.75 1800.06/1800.75 c user time= 1799.32 s 1800.06/1800.75 c system time= 0.790879 s 1800.06/1800.75 c wall clock time=1800.76
OK -85
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb mv /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb.tmp /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-454295-1178023970 -o ROOT/results/node71/solver-454295-1178023970 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454295-1178023970/instance-454295-1178023970.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: 0.91 0.97 0.99 3/64 15319 /proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=1468 CPUtime=0 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 278386322 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 367 167 131 317 0 46 0 [startup+0.0454849 s] /proc/loadavg: 0.91 0.97 0.99 3/64 15319 /proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=2656 CPUtime=0.04 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 477 0 0 0 4 0 0 0 18 0 1 0 278386322 2719744 460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 664 461 132 317 0 343 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2656 [startup+0.101492 s] /proc/loadavg: 0.91 0.97 0.99 3/64 15319 /proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=4220 CPUtime=0.09 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 872 0 0 0 9 0 0 0 18 0 1 0 278386322 4321280 855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 1055 855 137 317 0 734 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4220 [startup+0.301519 s] /proc/loadavg: 0.91 0.97 0.99 3/64 15319 /proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=4948 CPUtime=0.29 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 1080 0 0 0 29 0 0 0 19 0 1 0 278386322 5066752 1012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 1237 1012 170 317 0 916 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4948 [startup+0.701574 s] /proc/loadavg: 0.91 0.97 0.99 3/64 15319 /proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=7604 CPUtime=0.69 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 1759 0 0 0 69 0 0 0 22 0 1 0 278386322 7786496 1691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 1901 1691 170 317 0 1580 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7604 [startup+1.50168 s] /proc/loadavg: 0.91 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1773944/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=11660 CPUtime=1.49 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 2754 0 0 0 149 0 0 0 25 0 1 0 278386322 11939840 2686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713857 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 2915 2686 170 317 0 2594 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11660 [startup+3.10198 s] /proc/loadavg: 0.92 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1768568/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=18556 CPUtime=3.09 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 4486 0 0 0 308 1 0 0 25 0 1 0 278386322 19001344 4418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 4639 4418 170 317 0 4318 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18556 [startup+6.30234 s] /proc/loadavg: 0.92 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1755128/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=30308 CPUtime=6.29 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 7283 0 0 0 627 2 0 0 25 0 1 0 278386322 31035392 7215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 7577 7215 170 317 0 7256 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30308 [startup+12.7012 s] /proc/loadavg: 0.93 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1742008/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=41596 CPUtime=12.68 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 10248 0 0 0 1264 4 0 0 25 0 1 0 278386322 42594304 10180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 10399 10180 170 317 0 10078 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41596 [startup+25.502 s] /proc/loadavg: 0.94 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1718008/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=65720 CPUtime=25.48 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 16039 0 0 0 2541 7 0 0 25 0 1 0 278386322 67297280 15971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 16430 15971 170 317 0 16109 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65720 [startup+51.1014 s] /proc/loadavg: 0.96 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1684984/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=103552 CPUtime=51.07 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 24305 0 0 0 5095 12 0 0 25 0 1 0 278386322 106037248 24237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 25888 24237 170 317 0 25567 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 103552 [startup+102.304 s] /proc/loadavg: 0.98 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1647928/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=136832 CPUtime=102.26 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 33448 0 0 0 10208 18 0 0 25 0 1 0 278386322 140115968 33380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 34208 33380 170 317 0 33887 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 136832 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1617592/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=165472 CPUtime=162.23 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 41171 0 0 0 16201 22 0 0 25 0 1 0 278386322 169443328 41003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 41368 41003 170 317 0 41047 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 165472 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1579512/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=214916 CPUtime=222.22 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 50602 0 0 0 22194 28 0 0 25 0 1 0 278386322 220073984 50434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 53729 50434 170 317 0 53408 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 214916 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1559288/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=233384 CPUtime=282.2 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 55632 0 0 0 28188 32 0 0 25 0 1 0 278386322 238985216 55464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 58346 55464 170 317 0 58025 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 233384 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1540536/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=250512 CPUtime=342.18 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 60322 0 0 0 34184 34 0 0 25 0 1 0 278386322 256524288 60154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 62628 60154 170 317 0 62307 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 250512 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1519160/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=269460 CPUtime=402.16 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 65697 0 0 0 40179 37 0 0 25 0 1 0 278386322 275927040 65529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 67365 65529 170 317 0 67044 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 269460 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15320 /proc/meminfo: memFree=1499640/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=287292 CPUtime=462.14 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 70546 0 0 0 46175 39 0 0 25 0 1 0 278386322 294187008 70378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 71823 70378 170 317 0 71502 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 287292 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/71 15484 /proc/meminfo: memFree=1480448/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=303840 CPUtime=522.06 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 75080 0 0 0 52163 43 0 0 25 0 1 0 278386322 311132160 74912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 75960 74912 170 317 0 75639 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 303840 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1465656/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=318852 CPUtime=582.03 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 78995 0 0 0 58157 46 0 0 25 0 1 0 278386322 326504448 78827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 79713 78827 170 317 0 79392 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 318852 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1438072/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=384316 CPUtime=642.01 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 92577 0 0 0 64151 50 0 0 25 0 1 0 278386322 393539584 85644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 96079 85644 170 317 0 95758 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 384316 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1385208/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=430128 CPUtime=881.94 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 105793 0 0 0 88137 57 0 0 25 0 1 0 278386322 440451072 98860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 107532 98860 170 317 0 107211 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 430128 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1373688/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=440416 CPUtime=941.92 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 108719 0 0 0 94134 58 0 0 25 0 1 0 278386322 450985984 101753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 110104 101753 170 317 0 109783 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 440416 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1361272/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=451468 CPUtime=1001.9 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 111798 0 0 0 100130 60 0 0 25 0 1 0 278386322 462303232 104832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 112867 104832 170 317 0 112546 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 451468 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1350840/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=460484 CPUtime=1061.88 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 114383 0 0 0 106126 62 0 0 25 0 1 0 278386322 471535616 107417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 115121 107417 170 317 0 114800 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 460484 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1339896/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=471148 CPUtime=1121.86 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 117373 0 0 0 112122 64 0 0 25 0 1 0 278386322 482455552 110176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 117787 110176 170 317 0 117466 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 471148 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1327096/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=481792 CPUtime=1181.84 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 120650 0 0 0 118118 66 0 0 25 0 1 0 278386322 493355008 113420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 120448 113420 170 317 0 120127 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 481792 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1315640/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=491804 CPUtime=1241.83 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 123480 0 0 0 124115 68 0 0 25 0 1 0 278386322 503607296 116250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 122951 116250 170 317 0 122630 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 491804 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1305144/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=501084 CPUtime=1301.81 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 126093 0 0 0 130112 69 0 0 25 0 1 0 278386322 513110016 118830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 125271 118830 170 317 0 124950 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 501084 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1294520/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=510444 CPUtime=1361.79 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 128780 0 0 0 136108 71 0 0 25 0 1 0 278386322 522694656 121517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 127611 121517 170 317 0 127290 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 510444 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1283896/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=519772 CPUtime=1421.77 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 131408 0 0 0 142106 71 0 0 25 0 1 0 278386322 532246528 124145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 129943 124145 170 317 0 129622 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 519772 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1275768/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=526620 CPUtime=1481.75 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 133446 0 0 0 148103 72 0 0 25 0 1 0 278386322 539258880 126183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 131655 126183 170 317 0 131334 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 526620 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1268408/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=532756 CPUtime=1541.73 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 135312 0 0 0 154100 73 0 0 25 0 1 0 278386322 545542144 128016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 133189 128016 170 317 0 132868 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 532756 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1262392/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=538736 CPUtime=1601.71 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 136841 0 0 0 160097 74 0 0 25 0 1 0 278386322 551665664 129545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 134684 129545 170 317 0 134363 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 538736 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1253432/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=546368 CPUtime=1661.7 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 139060 0 0 0 166094 76 0 0 25 0 1 0 278386322 559480832 131764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 136592 131764 170 317 0 136271 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 546368 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1244664/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=553864 CPUtime=1721.67 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 141260 0 0 0 172090 77 0 0 25 0 1 0 278386322 567156736 133964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 138466 133964 170 317 0 138145 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 553864 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1235448/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=561696 CPUtime=1781.66 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 143548 0 0 0 178087 79 0 0 25 0 1 0 278386322 575176704 136252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 140424 136252 170 317 0 140103 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 561696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1233272/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=563820 CPUtime=1800.06 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 144084 0 0 0 179927 79 0 0 25 0 1 0 278386322 577351680 136788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 140955 136788 170 317 0 140634 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 563820 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: 0.99 0.97 0.99 2/65 15518 /proc/meminfo: memFree=1233272/2055920 swapFree=4184188/4192956 [pid=15319] ppid=15317 vsize=0 CPUtime=1800.16 /proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194308 144100 0 0 0 179933 83 0 0 25 0 1 0 278386322 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15319/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.21 CPU user time (s): 1799.33 CPU system time (s): 0.880866 CPU usage (%): 99.9642 Max. virtual memory (cumulated for all children) (KiB): 563820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.880866 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144100 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= 3488 runsolver used 1.44678 second user time and 3.53946 second system time The end
Begin job on node71 on Tue May 1 12:52:50 UTC 2007 IDJOB= 454295 IDBENCH= 48187 IDSOLVER= 172 FILE ID= node71/454295-1178023970 PBS_JOBID= 4728335 Free space on /tmp= 66563 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_3.opb COMMAND LINE= oree /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-454295-1178023970 -o ROOT/results/node71/conversion-454295-1178023970 -C 600 -M 1800 /tmp/evaluation/454295-1178023970/substituteSizeProductKeyword /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-454295-1178023970 -o ROOT/results/node71/solver-454295-1178023970 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408 RANDOM SEED= 519555352 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 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: 1781720 kB Buffers: 50256 kB Cached: 145408 kB SwapCached: 2692 kB Active: 97160 kB Inactive: 110520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1781720 kB SwapTotal: 4192956 kB SwapFree: 4184188 kB Dirty: 1380 kB Writeback: 0 kB Mapped: 17380 kB Slab: 52492 kB Committed_AS: 4917468 kB PageTables: 1452 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= 66563 MiB End job on node71 on Tue May 1 13:22:53 UTC 2007