Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -37 | 182.262 | 182.309 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb |
MD5SUM | 68d7f052f18638860d9232a7f3ed2053 |
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 | -106 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
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) | 12632 |
Sum of products size (including duplicates) | 25264 |
Number of different products | 6316 |
Sum of products size | 12632 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702624-1278572905.opb. 0.00/0.00 c Instance file HOME/instance-2702624-1278572905.opb 0.00/0.00 c File size is 566883 bytes. 0.08/0.09 c Highest Coefficient sum: 1000 0.08/0.09 c ============================[ Problem Statistics ]============================= 0.08/0.09 c | | 0.08/0.09 c | Parsing time: 0.09 s | 0.08/0.10 c | Number Variables: 7316 | 0.08/0.10 c | Number Clauses: 6816 | 0.08/0.10 c | Number Cardinality: 1002 | 0.08/0.10 c | Number PB Constraints: 6316 | 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 7316 14134 53528 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 500 0.09/0.19 o 500 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 7316 14135 54028 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 499 0.19/0.22 o 499 0.19/0.22 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1 | 7316 14136 54528 | 5000 1 504 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 498 0.19/0.23 o 498 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1 | 7316 14137 55028 | 5000 1 504 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 497 0.19/0.25 o 497 0.19/0.25 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 20 | 7316 14138 55528 | 5000 20 970 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 496 0.19/0.26 o 496 0.19/0.26 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 20 | 7316 14139 56028 | 5000 20 970 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 495 0.19/0.26 o 495 0.19/0.26 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 20 | 7316 14140 56528 | 5000 20 970 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 494 0.19/0.27 o 494 0.19/0.27 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 20 | 7316 14141 57028 | 5000 20 970 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 493 0.19/0.28 o 493 0.19/0.28 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 20 | 7316 14142 57528 | 5000 20 970 | 0.000 % | 0.29/0.32 c | 120 | 7316 14142 57528 | 5500 120 981 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 492 0.29/0.33 o 492 0.29/0.33 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 120 | 7316 14143 58028 | 5000 120 981 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 491 0.29/0.34 o 491 0.29/0.34 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 120 | 7316 14144 58528 | 5000 120 981 | 0.000 % | 0.29/0.38 c | 220 | 7316 14144 58528 | 5500 220 983 | 0.000 % | 0.39/0.44 c | 370 | 7316 14144 58528 | 6050 370 984 | 0.000 % | 0.49/0.54 c | 595 | 7316 14144 58528 | 6655 595 985 | 0.000 % | 0.59/0.69 c | 932 | 7316 14144 58528 | 7320 932 986 | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 490 0.69/0.70 o 490 0.69/0.70 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 932 | 7316 14145 59028 | 5000 932 986 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 489 0.69/0.71 o 489 0.69/0.71 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 932 | 7316 14146 59528 | 5000 932 986 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 488 0.69/0.72 o 488 0.69/0.72 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 934 | 7316 14147 60028 | 5000 934 983 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 487 0.69/0.74 o 487 0.69/0.74 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 942 | 7316 14148 60528 | 5000 942 978 | 0.000 % | 0.69/0.79 c | 1042 | 7316 14148 60528 | 5500 1042 978 | 0.000 % | 0.79/0.87 c | 1192 | 7316 14148 60528 | 6050 1192 979 | 0.000 % | 0.89/0.96 c | 1417 | 7316 14148 60528 | 6655 1417 979 | 0.000 % | 1.09/1.11 c | 1754 | 7316 14148 60528 | 7320 1754 979 | 0.000 % | 1.09/1.19 c =============================================================================== 1.09/1.19 c New solution: 486 1.09/1.19 o 486 1.09/1.19 c Elapsed CPU time: 1.15782 s Remaining CPU time: 178.842 s 1.09/1.19 c =============================================================================== 1.09/1.19 c | 1864 | 7316 14149 61028 | 5000 1864 976 | 0.000 % | 1.20/1.26 c | 1964 | 7316 14149 61028 | 5500 1964 976 | 0.000 % | 1.29/1.35 c | 2114 | 7316 14149 61028 | 6050 2114 976 | 0.000 % | 1.39/1.43 c | 2339 | 7316 14149 61028 | 6655 2339 975 | 0.000 % | 1.49/1.57 c | 2676 | 7316 14149 61028 | 7320 2676 968 | 0.000 % | 1.69/1.77 c | 3182 | 7316 14149 61028 | 8052 3182 960 | 0.000 % | 1.79/1.81 c =============================================================================== 1.79/1.81 c New solution: 485 1.79/1.81 o 485 1.79/1.81 c Elapsed CPU time: 1.75573 s Remaining CPU time: 178.244 s 1.79/1.81 c =============================================================================== 1.79/1.81 c | 3214 | 7316 14150 61528 | 5000 3214 960 | 0.000 % | 1.79/1.86 c | 3314 | 7316 14150 61528 | 5500 3314 960 | 0.000 % | 1.89/1.93 c | 3464 | 7316 14150 61528 | 6050 3464 961 | 0.000 % | 1.99/2.03 c | 3690 | 7316 14150 61528 | 6655 3690 962 | 0.000 % | 2.10/2.18 c | 4028 | 7316 14150 61528 | 7320 4028 961 | 0.000 % | 2.20/2.29 c =============================================================================== 2.20/2.29 c New solution: 484 2.20/2.29 o 484 2.20/2.29 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s 2.20/2.29 c =============================================================================== 2.20/2.29 c | 4175 | 7316 14151 62028 | 5000 4175 960 | 0.000 % | 2.29/2.35 c | 4275 | 7316 14151 62028 | 5500 4275 960 | 0.000 % | 2.39/2.42 c | 4425 | 7316 14151 62028 | 6050 4425 961 | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.45 c New solution: 483 2.39/2.45 o 483 2.39/2.45 c Elapsed CPU time: 2.37964 s Remaining CPU time: 177.62 s 2.39/2.45 c =============================================================================== 2.39/2.45 c | 4442 | 7316 14152 62528 | 5000 4442 961 | 0.000 % | 2.49/2.50 c | 4542 | 7316 14152 62528 | 5500 4542 961 | 0.000 % | 2.49/2.57 c | 4692 | 7316 14152 62528 | 6050 4692 961 | 0.000 % | 2.59/2.68 c | 4917 | 7316 14152 62528 | 6655 4917 960 | 0.000 % | 2.59/2.69 c =============================================================================== 2.59/2.69 c New solution: 482 2.59/2.69 o 482 2.59/2.69 c Elapsed CPU time: 2.6226 s Remaining CPU time: 177.377 s 2.59/2.69 c =============================================================================== 2.59/2.69 c | 4918 | 7316 14153 63028 | 5000 4918 960 | 0.000 % | 2.69/2.75 c | 5018 | 7316 14153 63028 | 5500 5018 961 | 0.000 % | 2.79/2.83 c | 5168 | 7316 14153 63028 | 6050 5168 960 | 0.000 % | 2.89/2.93 c | 5393 | 7316 14153 63028 | 6655 5393 959 | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.03 c New solution: 481 2.99/3.03 o 481 2.99/3.03 c Elapsed CPU time: 2.94855 s Remaining CPU time: 177.051 s 2.99/3.03 c =============================================================================== 2.99/3.03 c | 5571 | 7316 14154 63528 | 5000 5571 959 | 0.000 % | 2.99/3.09 c | 5671 | 7316 14154 63528 | 5500 2886 951 | 0.000 % | 3.09/3.16 c | 5821 | 7316 14154 63528 | 6050 3036 952 | 0.000 % | 3.20/3.27 c | 6046 | 7316 14154 63528 | 6655 3261 954 | 0.000 % | 3.39/3.42 c | 6383 | 7316 14154 63528 | 7320 3598 955 | 0.000 % | 3.59/3.69 c | 6889 | 7316 14154 63528 | 8052 4104 954 | 0.000 % | 3.79/3.87 c =============================================================================== 3.79/3.87 c New solution: 480 3.79/3.87 o 480 3.79/3.87 c Elapsed CPU time: 3.76843 s Remaining CPU time: 176.232 s 3.79/3.87 c =============================================================================== 3.79/3.87 c | 7113 | 7316 14155 64028 | 5000 4328 953 | 0.000 % | 3.89/3.92 c | 7213 | 7316 14155 64028 | 5500 4428 954 | 0.000 % | 3.89/3.99 c | 7363 | 7316 14155 64028 | 6050 4578 954 | 0.000 % | 3.99/4.09 c | 7588 | 7316 14155 64028 | 6655 4803 954 | 0.000 % | 4.19/4.28 c | 7925 | 7316 14155 64028 | 7320 5140 955 | 0.000 % | 4.59/4.62 c | 8431 | 7316 14155 64028 | 8052 5646 954 | 0.000 % | 4.99/5.00 c | 9190 | 7316 14155 64028 | 8857 6405 956 | 0.000 % | 5.59/5.64 c | 10329 | 7316 14155 64028 | 9743 7544 952 | 0.000 % | 6.59/6.70 c | 12037 | 7316 14155 64028 | 10717 9252 955 | 0.000 % | 6.69/6.72 c =============================================================================== 6.69/6.72 c New solution: 479 6.69/6.72 o 479 6.69/6.72 c Elapsed CPU time: 6.568 s Remaining CPU time: 173.432 s 6.69/6.72 c =============================================================================== 6.69/6.72 c | 12041 | 7316 14156 64528 | 5000 9256 955 | 0.000 % | 6.69/6.79 c | 12141 | 7316 14156 64528 | 5500 4728 955 | 0.000 % | 6.89/6.92 c | 12291 | 7316 14156 64528 | 6050 4878 955 | 0.000 % | 6.99/7.03 c | 12516 | 7316 14156 64528 | 6655 5103 956 | 0.000 % | 7.08/7.19 c | 12853 | 7316 14156 64528 | 7320 5440 956 | 0.000 % | 7.39/7.43 c | 13359 | 7316 14156 64528 | 8052 5946 957 | 0.000 % | 7.39/7.46 c =============================================================================== 7.39/7.46 c New solution: 478 7.39/7.46 o 478 7.39/7.46 c Elapsed CPU time: 7.30389 s Remaining CPU time: 172.696 s 7.39/7.46 c =============================================================================== 7.39/7.46 c | 13383 | 7316 14157 65028 | 5000 5970 956 | 0.000 % | 7.49/7.53 c | 13483 | 7316 14157 65028 | 5500 3085 964 | 0.000 % | 7.49/7.57 c =============================================================================== 7.49/7.57 c New solution: 477 7.49/7.57 o 477 7.49/7.57 c Elapsed CPU time: 7.40487 s Remaining CPU time: 172.595 s 7.49/7.57 c =============================================================================== 7.49/7.57 c | 13526 | 7316 14158 65528 | 5000 3128 957 | 0.000 % | 7.60/7.64 c | 13626 | 7316 14158 65528 | 5500 3228 957 | 0.000 % | 7.70/7.71 c | 13776 | 7316 14158 65528 | 6050 3378 958 | 0.000 % | 7.79/7.81 c | 14001 | 7316 14158 65528 | 6655 3603 957 | 0.000 % | 7.89/7.96 c | 14338 | 7316 14158 65528 | 7320 3940 957 | 0.000 % | 8.18/8.20 c | 14844 | 7316 14158 65528 | 8052 4446 958 | 0.000 % | 8.49/8.54 c | 15603 | 7316 14158 65528 | 8857 5205 957 | 0.000 % | 9.09/9.17 c | 16742 | 7316 14158 65528 | 9743 6344 958 | 0.000 % | 9.19/9.20 c =============================================================================== 9.19/9.20 c New solution: 476 9.19/9.20 o 476 9.19/9.20 c Elapsed CPU time: 9.01263 s Remaining CPU time: 170.987 s 9.19/9.20 c =============================================================================== 9.19/9.20 c | 16760 | 7316 14159 66028 | 5000 6362 957 | 0.000 % | 9.19/9.27 c | 16860 | 7316 14159 66028 | 5500 3281 955 | 0.000 % | 9.29/9.34 c | 17010 | 7316 14159 66028 | 6050 3431 956 | 0.000 % | 9.39/9.46 c | 17235 | 7316 14159 66028 | 6655 3656 956 | 0.000 % | 9.59/9.61 c | 17572 | 7316 14159 66028 | 7320 3993 957 | 0.000 % | 9.59/9.64 c =============================================================================== 9.59/9.64 c New solution: 475 9.59/9.64 o 475 9.59/9.64 c Elapsed CPU time: 9.44056 s Remaining CPU time: 170.559 s 9.59/9.64 c =============================================================================== 9.59/9.64 c | 17593 | 7316 14160 66528 | 5000 4014 954 | 0.000 % | 9.69/9.70 c | 17693 | 7316 14160 66528 | 5500 4114 954 | 0.000 % | 9.69/9.78 c | 17843 | 7316 14160 66528 | 6050 4264 955 | 0.000 % | 9.80/9.90 c | 18068 | 7316 14160 66528 | 6655 4489 955 | 0.000 % | 9.99/10.06 c | 18405 | 7316 14160 66528 | 7320 4826 956 | 0.000 % | 9.99/10.09 c =============================================================================== 9.99/10.09 c New solution: 474 9.99/10.09 o 474 9.99/10.09 c Elapsed CPU time: 9.8795 s Remaining CPU time: 170.121 s 9.99/10.09 c =============================================================================== 9.99/10.09 c | 18425 | 7316 14161 67028 | 5000 4846 953 | 0.000 % | 10.09/10.16 c | 18525 | 7316 14161 67028 | 5500 4946 953 | 0.000 % | 10.19/10.23 c | 18675 | 7316 14161 67028 | 6050 5096 953 | 0.000 % | 10.29/10.34 c | 18900 | 7316 14161 67028 | 6655 5321 953 | 0.000 % | 10.39/10.49 c | 19237 | 7316 14161 67028 | 7320 5658 954 | 0.000 % | 10.69/10.71 c | 19743 | 7316 14161 67028 | 8052 6164 954 | 0.000 % | 10.69/10.74 c =============================================================================== 10.69/10.74 c New solution: 473 10.69/10.74 o 473 10.69/10.74 c Elapsed CPU time: 10.5214 s Remaining CPU time: 169.479 s 10.69/10.74 c =============================================================================== 10.69/10.74 c | 19759 | 7316 14162 67528 | 5000 6180 953 | 0.000 % | 10.79/10.82 c | 19859 | 7316 14162 67528 | 5500 3190 949 | 0.000 % | 10.79/10.89 c | 20009 | 7316 14162 67528 | 6050 3340 950 | 0.000 % | 11.00/11.00 c | 20234 | 7316 14162 67528 | 6655 3565 951 | 0.000 % | 11.09/11.16 c | 20571 | 7316 14162 67528 | 7320 3902 951 | 0.000 % | 11.29/11.36 c | 21077 | 7316 14162 67528 | 8052 4408 950 | 0.000 % | 11.69/11.74 c | 21836 | 7316 14162 67528 | 8857 5167 949 | 0.000 % | 12.19/12.25 c | 22975 | 7316 14162 67528 | 9743 6306 947 | 0.000 % | 13.19/13.29 c | 24683 | 7316 14162 67528 | 10717 8014 943 | 0.000 % | 14.59/14.63 c | 27246 | 7316 14162 67528 | 11789 10577 948 | 0.000 % | 16.99/17.00 c | 31090 | 7316 14162 67528 | 12968 14421 948 | 0.000 % | 20.19/20.21 c | 36856 | 7316 14162 67528 | 14265 12977 936 | 0.000 % | 26.48/26.54 c | 45505 | 7316 14162 67528 | 15692 10780 912 | 0.000 % | 36.09/36.19 c | 58479 | 7316 14162 67528 | 17261 11529 908 | 0.000 % | 53.18/53.22 c | 77940 | 7316 14162 67528 | 18987 17274 900 | 0.000 % | 78.78/78.86 c | 107132 | 7316 14162 67528 | 20886 15715 963 | 0.000 % | 78.87/78.90 c =============================================================================== 78.87/78.90 c New solution: 472 78.87/78.90 o 472 78.87/78.90 c Elapsed CPU time: 78.0731 s Remaining CPU time: 101.927 s 78.87/78.90 c =============================================================================== 78.87/78.90 c | 107138 | 7316 14163 68028 | 5000 15721 963 | 0.000 % | 78.97/79.04 c | 107238 | 7316 14163 68028 | 5500 4031 963 | 0.000 % | 79.08/79.12 c | 107388 | 7316 14163 68028 | 6050 4181 962 | 0.000 % | 79.17/79.22 c | 107613 | 7316 14163 68028 | 6655 4406 961 | 0.000 % | 79.37/79.40 c | 107950 | 7316 14163 68028 | 7320 4743 961 | 0.000 % | 79.57/79.64 c | 108456 | 7316 14163 68028 | 8052 5249 961 | 0.000 % | 79.87/79.99 c | 109215 | 7316 14163 68028 | 8857 6008 960 | 0.000 % | 80.47/80.54 c | 110354 | 7316 14163 68028 | 9743 7147 957 | 0.000 % | 81.38/81.49 c | 112062 | 7316 14163 68028 | 10717 8855 951 | 0.000 % | 82.97/83.00 c | 114624 | 7316 14163 68028 | 11789 11417 945 | 0.000 % | 85.57/85.68 c | 118468 | 7316 14163 68028 | 12968 15261 938 | 0.000 % | 89.37/89.48 c | 124234 | 7316 14163 68028 | 14265 13397 919 | 0.000 % | 96.57/96.70 c | 132883 | 7316 14163 68028 | 15692 11199 916 | 0.000 % | 106.97/107.07 c | 145858 | 7316 14163 68028 | 17261 11956 912 | 0.000 % | 123.07/123.17 c | 165319 | 7316 14163 68028 | 18987 17705 964 | 0.000 % | 123.16/123.25 c =============================================================================== 123.16/123.25 c New solution: 471 123.16/123.25 o 471 123.16/123.25 c Elapsed CPU time: 122.024 s Remaining CPU time: 57.9756 s 123.16/123.25 c =============================================================================== 123.16/123.25 c | 165363 | 7316 14164 68528 | 5000 17749 963 | 0.000 % | 123.36/123.41 c | 165463 | 7316 14164 68528 | 5500 4538 959 | 0.000 % | 123.46/123.50 c | 165613 | 7316 14164 68528 | 6050 4688 958 | 0.000 % | 123.56/123.62 c | 165838 | 7316 14164 68528 | 6655 4913 958 | 0.000 % | 123.66/123.78 c | 166175 | 7316 14164 68528 | 7320 5250 958 | 0.000 % | 123.96/124.02 c | 166681 | 7316 14164 68528 | 8052 5756 958 | 0.000 % | 123.96/124.05 c =============================================================================== 123.96/124.05 c New solution: 470 123.96/124.05 o 470 123.96/124.05 c Elapsed CPU time: 122.811 s Remaining CPU time: 57.1887 s 123.96/124.05 c =============================================================================== 123.96/124.05 c | 166691 | 7316 14165 69028 | 5000 5766 957 | 0.000 % | 124.06/124.12 c | 166791 | 7316 14165 69028 | 5500 2983 949 | 0.000 % | 124.17/124.20 c | 166941 | 7316 14165 69028 | 6050 3133 949 | 0.000 % | 124.26/124.31 c | 167166 | 7316 14165 69028 | 6655 3358 948 | 0.000 % | 124.36/124.46 c | 167503 | 7316 14165 69028 | 7320 3695 947 | 0.000 % | 124.66/124.71 c | 168009 | 7316 14165 69028 | 8052 4201 948 | 0.000 % | 124.96/125.06 c | 168768 | 7316 14165 69028 | 8857 4960 949 | 0.000 % | 125.46/125.57 c | 169907 | 7316 14165 69028 | 9743 6099 945 | 0.000 % | 126.36/126.42 c | 171615 | 7316 14165 69028 | 10717 7807 948 | 0.000 % | 127.76/127.83 c | 174177 | 7316 14165 69028 | 11789 10369 951 | 0.000 % | 127.86/127.91 c =============================================================================== 127.86/127.91 c New solution: 469 127.86/127.91 o 469 127.86/127.91 c Elapsed CPU time: 126.607 s Remaining CPU time: 53.3932 s 127.86/127.91 c =============================================================================== 127.86/127.91 c | 174239 | 7316 14166 69528 | 5000 10431 947 | 0.000 % | 127.86/127.99 c | 174339 | 7316 14166 69528 | 5500 2708 944 | 0.000 % | 127.96/128.07 c | 174489 | 7316 14166 69528 | 6050 2858 945 | 0.000 % | 128.06/128.17 c | 174714 | 7316 14166 69528 | 6655 3083 945 | 0.000 % | 128.25/128.33 c | 175051 | 7316 14166 69528 | 7320 3420 946 | 0.000 % | 128.56/128.68 c | 175557 | 7316 14166 69528 | 8052 3926 881 | 0.000 % | 129.15/129.20 c | 176316 | 7316 14166 69528 | 8857 4685 892 | 0.000 % | 129.15/129.24 c =============================================================================== 129.15/129.24 c New solution: 468 129.15/129.24 o 468 129.15/129.24 c Elapsed CPU time: 127.926 s Remaining CPU time: 52.0744 s 129.15/129.24 c =============================================================================== 129.15/129.24 c | 176363 | 7316 14167 70028 | 5000 4732 888 | 0.000 % | 129.26/129.32 c | 176463 | 7316 14167 70028 | 5500 4832 889 | 0.000 % | 129.36/129.40 c | 176613 | 7316 14167 70028 | 6050 4982 891 | 0.000 % | 129.46/129.52 c | 176838 | 7316 14167 70028 | 6655 5207 894 | 0.000 % | 129.66/129.70 c | 177176 | 7316 14167 70028 | 7320 5545 897 | 0.000 % | 129.66/129.79 c =============================================================================== 129.66/129.79 c New solution: 467 129.66/129.79 o 467 129.66/129.79 c Elapsed CPU time: 128.456 s Remaining CPU time: 51.5435 s 129.66/129.79 c =============================================================================== 129.66/129.79 c | 177266 | 7316 14168 70528 | 5000 5635 889 | 0.000 % | 129.77/129.86 c | 177366 | 7316 14168 70528 | 5500 2918 841 | 0.000 % | 129.86/129.95 c | 177516 | 7316 14168 70528 | 6050 3068 846 | 0.000 % | 129.96/130.07 c | 177741 | 7316 14168 70528 | 6655 3293 852 | 0.000 % | 130.16/130.25 c | 178078 | 7316 14168 70528 | 7320 3630 862 | 0.000 % | 130.36/130.50 c | 178584 | 7316 14168 70528 | 8052 4136 872 | 0.000 % | 130.76/130.87 c | 179343 | 7316 14168 70528 | 8857 4895 882 | 0.000 % | 131.36/131.42 c | 180482 | 7316 14168 70528 | 9743 6034 891 | 0.000 % | 132.16/132.23 c | 182190 | 7316 14168 70528 | 10717 7742 905 | 0.000 % | 133.56/133.66 c | 184752 | 7316 14168 70528 | 11789 10304 910 | 0.000 % | 135.86/135.91 c | 188596 | 7316 14168 70528 | 12968 14148 922 | 0.000 % | 140.05/140.11 c | 194362 | 7316 14168 70528 | 14265 12840 935 | 0.000 % | 146.45/146.55 c | 203011 | 7316 14168 70528 | 15692 21489 943 | 0.000 % | 146.55/146.67 c =============================================================================== 146.55/146.67 c New solution: 466 146.55/146.67 o 466 146.55/146.67 c Elapsed CPU time: 145.143 s Remaining CPU time: 34.8571 s 146.55/146.67 c =============================================================================== 146.55/146.67 c | 203038 | 7316 14169 71028 | 5000 10697 945 | 0.000 % | 146.66/146.79 c | 203138 | 7316 14169 71028 | 5500 2775 948 | 0.000 % | 146.75/146.88 c | 203288 | 7316 14169 71028 | 6050 2925 947 | 0.000 % | 146.95/147.02 c | 203513 | 7316 14169 71028 | 6655 3150 946 | 0.000 % | 147.16/147.22 c | 203850 | 7316 14169 71028 | 7320 3487 947 | 0.000 % | 147.36/147.45 c | 204356 | 7316 14169 71028 | 8052 3993 947 | 0.000 % | 147.36/147.48 c =============================================================================== 147.36/147.48 c New solution: 465 147.36/147.48 o 465 147.36/147.48 c Elapsed CPU time: 145.945 s Remaining CPU time: 34.0552 s 147.36/147.48 c =============================================================================== 147.36/147.48 c | 204362 | 7316 14170 71528 | 5000 3999 946 | 0.000 % | 147.45/147.52 c =============================================================================== 147.45/147.52 c New solution: 464 147.45/147.52 o 464 147.45/147.52 c Elapsed CPU time: 145.98 s Remaining CPU time: 34.0202 s 147.45/147.52 c =============================================================================== 147.45/147.52 c | 204388 | 7316 14171 72028 | 5000 4025 941 | 0.000 % | 147.45/147.59 c | 204488 | 7316 14171 72028 | 5500 4125 941 | 0.000 % | 147.56/147.68 c | 204638 | 7316 14171 72028 | 6050 4275 941 | 0.000 % | 147.75/147.82 c | 204863 | 7316 14171 72028 | 6655 4500 941 | 0.000 % | 147.95/148.02 c | 205200 | 7316 14171 72028 | 7320 4837 941 | 0.000 % | 148.15/148.28 c | 205706 | 7316 14171 72028 | 8052 5343 942 | 0.000 % | 148.65/148.73 c | 206465 | 7316 14171 72028 | 8857 6102 941 | 0.000 % | 149.26/149.38 c | 207604 | 7316 14171 72028 | 9743 7241 942 | 0.000 % | 150.35/150.50 c | 209312 | 7316 14171 72028 | 10717 8949 938 | 0.000 % | 151.85/151.98 c | 211874 | 7316 14171 72028 | 11789 11511 939 | 0.000 % | 151.95/152.09 c =============================================================================== 151.95/152.09 c New solution: 463 151.95/152.09 o 463 151.95/152.09 c Elapsed CPU time: 150.493 s Remaining CPU time: 29.5069 s 151.95/152.09 c =============================================================================== 151.95/152.09 c | 211954 | 7316 14172 72528 | 5000 11591 935 | 0.000 % | 152.05/152.18 c | 212054 | 7316 14172 72528 | 5500 2998 924 | 0.000 % | 152.16/152.26 c | 212204 | 7316 14172 72528 | 6050 3148 925 | 0.000 % | 152.25/152.37 c | 212429 | 7316 14172 72528 | 6655 3373 926 | 0.000 % | 152.45/152.55 c | 212766 | 7316 14172 72528 | 7320 3710 927 | 0.000 % | 152.76/152.80 c | 213272 | 7316 14172 72528 | 8052 4216 930 | 0.000 % | 153.15/153.20 c | 214031 | 7316 14172 72528 | 8857 4975 932 | 0.000 % | 153.66/153.78 c | 215170 | 7316 14172 72528 | 9743 6114 933 | 0.000 % | 154.55/154.68 c | 216878 | 7316 14172 72528 | 10717 7822 936 | 0.000 % | 156.06/156.16 c | 219440 | 7316 14172 72528 | 11789 10384 933 | 0.000 % | 158.95/159.01 c | 223284 | 7316 14172 72528 | 12968 14228 931 | 0.000 % | 162.95/163.01 c | 229050 | 7316 14172 72528 | 14265 12880 935 | 0.000 % | 170.65/170.77 c | 237699 | 7316 14172 72528 | 15692 10710 947 | 0.000 % | 181.74/181.89 c There are 0 assigned variables. 0 in cost function. 182.14/182.21 c core #1 182.14/182.21 c #cores: 1 182.14/182.21 c Final Weight: 463 182.14/182.21 o 463 182.14/182.21 s OPTIMUM FOUND 182.14/182.21 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 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -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 182.14/182.21 c Total CPU time: 180.325 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-2702624-1278572905/watcher-2702624-1278572905 -o /tmp/evaluation-result-2702624-1278572905/solver-2702624-1278572905 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702624-1278572905.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.00 0.02 0.31 3/106 32117 /proc/meminfo: memFree=1534432/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=3652 CPUtime=0 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 415 0 0 0 0 0 0 0 18 0 1 0 25497713 3739648 334 1992294400 134512640 135751879 4288281184 18446744073709551615 134613677 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 913 334 142 303 0 469 0 [startup+0.086324 s] /proc/loadavg: 0.00 0.02 0.31 3/106 32117 /proc/meminfo: memFree=1534432/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=5708 CPUtime=0.08 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 1005 0 0 0 8 0 0 0 20 0 1 0 25497713 5844992 924 1992294400 134512640 135751879 4288281184 18446744073709551615 135196472 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 1427 925 254 303 0 983 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5708 [startup+0.101326 s] /proc/loadavg: 0.00 0.02 0.31 3/106 32117 /proc/meminfo: memFree=1534432/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=6212 CPUtime=0.09 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 1237 0 0 0 9 0 0 0 20 0 1 0 25497713 6361088 1017 1992294400 134512640 135751879 4288281184 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 1553 1020 144 303 0 1248 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6212 [startup+0.301346 s] /proc/loadavg: 0.00 0.02 0.31 3/106 32117 /proc/meminfo: memFree=1534432/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=7444 CPUtime=0.29 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 1601 0 0 0 28 1 0 0 20 0 1 0 25497713 7622656 1381 1992294400 134512640 135751879 4288281184 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 1861 1381 146 303 0 1556 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7444 [startup+0.701389 s] /proc/loadavg: 0.00 0.02 0.31 3/106 32117 /proc/meminfo: memFree=1534432/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=9688 CPUtime=0.69 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 2193 0 0 0 67 2 0 0 20 0 1 0 25497713 9920512 1973 1992294400 134512640 135751879 4288281184 18446744073709551615 134598773 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 2422 1973 147 303 0 2117 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9688 [startup+1.50147 s] /proc/loadavg: 0.08 0.04 0.32 3/107 32118 /proc/meminfo: memFree=1525372/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=15696 CPUtime=1.49 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 3696 0 0 0 145 4 0 0 23 0 1 0 25497713 16072704 3476 1992294400 134512640 135751879 4288281184 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 3924 3476 147 303 0 3619 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15696 [startup+3.10065 s] /proc/loadavg: 0.08 0.04 0.32 2/107 32118 /proc/meminfo: memFree=1516072/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=28148 CPUtime=3.09 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 6796 0 0 0 301 8 0 0 25 0 1 0 25497713 28823552 6576 1992294400 134512640 135751879 4288281184 18446744073709551615 134606237 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 7037 6577 148 303 0 6732 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28148 [startup+6.30099 s] /proc/loadavg: 0.15 0.05 0.32 2/107 32118 /proc/meminfo: memFree=1492140/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=50404 CPUtime=6.29 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 12371 0 0 0 615 14 0 0 25 0 1 0 25497713 51613696 12151 1992294400 134512640 135751879 4288281184 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 12601 12151 148 303 0 12296 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50404 [startup+12.7007 s] /proc/loadavg: 0.22 0.07 0.32 2/107 32118 /proc/meminfo: memFree=1443160/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=98616 CPUtime=12.69 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 24403 0 0 0 1243 26 0 0 25 0 1 0 25497713 100982784 24183 1992294400 134512640 135751879 4288281184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 24654 24183 148 303 0 24349 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 98616 [startup+25.501 s] /proc/loadavg: 0.34 0.10 0.33 2/107 32118 /proc/meminfo: memFree=1361072/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=177104 CPUtime=25.48 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 44020 0 0 0 2511 37 0 0 25 0 1 0 25497713 181354496 43800 1992294400 134512640 135751879 4288281184 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 44276 43800 148 303 0 43971 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 177104 [startup+51.1018 s] /proc/loadavg: 0.60 0.19 0.35 2/107 32120 /proc/meminfo: memFree=1245876/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=292044 CPUtime=51.08 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 72749 0 0 0 5049 59 0 0 25 0 1 0 25497713 299053056 72529 1992294400 134512640 135751879 4288281184 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 73011 72529 148 303 0 72706 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 292044 [startup+102.308 s] /proc/loadavg: 0.82 0.31 0.38 2/107 32120 /proc/meminfo: memFree=995520/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=540588 CPUtime=102.27 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 134897 0 0 0 10124 103 0 0 25 0 1 0 25497713 553562112 134677 1992294400 134512640 135751879 4288281184 18446744073709551615 134606432 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 135147 134677 148 303 0 134842 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 540588 [startup+162.302 s] /proc/loadavg: 0.93 0.43 0.42 2/107 32122 /proc/meminfo: memFree=662456/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=875988 CPUtime=162.25 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 218731 0 0 0 16056 169 0 0 25 0 1 0 25497713 897011712 218511 1992294400 134512640 135751879 4288281184 18446744073709551615 134606623 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 218997 218511 148 303 0 218692 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 875988 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.94 0.44 0.42 2/107 32122 /proc/meminfo: memFree=639516/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=896868 CPUtime=166.25 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 223963 0 0 0 16452 173 0 0 25 0 1 0 25497713 918392832 223743 1992294400 134512640 135751879 4288281184 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 224217 223743 148 303 0 223912 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 896868 [startup+172.709 s] /proc/loadavg: 0.94 0.45 0.42 2/107 32122 /proc/meminfo: memFree=610500/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=924920 CPUtime=172.65 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 230970 0 0 0 17087 178 0 0 25 0 1 0 25497713 947118080 230750 1992294400 134512640 135751879 4288281184 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 231230 230750 148 303 0 230925 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 924920 [startup+179.102 s] /proc/loadavg: 0.95 0.46 0.43 2/107 32122 /proc/meminfo: memFree=588676/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=949684 CPUtime=179.05 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 237163 0 0 0 17723 182 0 0 25 0 1 0 25497713 972476416 236943 1992294400 134512640 135751879 4288281184 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 237421 236944 148 303 0 237116 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 949684 [startup+180.702 s] /proc/loadavg: 0.95 0.46 0.43 2/107 32122 /proc/meminfo: memFree=579128/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=957520 CPUtime=180.64 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 239106 0 0 0 17881 183 0 0 25 0 1 0 25497713 980500480 238886 1992294400 134512640 135751879 4288281184 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 239380 238886 148 303 0 239075 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 957520 [startup+181.509 s] /proc/loadavg: 0.95 0.47 0.43 2/107 32122 /proc/meminfo: memFree=574540/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=960868 CPUtime=181.46 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 239933 0 0 0 17962 184 0 0 25 0 1 0 25497713 983928832 239713 1992294400 134512640 135751879 4288281184 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 240217 239713 148 303 0 239912 0 Current children cumulated CPU time (s) 181.46 Current children cumulated vsize (KiB) 960868 [startup+181.901 s] /proc/loadavg: 0.95 0.47 0.43 2/107 32122 /proc/meminfo: memFree=574540/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=963264 CPUtime=181.84 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202496 240541 0 0 0 18000 184 0 0 25 0 1 0 25497713 986382336 240321 1992294400 134512640 135751879 4288281184 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32117/statm: 240849 240322 148 303 0 240544 0 Current children cumulated CPU time (s) 181.84 Current children cumulated vsize (KiB) 963264 [startup+182.301 s] /proc/loadavg: 0.95 0.47 0.43 2/107 32122 /proc/meminfo: memFree=574540/2059040 swapFree=4165016/4192956 [pid=32117] ppid=32115 vsize=0 CPUtime=182.24 /proc/32117/stat : 32117 (wbo1.4b) R 32115 32117 32082 0 -1 4202500 240897 0 0 0 18032 192 0 0 25 0 1 0 25497713 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/32117/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 182.309 CPU time (s): 182.262 CPU user time (s): 180.326 CPU system time (s): 1.9367 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 964588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.326 system time used= 1.9367 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 240897 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= 17 involuntary context switches= 1916 runsolver used 0.280957 second user time and 0.895863 second system time The end
Begin job on node047 at 2010-07-08 09:08:25 IDJOB=2702624 IDBENCH=48247 IDSOLVER=1161 FILE ID=node047/2702624-1278572905 PBS_JOBID= 11240079 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.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-2702624-1278572905/watcher-2702624-1278572905 -o /tmp/evaluation-result-2702624-1278572905/solver-2702624-1278572905 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702624-1278572905.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED=2017092108 node047.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.248 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.49 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.248 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 : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1535704 kB Buffers: 89036 kB Cached: 309928 kB SwapCached: 1388 kB Active: 182308 kB Inactive: 249848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1535704 kB SwapTotal: 4192956 kB SwapFree: 4165016 kB Dirty: 2860 kB Writeback: 0 kB AnonPages: 31832 kB Mapped: 13396 kB Slab: 69148 kB PageTables: 4204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179356 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-2702624-1278572905.opb Free space on /tmp at the end= 62492 MiB End job on node047 at 2010-07-08 09:11:28