Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 17520987 | 1800.24 | 1803.02 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran8x32.opb |
MD5SUM | cbc794920cb33f20cfa2472a22fd5e8b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 9341955 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7735294 |
Optimality of the best value was proved | NO |
Number of variables | 7936 |
Total number of constraints | 296 |
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 | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 960 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1548380176990 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1548380176990 |
Number of bits of the biggest sum of numbers | 41 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433148-1177955543/instance-433148-1177955543.opb 0.00/0.00 c File size is 406007 bytes. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Highest Coefficient sum: 1.54838e+12 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.066 s 0.06/0.07 c Var: 7936 Constr: 336 0/0/336 Lit: 38656 Watch. Lit: 23376 0.06/0.07 c Obj. Vars: 7936 (100 % of total variables) 0.09/0.19 c Pre-processing Time: 0.19 s 10.49/10.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.49/10.55 c 0 3749 336 38656 115 23432 77312 0 0 0.19 10.49/10.55 c 100 3749 436 74660 171 23853 85044 100 429 0.23 10.49/10.55 c 251 3749 587 128184 218 24181 93549 251 799 0.31 10.49/10.55 c 478 3749 814 209161 256 24659 102904 478 1122 0.43 10.49/10.55 c 816 3749 1152 328299 284 25388 113195 816 1295 0.63 10.49/10.55 c 1324 3749 1660 507441 305 26347 124515 1324 1453 0.91 10.49/10.55 c 2087 3749 2423 774943 319 27876 136967 2087 1482 1.41 10.49/10.55 c 3234 3749 3570 1172961 328 30242 150664 3234 1547 2.09 10.49/10.55 c 4956 3749 5292 1969507 372 34274 165731 4956 1607 3.08 10.49/10.55 c 7544 3749 7880 2729213 346 39791 182305 7544 1618 4.66 10.49/10.55 c 11424 3749 11760 3842917 326 47435 200536 11424 1514 7.54 10.49/10.55 o 20689784 10.542 10.89/11.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/11.00 c 15661 3749 15998 5097496 318 60508 84810 15662 1485 10.55 10.89/11.00 c 15761 3749 16098 5121745 318 60320 93292 15762 1485 10.61 10.89/11.00 c 16011 3749 16348 5177315 316 60738 102622 16012 1489 10.75 10.89/11.00 o 20147936 10.995 51.17/51.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.17/51.21 c 16313 3749 16651 5288662 317 64424 84810 16315 1483 11.00 51.17/51.21 c 16414 3749 16752 5330655 318 64035 93292 16416 1487 11.04 51.17/51.21 c 16664 3749 17002 5424402 319 65224 102622 16666 1475 11.29 51.17/51.21 c 17139 3749 17477 5732760 328 65597 112885 17141 1458 11.75 51.17/51.21 c 17952 3749 18290 6192872 338 67952 124174 17954 1389 12.92 51.17/51.21 c 19272 3749 19610 6542026 333 69427 136592 19274 1422 13.55 51.17/51.21 c 21354 3749 21692 7266572 334 73278 150252 21356 1384 15.43 51.17/51.21 c 24577 3749 24915 9003930 361 80587 165278 24579 1245 19.73 51.17/51.21 c 29515 3749 29853 10438574 349 89780 181806 29517 1210 24.37 51.17/51.21 c 37021 3749 37359 13927093 372 104351 199987 37023 892 41.46 51.17/51.21 o 19334587 51.188 311.87/312.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 311.87/312.02 c 44284 3749 44623 15792772 353 121662 84810 44287 865 51.19 311.87/312.02 c 44384 3749 44723 15801422 353 121668 93292 44387 866 51.21 311.87/312.02 c 44634 3749 44973 15837552 352 121487 102622 44637 869 51.32 311.87/312.02 c 45109 3749 45448 15891203 349 122438 112885 45112 876 51.45 311.87/312.02 c 45923 3749 46262 16467211 355 124724 124174 45926 858 53.49 311.87/312.02 c 47248 3749 47587 16798505 353 126536 136592 47251 866 54.54 311.87/312.02 c 49331 3749 49670 17451284 351 131185 150252 49334 857 57.54 311.87/312.02 c 52554 3749 52893 18620249 352 137709 165278 52557 862 60.96 311.87/312.02 c 57491 3749 57830 20338021 351 145705 181806 57494 845 67.98 311.87/312.02 c 64998 3749 65337 26640603 407 162241 199987 65001 705 92.13 311.87/312.02 c 76359 3749 76698 30532505 398 183578 219986 76362 735 103.79 311.87/312.02 c 93506 3749 93845 32184015 342 218074 241985 93509 750 124.67 311.87/312.02 c 119326 3749 119665 62690944 523 270912 266184 119329 409 291.39 311.87/312.02 o 18260147 311.894 426.13/426.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 426.13/426.33 c 136955 3749 137295 69484322 506 307944 84810 136959 439 311.90 426.13/426.33 c 137059 3749 12807 4908916 383 53335 93292 12471 431 317.33 426.13/426.33 c 137310 3749 13058 4936497 378 53787 102622 12722 432 317.39 426.13/426.33 c 137786 3749 13534 5096910 376 55166 112885 13198 433 317.64 426.13/426.33 c 138600 3749 14348 5316525 370 56466 124174 14012 435 318.26 426.13/426.33 c 139920 3749 15668 5814430 371 59320 136592 15332 438 318.81 426.13/426.33 c 142002 3749 17750 6449364 363 63487 150252 17414 442 320.85 426.13/426.33 c 145225 3749 20973 8889196 423 71172 165278 20637 434 334.49 426.13/426.33 c 150162 3749 25910 10702958 413 79330 181806 25574 443 338.29 426.13/426.33 c 157668 3749 33416 14493798 433 95233 199987 33080 452 348.37 426.13/426.33 c 169030 3749 44778 18299743 408 117464 219986 44442 449 375.89 426.13/426.33 c 186174 3749 61922 27482822 443 151464 241985 61586 452 411.65 426.13/426.34 o 18246002 426.17 741.10/741.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 741.10/741.52 c 193665 3749 69414 33024893 475 170226 84810 69078 454 426.17 741.10/741.52 c 193765 3749 69514 33052278 475 169660 93292 69178 454 426.36 741.10/741.52 c 194016 3749 69765 33157105 475 170281 102622 69429 454 426.53 741.10/741.52 c 194491 3749 70240 33198032 472 171130 112885 69904 455 426.65 741.10/741.52 c 195304 3749 71053 33536776 471 172501 124174 70717 457 427.33 741.10/741.52 c 196624 3749 72373 34399671 475 176487 136592 72037 456 430.71 741.10/741.52 c 198706 3749 74455 34881405 468 179359 150252 74119 460 431.92 741.10/741.52 c 201933 3749 77682 36561446 470 187306 165278 77346 458 440.51 741.10/741.52 c 206869 3749 82618 38200194 462 196004 181806 82282 464 445.49 741.10/741.52 c 214378 3749 90127 43714292 485 212251 199987 89791 451 474.99 741.10/741.52 c 225740 3749 101489 47100979 464 233040 219986 101153 461 488.74 741.10/741.52 c 242884 3749 118633 52604064 443 267278 241985 118297 479 506.45 741.10/741.52 c 268704 3749 144453 60737639 420 318628 266184 144117 494 543.04 741.10/741.52 c 307536 3749 183285 78608350 428 398243 292803 182949 488 629.47 741.10/741.52 o 17623613 741.135 1220.34/1220.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1220.34/1220.98 c 336982 3749 212732 93966638 441 459149 84810 212396 454 741.14 1220.34/1220.98 c 337082 3749 13501 6518522 482 54991 93292 13165 391 861.51 1220.34/1220.98 c 337332 3749 13751 6595195 479 55525 102622 13415 391 861.69 1220.34/1220.98 c 337808 3749 14227 6739633 473 56392 112885 13891 391 861.99 1220.34/1220.98 c 338623 3749 15042 6983901 464 57991 124174 14706 392 862.48 1220.34/1220.98 c 339944 3749 16363 7372818 450 60674 136592 16027 393 863.33 1220.34/1220.98 c 342025 3749 18444 7978017 432 64718 150252 18108 395 864.83 1220.34/1220.98 c 345249 3749 21668 8888768 410 71282 165278 21332 398 866.91 1220.34/1220.98 c 350191 3749 26610 11906599 447 81428 181806 26274 398 878.58 1220.34/1220.98 c 357699 3749 34118 14657520 429 96782 199987 33782 403 886.82 1220.34/1220.98 c 369060 3749 45479 24625856 541 119269 219986 45143 395 933.54 1220.34/1220.98 c 386204 3749 62623 27048739 431 152657 241985 62287 411 938.84 1220.34/1220.98 c 412024 3749 88443 39350019 444 204341 266184 88107 414 994.08 1220.34/1220.98 c 450857 3749 127276 73739312 579 282947 292803 126940 386 1166.55 1220.34/1220.98 o 17520987 1220.42 1800.01/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.80 c 466753 3749 143173 85508682 597 317835 84810 142837 382 1220.42 1800.01/1800.80 c 466857 3749 12790 10639898 831 52915 93292 12454 378 1233.14 1800.01/1800.80 c 467108 3749 13041 10713053 821 53361 102622 12705 378 1233.33 1800.01/1800.80 c 467583 3749 13516 10847413 802 54256 112885 13180 379 1233.64 1800.01/1800.80 c 468396 3749 14329 11539468 805 57324 124174 13993 379 1235.18 1800.01/1800.80 c 469716 3749 15649 11928130 762 59212 136592 15313 379 1236.13 1800.01/1800.80 c 471798 3749 17731 12556620 708 63427 150252 17395 381 1237.76 1800.01/1800.80 c 475022 3749 20955 14213000 678 70343 165278 20619 382 1242.18 1800.01/1800.80 c 479958 3749 25891 16104070 621 79764 181806 25555 383 1250.17 1800.01/1800.80 c 487465 3749 33398 21782999 652 95257 199987 33062 382 1273.95 1800.01/1800.80 c 498826 3749 44759 32310636 721 117811 219986 44423 382 1302.46 1800.01/1800.80 c 515970 3749 61903 47353704 764 151843 241985 61567 373 1381.05 1800.01/1800.80 c 541789 3749 87722 54948472 626 203134 266184 87386 386 1400.21 1800.01/1800.80 c 580621 3749 126554 97370715 769 282176 292803 126218 358 1618.46 1800.01/1800.80 c 638973 3749 184906 102613839 554 397029 322084 184570 356 1794.86 1800.01/1800.80 c Caught signal: 15 1800.01/1800.80 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.01/1800.80 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 1800.01/1800.80 v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1800.01/1800.80 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.01/1800.80 v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 1800.01/1800.80 v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5701 x5702 x5703 x5704 x5705 1800.01/1800.80 v -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 1800.01/1800.80 v -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 1800.01/1800.80 v -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 1800.01/1800.80 v -x6057 -x6058 -x6059 -x6060 -x6361 x6362 x6363 x6364 x6365 x6366 x6367 x6368 x6369 x6370 -x6371 -x6372 -x6373 -x6374 -x6375 1800.01/1800.80 v -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6691 -x6692 1800.01/1800.80 v -x6693 x6694 x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 1800.01/1800.80 v -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 1800.01/1800.80 v -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 1800.01/1800.80 v -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 x7351 x7352 x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 1800.01/1800.80 v -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 1800.01/1800.80 v -x7380 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 1800.01/1800.80 v -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 -x403 -x404 -x405 -x406 1800.01/1800.80 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 -x727 1800.01/1800.80 v -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 1800.01/1800.80 v -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1800.01/1800.80 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 -x1383 1800.01/1800.80 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1800.01/1800.80 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 1800.01/1800.80 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1800.01/1800.80 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1800.01/1800.80 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1800.01/1800.80 v -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.01/1800.80 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2701 -x2702 1800.01/1800.80 v -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 1800.01/1800.80 v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x3031 -x3032 x3033 x3034 x3035 x3036 -x3037 1800.01/1800.80 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 1800.01/1800.80 v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 1800.01/1800.80 v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 1800.01/1800.80 v -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 1800.01/1800.80 v -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x4051 -x4052 1800.01/1800.80 v x4053 x4054 -x4055 x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 1800.01/1800.80 v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 x4383 x4384 -x4385 -x4386 -x4387 -x4388 1800.01/1800.80 v -x4389 x4390 x4391 x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1800.01/1800.80 v -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 1800.01/1800.80 v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 1800.01/1800.80 v x5041 x5042 x5043 x5044 x5045 x5046 x5047 x5048 x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 1800.01/1800.80 v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 1800.01/1800.80 v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1800.01/1800.80 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 1800.01/1800.80 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1800.01/1800.80 v -x5308 -x5309 -x5310 -x5311 x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5319 -x5320 -x5321 x5322 -x5323 -x5324 -x5325 1800.01/1800.80 v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1800.01/1800.80 v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 1800.01/1800.80 v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 1800.01/1800.80 v -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 1800.01/1800.80 v -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 1800.01/1800.80 v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 1800.01/1800.80 v -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 1800.01/1800.80 v -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 1800.01/1800.80 v -x5492 x5493 x5494 x5495 x5496 x5497 x5498 -x5499 -x5500 -x5501 -x5502 x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 1800.01/1800.80 v -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 1800.01/1800.80 v -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 1800.01/1800.80 v -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 1800.01/1800.80 v -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 1800.01/1800.80 v -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 1800.01/1800.80 v -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 1800.01/1800.80 v -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 1800.01/1800.80 v -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 x5642 -x5643 -x5644 -x5645 1800.01/1800.80 v -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 1800.01/1800.80 v -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 1800.01/1800.80 v -x5680 x5681 -x5682 -x5683 -x5684 x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 1800.01/1800.80 v -x5698 -x5699 -x5700 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 1800.01/1800.80 v -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 1800.01/1800.80 v -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 1800.01/1800.80 v -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 1800.01/1800.80 v -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 1800.01/1800.80 v -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 1800.01/1800.80 v -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 1800.01/1800.80 v -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 x5862 x5863 -x5864 1800.01/1800.80 v x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 1800.01/1800.80 v -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 x5889 x5890 -x5891 -x5892 -x5893 x5894 -x5895 -x5896 -x5897 -x5898 -x5899 1800.01/1800.80 v -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 1800.01/1800.80 v -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 1800.01/1800.80 v -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 1800.01/1800.80 v -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 1800.01/1800.80 v -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 1800.01/1800.80 v -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 1800.01/1800.80 v -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 1800.01/1800.80 v -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6061 -x6062 -x6063 -x6064 -x6065 1800.01/1800.80 v -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 1800.01/1800.80 v -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 1800.01/1800.80 v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 1800.01/1800.80 v -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 1800.01/1800.80 v -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 1800.01/1800.80 v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 1800.01/1800.80 v -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 1800.01/1800.80 v -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 1800.01/1800.80 v -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 1800.01/1800.80 v -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 1800.01/1800.80 v -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 1800.01/1800.80 v -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 1800.01/1800.80 v -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 1800.01/1800.80 v -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 1800.01/1800.80 v -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 1800.01/1800.80 v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 1800.01/1800.80 v -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 1800.01/1800.80 v -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 1800.01/1800.80 v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 1800.01/1800.80 v -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 1800.01/1800.80 v -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 1800.01/1800.80 v -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 1800.01/1800.80 v -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 1800.01/1800.80 v -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 1800.01/1800.80 v -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 1800.01/1800.80 v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 1800.01/1800.80 v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 1800.01/1800.80 v -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 1800.01/1800.80 v x6572 x6573 x6574 x6575 x6576 x6577 x6578 x6579 x6580 x6581 x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 1800.01/1800.80 v -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 1800.01/1800.80 v -x6608 x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 1800.01/1800.80 v -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 1800.01/1800.80 v -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 1800.01/1800.80 v -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 1800.01/1800.80 v -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6721 -x6722 1800.01/1800.80 v -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 1800.01/1800.80 v -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 1800.01/1800.80 v -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 1800.01/1800.80 v -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 1800.01/1800.80 v -x6791 x6792 x6793 x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 1800.01/1800.80 v -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 1800.01/1800.80 v -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 1800.01/1800.80 v -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 1800.01/1800.80 v -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 1800.01/1800.80 v -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 x6884 -x6885 x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 1800.01/1800.80 v -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 1800.01/1800.80 v -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 1800.01/1800.80 v -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 1800.01/1800.80 v -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 1800.01/1800.80 v -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 1800.01/1800.80 v -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 1800.01/1800.80 v -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 1800.01/1800.80 v -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 1800.01/1800.80 v -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 1800.01/1800.80 v -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 1800.01/1800.80 v -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 1800.01/1800.80 v -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 1800.01/1800.80 v -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 1800.01/1800.80 v -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 1800.01/1800.80 v -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x7180 1800.01/1800.80 v -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 1800.01/1800.80 v -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 1800.01/1800.80 v -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 1800.01/1800.80 v -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 1800.01/1800.80 v -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 1800.01/1800.80 v -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 1800.01/1800.80 v -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 x7291 x7292 -x7293 x7294 x7295 -x7296 x7297 -x7298 -x7299 -x7300 1800.01/1800.80 v x7301 x7302 x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 1800.01/1800.80 v -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 1800.01/1800.80 v -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7381 -x7382 1800.01/1800.80 v -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 1800.01/1800.80 v -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 x7411 x7412 x7413 x7414 -x7415 -x7416 -x7417 1800.01/1800.80 v x7418 -x7419 x7420 -x7421 -x7422 x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 1800.01/1800.80 v -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 1800.01/1800.80 v -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 1800.01/1800.80 v -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 1800.01/1800.80 v -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 1800.01/1800.80 v -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 1800.01/1800.80 v -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 1800.01/1800.80 v -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 1800.01/1800.80 v -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 1800.01/1800.80 v x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 1800.01/1800.80 v -x7589 -x7590 -x7591 x7592 x7593 x7594 -x7595 -x7596 x7597 x7598 x7599 -x7600 -x7601 x7602 -x7603 -x7604 -x7605 -x7606 1800.01/1800.80 v -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 1800.01/1800.80 v -x7624 x7625 -x7626 -x7627 x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 1800.01/1800.80 v -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 1800.01/1800.80 v x7659 x7660 x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 1800.01/1800.80 v -x7677 -x7678 -x7679 -x7680 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.01/1800.80 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.01/1800.80 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.01/1800.80 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.01/1800.80 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.01/1800.80 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.01/1800.80 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.01/1800.80 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.01/1800.80 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 x273 x274 x275 x276 x277 1800.01/1800.80 v x278 x279 x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.01/1800.80 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.01/1800.80 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.01/1800.80 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1800.01/1800.80 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.01/1800.80 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 -x432 -x433 1800.01/1800.80 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1800.01/1800.80 v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 1800.01/1800.80 v -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 1800.01/1800.80 v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 1800.01/1800.80 v -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 1800.01/1800.80 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 1800.01/1800.80 v -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 x574 -x575 x576 x577 x578 x579 -x580 x581 1800.01/1800.80 v x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 1800.01/1800.80 v -x603 -x604 -x605 -x606 -x607 x608 x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 1800.01/1800.80 v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 1800.01/1800.80 v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 1800.01/1800.80 v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1800.01/1800.80 v -x687 -x688 -x689 -x690 x691 x692 x693 -x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 1800.01/1800.80 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1800.01/1800.80 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 1800.01/1800.80 v x782 x783 x784 x785 x786 x787 x788 x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1800.01/1800.80 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.01/1800.80 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.01/1800.80 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.01/1800.80 v -x867 -x868 -x869 -x870 -x871 x872 x873 x874 x875 x876 x877 x878 x879 -x880 x881 x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 1800.01/1800.80 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1800.01/1800.80 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 1800.01/1800.80 v x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1800.01/1800.80 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1800.01/1800.80 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1800.01/1800.80 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1800.01/1800.80 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.01/1800.80 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.01/1800.80 v -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.01/1800.80 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.01/1800.80 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.01/1800.80 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.01/1800.80 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.01/1800.80 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.01/1800.80 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.01/1800.80 v -x1198 -x1199 -x1200 -x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1800.01/1800.80 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 1800.01/1800.80 v -x1234 -x1235 x1236 x1237 x1238 x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 1800.01/1800.80 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.01/1800.80 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.01/1800.80 v -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1800.01/1800.80 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 1800.01/1800.80 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 1800.01/1800.80 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1800.01/1800.80 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1800.01/1800.80 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.01/1800.80 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1800.01/1800.80 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1800.01/1800.80 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1800.01/1800.80 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.01/1800.80 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 1800.01/1800.80 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1800.01/1800.80 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1800.01/1800.80 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.01/1800.80 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.01/1800.80 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.01/1800.80 v -x1589 -x1590 x1591 x1592 x1593 -x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 1800.01/1800.80 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 1800.01/1800.80 v -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.01/1800.80 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1800.01/1800.80 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.01/1800.80 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.01/1800.80 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.01/1800.80 v -x1710 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.01/1800.80 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.01/1800.80 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.01/1800.80 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.01/1800.80 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.01/1800.80 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.01/1800.80 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.01/1800.80 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.01/1800.80 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1800.01/1800.80 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.01/1800.80 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.01/1800.80 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1800.01/1800.80 v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 1800.01/1800.80 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 1800.01/1800.80 v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 1800.01/1800.80 v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1800.01/1800.80 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1800.01/1800.80 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1800.01/1800.80 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1800.01/1800.80 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.01/1800.80 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.01/1800.80 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1800.01/1800.80 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1800.01/1800.80 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1800.01/1800.80 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 x2193 x2194 x2195 x2196 1800.01/1800.80 v x2197 x2198 -x2199 x2200 -x2201 -x2202 x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 1800.01/1800.80 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.01/1800.80 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.01/1800.80 v -x2249 -x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.01/1800.80 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.01/1800.80 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.01/1800.80 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.01/1800.80 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1800.01/1800.80 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1800.01/1800.80 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.01/1800.80 v -x2368 -x2369 -x2370 -x2401 x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 1800.01/1800.80 v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1800.01/1800.80 v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 1800.01/1800.80 v -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 1800.01/1800.80 v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 1800.01/1800.80 v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1800.01/1800.80 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1800.01/1800.80 v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 1800.01/1800.80 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 1800.01/1800.80 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1800.01/1800.80 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 1800.01/1800.80 v -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 1800.01/1800.80 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 1800.01/1800.80 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.01/1800.80 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1800.01/1800.80 v x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1800.01/1800.80 v -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1800.01/1800.80 v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 1800.01/1800.80 v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 1800.01/1800.80 v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 1800.01/1800.80 v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 1800.01/1800.80 v -x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 -x2793 -x2794 x2795 -x2796 -x2797 x2798 x2799 x2800 -x2801 -x2802 x2803 1800.01/1800.80 v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 1800.01/1800.80 v -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 x2830 x2831 x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1800.01/1800.80 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1800.01/1800.80 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1800.01/1800.80 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.01/1800.80 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.01/1800.80 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1800.01/1800.80 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1800.01/1800.80 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1800.01/1800.80 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 1800.01/1800.80 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1800.01/1800.80 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 x3005 x3006 -x3007 -x3008 -x3009 1800.01/1800.80 v -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 1800.01/1800.80 v -x3027 -x3028 -x3029 -x3030 x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 -x3074 1800.01/1800.80 v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 1800.01/1800.80 v -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 1800.01/1800.80 v -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 1800.01/1800.80 v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 1800.01/1800.80 v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 x3153 -x3154 x3155 x3156 -x3157 -x3158 x3159 -x3160 1800.01/1800.80 v -x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1800.01/1800.80 v -x3178 -x3179 -x3180 x3181 x3182 x3183 x3184 -x3185 x3186 -x3187 -x3188 x3189 -x3190 x3191 -x3192 -x3193 -x3194 -x3195 1800.01/1800.80 v -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 1800.01/1800.80 v -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 1800.01/1800.80 v -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245 -x3246 1800.01/1800.80 v x3247 x3248 -x3249 x3250 -x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 1800.01/1800.80 v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 x3273 x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 1800.01/1800.80 v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 1800.01/1800.80 v -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 1800.01/1800.80 v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 1800.01/1800.80 v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 1800.01/1800.80 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1800.01/1800.80 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 1800.01/1800.80 v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 x3452 -x3453 x3454 x3455 x3456 x3457 x3458 x3459 x3460 -x3461 -x3462 -x3463 1800.01/1800.80 v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1800.01/1800.80 v x3481 x3482 -x3483 x3484 x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 1800.01/1800.80 v -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 1800.01/1800.80 v -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 1800.01/1800.80 v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 1800.01/1800.80 v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 1800.01/1800.80 v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 1800.01/1800.80 v -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 1800.01/1800.80 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 1800.01/1800.80 v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 1800.01/1800.80 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1800.01/1800.80 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 1800.01/1800.80 v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 1800.01/1800.80 v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 1800.01/1800.80 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1800.01/1800.80 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1800.01/1800.80 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 x3782 -x3783 x3784 -x3785 1800.01/1800.80 v x3786 -x3787 x3788 x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 1800.01/1800.80 v -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 1800.01/1800.80 v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 1800.01/1800.80 v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 x3852 -x3853 -x3854 -x3855 1800.01/1800.80 v -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 1800.01/1800.80 v -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 1800.01/1800.80 v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 -x3902 x3903 x3904 -x3905 x3906 x3907 1800.01/1800.80 v x3908 x3909 x3910 x3911 x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 1800.01/1800.80 v -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 x3933 -x3934 -x3935 x3936 -x3937 x3938 x3939 x3940 x3941 -x3942 -x3943 1800.01/1800.80 v -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 1800.01/1800.80 v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 1800.01/1800.80 v -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 1800.01/1800.80 v -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 1800.01/1800.80 v -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 -x4022 -x4023 -x4024 x4025 x4026 x4027 -x4028 x4029 1800.01/1800.80 v -x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 1800.01/1800.80 v -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 1800.01/1800.80 v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 1800.01/1800.80 v x4111 x4112 x4113 x4114 -x4115 -x4116 x4117 x4118 x4119 x4120 x4121 x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 1800.01/1800.80 v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 x4145 x4146 x4147 1800.01/1800.80 v x4148 x4149 x4150 x4151 x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 1800.01/1800.80 v -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 1800.01/1800.80 v -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 1800.01/1800.80 v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 1800.01/1800.80 v -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 1800.01/1800.80 v -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 1800.01/1800.80 v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 x4263 x4264 x4265 x4266 -x4267 -x4268 -x4269 1800.01/1800.80 v x4270 -x4271 x4272 x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1800.01/1800.80 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 1800.01/1800.80 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1800.01/1800.80 v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 1800.01/1800.80 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 x4352 -x4353 -x4354 -x4355 x4356 1800.01/1800.80 v x4357 x4358 x4359 x4360 -x4361 x4362 x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 1800.01/1800.80 v -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 1800.01/1800.80 v -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 1800.01/1800.80 v -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 1800.01/1800.80 v -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 1800.01/1800.80 v -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 1800.01/1800.80 v -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 x4502 -x4503 x4504 x4505 x4506 x4507 1800.01/1800.80 v x4508 x4509 x4510 x4511 x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.01/1800.80 v -x4526 -x4527 -x4528 -x4529 -x4530 x4531 x4532 -x4533 -x4534 -x4535 x4536 -x4537 x4538 -x4539 -x4540 -x4541 x4542 -x4543 1800.01/1800.80 v -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 1800.01/1800.80 v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 1800.01/1800.80 v -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 1800.01/1800.80 v -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 1800.01/1800.80 v -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 1800.01/1800.80 v -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 1800.01/1800.80 v -x4646 -x4647 -x4648 -x4649 -x4650 x4651 x4652 x4653 x4654 x4655 x4656 x4657 x4658 x4659 -x4660 -x4661 x4662 x4663 -x4664 1800.01/1800.80 v -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 1800.01/1800.80 v -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 1800.01/1800.80 v -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 1800.01/1800.80 v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 1800.01/1800.80 v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 1800.01/1800.80 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 1800.01/1800.80 v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 1800.01/1800.80 v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 1800.01/1800.80 v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 1800.01/1800.80 v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 x4863 -x4864 -x4865 x4866 1800.01/1800.80 v x4867 -x4868 -x4869 x4870 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 1800.01/1800.80 v -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 1800.01/1800.80 v -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 1800.01/1800.80 v -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 1800.01/1800.80 v -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 1800.01/1800.80 v -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 1800.01/1800.80 v -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 1800.01/1800.80 v -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 1800.01/1800.80 v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 1800.01/1800.80 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 1800.01/1800.80 v -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 x5077 x5078 x5079 x5080 x5081 -x5082 x5083 -x5084 -x5085 1800.01/1800.80 v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 1800.01/1800.80 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 1800.01/1800.80 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 1800.01/1800.80 v -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 1800.01/1800.80 v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 1800.01/1800.80 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 1800.01/1800.80 v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 1800.01/1800.80 v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 1800.01/1800.80 v x5222 -x5223 x5224 -x5225 x5226 x5227 x5228 x5229 x5230 x5231 x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1800.01/1800.80 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x7681 -x7682 x7793 -x7860 x7871 -x7882 x7893 x7904 1800.01/1800.80 v -x7915 x7926 x7683 x7694 -x7705 -x7716 -x7727 -x7738 -x7749 -x7760 x7771 x7782 -x7794 -x7805 x7816 x7827 -x7838 x7849 -x7856 1800.01/1800.80 v -x7857 x7858 -x7859 -x7861 -x7862 -x7863 x7864 -x7865 -x7866 -x7867 -x7868 x7869 x7870 -x7872 -x7873 -x7874 -x7875 x7876 1800.01/1800.80 v x7877 -x7878 -x7879 -x7880 -x7881 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7894 -x7895 1800.01/1800.80 v -x7896 -x7897 -x7898 -x7899 x7900 x7901 -x7902 -x7903 -x7905 -x7906 x7907 -x7908 -x7909 x7910 -x7911 -x7912 -x7913 -x7914 1800.01/1800.80 v -x7916 -x7917 -x7918 -x7919 x7920 -x7921 -x7922 -x7923 x7924 -x7925 -x7927 x7928 -x7929 -x7930 -x7931 -x7932 x7933 x7934 1800.01/1800.80 v x7935 x7936 x7684 -x7685 -x7686 x7687 -x7688 -x7689 x7690 -x7691 -x7692 x7693 x7695 -x7696 -x7697 x7698 -x7699 x7700 x7701 1800.01/1800.80 v x7702 -x7703 x7704 -x7706 x7707 x7708 -x7709 x7710 -x7711 x7712 -x7713 -x7714 -x7715 -x7717 -x7718 -x7719 -x7720 x7721 1800.01/1800.80 v x7722 -x7723 x7724 -x7725 -x7726 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 x7734 x7735 -x7736 -x7737 -x7739 -x7740 -x7741 1800.01/1800.80 v -x7742 -x7743 -x7744 x7745 -x7746 -x7747 -x7748 -x7750 -x7751 -x7752 -x7753 x7754 -x7755 x7756 -x7757 -x7758 -x7759 x7761 1800.01/1800.80 v -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 x7769 x7770 -x7772 -x7773 x7774 x7775 -x7776 x7777 -x7778 -x7779 -x7780 1800.01/1800.80 v x7781 x7783 -x7784 -x7785 x7786 x7787 -x7788 x7789 x7790 x7791 x7792 -x7795 x7796 x7797 -x7798 -x7799 -x7800 -x7801 x7802 1800.01/1800.80 v -x7803 -x7804 -x7806 x7807 -x7808 x7809 x7810 x7811 x7812 -x7813 -x7814 x7815 -x7817 x7818 x7819 x7820 -x7821 -x7822 x7823 1800.01/1800.80 v x7824 -x7825 x7826 -x7828 -x7829 -x7830 x7831 x7832 -x7833 -x7834 -x7835 x7836 -x7837 x7839 -x7840 -x7841 -x7842 x7843 1800.01/1800.80 v -x7844 -x7845 -x7846 -x7847 -x7848 x7850 -x7851 x7852 -x7853 x7854 x7855 1800.01/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.80 c 91 640529 39965 1135248 186462 103577430 186126 355 1800.03 1800.01/1800.80 c Objective: 17520987 1800.01/1800.80 s SATISFIABLE 1800.01/1800.80 c Total time: 1800.03 s
OK 17520987
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-433148-1177955543 -o ROOT/results/node23/solver-433148-1177955543 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433148-1177955543/instance-433148-1177955543.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.86 0.97 0.99 3/77 12650 /proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=12136 CPUtime=0 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243471467 12427264 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 3034 334 279 324 0 2004 0 [startup+0.070544 s] /proc/loadavg: 0.86 0.97 0.99 3/77 12650 /proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=5024 CPUtime=0.06 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 758 0 0 0 6 0 0 0 18 0 1 0 243471467 5144576 628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134560672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 1256 629 299 324 0 326 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5024 [startup+0.101548 s] /proc/loadavg: 0.86 0.97 0.99 3/77 12650 /proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=6220 CPUtime=0.09 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 1053 0 0 0 9 0 0 0 18 0 1 0 243471467 6369280 923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 1555 923 303 324 0 625 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6220 [startup+0.301587 s] /proc/loadavg: 0.86 0.97 0.99 3/77 12650 /proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=7260 CPUtime=0.29 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 1391 0 0 0 29 0 0 0 19 0 1 0 243471467 7434240 1168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 1815 1168 310 324 0 885 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7260 [startup+0.701664 s] /proc/loadavg: 0.86 0.97 0.99 3/77 12650 /proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=10604 CPUtime=0.69 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 2229 0 0 0 68 1 0 0 23 0 1 0 243471467 10858496 2006 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 2651 2006 310 324 0 1721 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10604 [startup+1.50182 s] /proc/loadavg: 0.86 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1849280/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=16372 CPUtime=1.49 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 3673 0 0 0 147 2 0 0 25 0 1 0 243471467 16764928 3450 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 4093 3450 310 324 0 3163 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16372 [startup+3.10113 s] /proc/loadavg: 0.86 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1840896/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=31436 CPUtime=3.09 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 7442 0 0 0 305 4 0 0 25 0 1 0 243471467 32190464 7219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 7859 7219 310 324 0 6929 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31436 [startup+6.30175 s] /proc/loadavg: 0.87 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1815872/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=49828 CPUtime=6.28 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 12036 0 0 0 622 6 0 0 25 0 1 0 243471467 51023872 11813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 12457 11813 310 324 0 11527 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49828 [startup+12.702 s] /proc/loadavg: 0.88 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1779968/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=84928 CPUtime=12.69 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 20827 0 0 0 1258 11 0 0 25 0 1 0 243471467 86966272 20604 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 21232 20604 311 324 0 20302 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 84928 [startup+25.5015 s] /proc/loadavg: 0.91 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1715456/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=147184 CPUtime=25.48 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 36387 0 0 0 2531 17 0 0 25 0 1 0 243471467 150716416 36164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 36796 36164 311 324 0 35866 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 147184 [startup+51.1014 s] /proc/loadavg: 0.94 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1652672/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=210784 CPUtime=51.07 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 52302 0 0 0 5081 26 0 0 25 0 1 0 243471467 215842816 52079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 52696 52079 311 324 0 51766 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 210784 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1465600/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=396188 CPUtime=102.25 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 98642 0 0 0 10175 50 0 0 25 0 1 0 243471467 405696512 98419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 99047 98419 311 324 0 98117 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 396188 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1337920/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=524972 CPUtime=162.22 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 130822 0 0 0 16155 67 0 0 25 0 1 0 243471467 537571328 130599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 131243 130599 311 324 0 130313 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 524972 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1192512/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=668388 CPUtime=222.2 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 166680 0 0 0 22134 86 0 0 25 0 1 0 243471467 684429312 166457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 167097 166457 311 324 0 166167 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 668388 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 12651 /proc/meminfo: memFree=1075264/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=786616 CPUtime=282.18 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 196243 0 0 0 28117 101 0 0 25 0 1 0 243471467 805494784 196020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 196654 196020 311 324 0 195724 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 786616 [startup+342.302 s] /proc/loadavg: 1.03 0.99 0.99 2/78 12651 /proc/meminfo: memFree=955648/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=904148 CPUtime=342.16 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225776 0 0 0 34101 115 0 0 25 0 1 0 243471467 925847552 225419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 226037 225419 311 324 0 225107 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 904148 [startup+402.301 s] /proc/loadavg: 1.01 0.99 0.99 2/78 12651 /proc/meminfo: memFree=955648/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=904148 CPUtime=402.13 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225776 0 0 0 40098 115 0 0 25 0 1 0 243471467 925847552 225419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 226037 225419 311 324 0 225107 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 904148 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12651 /proc/meminfo: memFree=955648/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=904148 CPUtime=462.11 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225776 0 0 0 46095 116 0 0 25 0 1 0 243471467 925847552 225419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 226037 225419 311 324 0 225107 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 904148 [startup+522.303 s] /proc/loadavg: 1.00 0.99 0.99 2/84 12717 /proc/meminfo: memFree=954352/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=904148 CPUtime=522.05 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225776 0 0 0 52089 116 0 0 25 0 1 0 243471467 925847552 225419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 226037 225419 311 324 0 225107 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 904148 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=955256/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=904268 CPUtime=581.97 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225805 0 0 0 58080 117 0 0 25 0 1 0 243471467 925970432 225448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 226067 225448 311 324 0 225137 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 904268 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=807296/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1052240 CPUtime=641.95 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 262771 0 0 0 64061 134 0 0 25 0 1 0 243471467 1077493760 262414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 263060 262414 311 324 0 262130 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 1052240 ################ # More data... # ################ /proc/meminfo: memFree=635200/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1223888 CPUtime=1061.78 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 106016 162 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 305972 305343 311 324 0 305042 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 1223888 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=635136/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1223888 CPUtime=1121.77 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 112014 163 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 305972 305343 311 324 0 305042 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 1223888 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=635136/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1223888 CPUtime=1181.74 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 118011 163 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 305972 305343 311 324 0 305042 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 1223888 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1223888 CPUtime=1241.72 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 124008 164 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 305972 305343 311 324 0 305042 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 1223888 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1223888 CPUtime=1301.7 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 130006 164 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 305972 305343 311 324 0 305042 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 1223888 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1223888 CPUtime=1361.68 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 136003 165 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 305972 305343 311 324 0 305042 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 1223888 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1223888 CPUtime=1421.66 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 142001 165 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 305972 305343 311 324 0 305042 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 1223888 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1223888 CPUtime=1481.64 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 147998 166 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2928278 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 305972 305343 311 324 0 305042 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 1223888 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=635008/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1223888 CPUtime=1541.61 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 153995 166 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 305972 305343 311 324 0 305042 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 1223888 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=627840/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1231980 CPUtime=1601.58 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 307939 0 0 0 159991 167 0 0 25 0 1 0 243471467 1261547520 307374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2928124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 307995 307374 311 324 0 307065 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 1231980 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=563840/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1295068 CPUtime=1661.57 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 323698 0 0 0 165978 179 0 0 25 0 1 0 243471467 1326149632 323133 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 323767 323133 311 324 0 322837 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 1295068 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=545920/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1313076 CPUtime=1721.55 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 328193 0 0 0 171971 184 0 0 25 0 1 0 243471467 1344589824 327628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 328269 327628 311 324 0 327339 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 1313076 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=531456/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1327344 CPUtime=1781.52 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 331763 0 0 0 177963 189 0 0 25 0 1 0 243471467 1359200256 331198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 331836 331198 311 324 0 330906 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 1327344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=516096/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1342540 CPUtime=1800.01 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 335567 0 0 0 179810 191 0 0 25 0 1 0 243471467 1374760960 335002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 335635 335002 311 324 0 334705 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1342540 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 0.99 0.99 2/78 12849 /proc/meminfo: memFree=516096/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1342540 CPUtime=1800.02 /proc/12650/stat : 12650 (bsolo3.0.17) S 12648 12650 12587 0 -1 4194304 335567 0 0 0 179811 191 0 0 25 0 1 0 243471467 1374760960 335002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 335635 335002 311 324 0 334705 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1342540 [startup+1802.2 s] /proc/loadavg: 1.00 0.99 0.99 1/79 12850 /proc/meminfo: memFree=516024/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1342540 CPUtime=1800.02 /proc/12650/stat : 12650 (bsolo3.0.17) S 12648 12650 12587 0 -1 4194304 335567 0 0 0 179811 191 0 0 25 0 1 0 243471467 1374760960 335002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 335635 335002 311 324 0 334705 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1342540 [startup+1802.6 s] /proc/loadavg: 1.00 0.99 0.99 1/79 12850 /proc/meminfo: memFree=516024/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=1342540 CPUtime=1800.02 /proc/12650/stat : 12650 (bsolo3.0.17) S 12648 12650 12587 0 -1 4194304 335567 0 0 0 179811 191 0 0 25 0 1 0 243471467 1374760960 335002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 335635 335002 311 324 0 334705 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1342540 [startup+1803 s] /proc/loadavg: 0.92 0.97 0.99 1/79 12850 /proc/meminfo: memFree=516024/2055920 swapFree=4169112/4192956 [pid=12650] ppid=12648 vsize=0 CPUtime=1800.22 /proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4195332 335567 0 0 0 179811 211 0 0 18 0 1 0 243471467 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/12650/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1803.02 CPU time (s): 1800.24 CPU user time (s): 1798.11 CPU system time (s): 2.12868 CPU usage (%): 99.8459 Max. virtual memory (cumulated for all children) (KiB): 1342540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.11 system time used= 2.12868 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 335567 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= 38709 runsolver used 1.37979 second user time and 3.86141 second system time The end
Begin job on node23 on Mon Apr 30 17:52:23 UTC 2007 IDJOB= 433148 IDBENCH= 2300 IDSOLVER= 199 FILE ID= node23/433148-1177955543 PBS_JOBID= 4727717 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 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-ran8x32.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433148-1177955543/instance-433148-1177955543.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-433148-1177955543 -o ROOT/results/node23/solver-433148-1177955543 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433148-1177955543/instance-433148-1177955543.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= cbc794920cb33f20cfa2472a22fd5e8b RANDOM SEED= 631311429 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1858848 kB Buffers: 29412 kB Cached: 79052 kB SwapCached: 2512 kB Active: 49396 kB Inactive: 81716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858848 kB SwapTotal: 4192956 kB SwapFree: 4169112 kB Dirty: 7020 kB Writeback: 0 kB Mapped: 30056 kB Slab: 51556 kB Committed_AS: 2970828 kB PageTables: 1796 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 node23 on Mon Apr 30 18:22:27 UTC 2007