Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -37 | 182.11 | 182.159 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb |
MD5SUM | 9b75ee50c2c62e6be495e8bd0a94fa2c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -107 |
Best CPU time to get the best result obtained on this benchmark | 1798.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12540 |
Sum of products size (including duplicates) | 25080 |
Number of different products | 6270 |
Sum of products size | 12540 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702666-1278573793.opb. 0.00/0.00 c Instance file HOME/instance-2702666-1278573793.opb 0.00/0.00 c File size is 563009 bytes. 0.02/0.09 c Highest Coefficient sum: 1000 0.02/0.09 c ============================[ Problem Statistics ]============================= 0.02/0.09 c | | 0.02/0.09 c | Parsing time: 0.09 s | 0.02/0.09 c | Number Variables: 7270 | 0.02/0.09 c | Number Clauses: 6770 | 0.02/0.09 c | Number Cardinality: 1002 | 0.02/0.09 c | Number PB Constraints: 6270 | 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 7270 14042 53160 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 500 0.09/0.18 o 500 0.09/0.18 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 7270 14043 53660 | 5000 0 nan | 0.000 % | 0.20/0.21 c =============================================================================== 0.20/0.21 c New solution: 499 0.20/0.21 o 499 0.20/0.21 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s 0.20/0.21 c =============================================================================== 0.20/0.21 c | 1 | 7270 14044 54160 | 5000 1 504 | 0.000 % | 0.20/0.21 c =============================================================================== 0.20/0.21 c New solution: 498 0.20/0.21 o 498 0.20/0.21 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s 0.20/0.21 c =============================================================================== 0.20/0.21 c | 1 | 7270 14045 54660 | 5000 1 504 | 0.000 % | 0.20/0.22 c =============================================================================== 0.20/0.22 c New solution: 497 0.20/0.22 o 497 0.20/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s 0.20/0.22 c =============================================================================== 0.20/0.22 c | 1 | 7270 14046 55160 | 5000 1 504 | 0.000 % | 0.20/0.23 c =============================================================================== 0.20/0.23 c New solution: 496 0.20/0.23 o 496 0.20/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s 0.20/0.23 c =============================================================================== 0.20/0.23 c | 1 | 7270 14047 55660 | 5000 1 504 | 0.000 % | 0.20/0.24 c =============================================================================== 0.20/0.24 c New solution: 495 0.20/0.24 o 495 0.20/0.24 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s 0.20/0.24 c =============================================================================== 0.20/0.24 c | 1 | 7270 14048 56160 | 5000 1 504 | 0.000 % | 0.20/0.28 c | 102 | 7270 14048 56160 | 5500 102 981 | 0.000 % | 0.20/0.29 c =============================================================================== 0.20/0.29 c New solution: 494 0.20/0.29 o 494 0.20/0.29 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s 0.20/0.29 c =============================================================================== 0.20/0.29 c | 102 | 7270 14049 56660 | 5000 102 981 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 493 0.29/0.31 o 493 0.29/0.31 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 132 | 7270 14050 57160 | 5000 132 983 | 0.000 % | 0.29/0.35 c | 232 | 7270 14050 57160 | 5500 232 985 | 0.000 % | 0.39/0.40 c | 383 | 7270 14050 57160 | 6050 383 987 | 0.000 % | 0.39/0.49 c | 609 | 7270 14050 57160 | 6655 609 988 | 0.000 % | 0.59/0.63 c | 948 | 7270 14050 57160 | 7320 948 988 | 0.000 % | 0.79/0.86 c | 1454 | 7270 14050 57160 | 8052 1454 988 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 492 0.79/0.88 o 492 0.79/0.88 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 1463 | 7270 14051 57660 | 5000 1463 987 | 0.000 % | 0.89/0.94 c | 1563 | 7270 14051 57660 | 5500 1563 987 | 0.000 % | 1.00/1.01 c | 1713 | 7270 14051 57660 | 6050 1713 987 | 0.000 % | 1.10/1.12 c | 1939 | 7270 14051 57660 | 6655 1939 987 | 0.000 % | 1.29/1.30 c | 2276 | 7270 14051 57660 | 7320 2276 987 | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c New solution: 491 1.29/1.32 o 491 1.29/1.32 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s 1.29/1.32 c =============================================================================== 1.29/1.32 c | 2276 | 7270 14052 58160 | 5000 2276 987 | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c New solution: 490 1.29/1.33 o 490 1.29/1.33 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s 1.29/1.33 c =============================================================================== 1.29/1.33 c | 2276 | 7270 14053 58660 | 5000 2276 987 | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c New solution: 489 1.29/1.34 o 489 1.29/1.34 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s 1.29/1.34 c =============================================================================== 1.29/1.34 c | 2276 | 7270 14054 59160 | 5000 2276 987 | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c New solution: 488 1.29/1.36 o 488 1.29/1.36 c Elapsed CPU time: 1.3138 s Remaining CPU time: 178.686 s 1.29/1.36 c =============================================================================== 1.29/1.36 c | 2280 | 7270 14055 59660 | 5000 2280 986 | 0.000 % | 1.39/1.41 c | 2380 | 7270 14055 59660 | 5500 2380 986 | 0.000 % | 1.49/1.50 c | 2530 | 7270 14055 59660 | 6050 2530 986 | 0.000 % | 1.59/1.62 c | 2755 | 7270 14055 59660 | 6655 2755 985 | 0.000 % | 1.79/1.82 c | 3092 | 7270 14055 59660 | 7320 3092 985 | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c New solution: 487 1.79/1.83 o 487 1.79/1.83 c Elapsed CPU time: 1.77373 s Remaining CPU time: 178.226 s 1.79/1.83 c =============================================================================== 1.79/1.83 c | 3092 | 7270 14056 60160 | 5000 3092 985 | 0.000 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c New solution: 486 1.79/1.84 o 486 1.79/1.84 c Elapsed CPU time: 1.78573 s Remaining CPU time: 178.214 s 1.79/1.84 c =============================================================================== 1.79/1.84 c | 3092 | 7270 14057 60660 | 5000 3092 985 | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c New solution: 485 1.79/1.86 o 485 1.79/1.86 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s 1.79/1.86 c =============================================================================== 1.79/1.86 c | 3092 | 7270 14058 61160 | 5000 3092 985 | 0.000 % | 1.79/1.87 c =============================================================================== 1.79/1.87 c New solution: 484 1.79/1.87 o 484 1.79/1.87 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s 1.79/1.87 c =============================================================================== 1.79/1.87 c | 3095 | 7270 14059 61660 | 5000 3095 984 | 0.000 % | 1.89/1.94 c | 3195 | 7270 14059 61660 | 5500 3195 984 | 0.000 % | 1.99/2.03 c | 3345 | 7270 14059 61660 | 6050 3345 984 | 0.000 % | 2.10/2.18 c | 3570 | 7270 14059 61660 | 6655 3570 983 | 0.000 % | 2.29/2.37 c | 3907 | 7270 14059 61660 | 7320 3907 983 | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c New solution: 483 2.29/2.38 o 483 2.29/2.38 c Elapsed CPU time: 2.30665 s Remaining CPU time: 177.693 s 2.29/2.38 c =============================================================================== 2.29/2.38 c | 3912 | 7270 14060 62160 | 5000 3912 982 | 0.000 % | 2.39/2.44 c | 4012 | 7270 14060 62160 | 5500 4012 982 | 0.000 % | 2.49/2.52 c | 4162 | 7270 14060 62160 | 6050 4162 981 | 0.000 % | 2.49/2.54 c =============================================================================== 2.49/2.54 c New solution: 482 2.49/2.54 o 482 2.49/2.54 c Elapsed CPU time: 2.46563 s Remaining CPU time: 177.534 s 2.49/2.54 c =============================================================================== 2.49/2.54 c | 4180 | 7270 14061 62660 | 5000 4180 981 | 0.000 % | 2.59/2.60 c | 4280 | 7270 14061 62660 | 5500 4280 981 | 0.000 % | 2.69/2.73 c | 4430 | 7270 14061 62660 | 6050 4430 980 | 0.000 % | 2.79/2.85 c | 4655 | 7270 14061 62660 | 6655 4655 979 | 0.000 % | 2.89/2.99 c | 4992 | 7270 14061 62660 | 7320 4992 979 | 0.000 % | 2.99/3.02 c =============================================================================== 2.99/3.02 c New solution: 481 2.99/3.02 o 481 2.99/3.02 c Elapsed CPU time: 2.93555 s Remaining CPU time: 177.064 s 2.99/3.02 c =============================================================================== 2.99/3.02 c | 5029 | 7270 14062 63160 | 5000 5029 978 | 0.000 % | 2.99/3.08 c | 5129 | 7270 14062 63160 | 5500 2615 972 | 0.000 % | 3.09/3.14 c | 5279 | 7270 14062 63160 | 6050 2765 972 | 0.000 % | 3.20/3.22 c | 5504 | 7270 14062 63160 | 6655 2990 972 | 0.000 % | 3.30/3.39 c | 5841 | 7270 14062 63160 | 7320 3327 972 | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.41 c New solution: 480 3.39/3.41 o 480 3.39/3.41 c Elapsed CPU time: 3.31849 s Remaining CPU time: 176.682 s 3.39/3.41 c =============================================================================== 3.39/3.41 c | 5861 | 7270 14063 63660 | 5000 3347 969 | 0.000 % | 3.39/3.47 c | 5961 | 7270 14063 63660 | 5500 3447 969 | 0.000 % | 3.49/3.54 c | 6111 | 7270 14063 63660 | 6050 3597 968 | 0.000 % | 3.59/3.63 c | 6336 | 7270 14063 63660 | 6655 3822 968 | 0.000 % | 3.79/3.80 c | 6673 | 7270 14063 63660 | 7320 4159 968 | 0.000 % | 3.99/4.02 c | 7179 | 7270 14063 63660 | 8052 4665 968 | 0.000 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c New solution: 479 3.99/4.04 o 479 3.99/4.04 c Elapsed CPU time: 3.9324 s Remaining CPU time: 176.068 s 3.99/4.04 c =============================================================================== 3.99/4.04 c | 7197 | 7270 14064 64160 | 5000 4683 966 | 0.000 % | 3.99/4.09 c | 7297 | 7270 14064 64160 | 5500 4783 966 | 0.000 % | 4.09/4.17 c | 7447 | 7270 14064 64160 | 6050 4933 965 | 0.000 % | 4.19/4.27 c | 7672 | 7270 14064 64160 | 6655 5158 965 | 0.000 % | 4.39/4.42 c | 8009 | 7270 14064 64160 | 7320 5495 965 | 0.000 % | 4.59/4.66 c | 8515 | 7270 14064 64160 | 8052 6001 966 | 0.000 % | 4.69/4.70 c =============================================================================== 4.69/4.70 c New solution: 478 4.69/4.70 o 478 4.69/4.70 c Elapsed CPU time: 4.5693 s Remaining CPU time: 175.431 s 4.69/4.70 c =============================================================================== 4.69/4.70 c | 8546 | 7270 14065 64660 | 5000 6032 963 | 0.000 % | 4.69/4.76 c | 8646 | 7270 14065 64660 | 5500 3116 956 | 0.000 % | 4.79/4.82 c | 8796 | 7270 14065 64660 | 6050 3266 957 | 0.000 % | 4.89/4.91 c | 9021 | 7270 14065 64660 | 6655 3491 958 | 0.000 % | 4.99/5.04 c | 9358 | 7270 14065 64660 | 7320 3828 958 | 0.000 % | 5.19/5.27 c | 9865 | 7270 14065 64660 | 8052 4335 958 | 0.000 % | 5.59/5.61 c | 10624 | 7270 14065 64660 | 8857 5094 959 | 0.000 % | 5.59/5.62 c =============================================================================== 5.59/5.62 c New solution: 477 5.59/5.62 o 477 5.59/5.62 c Elapsed CPU time: 5.47517 s Remaining CPU time: 174.525 s 5.59/5.62 c =============================================================================== 5.59/5.62 c | 10625 | 7270 14066 65160 | 5000 5095 959 | 0.000 % | 5.59/5.68 c | 10725 | 7270 14066 65160 | 5500 2648 961 | 0.000 % | 5.69/5.75 c | 10875 | 7270 14066 65160 | 6050 2798 961 | 0.000 % | 5.79/5.85 c | 11100 | 7270 14066 65160 | 6655 3023 962 | 0.000 % | 5.79/5.87 c =============================================================================== 5.79/5.87 c New solution: 476 5.79/5.87 o 476 5.79/5.87 c Elapsed CPU time: 5.71913 s Remaining CPU time: 174.281 s 5.79/5.87 c =============================================================================== 5.79/5.87 c | 11102 | 7270 14067 65660 | 5000 3025 961 | 0.000 % | 5.89/5.90 c =============================================================================== 5.89/5.90 c New solution: 475 5.89/5.90 o 475 5.89/5.90 c Elapsed CPU time: 5.74413 s Remaining CPU time: 174.256 s 5.89/5.90 c =============================================================================== 5.89/5.90 c | 11130 | 7270 14068 66160 | 5000 3053 956 | 0.000 % | 5.89/5.96 c | 11230 | 7270 14068 66160 | 5500 3153 956 | 0.000 % | 5.99/6.03 c | 11380 | 7270 14068 66160 | 6050 3303 955 | 0.000 % | 6.09/6.13 c | 11605 | 7270 14068 66160 | 6655 3528 954 | 0.000 % | 6.19/6.30 c | 11942 | 7270 14068 66160 | 7320 3865 955 | 0.000 % | 6.50/6.52 c | 12448 | 7270 14068 66160 | 8052 4371 956 | 0.000 % | 6.50/6.54 c =============================================================================== 6.50/6.54 c New solution: 474 6.50/6.54 o 474 6.50/6.54 c Elapsed CPU time: 6.37903 s Remaining CPU time: 173.621 s 6.50/6.54 c =============================================================================== 6.50/6.54 c | 12451 | 7270 14069 66660 | 5000 4374 955 | 0.000 % | 6.50/6.57 c =============================================================================== 6.50/6.57 c New solution: 473 6.50/6.57 o 473 6.50/6.57 c Elapsed CPU time: 6.40503 s Remaining CPU time: 173.595 s 6.50/6.57 c =============================================================================== 6.50/6.57 c | 12477 | 7270 14070 67160 | 5000 4400 951 | 0.000 % | 6.60/6.63 c | 12577 | 7270 14070 67160 | 5500 4500 952 | 0.000 % | 6.69/6.72 c | 12727 | 7270 14070 67160 | 6050 4650 952 | 0.000 % | 6.79/6.82 c | 12952 | 7270 14070 67160 | 6655 4875 952 | 0.000 % | 6.99/7.00 c | 13289 | 7270 14070 67160 | 7320 5212 953 | 0.000 % | 6.99/7.02 c =============================================================================== 6.99/7.02 c New solution: 472 6.99/7.02 o 472 6.99/7.02 c Elapsed CPU time: 6.84596 s Remaining CPU time: 173.154 s 6.99/7.02 c =============================================================================== 6.99/7.02 c | 13292 | 7270 14071 67660 | 5000 5215 952 | 0.000 % | 6.99/7.05 c =============================================================================== 6.99/7.05 c New solution: 471 6.99/7.05 o 471 6.99/7.05 c Elapsed CPU time: 6.87195 s Remaining CPU time: 173.128 s 6.99/7.05 c =============================================================================== 6.99/7.05 c | 13301 | 7270 14072 68160 | 5000 2617 943 | 0.000 % | 7.08/7.10 c | 13401 | 7270 14072 68160 | 5500 2717 943 | 0.000 % | 7.08/7.17 c | 13551 | 7270 14072 68160 | 6050 2867 944 | 0.000 % | 7.19/7.27 c | 13776 | 7270 14072 68160 | 6655 3092 945 | 0.000 % | 7.38/7.41 c | 14113 | 7270 14072 68160 | 7320 3429 944 | 0.000 % | 7.60/7.63 c | 14619 | 7270 14072 68160 | 8052 3935 946 | 0.000 % | 7.89/7.99 c | 15379 | 7270 14072 68160 | 8857 4695 947 | 0.000 % | 8.49/8.57 c | 16518 | 7270 14072 68160 | 9743 5834 950 | 0.000 % | 8.59/8.61 c =============================================================================== 8.59/8.61 c New solution: 470 8.59/8.61 o 470 8.59/8.61 c Elapsed CPU time: 8.40372 s Remaining CPU time: 171.596 s 8.59/8.61 c =============================================================================== 8.59/8.61 c | 16544 | 7270 14073 68660 | 5000 5860 947 | 0.000 % | 8.59/8.68 c | 16644 | 7270 14073 68660 | 5500 3030 948 | 0.000 % | 8.69/8.75 c | 16794 | 7270 14073 68660 | 6050 3180 948 | 0.000 % | 8.79/8.85 c | 17019 | 7270 14073 68660 | 6655 3405 949 | 0.000 % | 8.89/8.99 c | 17356 | 7270 14073 68660 | 7320 3742 949 | 0.000 % | 8.99/9.03 c =============================================================================== 8.99/9.03 c New solution: 469 8.99/9.03 o 469 8.99/9.03 c Elapsed CPU time: 8.81666 s Remaining CPU time: 171.183 s 8.99/9.03 c =============================================================================== 8.99/9.03 c | 17388 | 7270 14074 69160 | 5000 3774 944 | 0.000 % | 8.99/9.09 c | 17488 | 7270 14074 69160 | 5500 3874 944 | 0.000 % | 9.09/9.17 c | 17638 | 7270 14074 69160 | 6050 4024 944 | 0.000 % | 9.19/9.27 c | 17863 | 7270 14074 69160 | 6655 4249 943 | 0.000 % | 9.39/9.41 c | 18200 | 7270 14074 69160 | 7320 4586 943 | 0.000 % | 9.59/9.62 c | 18706 | 7270 14074 69160 | 8052 5092 944 | 0.000 % | 9.89/9.93 c | 19465 | 7270 14074 69160 | 8857 5851 942 | 0.000 % | 10.39/10.43 c | 20605 | 7270 14074 69160 | 9743 6991 945 | 0.000 % | 10.39/10.47 c =============================================================================== 10.39/10.47 c New solution: 468 10.39/10.47 o 468 10.39/10.47 c Elapsed CPU time: 10.2224 s Remaining CPU time: 169.778 s 10.39/10.47 c =============================================================================== 10.39/10.47 c | 20625 | 7270 14075 69660 | 5000 7011 943 | 0.000 % | 10.49/10.54 c | 20725 | 7270 14075 69660 | 5500 3606 940 | 0.000 % | 10.59/10.63 c | 20875 | 7270 14075 69660 | 6050 3756 941 | 0.000 % | 10.69/10.77 c | 21100 | 7270 14075 69660 | 6655 3981 941 | 0.000 % | 10.89/10.96 c | 21438 | 7270 14075 69660 | 7320 4319 942 | 0.000 % | 10.89/10.99 c =============================================================================== 10.89/10.99 c New solution: 467 10.89/10.99 o 467 10.89/10.99 c Elapsed CPU time: 10.7464 s Remaining CPU time: 169.254 s 10.89/10.99 c =============================================================================== 10.89/10.99 c | 21463 | 7270 14076 70160 | 5000 4344 939 | 0.000 % | 10.99/11.06 c | 21563 | 7270 14076 70160 | 5500 4444 939 | 0.000 % | 11.09/11.15 c | 21713 | 7270 14076 70160 | 6050 4594 939 | 0.000 % | 11.19/11.26 c | 21938 | 7270 14076 70160 | 6655 4819 940 | 0.000 % | 11.39/11.42 c | 22275 | 7270 14076 70160 | 7320 5156 940 | 0.000 % | 11.59/11.64 c | 22781 | 7270 14076 70160 | 8052 5662 940 | 0.000 % | 11.89/11.99 c | 23540 | 7270 14076 70160 | 8857 6421 940 | 0.000 % | 12.49/12.50 c | 24679 | 7270 14076 70160 | 9743 7560 938 | 0.000 % | 13.29/13.38 c | 26388 | 7270 14076 70160 | 10717 9269 941 | 0.000 % | 13.38/13.45 c =============================================================================== 13.38/13.45 c New solution: 466 13.38/13.45 o 466 13.38/13.45 c Elapsed CPU time: 13.155 s Remaining CPU time: 166.845 s 13.38/13.45 c =============================================================================== 13.38/13.45 c | 26447 | 7270 14077 70660 | 5000 9328 937 | 0.000 % | 13.49/13.53 c | 26548 | 7270 14077 70660 | 5500 4765 934 | 0.000 % | 13.59/13.60 c | 26698 | 7270 14077 70660 | 6050 4915 935 | 0.000 % | 13.68/13.70 c | 26923 | 7270 14077 70660 | 6655 5140 935 | 0.000 % | 13.78/13.88 c | 27260 | 7270 14077 70660 | 7320 5477 936 | 0.000 % | 13.98/14.08 c | 27766 | 7270 14077 70660 | 8052 5983 935 | 0.000 % | 14.39/14.42 c | 28525 | 7270 14077 70660 | 8857 6742 935 | 0.000 % | 14.89/14.95 c | 29664 | 7270 14077 70660 | 9743 7881 936 | 0.000 % | 15.69/15.75 c | 31372 | 7270 14077 70660 | 10717 9589 936 | 0.000 % | 17.39/17.41 c | 33934 | 7270 14077 70660 | 11789 12151 934 | 0.000 % | 19.59/19.62 c | 37778 | 7270 14077 70660 | 12968 9920 931 | 0.000 % | 23.38/23.48 c | 43544 | 7270 14077 70660 | 14265 15686 928 | 0.000 % | 29.38/29.41 c | 52194 | 7270 14077 70660 | 15692 16493 924 | 0.000 % | 38.49/38.53 c | 65168 | 7270 14077 70660 | 17261 21221 921 | 0.000 % | 51.87/51.97 c | 84629 | 7270 14077 70660 | 18987 16414 953 | 0.000 % | 77.47/77.50 c | 113821 | 7270 14077 70660 | 20886 14969 916 | 0.000 % | 119.16/119.29 c | 157610 | 7270 14077 70660 | 22974 24528 952 | 0.000 % | 176.85/176.99 c | 223294 | 7270 14077 70660 | 25272 19039 956 | 0.000 % | 176.95/177.05 c =============================================================================== 176.95/177.05 c New solution: 465 176.95/177.05 o 465 176.95/177.05 c Elapsed CPU time: 175.342 s Remaining CPU time: 4.65766 s 176.95/177.05 c =============================================================================== 176.95/177.05 c | 223322 | 7270 14078 71160 | 5000 19067 955 | 0.000 % | 177.15/177.26 c | 223422 | 7270 14078 71160 | 5500 4867 952 | 0.000 % | 177.24/177.35 c | 223572 | 7270 14078 71160 | 6050 5017 951 | 0.000 % | 177.34/177.46 c | 223797 | 7270 14078 71160 | 6655 5242 951 | 0.000 % | 177.54/177.62 c | 224134 | 7270 14078 71160 | 7320 5579 951 | 0.000 % | 177.54/177.67 c =============================================================================== 177.54/177.67 c New solution: 464 177.54/177.67 o 464 177.54/177.67 c Elapsed CPU time: 175.951 s Remaining CPU time: 4.04875 s 177.54/177.67 c =============================================================================== 177.54/177.67 c | 224159 | 7270 14079 71660 | 5000 5604 948 | 0.000 % | 177.65/177.74 c | 224259 | 7270 14079 71660 | 5500 2902 940 | 0.000 % | 177.74/177.83 c | 224409 | 7270 14079 71660 | 6050 3052 940 | 0.000 % | 177.84/177.94 c | 224634 | 7270 14079 71660 | 6655 3277 940 | 0.000 % | 177.95/178.10 c | 224971 | 7270 14079 71660 | 7320 3614 940 | 0.000 % | 178.24/178.31 c | 225477 | 7270 14079 71660 | 8052 4120 941 | 0.000 % | 178.24/178.37 c =============================================================================== 178.24/178.37 c New solution: 463 178.24/178.37 o 463 178.24/178.37 c Elapsed CPU time: 176.636 s Remaining CPU time: 3.36385 s 178.24/178.37 c =============================================================================== 178.24/178.37 c | 225505 | 7270 14080 72160 | 5000 4148 936 | 0.000 % | 178.34/178.44 c | 225605 | 7270 14080 72160 | 5500 4248 936 | 0.000 % | 178.45/178.53 c | 225755 | 7270 14080 72160 | 6050 4398 936 | 0.000 % | 178.55/178.64 c | 225980 | 7270 14080 72160 | 6655 4623 937 | 0.000 % | 178.74/178.82 c | 226317 | 7270 14080 72160 | 7320 4960 936 | 0.000 % | 178.94/179.05 c | 226823 | 7270 14080 72160 | 8052 5466 937 | 0.000 % | 179.35/179.44 c | 227582 | 7270 14080 72160 | 8857 6225 935 | 0.000 % | 179.94/180.01 c | 228721 | 7270 14080 72160 | 9743 7364 937 | 0.000 % | 180.84/180.94 c | 230429 | 7270 14080 72160 | 10717 9072 935 | 0.000 % | 181.64/181.78 c There are 0 assigned variables. 0 in cost function. 181.95/182.07 c core #1 181.95/182.07 c #cores: 1 181.95/182.07 c Final Weight: 463 181.95/182.07 o 463 181.95/182.07 s OPTIMUM FOUND 181.95/182.07 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 x186 x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 x659 x660 x661 x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 x678 x679 -x680 x681 x682 x683 x684 x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 181.95/182.08 c Total CPU time: 180.303 s
OK -37
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702666-1278573793/watcher-2702666-1278573793 -o /tmp/evaluation-result-2702666-1278573793/solver-2702666-1278573793 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702666-1278573793.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.94 0.77 3/105 28875 /proc/meminfo: memFree=1656372/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=3656 CPUtime=0 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 421 0 0 0 0 0 0 0 23 0 1 0 25587780 3743744 339 1992294400 134512640 135751879 4291308080 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 914 339 143 303 0 471 0 [startup+0.0274219 s] /proc/loadavg: 0.99 0.94 0.77 3/105 28875 /proc/meminfo: memFree=1656372/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=4528 CPUtime=0.02 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 654 0 0 0 2 0 0 0 25 0 1 0 25587780 4636672 572 1992294400 134512640 135751879 4291308080 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 1132 572 170 303 0 689 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4528 [startup+0.10143 s] /proc/loadavg: 0.99 0.94 0.77 3/105 28875 /proc/meminfo: memFree=1656372/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=6640 CPUtime=0.09 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 1397 0 0 0 9 0 0 0 25 0 1 0 25587780 6799360 1177 1992294400 134512640 135751879 4291308080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 1660 1178 145 303 0 1355 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6640 [startup+0.301452 s] /proc/loadavg: 0.99 0.94 0.77 3/105 28875 /proc/meminfo: memFree=1656372/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=7432 CPUtime=0.29 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 1596 0 0 0 28 1 0 0 18 0 1 0 25587780 7610368 1376 1992294400 134512640 135751879 4291308080 18446744073709551615 134607126 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 1858 1376 147 303 0 1553 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7432 [startup+0.701497 s] /proc/loadavg: 0.99 0.94 0.77 3/105 28875 /proc/meminfo: memFree=1656372/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=10336 CPUtime=0.69 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 2343 0 0 0 67 2 0 0 18 0 1 0 25587780 10584064 2123 1992294400 134512640 135751879 4291308080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 2584 2123 147 303 0 2279 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10336 [startup+1.50059 s] /proc/loadavg: 0.99 0.94 0.77 2/106 28876 /proc/meminfo: memFree=1646320/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=15988 CPUtime=1.49 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 3755 0 0 0 144 5 0 0 18 0 1 0 25587780 16371712 3535 1992294400 134512640 135751879 4291308080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 3997 3535 147 303 0 3692 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15988 [startup+3.10077 s] /proc/loadavg: 0.99 0.94 0.77 2/106 28876 /proc/meminfo: memFree=1639128/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=26616 CPUtime=3.09 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 6409 0 0 0 300 9 0 0 18 0 1 0 25587780 27254784 6189 1992294400 134512640 135751879 4291308080 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 6654 6189 148 303 0 6349 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26616 [startup+6.30113 s] /proc/loadavg: 0.99 0.94 0.77 2/106 28876 /proc/meminfo: memFree=1612468/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=53116 CPUtime=6.29 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 13048 0 0 0 613 16 0 0 18 0 1 0 25587780 54390784 12828 1992294400 134512640 135751879 4291308080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 13279 12828 148 303 0 12974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53116 [startup+12.7009 s] /proc/loadavg: 0.99 0.94 0.77 2/106 28876 /proc/meminfo: memFree=1560264/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=104160 CPUtime=12.69 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 25786 0 0 0 1242 27 0 0 20 0 1 0 25587780 106659840 25566 1992294400 134512640 135751879 4291308080 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 26040 25566 148 303 0 25735 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 104160 [startup+25.5013 s] /proc/loadavg: 0.99 0.94 0.77 2/106 28876 /proc/meminfo: memFree=1472224/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=187676 CPUtime=25.48 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 46694 0 0 0 2506 42 0 0 25 0 1 0 25587780 192180224 46474 1992294400 134512640 135751879 4291308080 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 46919 46474 148 303 0 46614 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 187676 [startup+51.1012 s] /proc/loadavg: 0.99 0.95 0.77 2/106 28878 /proc/meminfo: memFree=1334708/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=326832 CPUtime=51.08 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 81473 0 0 0 5042 66 0 0 25 0 1 0 25587780 334675968 81253 1992294400 134512640 135751879 4291308080 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 81708 81253 148 303 0 81403 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 326832 [startup+102.309 s] /proc/loadavg: 0.99 0.95 0.79 2/106 28878 /proc/meminfo: memFree=1111632/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=546348 CPUtime=102.27 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 136320 0 0 0 10119 108 0 0 25 0 1 0 25587780 559460352 136100 1992294400 134512640 135751879 4291308080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 136587 136100 148 303 0 136282 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 546348 [startup+162.302 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28880 /proc/meminfo: memFree=855572/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=803940 CPUtime=162.24 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 200688 0 0 0 16070 154 0 0 25 0 1 0 25587780 823234560 200468 1992294400 134512640 135751879 4291308080 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 200985 200468 148 303 0 200680 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 803940 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28880 /proc/meminfo: memFree=841808/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=816656 CPUtime=166.25 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 203866 0 0 0 16468 157 0 0 25 0 1 0 25587780 836255744 203646 1992294400 134512640 135751879 4291308080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 204164 203646 148 303 0 203859 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 816656 [startup+172.708 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28880 /proc/meminfo: memFree=813288/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=844392 CPUtime=172.65 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 210785 0 0 0 17104 161 0 0 25 0 1 0 25587780 864657408 210565 1992294400 134512640 135751879 4291308080 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 211098 210565 148 303 0 210793 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 844392 [startup+179.102 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28880 /proc/meminfo: memFree=786132/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=878324 CPUtime=179.04 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 219270 0 0 0 17735 169 0 0 25 0 1 0 25587780 899403776 219050 1992294400 134512640 135751879 4291308080 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 219581 219050 148 303 0 219276 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 878324 [startup+180.702 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28880 /proc/meminfo: memFree=769516/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=890224 CPUtime=180.64 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 222245 0 0 0 17893 171 0 0 25 0 1 0 25587780 911589376 222025 1992294400 134512640 135751879 4291308080 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 222556 222025 148 303 0 222251 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 890224 [startup+181.508 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28880 /proc/meminfo: memFree=761332/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=896552 CPUtime=181.45 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 223824 0 0 0 17973 172 0 0 25 0 1 0 25587780 918069248 223604 1992294400 134512640 135751879 4291308080 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 224138 223604 148 303 0 223833 0 Current children cumulated CPU time (s) 181.45 Current children cumulated vsize (KiB) 896552 [startup+181.901 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28880 /proc/meminfo: memFree=761332/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=900784 CPUtime=181.85 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202496 224881 0 0 0 18012 173 0 0 25 0 1 0 25587780 922402816 224661 1992294400 134512640 135751879 4291308080 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28875/statm: 225196 224661 149 303 0 224891 0 Current children cumulated CPU time (s) 181.85 Current children cumulated vsize (KiB) 900784 [startup+182.101 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28880 /proc/meminfo: memFree=761332/2059040 swapFree=4139760/4192956 [pid=28875] ppid=28873 vsize=0 CPUtime=182.05 /proc/28875/stat : 28875 (wbo1.4b) R 28873 28875 28623 0 -1 4202500 224910 0 0 0 18030 175 0 0 25 0 1 0 25587780 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28875/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 182.159 CPU time (s): 182.11 CPU user time (s): 180.303 CPU system time (s): 1.80772 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 900784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.303 system time used= 1.80773 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224910 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= 15 involuntary context switches= 211 runsolver used 0.308953 second user time and 0.866868 second system time The end
Begin job on node085 at 2010-07-08 09:23:13 IDJOB=2702666 IDBENCH=48268 IDSOLVER=1161 FILE ID=node085/2702666-1278573793 PBS_JOBID= 11240063 Free space on /tmp= 121800 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702666-1278573793/watcher-2702666-1278573793 -o /tmp/evaluation-result-2702666-1278573793/solver-2702666-1278573793 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702666-1278573793.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED=969618775 node085.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1657644 kB Buffers: 77020 kB Cached: 223412 kB SwapCached: 7548 kB Active: 133036 kB Inactive: 181692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1657644 kB SwapTotal: 4192956 kB SwapFree: 4139760 kB Dirty: 2788 kB Writeback: 12 kB AnonPages: 11712 kB Mapped: 11984 kB Slab: 64924 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181108 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702666-1278573793.opb Free space on /tmp at the end= 121796 MiB End job on node085 at 2010-07-08 09:26:16