Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 4426511 | 1800.11 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb |
MD5SUM | 3aa00837dd74901ce1879f04fea91920 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1751040 |
Best CPU time to get the best result obtained on this benchmark | 1800.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1751040 |
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 | 550843571711 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 550843571711 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353915-1176688272/instance-353915-1176688272.opb 0.00/0.00 c File size is 155881 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Highest Coefficient sum: 5.50844e+11 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.026 s 0.00/0.03 c Var: 3100 Constr: 140 0/0/140 Lit: 15100 Watch. Lit: 9140 0.00/0.03 c Obj. Vars: 3100 (100 % of total variables) 0.00/0.06 c Pre-processing Time: 0.058 s 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 1418 140 15100 107 9167 30200 0 0 0.06 0.09/0.14 c 100 1418 240 25248 105 9404 33221 100 1408 0.07 0.09/0.14 c 254 1418 394 42298 107 10445 36544 254 2015 0.13 0.09/0.14 o 5075418 0.143 136.95/137.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 136.95/137.08 c 298 1418 439 50920 115 11896 33036 299 2055 0.14 136.95/137.08 c 398 1418 539 74479 138 12322 36340 399 1941 0.20 136.95/137.08 c 648 1418 789 181699 230 12644 39975 649 1723 0.38 136.95/137.08 c 1125 1418 1266 344241 271 13407 43973 1126 1794 0.63 136.95/137.08 c 1940 1418 2081 573550 275 14746 48371 1941 2018 0.96 136.95/137.08 c 3262 1418 3403 950767 279 17968 53209 3263 1897 1.72 136.95/137.08 c 5344 1418 5485 1282731 233 21579 58530 5345 2187 2.44 136.95/137.08 c 8568 1418 8709 2673243 306 28536 64384 8569 1227 6.98 136.95/137.08 c 13504 1418 13645 4097513 300 38072 70823 13505 1288 10.48 136.95/137.08 c 21010 1418 21151 7676245 362 53321 77906 21011 656 32.00 136.95/137.08 c 32371 1418 32512 12150044 373 76231 85697 32372 594 54.42 136.95/137.08 c 49515 1418 49656 16234889 326 110088 94267 49516 504 98.23 136.95/137.08 o 4952067 137.043 145.15/145.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 145.15/145.28 c 66067 1418 66209 20010748 302 144532 33036 66069 482 137.04 145.15/145.28 c 66167 1418 12566 2831436 225 36143 36340 12426 476 138.86 145.15/145.28 c 66418 1418 12817 2915076 227 36696 39975 12677 477 139.09 145.15/145.28 c 66893 1418 13292 3078757 231 37727 43973 13152 479 139.36 145.15/145.28 c 67709 1418 14108 3500773 248 39100 48371 13968 481 140.53 145.15/145.28 c 69029 1418 15428 3821854 247 41501 53209 15288 488 141.23 145.15/145.28 c 71111 1418 17510 4663884 266 46081 58530 17370 491 144.61 145.15/145.28 o 4941262 145.242 156.35/156.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 156.35/156.49 c 71889 1418 18289 4856411 265 48810 33036 18149 494 145.24 156.35/156.49 c 71991 1418 18391 4868811 264 48484 36340 18251 495 145.31 156.35/156.49 c 72242 1418 18642 4946268 265 49580 39975 18502 496 145.56 156.35/156.49 c 72717 1418 19117 5062302 264 50114 43973 18977 498 145.98 156.35/156.49 c 73530 1418 19930 5299285 265 52138 48371 19790 501 146.69 156.35/156.49 c 74850 1418 21250 5712188 268 54802 53209 21110 505 147.94 156.35/156.49 c 76935 1418 23335 6609294 283 58959 58530 23195 512 150.25 156.35/156.49 c 80159 1418 26559 7962289 299 65426 64384 26419 514 155.69 156.35/156.49 o 4426511 156.446 1799.99/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.60 c 81414 1418 27815 8274763 297 68643 33036 27675 520 156.45 1799.99/1800.60 c 81514 1418 27915 8323859 298 68777 36340 27775 520 156.69 1799.99/1800.60 c 81764 1418 28165 8381338 297 69017 39975 28025 521 156.85 1799.99/1800.60 c 82240 1418 28641 8508034 297 70114 43973 28501 522 157.36 1799.99/1800.60 c 83054 1418 29455 8782792 298 71510 48371 29315 524 158.40 1799.99/1800.60 c 84378 1418 30779 9423106 306 74015 53209 30639 526 160.38 1799.99/1800.60 c 86459 1418 32860 10356692 315 78061 58530 32720 529 163.43 1799.99/1800.60 c 89682 1418 36083 11500456 318 84321 64384 35943 535 167.57 1799.99/1800.60 c 94618 1418 41019 13244306 322 93719 70823 40879 546 172.98 1799.99/1800.60 c 102124 1418 48525 16230097 334 109046 77906 48385 556 183.62 1799.99/1800.60 c 113486 1418 59887 21519807 359 131867 85697 59747 535 212.09 1799.99/1800.60 c 130632 1418 77033 26394822 342 165687 94267 76893 526 248.06 1799.99/1800.60 c 156452 1418 18258 4492846 246 47608 103694 18118 472 331.02 1799.99/1800.60 c 195285 1418 57091 20701793 362 125310 114064 56951 384 508.14 1799.99/1800.60 c 253638 1418 115444 47868400 414 241986 125471 115304 217 1165.66 1799.99/1800.60 c Resources Exceeded 1799.99/1800.60 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.99/1800.60 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.99/1800.60 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1799.99/1800.60 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1799.99/1800.60 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1799.99/1800.60 v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 x1027 x1028 x1029 x1030 -x1031 x1032 x1033 -x1034 -x1035 -x1036 -x1037 1799.99/1800.60 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 -x1354 1799.99/1800.60 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1799.99/1800.60 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1799.99/1800.60 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1799.99/1800.60 v -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 1799.99/1800.60 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1799.99/1800.60 v -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1799.99/1800.60 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673 1799.99/1800.60 v -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1799.99/1800.60 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 1799.99/1800.60 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.99/1800.60 v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1799.99/1800.60 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1799.99/1800.60 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 1799.99/1800.60 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1799.99/1800.60 v x182 x183 x184 x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 1799.99/1800.60 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 1799.99/1800.60 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 1799.99/1800.60 v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 1799.99/1800.60 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 1799.99/1800.60 v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 1799.99/1800.60 v -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 1799.99/1800.60 v -x330 -x331 x332 -x333 -x334 -x335 x336 -x337 x338 x339 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 1799.99/1800.60 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1799.99/1800.60 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1799.99/1800.60 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1799.99/1800.60 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1799.99/1800.60 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1799.99/1800.60 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1799.99/1800.60 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1799.99/1800.60 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1799.99/1800.60 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1799.99/1800.60 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1799.99/1800.60 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1799.99/1800.60 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1799.99/1800.60 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1799.99/1800.60 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 -x674 -x675 1799.99/1800.60 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 -x725 -x726 1799.99/1800.60 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1799.99/1800.60 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 1799.99/1800.60 v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1799.99/1800.60 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1799.99/1800.60 v -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1799.99/1800.60 v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1799.99/1800.60 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 x873 1799.99/1800.60 v x874 x875 x876 x877 x878 x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 1799.99/1800.60 v -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1799.99/1800.60 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 1799.99/1800.60 v -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 1799.99/1800.60 v -x959 -x960 x961 x962 -x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 1799.99/1800.60 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 1799.99/1800.60 v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 1799.99/1800.60 v -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 1799.99/1800.60 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1799.99/1800.60 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1799.99/1800.60 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1799.99/1800.60 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1799.99/1800.60 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1799.99/1800.60 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1799.99/1800.60 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1799.99/1800.60 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1799.99/1800.60 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1799.99/1800.60 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1799.99/1800.60 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 1799.99/1800.60 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1799.99/1800.60 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1799.99/1800.60 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1799.99/1800.60 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 1799.99/1800.60 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 1799.99/1800.60 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 -x1382 -x1383 -x1384 1799.99/1800.60 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1799.99/1800.60 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1799.99/1800.60 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1799.99/1800.60 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1799.99/1800.60 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1799.99/1800.60 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1799.99/1800.60 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 1799.99/1800.60 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1799.99/1800.60 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1799.99/1800.60 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1799.99/1800.60 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1799.99/1800.60 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1799.99/1800.60 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1799.99/1800.60 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1799.99/1800.60 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1799.99/1800.60 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 x1654 x1655 x1656 x1657 1799.99/1800.60 v x1658 x1659 x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1799.99/1800.60 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1799.99/1800.60 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1799.99/1800.60 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1799.99/1800.60 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1799.99/1800.60 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1799.99/1800.60 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1799.99/1800.60 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1799.99/1800.60 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 x1841 -x1842 -x1843 1799.99/1800.60 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1799.99/1800.60 v x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1799.99/1800.60 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1799.99/1800.60 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1799.99/1800.60 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 1799.99/1800.60 v x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1799.99/1800.60 v -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 x1960 -x1961 x1962 x1963 -x1964 -x1965 -x1966 1799.99/1800.60 v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1799.99/1800.60 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1799.99/1800.60 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1799.99/1800.60 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1799.99/1800.60 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1799.99/1800.60 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1799.99/1800.60 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 1799.99/1800.60 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1799.99/1800.60 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1799.99/1800.60 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1799.99/1800.60 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1799.99/1800.60 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1799.99/1800.60 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1799.99/1800.60 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1799.99/1800.60 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1799.99/1800.60 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1799.99/1800.60 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1799.99/1800.60 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1799.99/1800.60 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1799.99/1800.60 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1799.99/1800.60 v -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1799.99/1800.60 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1799.99/1800.60 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1799.99/1800.60 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1799.99/1800.60 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1799.99/1800.60 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1799.99/1800.60 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1799.99/1800.60 v -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 x2493 x2494 x2495 x2496 x2497 x2498 x2499 x2500 x2501 -x2502 -x2503 -x2504 1799.99/1800.60 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1799.99/1800.60 v -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1799.99/1800.60 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1799.99/1800.60 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1799.99/1800.60 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 x2584 x2585 x2586 x2587 x2588 -x2589 x2590 1799.99/1800.60 v x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1799.99/1800.60 v -x2609 -x2610 x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1799.99/1800.60 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1799.99/1800.60 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1799.99/1800.60 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1799.99/1800.60 v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 1799.99/1800.60 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1799.99/1800.60 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1799.99/1800.60 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1799.99/1800.60 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1799.99/1800.60 v -x2793 x2794 x2795 x2796 -x2797 x2798 x2799 x2800 -x2801 x2802 x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 1799.99/1800.60 v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1799.99/1800.60 v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1799.99/1800.60 v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 1799.99/1800.60 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1799.99/1800.60 v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1799.99/1800.60 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 x2913 -x2914 1799.99/1800.60 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 1799.99/1800.60 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1799.99/1800.60 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1799.99/1800.60 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 1799.99/1800.60 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1799.99/1800.60 v -x3001 -x3002 -x3013 -x3024 x3035 -x3046 -x3057 -x3068 -x3079 x3090 -x3003 -x3004 -x3005 x3006 x3007 -x3008 -x3009 -x3010 1799.99/1800.60 v -x3011 x3012 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 x3020 -x3021 -x3022 x3023 -x3025 -x3026 -x3027 x3028 -x3029 x3030 1799.99/1800.60 v -x3031 -x3032 x3033 -x3034 x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 1799.99/1800.60 v x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3058 -x3059 -x3060 -x3061 x3062 x3063 -x3064 x3065 x3066 -x3067 -x3069 -x3070 1799.99/1800.60 v x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 -x3081 -x3082 -x3083 x3084 x3085 -x3086 x3087 x3088 -x3089 1799.99/1800.60 v -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 -x3099 x3100 1799.99/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.61 c 44 319596 32216 438480 65590 32380186 65450 177 1800.00 1799.99/1800.61 c Objective: 4426511 1799.99/1800.61 s SATISFIABLE 1799.99/1800.61 c Total time: 1800 s
OK 4426511
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-353915-1176688272 -o ROOT/results/node55/solver-353915-1176688272 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353915-1176688272/instance-353915-1176688272.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: 1.02 1.03 0.97 3/64 11404 /proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=11892 CPUtime=0 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 116737213 12177408 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 2973 335 281 324 0 2003 0 [startup+0.0827711 s] /proc/loadavg: 1.02 1.03 0.97 3/64 11404 /proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=5056 CPUtime=0.07 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 704 0 0 0 7 0 0 0 18 0 1 0 116737213 5177344 630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 1264 630 311 324 0 333 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5056 [startup+0.101772 s] /proc/loadavg: 1.02 1.03 0.97 3/64 11404 /proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=5056 CPUtime=0.09 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 721 0 0 0 9 0 0 0 18 0 1 0 116737213 5177344 647 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 1264 647 311 324 0 333 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5056 [startup+0.301791 s] /proc/loadavg: 1.02 1.03 0.97 3/64 11404 /proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=6460 CPUtime=0.29 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 1053 0 0 0 29 0 0 0 19 0 1 0 116737213 6615040 979 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 1615 979 313 324 0 684 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6460 [startup+0.701829 s] /proc/loadavg: 1.02 1.03 0.97 3/64 11404 /proc/meminfo: memFree=1741052/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=9940 CPUtime=0.69 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 1935 0 0 0 68 1 0 0 22 0 1 0 116737213 10178560 1861 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 2485 1861 313 324 0 1554 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9940 [startup+1.50191 s] /proc/loadavg: 1.02 1.03 0.97 2/65 11405 /proc/meminfo: memFree=1732276/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=15884 CPUtime=1.49 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 3410 0 0 0 148 1 0 0 25 0 1 0 116737213 16265216 3336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 3971 3338 313 324 0 3040 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15884 [startup+3.10106 s] /proc/loadavg: 1.02 1.03 0.97 2/65 11405 /proc/meminfo: memFree=1724788/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=24636 CPUtime=3.09 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 5603 0 0 0 307 2 0 0 25 0 1 0 116737213 25227264 5529 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 6159 5529 313 324 0 5228 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24636 [startup+6.30136 s] /proc/loadavg: 1.02 1.03 0.97 2/65 11405 /proc/meminfo: memFree=1710260/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=37144 CPUtime=6.29 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 8730 0 0 0 625 4 0 0 25 0 1 0 116737213 38035456 8656 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 9286 8656 313 324 0 8355 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37144 [startup+12.702 s] /proc/loadavg: 1.02 1.03 0.97 2/65 11405 /proc/meminfo: memFree=1679548/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=67056 CPUtime=12.69 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 16225 0 0 0 1262 7 0 0 25 0 1 0 116737213 68665344 16151 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 16764 16151 313 324 0 15833 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67056 [startup+25.5012 s] /proc/loadavg: 1.01 1.03 0.97 2/65 11405 /proc/meminfo: memFree=1649676/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=95144 CPUtime=25.48 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 23235 0 0 0 2536 12 0 0 25 0 1 0 116737213 97427456 23161 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 23786 23161 313 324 0 22855 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 95144 [startup+51.1016 s] /proc/loadavg: 1.01 1.02 0.97 2/65 11405 /proc/meminfo: memFree=1588748/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=156692 CPUtime=51.07 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 38633 0 0 0 5087 20 0 0 25 0 1 0 116737213 160452608 38559 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 39173 38559 313 324 0 38242 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 156692 [startup+102.305 s] /proc/loadavg: 1.00 1.02 0.97 2/65 11405 /proc/meminfo: memFree=1520524/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=223796 CPUtime=102.26 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 55401 0 0 0 10192 34 0 0 25 0 1 0 116737213 229167104 55327 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 55949 55327 313 324 0 55018 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 223796 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.97 2/65 11405 /proc/meminfo: memFree=1477324/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=266560 CPUtime=162.25 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 66145 0 0 0 16178 47 0 0 25 0 1 0 116737213 272957440 66006 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 66640 66006 313 324 0 65709 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 266560 [startup+222.302 s] /proc/loadavg: 1.00 1.01 0.97 2/65 11405 /proc/meminfo: memFree=1435724/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=308504 CPUtime=222.23 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 76643 0 0 0 22163 60 0 0 25 0 1 0 116737213 315908096 76504 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 77126 76504 313 324 0 76195 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 308504 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 11405 /proc/meminfo: memFree=1354124/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=390552 CPUtime=282.21 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 97168 0 0 0 28142 79 0 0 25 0 1 0 116737213 399925248 97029 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 97638 97029 313 324 0 96707 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 390552 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 11405 /proc/meminfo: memFree=1319116/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=424240 CPUtime=342.19 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 34127 92 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 106060 105442 313 324 0 105129 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 424240 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 11405 /proc/meminfo: memFree=1319116/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=424240 CPUtime=402.19 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 40124 95 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 106060 105442 313 324 0 105129 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 424240 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 11405 /proc/meminfo: memFree=1319244/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=424240 CPUtime=462.17 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 46121 96 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 106060 105442 313 324 0 105129 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 424240 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 11405 /proc/meminfo: memFree=1319308/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=424240 CPUtime=522.16 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 52117 99 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 106060 105442 313 324 0 105129 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 424240 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 11405 /proc/meminfo: memFree=1319308/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=424240 CPUtime=582.14 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 105676 0 0 0 58113 101 0 0 25 0 1 0 116737213 434421760 105442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 106060 105442 313 324 0 105129 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 424240 [startup+642.302 s] /proc/loadavg: 1.04 1.01 0.98 2/71 11581 /proc/meminfo: memFree=1313844/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=428328 CPUtime=642.04 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 106688 0 0 0 64101 103 0 0 25 0 1 0 116737213 438607872 106454 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 107082 106454 313 324 0 106151 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 428328 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.01 1.03 1.00 2/65 12013 /proc/meminfo: memFree=1197580/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=518800 CPUtime=881.92 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 129298 0 0 0 88066 126 0 0 25 0 1 0 116737213 531251200 129064 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 129700 129064 313 324 0 128769 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 518800 [startup+942.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 12013 /proc/meminfo: memFree=1181388/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=535004 CPUtime=941.89 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 133370 0 0 0 94060 129 0 0 25 0 1 0 116737213 547844096 133136 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 133751 133136 313 324 0 132820 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 535004 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 12013 /proc/meminfo: memFree=1163084/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=553088 CPUtime=1001.88 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 137893 0 0 0 100053 135 0 0 25 0 1 0 116737213 566362112 137659 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 138272 137659 313 324 0 137341 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 553088 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 12013 /proc/meminfo: memFree=1138444/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=578128 CPUtime=1061.86 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 144154 0 0 0 106045 141 0 0 25 0 1 0 116737213 592003072 143920 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 144532 143920 313 324 0 143601 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 578128 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 12013 /proc/meminfo: memFree=1109324/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=607032 CPUtime=1121.85 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 151360 0 0 0 112038 147 0 0 25 0 1 0 116737213 621600768 151126 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 151758 151126 313 324 0 150827 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 607032 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=1050380/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=667560 CPUtime=1181.84 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 166502 0 0 0 118025 159 0 0 25 0 1 0 116737213 683581440 166268 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 166890 166268 313 324 0 165959 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 667560 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1241.83 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 124014 169 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 716612 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1301.81 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 130012 169 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 716612 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1361.8 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 136009 171 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 716612 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1421.78 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 142006 172 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 716612 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1481.77 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 148003 174 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 716612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999052/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1541.75 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 154000 175 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 716612 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999052/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1601.73 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 159997 176 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 716612 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999052/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1661.72 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 165994 178 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 716612 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999116/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1721.7 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 171992 178 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 716612 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=999052/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=716612 CPUtime=1781.7 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194304 178882 0 0 0 177990 180 0 0 25 0 1 0 116737213 733810688 178522 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 179153 178522 313 324 0 178222 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 716612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=1656332/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=0 CPUtime=1800.09 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194308 178883 0 0 0 179820 189 0 0 17 0 1 0 116737213 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 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 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 12013 /proc/meminfo: memFree=1656332/2055920 swapFree=4184748/4192956 [pid=11404] ppid=11402 vsize=0 CPUtime=1800.09 /proc/11404/stat : 11404 (bsolo3.0.16) R 11402 11404 10580 0 -1 4194308 178883 0 0 0 179820 189 0 0 17 0 1 0 116737213 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11404/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.11 CPU user time (s): 1798.2 CPU system time (s): 1.90671 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 717116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.2 system time used= 1.90671 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178883 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= 14 involuntary context switches= 3478 runsolver used 1.22181 second user time and 3.77043 second system time The end
Begin job on node55 on Mon Apr 16 01:51:12 UTC 2007 IDJOB= 353915 IDBENCH= 2291 IDSOLVER= 163 FILE ID= node55/353915-1176688272 PBS_JOBID= 4559987 Free space on /tmp= 66513 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-ran10x10a.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353915-1176688272/instance-353915-1176688272.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-353915-1176688272 -o ROOT/results/node55/solver-353915-1176688272 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353915-1176688272/instance-353915-1176688272.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 3aa00837dd74901ce1879f04fea91920 RANDOM SEED= 718321807 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1741460 kB Buffers: 19560 kB Cached: 213524 kB SwapCached: 2060 kB Active: 103964 kB Inactive: 138640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1741460 kB SwapTotal: 4192956 kB SwapFree: 4184748 kB Dirty: 4536 kB Writeback: 0 kB Mapped: 16580 kB Slab: 57900 kB Committed_AS: 1028576 kB PageTables: 1380 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= 66513 MiB End job on node55 on Mon Apr 16 02:21:15 UTC 2007