Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -85 | 1800.27 | 1800.89 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb |
MD5SUM | 6a7c5d2366cf8704587c2ca2c97e69d0 |
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 | -111 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -111 |
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) | 6318 |
Sum of products size (including duplicates) | 12636 |
Number of different products | 3159 |
Sum of products size | 6318 |
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.00/0.06 c ...done 0.00/0.06 c #vars=3659 #constraints=7319 hasObjective=yes 0.19/0.28 c res. mode=mod 0.19/0.28 c VSIDS like heuristics 0.19/0.28 c complete search running 0.19/0.29 c nbDecision=82 #constraints=7319 0.19/0.29 c linear search for optimum 0.19/0.29 o -82 0.49/0.55 c restart after 401 decisions 0.59/0.61 c nbDecision=500 #constraints=7421 0.79/0.85 c restart after 801 decisions 1.00/1.02 c nbDecision=1000 #constraints=7532 1.39/1.48 c nbDecision=1500 #constraints=7654 1.49/1.50 c nbDecision=1530 #constraints=7656 1.49/1.50 o -83 1.49/1.59 c restart after 1601 decisions 1.99/2.08 c nbDecision=2000 #constraints=7772 2.79/2.85 c nbDecision=2500 #constraints=7931 3.69/3.73 c nbDecision=3000 #constraints=8096 3.99/4.02 c restart after 3201 decisions 4.49/4.58 c nbDecision=3500 #constraints=8201 5.29/5.33 c nbDecision=4000 #constraints=8321 6.09/6.15 c nbDecision=4500 #constraints=8444 7.09/7.13 c nbDecision=5000 #constraints=8569 8.09/8.13 c nbDecision=5500 #constraints=8691 9.39/9.42 c nbDecision=6000 #constraints=8839 10.39/10.48 c restart after 6401 decisions 11.09/11.18 c nbDecision=6500 #constraints=8970 12.79/12.88 c nbDecision=7000 #constraints=9154 15.09/15.12 c nbDecision=7500 #constraints=9356 17.18/17.28 c nbDecision=8000 #constraints=9538 19.19/19.21 c nbDecision=8500 #constraints=9698 20.89/20.98 c nbDecision=9000 #constraints=9848 23.09/23.11 c nbDecision=9500 #constraints=10012 25.79/25.86 c nbDecision=10000 #constraints=10199 28.59/28.60 c nbDecision=10500 #constraints=10373 30.78/30.86 c nbDecision=11000 #constraints=10518 33.18/33.20 c nbDecision=11500 #constraints=10660 35.08/35.15 c nbDecision=12000 #constraints=10785 37.08/37.11 c nbDecision=12500 #constraints=10906 38.08/38.15 c restart after 12801 decisions 40.27/40.30 c nbDecision=12982 #constraints=10989 40.27/40.30 o -84 40.37/40.42 c nbDecision=13000 #constraints=10998 42.38/42.42 c nbDecision=13500 #constraints=11116 45.08/45.16 c nbDecision=14000 #constraints=11255 48.07/48.11 c nbDecision=14500 #constraints=11402 50.28/50.38 c nbDecision=15000 #constraints=11517 52.57/52.69 c nbDecision=15500 #constraints=11631 54.77/54.80 c nbDecision=16000 #constraints=11732 57.17/57.26 c nbDecision=16500 #constraints=11848 59.87/59.90 c nbDecision=17000 #constraints=11958 62.47/62.58 c nbDecision=17500 #constraints=12067 65.57/65.63 c nbDecision=18000 #constraints=12202 68.47/68.57 c nbDecision=18500 #constraints=12320 72.47/72.56 c nbDecision=19000 #constraints=12494 76.47/76.57 c nbDecision=19500 #constraints=12655 81.27/81.33 c nbDecision=20000 #constraints=12831 85.26/85.31 c nbDecision=20500 #constraints=12968 88.66/88.79 c nbDecision=21000 #constraints=13108 92.16/92.27 c nbDecision=21500 #constraints=13240 96.46/96.55 c nbDecision=22000 #constraints=13395 101.06/101.13 c nbDecision=22500 #constraints=13546 105.56/105.67 c nbDecision=23000 #constraints=13694 109.65/109.73 c nbDecision=23500 #constraints=13832 113.55/113.65 c nbDecision=24000 #constraints=13962 118.55/118.68 c nbDecision=24500 #constraints=14102 124.45/124.54 c nbDecision=25000 #constraints=14247 131.95/132.08 c nbDecision=25500 #constraints=14437 132.95/133.08 c restart after 25601 decisions 139.35/139.46 c nbDecision=26000 #constraints=14545 144.04/144.11 c nbDecision=26500 #constraints=14665 150.04/150.13 c nbDecision=27000 #constraints=14804 155.94/156.01 c nbDecision=27500 #constraints=14933 162.13/162.24 c nbDecision=28000 #constraints=15088 169.14/169.25 c nbDecision=28500 #constraints=15266 178.53/178.67 c nbDecision=29000 #constraints=15484 185.53/185.62 c nbDecision=29500 #constraints=15652 192.33/192.48 c nbDecision=30000 #constraints=15824 200.23/200.34 c nbDecision=30500 #constraints=16004 208.02/208.15 c nbDecision=31000 #constraints=16177 214.62/214.77 c nbDecision=31500 #constraints=16331 220.32/220.40 c nbDecision=32000 #constraints=16461 225.12/225.27 c nbDecision=32500 #constraints=16578 230.31/230.42 c nbDecision=33000 #constraints=16689 235.91/236.09 c nbDecision=33500 #constraints=16809 242.91/243.06 c nbDecision=34000 #constraints=16941 249.91/250.08 c nbDecision=34500 #constraints=17098 255.20/255.36 c nbDecision=35000 #constraints=17211 260.01/260.18 c nbDecision=35500 #constraints=17327 264.60/264.73 c nbDecision=36000 #constraints=17434 270.10/270.29 c nbDecision=36500 #constraints=17543 276.29/276.40 c nbDecision=37000 #constraints=17662 282.00/282.19 c nbDecision=37500 #constraints=17775 288.39/288.55 c nbDecision=38000 #constraints=17894 294.29/294.43 c nbDecision=38500 #constraints=18006 300.59/300.75 c nbDecision=39000 #constraints=18136 306.69/306.81 c nbDecision=39500 #constraints=18262 314.08/314.22 c nbDecision=40000 #constraints=18413 321.98/322.18 c nbDecision=40500 #constraints=18573 330.38/330.53 c nbDecision=41000 #constraints=18729 339.78/339.92 c nbDecision=41500 #constraints=18898 347.57/347.70 c nbDecision=42000 #constraints=19040 354.37/354.54 c nbDecision=42500 #constraints=19176 360.77/360.97 c nbDecision=43000 #constraints=19305 368.46/368.64 c nbDecision=43500 #constraints=19452 376.96/377.16 c nbDecision=44000 #constraints=19604 385.26/385.41 c nbDecision=44500 #constraints=19752 393.46/393.61 c nbDecision=45000 #constraints=19903 401.75/401.96 c nbDecision=45500 #constraints=20047 408.96/409.11 c nbDecision=46000 #constraints=20179 416.14/416.39 c nbDecision=46500 #constraints=20312 423.25/423.46 c nbDecision=47000 #constraints=20423 429.75/429.99 c nbDecision=47500 #constraints=20527 437.04/437.23 c nbDecision=48000 #constraints=20631 444.24/444.49 c nbDecision=48500 #constraints=20737 452.13/452.39 c nbDecision=49000 #constraints=20846 461.43/461.64 c nbDecision=49500 #constraints=20972 470.13/470.36 c nbDecision=50000 #constraints=21110 479.23/479.46 c nbDecision=50500 #constraints=21246 487.32/487.58 c nbDecision=51000 #constraints=21356 490.62/490.80 c restart after 51201 decisions 500.52/500.75 c nbDecision=51500 #constraints=21448 508.62/508.85 c nbDecision=52000 #constraints=21567 516.61/516.88 c nbDecision=52500 #constraints=21671 523.71/523.93 c nbDecision=53000 #constraints=21774 531.41/531.69 c nbDecision=53500 #constraints=21876 540.00/540.25 c nbDecision=54000 #constraints=21986 549.81/550.09 c nbDecision=54500 #constraints=22104 561.09/561.32 c nbDecision=55000 #constraints=22233 570.39/570.65 c nbDecision=55500 #constraints=22354 580.60/580.87 c nbDecision=56000 #constraints=22496 591.29/591.53 c nbDecision=56500 #constraints=22644 601.39/601.62 c nbDecision=57000 #constraints=22781 611.38/611.62 c nbDecision=57500 #constraints=22927 621.18/621.43 c nbDecision=58000 #constraints=23066 631.57/631.86 c nbDecision=58500 #constraints=23220 645.17/645.42 c nbDecision=59000 #constraints=23391 654.97/655.28 c nbDecision=59500 #constraints=23529 665.66/665.91 c nbDecision=60000 #constraints=23670 677.86/678.15 c nbDecision=60500 #constraints=23821 688.66/688.94 c nbDecision=61000 #constraints=23955 700.55/700.82 c nbDecision=61500 #constraints=24100 710.45/710.70 c nbDecision=62000 #constraints=24227 721.04/721.39 c nbDecision=62500 #constraints=24367 732.54/732.81 c nbDecision=63000 #constraints=24517 749.23/749.51 c nbDecision=63500 #constraints=24709 762.13/762.43 c nbDecision=64000 #constraints=24867 772.73/773.05 c nbDecision=64500 #constraints=24999 785.13/785.47 c nbDecision=65000 #constraints=25145 797.31/797.67 c nbDecision=65500 #constraints=25284 808.22/808.53 c nbDecision=66000 #constraints=25414 816.21/816.55 c nbDecision=66500 #constraints=25517 824.81/825.19 c nbDecision=67000 #constraints=25616 832.91/833.24 c nbDecision=67500 #constraints=25718 841.80/842.17 c nbDecision=68000 #constraints=25817 847.10/847.44 c nbDecision=68357 #constraints=25876 847.10/847.44 o -85 849.59/849.97 c nbDecision=68500 #constraints=25906 858.70/859.02 c nbDecision=69000 #constraints=26003 868.29/868.65 c nbDecision=69500 #constraints=26102 879.70/880.02 c nbDecision=70000 #constraints=26211 889.78/890.11 c nbDecision=70500 #constraints=26325 901.29/901.63 c nbDecision=71000 #constraints=26456 911.78/912.12 c nbDecision=71500 #constraints=26565 920.87/921.29 c nbDecision=72000 #constraints=26664 929.38/929.78 c nbDecision=72500 #constraints=26759 939.37/939.75 c nbDecision=73000 #constraints=26867 948.77/949.18 c nbDecision=73500 #constraints=26964 956.96/957.39 c nbDecision=74000 #constraints=27055 966.36/966.72 c nbDecision=74500 #constraints=27150 976.65/977.06 c nbDecision=75000 #constraints=27250 987.96/988.39 c nbDecision=75500 #constraints=27356 999.85/1000.27 c nbDecision=76000 #constraints=27464 1011.44/1011.80 c nbDecision=76500 #constraints=27572 1022.84/1023.28 c nbDecision=77000 #constraints=27694 1034.43/1034.82 c nbDecision=77500 #constraints=27817 1046.24/1046.62 c nbDecision=78000 #constraints=27946 1058.33/1058.77 c nbDecision=78500 #constraints=28068 1069.83/1070.30 c nbDecision=79000 #constraints=28194 1081.42/1081.86 c nbDecision=79500 #constraints=28320 1093.42/1093.86 c nbDecision=80000 #constraints=28453 1108.31/1108.80 c nbDecision=80500 #constraints=28603 1121.30/1121.74 c nbDecision=81000 #constraints=28735 1132.90/1133.38 c nbDecision=81500 #constraints=28856 1145.40/1145.87 c nbDecision=82000 #constraints=28978 1159.49/1159.99 c nbDecision=82500 #constraints=29114 1170.89/1171.35 c nbDecision=83000 #constraints=29227 1184.18/1184.67 c nbDecision=83500 #constraints=29358 1195.88/1196.37 c nbDecision=84000 #constraints=29471 1207.38/1207.88 c nbDecision=84500 #constraints=29590 1220.07/1220.51 c nbDecision=85000 #constraints=29726 1235.27/1235.76 c nbDecision=85500 #constraints=29872 1251.86/1252.35 c nbDecision=86000 #constraints=30026 1264.66/1265.11 c nbDecision=86500 #constraints=30153 1277.46/1277.97 c nbDecision=87000 #constraints=30281 1290.45/1290.94 c nbDecision=87500 #constraints=30403 1303.75/1304.27 c nbDecision=88000 #constraints=30528 1316.44/1316.91 c nbDecision=88500 #constraints=30645 1333.74/1334.20 c nbDecision=89000 #constraints=30787 1356.33/1356.81 c nbDecision=89500 #constraints=30965 1377.72/1378.25 c nbDecision=90000 #constraints=31142 1395.51/1396.09 c nbDecision=90500 #constraints=31293 1416.70/1417.29 c nbDecision=91000 #constraints=31462 1439.60/1440.18 c nbDecision=91500 #constraints=31642 1462.79/1463.36 c nbDecision=92000 #constraints=31836 1486.88/1487.49 c nbDecision=92500 #constraints=32052 1514.67/1515.21 c nbDecision=93000 #constraints=32271 1538.46/1539.09 c nbDecision=93500 #constraints=32482 1564.45/1565.10 c nbDecision=94000 #constraints=32700 1593.65/1594.27 c nbDecision=94500 #constraints=32928 1614.24/1614.87 c nbDecision=95000 #constraints=33101 1627.34/1627.91 c nbDecision=95500 #constraints=33212 1642.23/1642.80 c nbDecision=96000 #constraints=33330 1657.92/1658.57 c nbDecision=96500 #constraints=33456 1677.41/1678.09 c nbDecision=97000 #constraints=33607 1695.01/1695.70 c nbDecision=97500 #constraints=33739 1711.41/1712.03 c nbDecision=98000 #constraints=33870 1724.50/1725.11 c nbDecision=98500 #constraints=33983 1736.90/1737.55 c nbDecision=99000 #constraints=34090 1753.99/1754.63 c nbDecision=99500 #constraints=34224 1771.49/1772.18 c nbDecision=100000 #constraints=34359 1789.58/1790.20 c nbDecision=100500 #constraints=34503 1800.08/1800.71 Received signal 15 1800.08/1800.78 1800.08/1800.78 s SATISFIABLE 1800.08/1800.78 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.08/1800.78 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 1800.08/1800.78 v -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 -x88 1800.08/1800.78 v -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.08/1800.78 v -x113 -x114 x115 x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 -x133 x134 1800.08/1800.78 v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1800.08/1800.78 v -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 1800.08/1800.78 v -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 1800.08/1800.78 v -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 1800.08/1800.78 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 1800.08/1800.78 v -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 1800.08/1800.78 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 1800.08/1800.78 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 1800.08/1800.78 v -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 1800.08/1800.78 v -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 1800.08/1800.78 v -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 1800.08/1800.78 v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 1800.08/1800.78 v -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 x407 1800.08/1800.78 v -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 1800.08/1800.78 v -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 x447 -x448 -x449 1800.08/1800.78 v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 1800.08/1800.78 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 1800.08/1800.78 v -x492 -x493 x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 1800.08/1800.78 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 1800.08/1800.78 v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 1800.08/1800.78 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 1800.08/1800.78 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.08/1800.78 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.08/1800.78 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1800.08/1800.78 v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1800.08/1800.78 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1800.08/1800.78 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 1800.08/1800.78 v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 1800.08/1800.78 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.08/1800.78 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.08/1800.78 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.08/1800.78 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.08/1800.78 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.08/1800.78 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.08/1800.78 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1800.08/1800.78 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1800.08/1800.78 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.08/1800.78 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.08/1800.78 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1800.08/1800.78 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1800.08/1800.78 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1800.08/1800.78 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1800.08/1800.78 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1800.08/1800.78 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.08/1800.78 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.08/1800.78 v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 1800.08/1800.78 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1800.08/1800.78 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.08/1800.78 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.08/1800.78 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 1800.08/1800.78 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 1800.08/1800.78 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 1800.08/1800.78 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 1800.08/1800.78 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 1800.08/1800.78 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 1800.08/1800.78 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 1800.08/1800.78 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.08/1800.78 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.08/1800.78 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1800.08/1800.78 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.08/1800.78 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 1800.08/1800.78 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 1800.08/1800.78 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.08/1800.78 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 1800.08/1800.78 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1800.08/1800.78 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1800.08/1800.78 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1800.08/1800.78 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.08/1800.78 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1800.08/1800.78 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1800.08/1800.78 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.08/1800.78 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1800.08/1800.78 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.08/1800.78 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1800.08/1800.78 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1800.08/1800.78 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1800.08/1800.78 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1800.08/1800.78 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1800.08/1800.78 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.08/1800.78 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1800.08/1800.78 v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1800.08/1800.78 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.08/1800.78 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1800.08/1800.78 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1800.08/1800.78 v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1800.08/1800.78 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1800.08/1800.78 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1800.08/1800.78 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1800.08/1800.78 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 1800.08/1800.78 v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.08/1800.78 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 1800.08/1800.78 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.08/1800.78 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.08/1800.78 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1800.08/1800.78 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 1800.08/1800.78 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1800.08/1800.78 v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.08/1800.78 v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 1800.08/1800.78 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 1800.08/1800.78 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1800.08/1800.78 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.08/1800.78 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1800.08/1800.78 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1800.08/1800.78 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.08/1800.78 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.08/1800.78 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.08/1800.78 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.08/1800.78 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1800.08/1800.78 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1800.08/1800.78 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.08/1800.78 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.08/1800.78 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.08/1800.78 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.08/1800.78 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.08/1800.78 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.08/1800.78 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.08/1800.78 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.08/1800.78 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.08/1800.78 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.08/1800.78 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.08/1800.78 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.08/1800.78 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 1800.08/1800.78 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1800.08/1800.78 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1800.08/1800.78 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 1800.08/1800.78 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1800.08/1800.78 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.08/1800.78 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.08/1800.78 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1800.08/1800.78 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.08/1800.78 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.08/1800.78 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.08/1800.78 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1800.08/1800.78 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.08/1800.78 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1800.08/1800.78 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1800.08/1800.78 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1800.08/1800.78 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.08/1800.78 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1800.08/1800.78 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1800.08/1800.78 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1800.08/1800.78 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1800.08/1800.78 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1800.08/1800.78 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1800.08/1800.78 v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1800.08/1800.78 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.08/1800.78 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.08/1800.78 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.08/1800.78 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 1800.08/1800.78 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1800.08/1800.78 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.08/1800.78 v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 1800.08/1800.78 v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1800.08/1800.78 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 1800.08/1800.78 v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1800.08/1800.78 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1800.08/1800.78 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.08/1800.78 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1800.08/1800.78 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1800.08/1800.78 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1800.08/1800.78 v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1800.08/1800.78 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1800.08/1800.78 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1800.08/1800.78 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1800.08/1800.78 v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1800.08/1800.78 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 1800.08/1800.78 v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1800.08/1800.78 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1800.08/1800.78 v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 1800.08/1800.78 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 1800.08/1800.78 v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 1800.08/1800.78 v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 1800.08/1800.78 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1800.08/1800.78 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.08/1800.78 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.08/1800.78 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1800.08/1800.78 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1800.08/1800.78 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1800.08/1800.78 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.08/1800.78 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.08/1800.78 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1800.08/1800.78 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 1800.08/1800.78 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1800.08/1800.78 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1800.08/1800.78 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 1800.08/1800.78 v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 1800.08/1800.78 v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.08/1800.78 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 1800.08/1800.78 v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 1800.08/1800.78 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.08/1800.78 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1800.08/1800.78 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 1800.08/1800.78 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1800.08/1800.78 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1800.08/1800.78 v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1800.08/1800.78 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 1800.08/1800.78 v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 1800.08/1800.78 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 1800.08/1800.78 1800.08/1800.78 c user time= 1799.29 s 1800.08/1800.78 c system time= 0.879866 s 1800.08/1800.78 c wall clock time=1800.79
OK -85
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb mv /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb.tmp /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-454130-1178021715 -o ROOT/results/node38/solver-454130-1178021715 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454130-1178021715/instance-454130-1178021715.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.23 1.16 1.10 3/77 17132 /proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=1468 CPUtime=0 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 234338184 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 367 168 131 317 0 46 0 [startup+0.00835308 s] /proc/loadavg: 1.23 1.16 1.10 3/77 17132 /proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=1600 CPUtime=0 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 234338184 1638400 188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 400 189 131 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.10137 s] /proc/loadavg: 1.23 1.16 1.10 3/77 17132 /proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=4224 CPUtime=0.09 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 872 0 0 0 9 0 0 0 18 0 1 0 234338184 4325376 855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 1056 855 137 317 0 735 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4224 [startup+0.301408 s] /proc/loadavg: 1.23 1.16 1.10 3/77 17132 /proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=4952 CPUtime=0.29 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 1081 0 0 0 29 0 0 0 20 0 1 0 234338184 5070848 1013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 1238 1013 170 317 0 917 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4952 [startup+0.701485 s] /proc/loadavg: 1.23 1.16 1.10 3/77 17132 /proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=7548 CPUtime=0.69 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 1747 0 0 0 69 0 0 0 24 0 1 0 234338184 7729152 1679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 1887 1679 170 317 0 1566 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7548 [startup+1.50164 s] /proc/loadavg: 1.23 1.16 1.10 2/78 17133 /proc/meminfo: memFree=1789272/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=11864 CPUtime=1.49 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 2816 0 0 0 149 0 0 0 25 0 1 0 234338184 12148736 2748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 2966 2748 170 317 0 2645 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11864 [startup+3.10194 s] /proc/loadavg: 1.22 1.15 1.10 2/78 17133 /proc/meminfo: memFree=1784216/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=18896 CPUtime=3.09 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 4566 0 0 0 308 1 0 0 25 0 1 0 234338184 19349504 4498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 4724 4499 170 317 0 4403 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18896 [startup+6.30156 s] /proc/loadavg: 1.22 1.15 1.10 2/78 17133 /proc/meminfo: memFree=1771352/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=30084 CPUtime=6.29 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 7278 0 0 0 626 3 0 0 25 0 1 0 234338184 30806016 7210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 7521 7210 170 317 0 7200 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30084 [startup+12.7018 s] /proc/loadavg: 1.18 1.15 1.10 2/78 17133 /proc/meminfo: memFree=1757992/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=41136 CPUtime=12.69 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 10155 0 0 0 1264 5 0 0 25 0 1 0 234338184 42123264 10087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 10284 10087 170 317 0 9963 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41136 [startup+25.5012 s] /proc/loadavg: 1.15 1.14 1.10 2/78 17133 /proc/meminfo: memFree=1734888/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=64824 CPUtime=25.48 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 15730 0 0 0 2541 7 0 0 25 0 1 0 234338184 66379776 15662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 16206 15662 170 317 0 15885 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64824 [startup+51.1012 s] /proc/loadavg: 1.10 1.13 1.09 2/78 17133 /proc/meminfo: memFree=1703848/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=100408 CPUtime=51.07 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 23532 0 0 0 5095 12 0 0 25 0 1 0 234338184 102817792 23464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 25102 23464 170 317 0 24781 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 100408 [startup+102.306 s] /proc/loadavg: 1.04 1.11 1.09 2/78 17133 /proc/meminfo: memFree=1666344/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=134120 CPUtime=102.26 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 32764 0 0 0 10207 19 0 0 25 0 1 0 234338184 137338880 32696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 33530 32696 170 317 0 33209 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 134120 [startup+162.301 s] /proc/loadavg: 1.01 1.08 1.08 2/78 17133 /proc/meminfo: memFree=1639208/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=159536 CPUtime=162.23 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 39681 0 0 0 16200 23 0 0 25 0 1 0 234338184 163364864 39513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 39884 39513 170 317 0 39563 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 159536 [startup+222.302 s] /proc/loadavg: 1.00 1.07 1.07 2/78 17133 /proc/meminfo: memFree=1601768/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=209196 CPUtime=222.22 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 48958 0 0 0 22194 28 0 0 25 0 1 0 234338184 214216704 48790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 52299 48790 170 317 0 51978 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 209196 [startup+282.302 s] /proc/loadavg: 1.00 1.05 1.07 2/78 17133 /proc/meminfo: memFree=1578280/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=230324 CPUtime=282.2 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 54847 0 0 0 28189 31 0 0 25 0 1 0 234338184 235851776 54679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 57581 54679 170 317 0 57260 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 230324 [startup+342.301 s] /proc/loadavg: 1.00 1.04 1.06 2/78 17133 /proc/meminfo: memFree=1557160/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=249708 CPUtime=342.18 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 60089 0 0 0 34184 34 0 0 25 0 1 0 234338184 255700992 59921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 62427 59921 170 317 0 62106 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 249708 [startup+402.302 s] /proc/loadavg: 1.00 1.03 1.06 2/78 17133 /proc/meminfo: memFree=1537256/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=267956 CPUtime=402.15 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 65069 0 0 0 40178 37 0 0 25 0 1 0 234338184 274386944 64901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 66989 64901 170 317 0 66668 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 267956 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.05 2/78 17133 /proc/meminfo: memFree=1520104/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=283492 CPUtime=462.13 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 69355 0 0 0 46174 39 0 0 25 0 1 0 234338184 290295808 69187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 70873 69187 170 317 0 70552 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 283492 [startup+522.303 s] /proc/loadavg: 1.00 1.02 1.05 2/78 17133 /proc/meminfo: memFree=1505896/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=296408 CPUtime=522.12 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 72946 0 0 0 52170 42 0 0 25 0 1 0 234338184 303521792 72778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 74102 72778 170 317 0 73781 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 296408 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.04 2/78 17133 /proc/meminfo: memFree=1492200/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=309180 CPUtime=582.1 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 76325 0 0 0 58166 44 0 0 25 0 1 0 234338184 316600320 76157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 77295 76157 170 317 0 76974 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 309180 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.03 2/78 17135 /proc/meminfo: memFree=1476520/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=323056 CPUtime=642.07 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 80201 0 0 0 64162 45 0 0 25 0 1 0 234338184 330809344 80033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 80764 80033 170 317 0 80443 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 323056 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.01 2/78 17135 /proc/meminfo: memFree=1411624/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=421732 CPUtime=881.99 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 103241 0 0 0 88141 58 0 0 25 0 1 0 234338184 431853568 96209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 105433 96209 170 317 0 105112 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 421732 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1398440/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=432532 CPUtime=941.96 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 106551 0 0 0 94136 60 0 0 25 0 1 0 234338184 442912768 99519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 108133 99519 170 317 0 107812 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 432532 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1387304/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=442184 CPUtime=1001.95 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 109303 0 0 0 100133 62 0 0 25 0 1 0 234338184 452796416 102271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 110546 102271 170 317 0 110225 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 442184 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1375848/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=452472 CPUtime=1061.92 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 112200 0 0 0 106128 64 0 0 25 0 1 0 234338184 463331328 105168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 113118 105168 170 317 0 112797 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 452472 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1364072/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=463000 CPUtime=1121.9 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 115123 0 0 0 112124 66 0 0 25 0 1 0 234338184 474112000 108091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 115750 108091 170 317 0 115429 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 463000 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1351784/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=473512 CPUtime=1181.88 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 118394 0 0 0 118120 68 0 0 25 0 1 0 234338184 484876288 111164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 118378 111164 170 317 0 118057 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 473512 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1340584/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=483504 CPUtime=1241.87 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 121172 0 0 0 124116 71 0 0 25 0 1 0 234338184 495108096 113942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 120876 113942 170 317 0 120555 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 483504 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1329704/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=493100 CPUtime=1301.84 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 123894 0 0 0 130112 72 0 0 25 0 1 0 234338184 504934400 116631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 123275 116631 170 317 0 122954 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 493100 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1320232/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=501628 CPUtime=1361.82 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 126378 0 0 0 136108 74 0 0 25 0 1 0 234338184 513667072 119016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 125407 119016 170 317 0 125086 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 501628 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1310760/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=510136 CPUtime=1421.8 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 128812 0 0 0 142105 75 0 0 25 0 1 0 234338184 522379264 121384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 127534 121384 170 317 0 127213 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 510136 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1301160/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=518524 CPUtime=1481.78 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 131179 0 0 0 148101 77 0 0 25 0 1 0 234338184 530968576 123751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 129631 123751 170 317 0 129310 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 518524 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1291688/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=526792 CPUtime=1541.76 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 133562 0 0 0 154098 78 0 0 25 0 1 0 234338184 539435008 126134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 131698 126134 170 317 0 131377 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 526792 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1282280/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=534984 CPUtime=1601.74 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 135968 0 0 0 160094 80 0 0 25 0 1 0 234338184 547823616 128507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 133746 128507 170 317 0 133425 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 534984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1273000/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=542932 CPUtime=1661.72 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 138257 0 0 0 166090 82 0 0 25 0 1 0 234338184 555962368 130796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 135733 130796 170 317 0 135412 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 542932 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1263848/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=551056 CPUtime=1721.7 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 140618 0 0 0 172086 84 0 0 25 0 1 0 234338184 564281344 133091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 137764 133091 170 317 0 137443 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 551056 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1255272/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=559180 CPUtime=1781.67 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 142965 0 0 0 178081 86 0 0 25 0 1 0 234338184 572600320 135405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 139795 135405 170 317 0 139474 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 559180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17135 /proc/meminfo: memFree=1252200/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=561400 CPUtime=1800.08 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 143552 0 0 0 179921 87 0 0 25 0 1 0 234338184 574873600 135959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 140350 135959 170 317 0 140029 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 561400 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/78 17135 /proc/meminfo: memFree=1252200/2055920 swapFree=4154564/4192956 [pid=17132] ppid=17130 vsize=489456 CPUtime=1800.17 /proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 143572 0 0 0 179929 88 0 0 25 0 1 0 234338184 501202944 121253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17132/statm: 122299 121199 186 317 0 121978 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 489456 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.27 CPU user time (s): 1799.3 CPU system time (s): 0.966853 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 561400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 0.966853 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 143572 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= 38170 runsolver used 1.49477 second user time and 4.17836 second system time The end
Begin job on node38 on Tue May 1 12:15:15 UTC 2007 IDJOB= 454130 IDBENCH= 48176 IDSOLVER= 172 FILE ID= node38/454130-1178021715 PBS_JOBID= 4728327 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_1.opb COMMAND LINE= oree /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-454130-1178021715 -o ROOT/results/node38/conversion-454130-1178021715 -C 600 -M 1800 /tmp/evaluation/454130-1178021715/substituteSizeProductKeyword /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-454130-1178021715 -o ROOT/results/node38/solver-454130-1178021715 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0 RANDOM SEED= 623298674 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1797112 kB Buffers: 50344 kB Cached: 122456 kB SwapCached: 6788 kB Active: 93180 kB Inactive: 106152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797112 kB SwapTotal: 4192956 kB SwapFree: 4154564 kB Dirty: 1564 kB Writeback: 0 kB Mapped: 33144 kB Slab: 44692 kB Committed_AS: 3825348 kB PageTables: 2072 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 node38 on Tue May 1 12:45:18 UTC 2007