Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 6081531 | 1800.13 | 1800.9 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb |
MD5SUM | b5587ac28cf407bbfa21e21c74984478 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3806208 |
Best CPU time to get the best result obtained on this benchmark | 1800.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3581952 |
Optimality of the best value was proved | NO |
Number of variables | 3100 |
Total number of constraints | 120 |
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 | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4831838208 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 511129031204 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 511129031204 |
Number of bits of the biggest sum of numbers | 39 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.14 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.14 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.14 c type "bsolo -h" for help 0.00/0.14 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.14 c Time Limit set to 1800 0.00/0.14 c Memory Limit set to 1800 MB 0.00/0.14 c Instance file /tmp/evaluation/353860-1176687024/instance-353860-1176687024.opb 0.00/0.14 c File size is 155852 bytes. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.15 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.16 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Coefficients are big enough for not using lower bounding. 0.00/0.17 c Highest Coefficient sum: 5.11129e+11 0.00/0.17 c Parsing was ok!! 0.00/0.17 c Total parsing time: 0.026 s 0.00/0.17 c Var: 3100 Constr: 140 0/0/140 Lit: 15100 Watch. Lit: 9140 0.00/0.17 c Obj. Vars: 3100 (100 % of total variables) 0.05/0.20 c Pre-processing Time: 0.058 s 0.05/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.22 c 0 1392 140 15100 107 9159 30200 0 0 0.06 0.05/0.22 o 6081531 0.073 1799.93/1800.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.79 c 69 1392 210 23671 112 11155 32984 70 932 0.07 1799.93/1800.79 c 169 1392 310 34813 112 11413 36283 170 1857 0.09 1799.93/1800.79 c 419 1392 560 88842 158 11960 39912 420 1782 0.23 1799.93/1800.79 c 894 1392 1035 206549 199 13079 43904 895 1616 0.55 1799.93/1800.79 c 1714 1392 1855 499435 269 14712 48295 1715 1633 1.05 1799.93/1800.79 c 3034 1392 3175 884807 278 17186 53125 3035 1642 1.85 1799.93/1800.79 c 5116 1392 5257 1349077 256 21481 58438 5117 1718 2.98 1799.93/1800.79 c 8340 1392 8481 2780664 327 27957 64282 8341 1156 7.21 1799.93/1800.79 c 13277 1392 13418 4229268 315 37826 70711 13278 932 14.24 1799.93/1800.79 c 20784 1392 20925 6853997 327 52817 77783 20785 653 31.82 1799.93/1800.79 c 32145 1392 32286 12712141 393 75420 85562 32146 474 67.78 1799.93/1800.79 c 49289 1392 49430 18466779 373 109885 94119 49290 410 120.22 1799.93/1800.79 c 75109 1392 75250 26994801 358 161437 103531 75110 397 188.73 1799.93/1800.79 c 113943 1392 20260 6366835 314 51448 113885 20120 318 357.32 1799.93/1800.79 c 172296 1392 78613 31280351 397 168381 125274 78473 317 543.36 1799.93/1800.79 c 259929 1392 51168 12217014 238 113086 137802 51028 286 906.38 1799.93/1800.79 c 391483 1392 55536 22120628 398 122099 151583 55396 250 1563.90 1799.93/1800.79 c Resources Exceeded 1799.93/1800.79 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 1799.93/1800.79 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1799.93/1800.79 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1799.93/1800.79 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1799.93/1800.79 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1799.93/1800.79 v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 -x1035 -x1036 1799.93/1800.79 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 1799.93/1800.79 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1799.93/1800.79 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1799.93/1800.79 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1799.93/1800.79 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1799.93/1800.79 v -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1799.93/1800.79 v -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1799.93/1800.79 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 1799.93/1800.79 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1799.93/1800.79 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 1799.93/1800.79 v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 1799.93/1800.79 v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1799.93/1800.79 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1799.93/1800.79 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1799.93/1800.79 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1799.93/1800.79 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1799.93/1800.79 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 -x223 1799.93/1800.79 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1799.93/1800.79 v -x245 -x246 -x247 -x248 -x249 -x250 x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1799.93/1800.79 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 1799.93/1800.79 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 1799.93/1800.79 v -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1799.93/1800.79 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1799.93/1800.79 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1799.93/1800.79 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1799.93/1800.79 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1799.93/1800.79 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1799.93/1800.79 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1799.93/1800.79 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1799.93/1800.79 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 1799.93/1800.79 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1799.93/1800.79 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1799.93/1800.79 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1799.93/1800.79 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1799.93/1800.79 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1799.93/1800.79 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1799.93/1800.79 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1799.93/1800.79 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 1799.93/1800.79 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1799.93/1800.79 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 1799.93/1800.79 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1799.93/1800.79 v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1799.93/1800.79 v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 1799.93/1800.79 v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1799.93/1800.79 v x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 1799.93/1800.79 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 1799.93/1800.79 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 1799.93/1800.79 v -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 1799.93/1800.79 v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 1799.93/1800.79 v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1799.93/1800.79 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 1799.93/1800.79 v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1799.93/1800.79 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1799.93/1800.79 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1799.93/1800.79 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1799.93/1800.79 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1799.93/1800.79 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1799.93/1800.79 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1799.93/1800.79 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1799.93/1800.79 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1799.93/1800.79 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1799.93/1800.79 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1799.93/1800.79 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1799.93/1800.79 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1799.93/1800.79 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1799.93/1800.79 v -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1799.93/1800.79 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1799.93/1800.79 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1799.93/1800.79 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1799.93/1800.79 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 -x1382 1799.93/1800.79 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1799.93/1800.79 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1799.93/1800.79 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1799.93/1800.79 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1799.93/1800.79 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1799.93/1800.79 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 x1484 -x1485 1799.93/1800.79 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1799.93/1800.79 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1799.93/1800.79 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1799.93/1800.79 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1799.93/1800.79 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1799.93/1800.79 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1799.93/1800.79 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1799.93/1800.79 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1799.93/1800.79 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1799.93/1800.79 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1799.93/1800.79 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1799.93/1800.79 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1799.93/1800.79 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1799.93/1800.79 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1799.93/1800.79 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1799.93/1800.79 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1799.93/1800.79 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1799.93/1800.79 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1799.93/1800.79 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1799.93/1800.79 v -x1839 -x1840 x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1799.93/1800.79 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1799.93/1800.79 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1799.93/1800.79 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1799.93/1800.79 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1799.93/1800.79 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1799.93/1800.79 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1799.93/1800.79 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1799.93/1800.79 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1799.93/1800.79 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1799.93/1800.79 v -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1799.93/1800.79 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1799.93/1800.79 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1799.93/1800.79 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1799.93/1800.79 v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1799.93/1800.79 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 1799.93/1800.79 v x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1799.93/1800.79 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1799.93/1800.79 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1799.93/1800.79 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1799.93/1800.79 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1799.93/1800.79 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1799.93/1800.79 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1799.93/1800.79 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1799.93/1800.79 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1799.93/1800.79 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1799.93/1800.79 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1799.93/1800.79 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 1799.93/1800.79 v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 1799.93/1800.79 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 1799.93/1800.79 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 1799.93/1800.79 v -x2427 -x2428 -x2429 -x2430 x2431 x2432 x2433 x2434 x2435 x2436 x2437 x2438 x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1799.93/1800.79 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1799.93/1800.79 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 1799.93/1800.79 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 1799.93/1800.79 v -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1799.93/1800.79 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1799.93/1800.79 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1799.93/1800.79 v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1799.93/1800.79 v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 1799.93/1800.79 v -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1799.93/1800.79 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1799.93/1800.79 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 1799.93/1800.79 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1799.93/1800.79 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1799.93/1800.79 v -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 x2712 -x2713 -x2714 -x2715 1799.93/1800.79 v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 x2732 x2733 1799.93/1800.79 v x2734 x2735 x2736 x2737 x2738 x2739 x2740 -x2741 x2742 x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 1799.93/1800.79 v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 1799.93/1800.79 v -x2770 x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1799.93/1800.79 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1799.93/1800.79 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 1799.93/1800.79 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1799.93/1800.79 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1799.93/1800.79 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1799.93/1800.79 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1799.93/1800.79 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1799.93/1800.79 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1799.93/1800.79 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1799.93/1800.79 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1799.93/1800.79 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 1799.93/1800.79 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1799.93/1800.79 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3013 -x3024 x3035 -x3046 -x3057 x3068 -x3079 1799.93/1800.79 v x3090 -x3003 -x3004 -x3005 -x3006 -x3007 x3008 x3009 -x3010 x3011 -x3012 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 1799.93/1800.79 v -x3021 -x3022 -x3023 -x3025 -x3026 -x3027 -x3028 x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3040 1799.93/1800.79 v -x3041 -x3042 x3043 -x3044 -x3045 -x3047 -x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 1799.93/1800.79 v -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 1799.93/1800.79 v x3081 x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3091 x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1799.93/1800.79 v -x3100 1799.93/1800.79 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.79 c 17 445580 65205 727832 109633 44028523 109493 247 1800.03 1799.93/1800.79 c Objective: 6081531 1799.93/1800.79 s SATISFIABLE 1799.93/1800.79 c Total time: 1800.03 s
OK 6081531
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-353860-1176687024 -o ROOT/results/node38/solver-353860-1176687024 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353860-1176687024/instance-353860-1176687024.opb 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: 2.39 1.74 1.31 3/77 32299 /proc/meminfo: memFree=1874888/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=18568 CPUtime=0 /proc/32299/stat : 32299 (runsolver) D 32297 32299 31417 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 100869118 19013632 292 18446744073709551615 4194304 4296420 548682068928 18446744073709551615 266890439975 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/32299/statm: 4642 292 257 24 0 2626 0 [startup+0.050441 s] /proc/loadavg: 2.39 1.74 1.31 3/77 32299 /proc/meminfo: memFree=1874888/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=2380 CPUtime=0 /proc/32299/stat : 32299 (bsolo3.0.16) D 32297 32299 31417 0 -1 4194304 52 0 2 0 0 0 0 0 18 0 1 0 100869118 2437120 37 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8606628 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/32299/statm: 595 37 29 324 0 8 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.101449 s] /proc/loadavg: 2.39 1.74 1.31 3/77 32299 /proc/meminfo: memFree=1874888/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=3780 CPUtime=0 /proc/32299/stat : 32299 (bsolo3.0.16) D 32297 32299 31417 0 -1 4194304 161 0 6 0 0 0 0 0 18 0 1 0 100869118 3870720 135 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9072288 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/32299/statm: 945 135 111 324 0 14 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3780 [startup+0.301486 s] /proc/loadavg: 2.39 1.74 1.31 3/77 32299 /proc/meminfo: memFree=1874888/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=5456 CPUtime=0.15 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 807 0 17 0 15 0 0 0 18 0 1 0 100869118 5586944 750 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 1364 751 312 324 0 433 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 5456 [startup+0.701563 s] /proc/loadavg: 2.39 1.74 1.31 3/77 32299 /proc/meminfo: memFree=1874888/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=7392 CPUtime=0.55 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 1290 0 17 0 54 1 0 0 22 0 1 0 100869118 7569408 1233 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 1848 1233 313 324 0 917 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 7392 [startup+1.50273 s] /proc/loadavg: 2.39 1.74 1.31 2/78 32300 /proc/meminfo: memFree=1866816/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=13144 CPUtime=1.35 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 2706 0 17 0 134 1 0 0 25 0 1 0 100869118 13459456 2649 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 3286 2649 313 324 0 2355 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 13144 [startup+3.10202 s] /proc/loadavg: 2.39 1.74 1.31 2/78 32300 /proc/meminfo: memFree=1859648/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=22256 CPUtime=2.95 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 5003 0 17 0 293 2 0 0 25 0 1 0 100869118 22790144 4946 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9039439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 5564 4946 313 324 0 4633 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 22256 [startup+6.30164 s] /proc/loadavg: 2.28 1.73 1.31 2/78 32300 /proc/meminfo: memFree=1843328/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=36936 CPUtime=6.15 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 8681 0 17 0 611 4 0 0 25 0 1 0 100869118 37822464 8624 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9039300 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 9234 8624 313 324 0 8303 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 36936 [startup+12.7019 s] /proc/loadavg: 2.17 1.72 1.31 2/78 32300 /proc/meminfo: memFree=1821632/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=57156 CPUtime=12.55 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 13722 0 17 0 1248 7 0 0 25 0 1 0 100869118 58527744 13665 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 14289 13665 313 324 0 13358 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 57156 [startup+25.5013 s] /proc/loadavg: 1.91 1.68 1.30 2/78 32300 /proc/meminfo: memFree=1791680/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=86716 CPUtime=25.34 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 21120 0 17 0 2522 12 0 0 25 0 1 0 100869118 88797184 21063 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 21679 21063 313 324 0 20748 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 86716 [startup+51.1012 s] /proc/loadavg: 1.60 1.63 1.29 2/78 32300 /proc/meminfo: memFree=1740608/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=138400 CPUtime=50.93 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 34046 0 17 0 5072 21 0 0 25 0 1 0 100869118 141721600 33989 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 34600 33989 313 324 0 33669 0 Current children cumulated CPU time (s) 50.93 Current children cumulated vsize (KiB) 138400 [startup+102.305 s] /proc/loadavg: 1.26 1.53 1.27 2/78 32300 /proc/meminfo: memFree=1660096/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=217924 CPUtime=102.11 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 53929 0 17 0 10173 38 0 0 25 0 1 0 100869118 223154176 53872 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 54481 53872 313 324 0 53550 0 Current children cumulated CPU time (s) 102.11 Current children cumulated vsize (KiB) 217924 [startup+162.302 s] /proc/loadavg: 1.09 1.43 1.26 2/78 32300 /proc/meminfo: memFree=1563008/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=315764 CPUtime=162.1 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 78387 0 17 0 16153 57 0 0 25 0 1 0 100869118 323342336 78330 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 78941 78330 313 324 0 78010 0 Current children cumulated CPU time (s) 162.1 Current children cumulated vsize (KiB) 315764 [startup+222.301 s] /proc/loadavg: 1.03 1.35 1.24 2/78 32300 /proc/meminfo: memFree=1495040/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=382644 CPUtime=222.07 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 95082 0 17 0 22135 72 0 0 25 0 1 0 100869118 391827456 95025 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 95661 95025 313 324 0 94730 0 Current children cumulated CPU time (s) 222.07 Current children cumulated vsize (KiB) 382644 [startup+282.302 s] /proc/loadavg: 1.04 1.30 1.23 2/78 32300 /proc/meminfo: memFree=1449216/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=428708 CPUtime=282.05 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 106599 0 17 0 28120 85 0 0 25 0 1 0 100869118 438996992 106542 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 107177 106542 313 324 0 106246 0 Current children cumulated CPU time (s) 282.05 Current children cumulated vsize (KiB) 428708 [startup+342.301 s] /proc/loadavg: 1.01 1.24 1.21 2/78 32300 /proc/meminfo: memFree=1399744/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=477248 CPUtime=342.03 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 118842 0 17 0 34104 99 0 0 25 0 1 0 100869118 488701952 118681 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 119312 118681 313 324 0 118381 0 Current children cumulated CPU time (s) 342.03 Current children cumulated vsize (KiB) 477248 [startup+402.302 s] /proc/loadavg: 1.00 1.19 1.19 2/78 32300 /proc/meminfo: memFree=1399680/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=477248 CPUtime=402.01 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 118842 0 17 0 40098 103 0 0 25 0 1 0 100869118 488701952 118681 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 119312 118681 313 324 0 118381 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 477248 [startup+462.301 s] /proc/loadavg: 1.11 1.19 1.18 2/78 32300 /proc/meminfo: memFree=1399616/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=477248 CPUtime=461.99 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 118842 0 17 0 46091 108 0 0 25 0 1 0 100869118 488701952 118681 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 119312 118681 313 324 0 118381 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 477248 [startup+522.302 s] /proc/loadavg: 1.04 1.15 1.17 2/78 32300 /proc/meminfo: memFree=1399616/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=477248 CPUtime=521.97 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 118842 0 17 0 52087 110 0 0 25 0 1 0 100869118 488701952 118681 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 119312 118681 313 324 0 118381 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 477248 [startup+582.301 s] /proc/loadavg: 1.01 1.12 1.16 2/78 32300 /proc/meminfo: memFree=1399616/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=477248 CPUtime=581.94 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 118842 0 17 0 58079 115 0 0 25 0 1 0 100869118 488701952 118681 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 119312 118681 313 324 0 118381 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 477248 [startup+642.302 s] /proc/loadavg: 1.00 1.10 1.15 2/78 32300 /proc/meminfo: memFree=1343488/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=533324 CPUtime=641.93 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 132858 0 17 0 64066 127 0 0 25 0 1 0 100869118 546123776 132697 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 133331 132697 313 324 0 132400 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 533324 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.05 1.11 2/78 32300 /proc/meminfo: memFree=1264128/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612032 CPUtime=821.87 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152672 0 17 0 82037 150 0 0 25 0 1 0 100869118 626720768 152386 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153008 152386 313 324 0 152077 0 Current children cumulated CPU time (s) 821.87 Current children cumulated vsize (KiB) 612032 [startup+882.301 s] /proc/loadavg: 1.00 1.04 1.10 2/78 32300 /proc/meminfo: memFree=1264128/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612032 CPUtime=881.84 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152672 0 17 0 88032 152 0 0 25 0 1 0 100869118 626720768 152386 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153008 152386 313 324 0 152077 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 612032 [startup+942.302 s] /proc/loadavg: 1.00 1.03 1.09 2/78 32300 /proc/meminfo: memFree=1264128/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612032 CPUtime=941.82 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152672 0 17 0 94025 157 0 0 25 0 1 0 100869118 626720768 152386 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153008 152386 313 324 0 152077 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 612032 [startup+1002.3 s] /proc/loadavg: 1.07 1.04 1.09 2/78 32300 /proc/meminfo: memFree=1264128/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612032 CPUtime=1001.8 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152672 0 17 0 100020 160 0 0 25 0 1 0 100869118 626720768 152386 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153008 152386 313 324 0 152077 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 612032 [startup+1062.3 s] /proc/loadavg: 1.08 1.04 1.09 2/78 32300 /proc/meminfo: memFree=1264128/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612032 CPUtime=1061.79 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152672 0 17 0 106016 163 0 0 25 0 1 0 100869118 626720768 152386 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153008 152386 313 324 0 152077 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 612032 [startup+1122.3 s] /proc/loadavg: 1.03 1.03 1.08 2/78 32300 /proc/meminfo: memFree=1264064/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612032 CPUtime=1121.76 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152672 0 17 0 112009 167 0 0 25 0 1 0 100869118 626720768 152386 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153008 152386 313 324 0 152077 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 612032 [startup+1182.3 s] /proc/loadavg: 1.01 1.02 1.08 2/78 32300 /proc/meminfo: memFree=1264064/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612032 CPUtime=1181.74 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152672 0 17 0 118006 168 0 0 25 0 1 0 100869118 626720768 152386 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153008 152386 313 324 0 152077 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 612032 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.07 2/78 32300 /proc/meminfo: memFree=1263936/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612032 CPUtime=1241.72 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152672 0 17 0 124002 170 0 0 25 0 1 0 100869118 626720768 152386 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9035845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153008 152386 313 324 0 152077 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 612032 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.07 2/78 32300 /proc/meminfo: memFree=1263808/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612040 CPUtime=1301.71 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152673 0 17 0 129999 172 0 0 25 0 1 0 100869118 626728960 152387 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153010 152387 313 324 0 152079 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 612040 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.06 2/78 32300 /proc/meminfo: memFree=1263744/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612072 CPUtime=1361.68 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152682 0 17 0 135994 174 0 0 25 0 1 0 100869118 626761728 152396 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153018 152396 313 324 0 152087 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 612072 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.05 2/78 32300 /proc/meminfo: memFree=1263744/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612084 CPUtime=1421.66 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152685 0 17 0 141989 177 0 0 25 0 1 0 100869118 626774016 152399 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9039604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153021 152399 313 324 0 152090 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 612084 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.05 2/78 32300 /proc/meminfo: memFree=1263680/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=612084 CPUtime=1481.63 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152685 0 17 0 147982 181 0 0 25 0 1 0 100869118 626774016 152399 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 153021 152399 313 324 0 152090 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 612084 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.04 2/78 32300 /proc/meminfo: memFree=1263744/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=611780 CPUtime=1541.61 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152685 0 17 0 153977 184 0 0 25 0 1 0 100869118 626462720 152336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 152945 152336 313 324 0 152014 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 611780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.04 2/78 32300 /proc/meminfo: memFree=1263680/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=611780 CPUtime=1601.6 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152685 0 17 0 159972 188 0 0 25 0 1 0 100869118 626462720 152336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 152945 152336 313 324 0 152014 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 611780 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.03 2/78 32300 /proc/meminfo: memFree=1263680/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=611780 CPUtime=1661.57 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152685 0 17 0 165965 192 0 0 25 0 1 0 100869118 626462720 152336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 152945 152336 313 324 0 152014 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 611780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.02 2/78 32300 /proc/meminfo: memFree=1263616/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=611780 CPUtime=1721.55 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152685 0 17 0 171961 194 0 0 25 0 1 0 100869118 626462720 152336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 152945 152336 313 324 0 152014 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 611780 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.02 2/78 32300 /proc/meminfo: memFree=1263488/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=611780 CPUtime=1781.54 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194304 152685 0 17 0 177957 197 0 0 25 0 1 0 100869118 626462720 152336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 152945 152336 313 324 0 152014 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 611780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.02 2/78 32300 /proc/meminfo: memFree=1297984/2055920 swapFree=4141876/4192956 [pid=32299] ppid=32297 vsize=0 CPUtime=1800.03 /proc/32299/stat : 32299 (bsolo3.0.16) R 32297 32299 31417 0 -1 4194308 152686 0 17 0 179805 198 0 0 17 0 1 0 100869118 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32299/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.13 CPU user time (s): 1798.05 CPU system time (s): 2.07368 CPU usage (%): 99.9574 Max. virtual memory (cumulated for all children) (KiB): 612532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.05 system time used= 2.07368 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152686 page faults= 17 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42 involuntary context switches= 38218 runsolver used 2.17767 second user time and 4.35034 second system time The end
Begin job on node38 on Mon Apr 16 01:30:25 UTC 2007 IDJOB= 353860 IDBENCH= 2280 IDSOLVER= 163 FILE ID= node38/353860-1176687024 PBS_JOBID= 4559988 Free space on /tmp= 66317 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353860-1176687024/instance-353860-1176687024.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-353860-1176687024 -o ROOT/results/node38/solver-353860-1176687024 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353860-1176687024/instance-353860-1176687024.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= b5587ac28cf407bbfa21e21c74984478 RANDOM SEED= 98111289 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: 1875424 kB Buffers: 2188 kB Cached: 26084 kB SwapCached: 5184 kB Active: 123024 kB Inactive: 11984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1875424 kB SwapTotal: 4192956 kB SwapFree: 4141876 kB Dirty: 6260 kB Writeback: 0 kB Mapped: 112968 kB Slab: 30748 kB Committed_AS: 1491884 kB PageTables: 2060 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= 66317 MiB End job on node38 on Mon Apr 16 02:00:28 UTC 2007