Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 294914 | 1800.24 | 1801.39 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | b75dadb532de8158b35ca12cd6b47e2f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 294914 |
Best CPU time to get the best result obtained on this benchmark | 1800.24 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 284209 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527653 |
Number of bits of the biggest sum of numbers | 20 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/351577-1176605214/instance-351577-1176605214.opb 0.00/0.01 c File size is 2034121 bytes. 0.29/0.38 c Highest Coefficient sum: 527653 0.29/0.38 c Parsing was ok!! 0.29/0.38 c Total parsing time: 0.375 s 0.29/0.38 c Var: 6651 Constr: 721 51/331/339 Lit: 218771 Watch. Lit: 14035 0.29/0.38 c Obj. Vars: 31 (0.466095 % of total variables) 8.28/8.33 c Pre-processing Time: 8.327 s 8.28/8.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.28/8.33 c 0 6631 538 117691 218 13689 251956 0 0 8.33 8.28/8.33 c Switching off LPR mode. 8.28/8.39 o 327682 8.387 8.59/8.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.64 c 95 6631 634 166546 262 14072 252018 96 11 8.39 8.59/8.64 c 196 6631 735 228937 311 14305 277220 197 23 8.49 8.59/8.64 o 294914 8.632 1800.06/1801.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1801.20 c 329 6631 869 301654 347 14606 252018 331 38 8.63 1800.06/1801.20 c 429 6631 969 374446 386 15070 277220 431 48 8.80 1800.06/1801.20 c 679 6631 1219 487296 399 15625 304943 681 74 9.12 1800.06/1801.20 c 1155 6631 1695 873793 515 16518 335438 1157 118 9.73 1800.06/1801.20 c 1968 6631 2508 1398779 557 18256 368982 1970 172 11.38 1800.06/1801.20 c 3288 6631 3828 2239847 585 20879 405881 3290 253 12.96 1800.06/1801.20 c 5369 6631 5909 3757126 635 24994 446470 5371 307 17.45 1800.06/1801.20 c 8592 6631 9132 6318538 691 31461 491118 8594 348 24.66 1800.06/1801.20 c 13528 6631 14068 12255527 871 41354 540230 13530 235 57.50 1800.06/1801.20 c 21034 6631 21574 19677701 912 56324 594254 21036 224 93.67 1800.06/1801.20 c 32395 6631 32935 29791180 904 79078 653680 32397 196 165.14 1800.06/1801.20 c 49539 6631 50079 44065636 879 113291 719049 49541 151 328.06 1800.06/1801.20 c 75366 6631 75906 57959681 763 165326 790954 75368 84 886.66 1800.06/1801.20 c 114198 6631 114738 79483545 692 243601 870050 114200 70 1627.51 1800.06/1801.20 c Caught signal: 15 1800.06/1801.20 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 1800.06/1801.20 v -x29 -x30 x31 -x1142 -x2253 -x3364 -x4475 -x5586 -x6319 -x6430 -x6541 -x32 -x143 -x254 -x365 -x476 -x587 -x698 -x809 -x920 1800.06/1801.20 v -x1031 -x1143 -x1254 -x1365 -x1476 -x1587 -x1698 -x1809 -x1920 -x2031 -x2142 -x2254 -x2365 -x2476 -x2587 -x2698 -x2809 1800.06/1801.20 v -x2920 -x3031 -x3142 -x3253 -x3365 -x3476 -x3587 -x3698 -x3809 -x3920 -x4031 -x4142 -x4253 -x4364 -x4476 -x4587 -x4698 1800.06/1801.20 v -x4809 -x4920 -x5031 -x5142 -x5253 -x5364 -x5475 -x5587 -x5698 -x5809 -x5920 -x6031 -x6142 -x6253 -x6286 -x6297 -x6308 1800.06/1801.20 v -x6320 -x6331 -x6342 -x6353 -x6364 -x6375 -x6386 x6397 -x6408 -x6419 -x6431 -x6442 -x6453 -x6464 -x6475 -x6486 -x6497 1800.06/1801.20 v -x6508 -x6519 -x6530 -x6542 -x6553 -x6564 -x6575 -x6586 -x6597 -x6608 -x6619 -x6630 -x6641 -x33 -x44 -x55 -x66 -x77 -x88 1800.06/1801.20 v -x99 -x110 -x121 -x132 -x144 -x155 -x166 -x177 -x188 -x199 -x210 -x221 -x232 -x243 -x255 -x266 -x277 -x288 -x299 -x310 -x321 1800.06/1801.20 v -x332 -x343 -x354 -x366 -x377 -x388 -x399 -x410 -x421 -x432 -x443 -x454 -x465 -x477 -x488 -x499 -x510 -x521 -x532 -x543 -x554 1800.06/1801.20 v -x565 -x576 -x588 -x599 -x610 -x621 -x632 -x643 -x654 -x665 -x676 -x687 -x699 -x710 -x721 -x732 -x743 -x754 -x765 -x776 -x787 1800.06/1801.20 v -x798 -x810 -x821 -x832 -x843 -x854 -x865 -x876 -x887 -x898 -x909 -x921 -x932 -x943 -x954 -x965 -x976 -x987 -x998 -x1009 1800.06/1801.20 v -x1020 -x1032 -x1043 -x1054 -x1065 -x1076 -x1087 -x1098 -x1109 -x1120 -x1131 x1144 -x1155 -x1166 -x1177 -x1188 x1199 -x1210 1800.06/1801.20 v -x1221 -x1232 -x1243 -x1255 -x1266 -x1277 -x1288 -x1299 -x1310 -x1321 -x1332 -x1343 -x1354 -x1366 -x1377 -x1388 -x1399 1800.06/1801.20 v -x1410 -x1421 -x1432 -x1443 -x1454 -x1465 -x1477 -x1488 -x1499 -x1510 -x1521 -x1532 -x1543 -x1554 -x1565 -x1576 -x1588 1800.06/1801.20 v -x1599 -x1610 -x1621 -x1632 -x1643 -x1654 -x1665 -x1676 -x1687 x1699 -x1710 -x1721 -x1732 -x1743 -x1754 -x1765 -x1776 1800.06/1801.20 v -x1787 -x1798 -x1810 -x1821 -x1832 -x1843 -x1854 -x1865 -x1876 -x1887 -x1898 -x1909 -x1921 -x1932 -x1943 -x1954 -x1965 1800.06/1801.20 v -x1976 -x1987 -x1998 -x2009 -x2020 -x2032 -x2043 -x2054 -x2065 -x2076 -x2087 -x2098 -x2109 -x2120 -x2131 -x2143 -x2154 1800.06/1801.20 v -x2165 -x2176 -x2187 -x2198 -x2209 -x2220 -x2231 -x2242 -x2255 -x2266 -x2277 -x2288 -x2299 -x2310 -x2321 -x2332 -x2343 1800.06/1801.20 v -x2354 -x2366 -x2377 -x2388 -x2399 -x2410 x2421 -x2432 -x2443 -x2454 -x2465 -x2477 -x2488 -x2499 -x2510 -x2521 -x2532 1800.06/1801.20 v -x2543 -x2554 -x2565 -x2576 -x2588 -x2599 -x2610 -x2621 -x2632 -x2643 -x2654 -x2665 -x2676 -x2687 -x2699 -x2710 -x2721 1800.06/1801.20 v -x2732 -x2743 -x2754 -x2765 -x2776 -x2787 -x2798 -x2810 -x2821 -x2832 -x2843 -x2854 -x2865 -x2876 x2887 -x2898 -x2909 1800.06/1801.20 v -x2921 -x2932 -x2943 -x2954 -x2965 -x2976 -x2987 -x2998 -x3009 -x3020 -x3032 -x3043 -x3054 -x3065 -x3076 -x3087 -x3098 1800.06/1801.20 v -x3109 -x3120 -x3131 -x3143 -x3154 -x3165 -x3176 -x3187 -x3198 -x3209 -x3220 -x3231 -x3242 -x3254 -x3265 -x3276 -x3287 1800.06/1801.20 v -x3298 -x3309 -x3320 -x3331 -x3342 -x3353 -x3366 -x3377 -x3388 -x3399 -x3410 -x3421 -x3432 -x3443 -x3454 -x3465 -x3477 1800.06/1801.20 v -x3488 -x3499 -x3510 -x3521 -x3532 -x3543 -x3554 -x3565 -x3576 -x3588 -x3599 -x3610 -x3621 -x3632 x3643 -x3654 -x3665 1800.06/1801.20 v -x3676 -x3687 -x3699 -x3710 -x3721 -x3732 -x3743 -x3754 -x3765 -x3776 -x3787 -x3798 -x3810 -x3821 -x3832 -x3843 -x3854 1800.06/1801.20 v -x3865 -x3876 -x3887 -x3898 -x3909 -x3921 -x3932 -x3943 -x3954 -x3965 -x3976 -x3987 -x3998 -x4009 -x4020 -x4032 -x4043 1800.06/1801.20 v -x4054 -x4065 -x4076 -x4087 -x4098 -x4109 -x4120 -x4131 -x4143 -x4154 -x4165 -x4176 -x4187 -x4198 -x4209 -x4220 -x4231 1800.06/1801.20 v -x4242 -x4254 -x4265 -x4276 -x4287 -x4298 -x4309 -x4320 -x4331 -x4342 -x4353 -x4365 -x4376 -x4387 -x4398 -x4409 -x4420 1800.06/1801.20 v -x4431 -x4442 -x4453 -x4464 -x4477 -x4488 -x4499 -x4510 -x4521 -x4532 -x4543 -x4554 -x4565 -x4576 -x4588 -x4599 -x4610 1800.06/1801.20 v -x4621 -x4632 -x4643 -x4654 -x4665 -x4676 -x4687 -x4699 -x4710 -x4721 -x4732 -x4743 -x4754 -x4765 -x4776 -x4787 -x4798 1800.06/1801.20 v -x4810 -x4821 -x4832 -x4843 -x4854 -x4865 -x4876 -x4887 -x4898 -x4909 -x4921 -x4932 -x4943 -x4954 -x4965 -x4976 -x4987 1800.06/1801.20 v -x4998 -x5009 -x5020 -x5032 -x5043 -x5054 -x5065 -x5076 -x5087 -x5098 -x5109 -x5120 -x5131 -x5143 -x5154 -x5165 -x5176 1800.06/1801.20 v -x5187 -x5198 -x5209 -x5220 -x5231 -x5242 -x5254 -x5265 -x5276 -x5287 -x5298 -x5309 -x5320 -x5331 -x5342 -x5353 -x5365 1800.06/1801.20 v -x5376 -x5387 -x5398 -x5409 -x5420 -x5431 -x5442 -x5453 -x5464 -x5476 -x5487 -x5498 -x5509 -x5520 -x5531 -x5542 -x5553 1800.06/1801.20 v -x5564 -x5575 -x5588 -x5599 -x5610 -x5621 -x5632 -x5643 -x5654 -x5665 -x5676 -x5687 -x5699 -x5710 -x5721 -x5732 -x5743 1800.06/1801.20 v -x5754 -x5765 -x5776 -x5787 -x5798 -x5810 -x5821 -x5832 -x5843 -x5854 -x5865 -x5876 -x5887 -x5898 -x5909 -x5921 -x5932 1800.06/1801.20 v -x5943 -x5954 -x5965 -x5976 -x5987 -x5998 -x6009 -x6020 -x6032 -x6043 -x6054 -x6065 -x6076 x6087 -x6098 -x6109 -x6120 1800.06/1801.20 v -x6131 -x6143 -x6154 -x6165 -x6176 -x6187 -x6198 -x6209 -x6220 -x6231 -x6242 -x6254 -x6265 -x6276 -x6279 -x6280 -x6281 1800.06/1801.20 v -x6282 -x6283 -x6284 -x6285 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6298 -x6299 -x6300 1800.06/1801.20 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 1800.06/1801.20 v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 1800.06/1801.20 v -x6339 -x6340 -x6341 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6354 -x6355 -x6356 -x6357 1800.06/1801.20 v -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6376 1800.06/1801.20 v -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 1800.06/1801.20 v -x6395 -x6396 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6409 -x6410 -x6411 -x6412 -x6413 1800.06/1801.20 v -x6414 -x6415 -x6416 -x6417 -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6432 -x6433 1800.06/1801.20 v -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 1800.06/1801.20 v -x6452 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 1800.06/1801.20 v x6471 -x6472 -x6473 -x6474 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6487 -x6488 -x6489 1800.06/1801.20 v -x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 x6505 -x6506 -x6507 -x6509 1800.06/1801.20 v -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 1800.06/1801.20 v -x6528 -x6529 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6543 -x6544 -x6545 -x6546 -x6547 1800.06/1801.20 v -x6548 -x6549 -x6550 -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6565 -x6566 1800.06/1801.20 v -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 1800.06/1801.20 v -x6585 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 1800.06/1801.20 v -x6604 -x6605 -x6606 -x6607 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6620 -x6621 -x6622 1800.06/1801.20 v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 1800.06/1801.20 v -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x45 1800.06/1801.20 v -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x67 -x68 -x69 -x70 -x71 -x72 -x73 1800.06/1801.20 v -x74 -x75 -x76 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x100 -x101 1800.06/1801.20 v -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x122 -x123 -x124 1800.06/1801.20 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x145 -x146 -x147 -x148 1800.06/1801.20 v -x149 -x150 -x151 -x152 -x153 -x154 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x167 -x168 -x169 -x170 -x171 1800.06/1801.20 v -x172 -x173 -x174 -x175 -x176 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x189 x190 -x191 -x192 -x193 -x194 1800.06/1801.20 v -x195 -x196 -x197 -x198 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.06/1801.20 v -x218 -x219 -x220 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1800.06/1801.20 v -x241 -x242 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 1800.06/1801.20 v -x265 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 1800.06/1801.20 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x311 1800.06/1801.20 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x333 -x334 1800.06/1801.20 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x355 -x356 -x357 1800.06/1801.20 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x378 -x379 -x380 -x381 1800.06/1801.20 v -x382 -x383 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x400 -x401 -x402 -x403 -x404 1800.06/1801.20 v -x405 -x406 -x407 -x408 -x409 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x422 -x423 -x424 -x425 -x426 -x427 1800.06/1801.20 v -x428 -x429 -x430 -x431 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1800.06/1801.20 v -x451 -x452 -x453 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 1800.06/1801.20 v -x474 -x475 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 1800.06/1801.20 v -x498 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1800.06/1801.20 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x544 1800.06/1801.20 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x566 -x567 1800.06/1801.20 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x589 -x590 -x591 1800.06/1801.20 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x611 -x612 -x613 -x614 1800.06/1801.20 v -x615 -x616 -x617 -x618 -x619 -x620 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x633 -x634 -x635 -x636 -x637 1800.06/1801.20 v -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x655 -x656 -x657 -x658 -x659 -x660 1800.06/1801.20 v -x661 -x662 -x663 -x664 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x677 -x678 -x679 -x680 -x681 -x682 -x683 1800.06/1801.20 v -x684 -x685 -x686 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 1800.06/1801.20 v -x708 -x709 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1800.06/1801.20 v -x731 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 1800.06/1801.20 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x777 1800.06/1801.20 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x799 -x800 1800.06/1801.20 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x822 -x823 -x824 1800.06/1801.20 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x844 -x845 -x846 -x847 1800.06/1801.20 v -x848 -x849 -x850 -x851 -x852 -x853 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x866 -x867 -x868 -x869 -x870 1800.06/1801.20 v -x871 -x872 -x873 -x874 -x875 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x888 -x889 -x890 -x891 -x892 -x893 1800.06/1801.20 v -x894 -x895 -x896 -x897 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1800.06/1801.20 v -x917 -x918 -x919 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 1800.06/1801.20 v -x941 -x942 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 1800.06/1801.20 v -x964 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.06/1801.20 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.06/1801.20 v -x1008 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1800.06/1801.20 v -x1027 -x1028 -x1029 -x1030 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1044 -x1045 -x1046 1800.06/1801.20 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1800.06/1801.20 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 1800.06/1801.20 v -x1084 -x1085 -x1086 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1099 -x1100 -x1101 -x1102 1800.06/1801.20 v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1121 1800.06/1801.20 v -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 1800.06/1801.20 v -x1140 -x1141 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1156 -x1157 -x1158 -x1159 -x1160 1800.06/1801.20 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1178 -x1179 1800.06/1801.20 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.06/1801.20 v -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1800.06/1801.20 v -x1217 -x1218 -x1219 -x1220 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1233 -x1234 -x1235 1800.06/1801.20 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 1800.06/1801.20 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 1800.06/1801.20 v -x1274 -x1275 -x1276 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1289 -x1290 -x1291 -x1292 1800.06/1801.20 v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1311 1800.06/1801.20 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.06/1801.20 v -x1330 -x1331 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 1800.06/1801.20 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1367 -x1368 1800.06/1801.20 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 1800.06/1801.20 v -x1387 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1800.06/1801.20 v -x1406 -x1407 -x1408 -x1409 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 1800.06/1801.20 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 1800.06/1801.20 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 1800.06/1801.20 v -x1462 -x1463 -x1464 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1478 -x1479 -x1480 -x1481 1800.06/1801.20 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1500 1800.06/1801.20 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.06/1801.20 v -x1519 -x1520 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1533 -x1534 x1535 -x1536 -x1537 1800.06/1801.20 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1555 -x1556 1800.06/1801.20 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 1800.06/1801.20 v -x1575 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 1800.06/1801.20 v -x1595 -x1596 -x1597 -x1598 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1613 1800.06/1801.20 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.06/1801.20 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1800.06/1801.20 v -x1651 -x1652 -x1653 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1666 -x1667 -x1668 -x1669 1800.06/1801.20 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 1800.06/1801.20 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.06/1801.20 v -x1708 -x1709 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1722 -x1723 -x1724 -x1725 -x1726 1800.06/1801.20 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1744 -x1745 1800.06/1801.20 v -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 1800.06/1801.20 v -x1764 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 1800.06/1801.20 v -x1783 -x1784 -x1785 -x1786 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1799 -x1800 -x1801 1800.06/1801.20 v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1800.06/1801.20 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1800.06/1801.20 v -x1840 -x1841 -x1842 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1855 -x1856 -x1857 -x1858 1800.06/1801.20 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1877 1800.06/1801.20 v -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.06/1801.20 v -x1896 -x1897 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 1800.06/1801.20 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1933 -x1934 1800.06/1801.20 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1800.06/1801.20 v -x1953 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 1800.06/1801.20 v -x1972 -x1973 -x1974 -x1975 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 1800.06/1801.20 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.06/1801.20 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.06/1801.20 v -x2028 -x2029 -x2030 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2044 -x2045 -x2046 -x2047 1800.06/1801.20 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2066 1800.06/1801.20 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.06/1801.20 v -x2085 -x2086 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2099 -x2100 -x2101 -x2102 -x2103 1800.06/1801.20 v -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2121 -x2122 1800.06/1801.20 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1800.06/1801.20 v -x2141 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 1800.06/1801.20 v -x2161 -x2162 -x2163 -x2164 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 1800.06/1801.20 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.06/1801.20 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1800.06/1801.20 v -x2217 -x2218 -x2219 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2232 -x2233 -x2234 -x2235 1800.06/1801.20 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2256 1800.06/1801.20 v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 1800.06/1801.20 v -x2275 -x2276 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2289 -x2290 -x2291 -x2292 -x2293 1800.06/1801.20 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2311 -x2312 1800.06/1801.20 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1800.06/1801.20 v -x2331 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1800.06/1801.20 v -x2350 -x2351 -x2352 -x2353 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2367 -x2368 -x2369 1800.06/1801.20 v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.06/1801.20 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 1800.06/1801.20 v -x2407 -x2408 -x2409 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2423 -x2424 -x2425 1800.06/1801.20 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2444 1800.06/1801.20 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1800.06/1801.20 v -x2463 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2478 -x2479 -x2480 -x2481 -x2482 1800.06/1801.20 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2500 -x2501 1800.06/1801.20 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1800.06/1801.20 v -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1800.06/1801.20 v -x2539 -x2540 -x2541 -x2542 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2555 -x2556 -x2557 1800.06/1801.20 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1800.06/1801.20 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.06/1801.20 v -x2596 -x2597 -x2598 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2611 -x2612 -x2613 -x2614 1800.06/1801.20 v -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2633 1800.06/1801.20 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 1800.06/1801.20 v -x2652 -x2653 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2666 -x2667 -x2668 -x2669 -x2670 1800.06/1801.20 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2688 -x2689 1800.06/1801.20 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1800.06/1801.20 v -x2709 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.06/1801.20 v -x2728 -x2729 -x2730 -x2731 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 1800.06/1801.20 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1800.06/1801.20 v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 1800.06/1801.20 v -x2784 -x2785 -x2786 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 1800.06/1801.20 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2822 1800.06/1801.20 v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1800.06/1801.20 v -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2855 -x2856 -x2857 -x2858 -x2859 1800.06/1801.20 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2877 -x2878 1800.06/1801.20 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1800.06/1801.20 v -x2897 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.06/1801.20 v -x2916 -x2917 -x2918 -x2919 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2933 -x2934 -x2935 1800.06/1801.20 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 1800.06/1801.20 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 1800.06/1801.20 v -x2973 -x2974 -x2975 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2988 -x2989 -x2990 -x2991 1800.06/1801.20 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3010 1800.06/1801.20 v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.06/1801.20 v -x3029 -x3030 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 1800.06/1801.20 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3066 -x3067 1800.06/1801.20 v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 1800.06/1801.20 v -x3086 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1800.06/1801.20 v -x3105 -x3106 -x3107 -x3108 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3121 -x3122 -x3123 1800.06/1801.20 v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 1800.06/1801.20 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 1800.06/1801.20 v -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3177 -x3178 -x3179 -x3180 1800.06/1801.20 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3199 1800.06/1801.20 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 1800.06/1801.20 v -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3232 -x3233 -x3234 -x3235 -x3236 1800.06/1801.20 v -x3237 -x3238 -x3239 -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3255 -x3256 1800.06/1801.20 v -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1800.06/1801.20 v -x3275 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 1800.06/1801.20 v -x3294 -x3295 -x3296 -x3297 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 1800.06/1801.20 v -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x3330 1800.06/1801.20 v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 1800.06/1801.20 v -x3350 -x3351 -x3352 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3367 -x3368 -x3369 -x3370 1800.06/1801.20 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3389 1800.06/1801.20 v -x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.06/1801.20 v -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3422 -x3423 -x3424 -x3425 -x3426 1800.06/1801.20 v -x3427 -x3428 -x3429 -x3430 -x3431 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3444 -x3445 1800.06/1801.20 v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 1800.06/1801.20 v -x3464 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 1800.06/1801.20 v -x3484 -x3485 -x3486 -x3487 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 1800.06/1801.20 v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1800.06/1801.20 v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1800.06/1801.20 v -x3540 -x3541 -x3542 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3555 -x3556 -x3557 -x3558 1800.06/1801.20 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3577 1800.06/1801.20 v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 1800.06/1801.20 v -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3611 -x3612 -x3613 -x3614 -x3615 1800.06/1801.20 v -x3616 -x3617 -x3618 -x3619 -x3620 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3633 -x3634 1800.06/1801.20 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1800.06/1801.20 v -x3653 x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 1800.06/1801.20 v -x3672 -x3673 -x3674 -x3675 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3688 -x3689 -x3690 1800.06/1801.20 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 1800.06/1801.20 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1800.06/1801.20 v -x3729 -x3730 -x3731 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3744 -x3745 -x3746 -x3747 1800.06/1801.20 v -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3766 1800.06/1801.20 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 1800.06/1801.20 v -x3785 -x3786 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 1800.06/1801.20 v -x3804 -x3805 -x3806 -x3807 -x3808 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3822 -x3823 1800.06/1801.20 v -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 1800.06/1801.20 v -x3842 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 1800.06/1801.20 v -x3861 -x3862 -x3863 -x3864 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 1800.06/1801.20 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1800.06/1801.20 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 1800.06/1801.20 v -x3917 -x3918 -x3919 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3933 x3934 -x3935 -x3936 1800.06/1801.20 v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3955 1800.06/1801.20 v -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 1800.06/1801.20 v -x3974 -x3975 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3988 -x3989 -x3990 -x3991 -x3992 1800.06/1801.20 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4010 -x4011 1800.06/1801.20 v -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 1800.06/1801.20 v -x4030 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.06/1801.20 v -x4050 -x4051 -x4052 -x4053 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4066 -x4067 -x4068 1800.06/1801.20 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 1800.06/1801.20 v -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 1800.06/1801.20 v -x4106 -x4107 -x4108 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4121 -x4122 -x4123 -x4124 1800.06/1801.20 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4144 1800.06/1801.20 v -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 1800.06/1801.20 v -x4163 -x4164 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4177 -x4178 -x4179 -x4180 -x4181 1800.06/1801.20 v -x4182 -x4183 -x4184 -x4185 -x4186 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4200 1800.06/1801.20 v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1800.06/1801.20 v -x4219 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 1800.06/1801.20 v -x4238 -x4239 -x4240 -x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4255 -x4256 -x4257 1800.06/1801.20 v -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 1800.06/1801.20 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1800.06/1801.20 v -x4295 -x4296 -x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4310 -x4311 -x4312 -x4313 1800.06/1801.20 v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4332 1800.06/1801.20 v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 1800.06/1801.20 v -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4366 -x4367 -x4368 -x4369 -x4370 1800.06/1801.20 v -x4371 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4388 -x4389 1800.06/1801.20 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 1800.06/1801.20 v -x4408 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 1800.06/1801.20 v -x4427 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4443 -x4444 -x4445 1800.06/1801.20 v -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 1800.06/1801.20 v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 1800.06/1801.20 v -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4500 -x4501 -x4502 -x4503 1800.06/1801.20 v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4522 1800.06/1801.20 v -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 1800.06/1801.20 v -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 1800.06/1801.20 v -x4560 -x4561 -x4562 -x4563 -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 1800.06/1801.20 v -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.06/1801.20 v -x4598 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 1800.06/1801.20 v -x4617 -x4618 -x4619 -x4620 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4633 -x4634 -x4635 1800.06/1801.20 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 1800.06/1801.20 v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 1800.06/1801.20 v -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4688 -x4689 -x4690 -x4691 1800.06/1801.20 v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 1800.06/1801.20 v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 1800.06/1801.20 v -x4730 -x4731 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746 -x4747 -x4748 1800.06/1801.20 v -x4749 -x4750 -x4751 -x4752 -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4766 -x4767 1800.06/1801.20 v -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1800.06/1801.20 v -x4786 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 1800.06/1801.20 v -x4805 -x4806 -x4807 -x4808 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 1800.06/1801.20 v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1800.06/1801.20 v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 1800.06/1801.20 v -x4862 -x4863 -x4864 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4877 -x4878 -x4879 -x4880 1800.06/1801.20 v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4899 1800.06/1801.20 v -x4900 -x4901 -x4902 -x4903 x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 1800.06/1801.20 v -x4918 -x4919 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 1800.06/1801.20 v -x4938 -x4939 -x4940 -x4941 -x4942 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4955 -x4956 1800.06/1801.20 v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 1800.06/1801.20 v -x4975 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 1800.06/1801.20 v -x4994 -x4995 -x4996 -x4997 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5010 -x5011 -x5012 1800.06/1801.20 v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 1800.06/1801.20 v -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 1800.06/1801.20 v -x5051 -x5052 -x5053 x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 1800.06/1801.20 v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5088 1800.06/1801.20 v -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 1800.06/1801.20 v -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5121 -x5122 -x5123 -x5124 -x5125 1800.06/1801.20 v -x5126 -x5127 -x5128 -x5129 -x5130 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5144 -x5145 1800.06/1801.20 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 1800.06/1801.20 v -x5164 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 1800.06/1801.20 v -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199 -x5200 -x5201 1800.06/1801.20 v -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 1800.06/1801.20 v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 1800.06/1801.20 v -x5239 -x5240 -x5241 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5255 -x5256 -x5257 -x5258 1800.06/1801.20 v -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5277 1800.06/1801.20 v -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 1800.06/1801.20 v -x5296 -x5297 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5310 -x5311 -x5312 -x5313 -x5314 1800.06/1801.20 v -x5315 -x5316 -x5317 -x5318 -x5319 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 1800.06/1801.20 v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 1800.06/1801.20 v -x5352 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 1800.06/1801.20 v -x5372 -x5373 -x5374 -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5388 -x5389 -x5390 1800.06/1801.20 v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 1800.06/1801.20 v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 1800.06/1801.20 v -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 1800.06/1801.20 v -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5465 1800.06/1801.20 v -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 1800.06/1801.20 v -x5485 -x5486 -x5488 -x5489 -x5490 x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5499 -x5500 -x5501 -x5502 -x5503 1800.06/1801.20 v -x5504 -x5505 -x5506 -x5507 -x5508 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5521 -x5522 1800.06/1801.20 v -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 1800.06/1801.20 v -x5541 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 1800.06/1801.20 v -x5560 -x5561 -x5562 -x5563 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5576 -x5577 -x5578 1800.06/1801.20 v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 1800.06/1801.20 v -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 1800.06/1801.20 v -x5618 -x5619 -x5620 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 -x5635 -x5636 1800.06/1801.20 v -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 1800.06/1801.20 v -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 1800.06/1801.20 v -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 1800.06/1801.20 v -x5693 -x5694 -x5695 -x5696 -x5697 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5711 -x5712 1800.06/1801.20 v -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 1800.06/1801.20 v -x5731 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 1800.06/1801.20 v -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5766 -x5767 -x5768 1800.06/1801.20 v -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 1800.06/1801.20 v -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 x5794 -x5795 -x5796 -x5797 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 1800.06/1801.20 v -x5806 -x5807 -x5808 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 1800.06/1801.20 v -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5844 1800.06/1801.20 v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 1800.06/1801.20 v -x5863 -x5864 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 -x5881 1800.06/1801.20 v -x5882 -x5883 -x5884 -x5885 -x5886 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5899 -x5900 1800.06/1801.20 v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 1800.06/1801.20 v -x5919 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 1800.06/1801.20 v -x5939 -x5940 -x5941 -x5942 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5955 -x5956 -x5957 1800.06/1801.20 v -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 1800.06/1801.20 v -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 1800.06/1801.20 v -x5995 -x5996 -x5997 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6010 -x6011 -x6012 -x6013 1800.06/1801.20 v -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6033 1800.06/1801.20 v -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 1800.06/1801.20 v -x6052 -x6053 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6066 -x6067 -x6068 -x6069 -x6070 1800.06/1801.20 v -x6071 -x6072 -x6073 -x6074 -x6075 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6088 -x6089 1800.06/1801.20 v -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 1800.06/1801.20 v -x6108 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 1800.06/1801.20 v -x6127 -x6128 -x6129 -x6130 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6144 -x6145 -x6146 1800.06/1801.20 v -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 1800.06/1801.20 v -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 1800.06/1801.20 v -x6184 -x6185 -x6186 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6199 -x6200 -x6201 -x6202 1800.06/1801.20 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6221 1800.06/1801.20 v -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 1800.06/1801.20 v -x6240 -x6241 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6255 -x6256 -x6257 -x6258 -x6259 1800.06/1801.20 v -x6260 -x6261 -x6262 -x6263 -x6264 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6277 -x6278 1800.06/1801.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1801.20 c 16 123112 55292 1264752 123652 86361981 123114 68 1800.06 1800.06/1801.20 c Objective: 294914 1800.06/1801.20 s SATISFIABLE 1800.06/1801.20 c Total time: 1800.06 s
OK 294914
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-351577-1176605214 -o ROOT/results/node63/solver-351577-1176605214 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351577-1176605214/instance-351577-1176605214.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: 0.92 0.98 0.99 2/64 8145 /proc/meminfo: memFree=1730132/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=18568 CPUtime=0 /proc/8145/stat : 8145 (runsolver) R 8143 8145 21906 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 136511281 19013632 292 18446744073709551615 4194304 4296420 548682068976 18446744073709551615 247254805799 0 0 4096 24578 0 0 0 17 1 0 0 /proc/8145/statm: 4642 292 257 24 0 2626 0 [startup+0.020418 s] /proc/loadavg: 0.92 0.98 0.99 2/64 8145 /proc/meminfo: memFree=1730132/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=14152 CPUtime=0.01 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 482 0 0 0 1 0 0 0 18 0 1 0 136511281 14491648 450 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 3538 450 297 324 0 2110 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 14152 [startup+0.101427 s] /proc/loadavg: 0.92 0.98 0.99 2/64 8145 /proc/meminfo: memFree=1730132/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=7052 CPUtime=0.09 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 775 0 0 0 9 0 0 0 18 0 1 0 136511281 7221248 743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3430188 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 1763 743 403 324 0 335 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7052 [startup+0.301448 s] /proc/loadavg: 0.92 0.98 0.99 2/64 8145 /proc/meminfo: memFree=1730132/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=8584 CPUtime=0.29 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 1416 0 0 0 29 0 0 0 19 0 1 0 136511281 8790016 1384 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134539139 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 2146 1384 669 324 0 718 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8584 [startup+0.701488 s] /proc/loadavg: 0.92 0.98 0.99 2/64 8145 /proc/meminfo: memFree=1730132/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=8140 CPUtime=0.69 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 1920 0 0 0 68 1 0 0 23 0 1 0 136511281 8335360 1391 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 2035 1391 305 324 0 1104 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8140 [startup+1.50157 s] /proc/loadavg: 0.92 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1725196/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=8576 CPUtime=1.49 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 2891 0 0 0 148 1 0 0 25 0 1 0 136511281 8781824 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 2144 1518 307 324 0 1213 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8576 [startup+3.10174 s] /proc/loadavg: 0.92 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1724812/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=8576 CPUtime=3.08 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 2891 0 0 0 307 1 0 0 25 0 1 0 136511281 8781824 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 2144 1518 307 324 0 1213 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8576 [startup+6.30108 s] /proc/loadavg: 0.93 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1724820/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=8576 CPUtime=6.28 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 2891 0 0 0 627 1 0 0 25 0 1 0 136511281 8781824 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 2144 1518 307 324 0 1213 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8576 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1705044/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=32712 CPUtime=12.69 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 8936 0 0 0 1259 10 0 0 25 0 1 0 136511281 33497088 7563 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 8178 7563 312 324 0 7247 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32712 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1644500/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=91552 CPUtime=25.48 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 23636 0 0 0 2521 27 0 0 25 0 1 0 136511281 93749248 22263 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 22888 22263 312 324 0 21957 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 91552 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1580052/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=154608 CPUtime=51.06 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 39413 0 0 0 5069 37 0 0 25 0 1 0 136511281 158318592 38040 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 38652 38040 312 324 0 37721 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 154608 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1447188/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=286396 CPUtime=102.23 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 72360 0 0 0 10164 59 0 0 25 0 1 0 136511281 293269504 70987 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 71599 70987 312 324 0 70668 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 286396 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1351764/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=382508 CPUtime=162.19 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 96384 0 0 0 16133 86 0 0 25 0 1 0 136511281 391688192 95011 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 95627 95011 312 324 0 94696 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 382508 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1264468/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=468684 CPUtime=222.15 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 117933 0 0 0 22103 112 0 0 25 0 1 0 136511281 479932416 116560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 117171 116560 312 324 0 116240 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 468684 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1195028/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=538432 CPUtime=282.11 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 135347 0 0 0 28087 124 0 0 25 0 1 0 136511281 551354368 133974 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 134608 133974 312 324 0 133677 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 538432 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1147860/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=585160 CPUtime=342.08 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 147037 0 0 0 34076 132 0 0 25 0 1 0 136511281 599203840 145664 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 146290 145664 312 324 0 145359 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 585160 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1106900/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=625944 CPUtime=402.02 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 157233 0 0 0 40065 137 0 0 25 0 1 0 136511281 640966656 155860 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 156486 155860 312 324 0 155555 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 625944 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1071828/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=660808 CPUtime=461.99 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 165964 0 0 0 46055 144 0 0 25 0 1 0 136511281 676667392 164591 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 165202 164591 312 324 0 164271 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 660808 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1056340/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=676312 CPUtime=521.95 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 169819 0 0 0 52048 147 0 0 25 0 1 0 136511281 692543488 168446 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3404223 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 169078 168446 312 324 0 168147 0 Current children cumulated CPU time (s) 521.95 Current children cumulated vsize (KiB) 676312 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1044756/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=687736 CPUtime=581.91 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 172698 0 0 0 58041 150 0 0 25 0 1 0 136511281 704241664 171325 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 171934 171325 312 324 0 171003 0 Current children cumulated CPU time (s) 581.91 Current children cumulated vsize (KiB) 687736 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8146 /proc/meminfo: memFree=1033108/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=699312 CPUtime=641.87 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 175578 0 0 0 64034 153 0 0 25 0 1 0 136511281 716095488 174205 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 174828 174205 312 324 0 173897 0 Current children cumulated CPU time (s) 641.87 Current children cumulated vsize (KiB) 699312 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/71 8310 /proc/meminfo: memFree=981732/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=749164 CPUtime=881.72 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 188054 0 0 0 87997 175 0 0 25 0 1 0 136511281 767143936 186681 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 187291 186681 312 324 0 186360 0 Current children cumulated CPU time (s) 881.72 Current children cumulated vsize (KiB) 749164 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=953876/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=778472 CPUtime=941.68 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 195361 0 0 0 93983 185 0 0 25 0 1 0 136511281 797155328 193988 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 194618 193988 312 324 0 193687 0 Current children cumulated CPU time (s) 941.68 Current children cumulated vsize (KiB) 778472 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=937876/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=794212 CPUtime=1001.64 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 199301 0 0 0 99975 189 0 0 25 0 1 0 136511281 813273088 197928 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 198553 197928 312 324 0 197622 0 Current children cumulated CPU time (s) 1001.64 Current children cumulated vsize (KiB) 794212 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=918164/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=814220 CPUtime=1061.62 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 204302 0 0 0 105969 193 0 0 25 0 1 0 136511281 833761280 202929 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 203555 202929 312 324 0 202624 0 Current children cumulated CPU time (s) 1061.62 Current children cumulated vsize (KiB) 814220 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=894868/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=837188 CPUtime=1121.57 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 210035 0 0 0 111958 199 0 0 25 0 1 0 136511281 857280512 208662 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 209297 208662 312 324 0 208366 0 Current children cumulated CPU time (s) 1121.57 Current children cumulated vsize (KiB) 837188 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=878484/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=853560 CPUtime=1181.54 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 214148 0 0 0 117950 204 0 0 25 0 1 0 136511281 874045440 212775 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 213390 212775 312 324 0 212459 0 Current children cumulated CPU time (s) 1181.54 Current children cumulated vsize (KiB) 853560 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=860628/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=871160 CPUtime=1241.5 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 218549 0 0 0 123942 208 0 0 25 0 1 0 136511281 892067840 217176 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 217790 217176 312 324 0 216859 0 Current children cumulated CPU time (s) 1241.5 Current children cumulated vsize (KiB) 871160 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=837076/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=894588 CPUtime=1301.47 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 224389 0 0 0 129934 213 0 0 25 0 1 0 136511281 916058112 223016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 223647 223016 312 324 0 222716 0 Current children cumulated CPU time (s) 1301.47 Current children cumulated vsize (KiB) 894588 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=804628/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=927492 CPUtime=1361.44 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 232622 0 0 0 135926 218 0 0 25 0 1 0 136511281 949751808 231249 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 231873 231249 312 324 0 230942 0 Current children cumulated CPU time (s) 1361.44 Current children cumulated vsize (KiB) 927492 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=776084/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=955704 CPUtime=1421.4 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 239665 0 0 0 141917 223 0 0 25 0 1 0 136511281 978640896 238292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 238926 238292 312 324 0 237995 0 Current children cumulated CPU time (s) 1421.4 Current children cumulated vsize (KiB) 955704 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=755476/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=976368 CPUtime=1481.36 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 244834 0 0 0 147908 228 0 0 25 0 1 0 136511281 999800832 243461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 244092 243461 312 324 0 243161 0 Current children cumulated CPU time (s) 1481.36 Current children cumulated vsize (KiB) 976368 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=734996/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=996712 CPUtime=1541.32 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 249930 0 0 0 153901 231 0 0 25 0 1 0 136511281 1020633088 248557 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 249178 248557 312 324 0 248247 0 Current children cumulated CPU time (s) 1541.32 Current children cumulated vsize (KiB) 996712 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=710932/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=1020844 CPUtime=1601.28 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 255953 0 0 0 159893 235 0 0 25 0 1 0 136511281 1045344256 254580 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 255211 254580 312 324 0 254280 0 Current children cumulated CPU time (s) 1601.28 Current children cumulated vsize (KiB) 1020844 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=685396/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=1046276 CPUtime=1661.24 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 262307 0 0 0 165884 240 0 0 25 0 1 0 136511281 1071386624 260934 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 261569 260934 312 324 0 260638 0 Current children cumulated CPU time (s) 1661.24 Current children cumulated vsize (KiB) 1046276 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=657364/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=1074372 CPUtime=1721.21 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 269343 0 0 0 171876 245 0 0 25 0 1 0 136511281 1100156928 267970 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 268593 267970 312 324 0 267662 0 Current children cumulated CPU time (s) 1721.21 Current children cumulated vsize (KiB) 1074372 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=625300/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=1106092 CPUtime=1781.17 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 277267 0 0 0 177868 249 0 0 25 0 1 0 136511281 1132638208 275894 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 276523 275894 312 324 0 275592 0 Current children cumulated CPU time (s) 1781.17 Current children cumulated vsize (KiB) 1106092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=614932/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=1116332 CPUtime=1800.06 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 279823 0 0 0 179755 251 0 0 25 0 1 0 136511281 1143123968 278450 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551895 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8145/statm: 279083 278450 312 324 0 278152 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1116332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8344 /proc/meminfo: memFree=614932/2055920 swapFree=4191892/4192956 [pid=8145] ppid=8143 vsize=0 CPUtime=1800.16 /proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194308 279827 0 0 0 179755 261 0 0 25 0 1 0 136511281 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/8145/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1801.39 CPU time (s): 1800.24 CPU user time (s): 1797.55 CPU system time (s): 2.69059 CPU usage (%): 99.9365 Max. virtual memory (cumulated for all children) (KiB): 1116332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.55 system time used= 2.69059 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279827 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= 13 involuntary context switches= 4907 runsolver used 1.81272 second user time and 4.75028 second system time The end
Begin job on node63 on Sun Apr 15 02:46:54 UTC 2007 IDJOB= 351577 IDBENCH= 1777 IDSOLVER= 163 FILE ID= node63/351577-1176605214 PBS_JOBID= 4557011 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351577-1176605214/instance-351577-1176605214.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-351577-1176605214 -o ROOT/results/node63/solver-351577-1176605214 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351577-1176605214/instance-351577-1176605214.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= b75dadb532de8158b35ca12cd6b47e2f RANDOM SEED= 428287222 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1730476 kB Buffers: 27956 kB Cached: 173736 kB SwapCached: 268 kB Active: 101392 kB Inactive: 120240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1730476 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 6372 kB Writeback: 0 kB Mapped: 28168 kB Slab: 89784 kB Committed_AS: 270152 kB PageTables: 1468 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= 66558 MiB End job on node63 on Sun Apr 15 03:16:57 UTC 2007