Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -49 | 182.447 | 182.502 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_2.opb |
MD5SUM | 8d62286ae12c02f1d9e42b05c51333f2 |
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 | -111 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 21 |
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 | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6328 |
Sum of products size (including duplicates) | 12656 |
Number of different products | 3164 |
Sum of products size | 6328 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702570-1278570306.opb. 0.00/0.00 c Instance file HOME/instance-2702570-1278570306.opb 0.00/0.00 c File size is 271087 bytes. 0.00/0.04 c Highest Coefficient sum: 21 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 3664 | 0.00/0.04 c | Number Clauses: 3164 | 0.00/0.04 c | Number Cardinality: 1000 | 0.00/0.04 c | Number PB Constraints: 3164 | 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 500 7328 15176 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 500 0.00/0.05 o 500 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 500 7329 15676 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 499 0.00/0.06 o 499 0.00/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7330 16176 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 498 0.00/0.06 o 498 0.00/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7331 16676 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 497 0.00/0.06 o 497 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7332 17176 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 496 0.00/0.06 o 496 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7333 17676 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 495 0.00/0.06 o 495 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7334 18176 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 494 0.00/0.07 o 494 0.00/0.07 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 3 | 500 7335 18676 | 5000 3 495 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 493 0.00/0.07 o 493 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 6 | 500 7336 19176 | 5000 6 495 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 492 0.00/0.07 o 492 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 7 | 500 7337 19676 | 5000 7 494 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 491 0.00/0.07 o 491 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 9 | 500 7338 20176 | 5000 9 494 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 490 0.00/0.08 o 490 0.00/0.08 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 10 | 500 7339 20676 | 5000 10 494 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 489 0.00/0.08 o 489 0.00/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 11 | 500 7340 21176 | 5000 11 493 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 488 0.00/0.08 o 488 0.00/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 15 | 500 7341 21676 | 5000 15 492 | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: 487 0.00/0.09 o 487 0.00/0.09 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 19 | 500 7342 22176 | 5000 19 491 | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: 486 0.00/0.09 o 486 0.00/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 19 | 500 7343 22676 | 5000 19 491 | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: 485 0.00/0.09 o 485 0.00/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 27 | 500 7344 23176 | 5000 27 490 | 0.000 % | 0.00/0.10 c =============================================================================== 0.00/0.10 c New solution: 484 0.00/0.10 o 484 0.00/0.10 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s 0.00/0.10 c =============================================================================== 0.00/0.10 c | 45 | 500 7345 23676 | 5000 45 488 | 0.000 % | 0.00/0.10 c =============================================================================== 0.00/0.10 c New solution: 483 0.00/0.10 o 483 0.00/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.00/0.10 c =============================================================================== 0.00/0.10 c | 60 | 500 7346 24176 | 5000 60 487 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 482 0.09/0.10 o 482 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 64 | 500 7347 24676 | 5000 64 487 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 481 0.09/0.11 o 481 0.09/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 105 | 500 7348 25176 | 5000 105 485 | 0.000 % | 0.09/0.13 c | 206 | 500 7348 25176 | 5500 206 483 | 86.354 % | 0.09/0.15 c | 356 | 500 7348 25176 | 6050 356 483 | 86.354 % | 0.09/0.19 c | 581 | 500 7348 25176 | 6655 581 482 | 86.354 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 480 0.19/0.22 o 480 0.19/0.22 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 740 | 500 7349 25676 | 5000 740 482 | 86.354 % | 0.19/0.24 c | 840 | 500 7349 25676 | 5500 840 482 | 86.354 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 479 0.19/0.25 o 479 0.19/0.25 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 860 | 500 7350 26176 | 5000 860 482 | 86.354 % | 0.19/0.27 c | 961 | 500 7350 26176 | 5500 961 482 | 86.354 % | 0.29/0.30 c | 1112 | 500 7350 26176 | 6050 1112 481 | 86.354 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 478 0.29/0.32 o 478 0.29/0.32 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 1263 | 500 7351 26676 | 5000 1263 481 | 86.354 % | 0.29/0.34 c | 1364 | 500 7351 26676 | 5500 1364 481 | 86.354 % | 0.29/0.38 c | 1514 | 500 7351 26676 | 6050 1514 481 | 86.354 % | 0.39/0.42 c | 1739 | 500 7351 26676 | 6655 1739 480 | 86.354 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 477 0.39/0.44 o 477 0.39/0.44 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 1838 | 500 7352 27176 | 5000 1838 480 | 86.354 % | 0.39/0.46 c | 1939 | 500 7352 27176 | 5500 1939 480 | 86.354 % | 0.39/0.49 c | 2089 | 500 7352 27176 | 6050 2089 480 | 86.354 % | 0.49/0.54 c | 2314 | 500 7352 27176 | 6655 2314 480 | 86.354 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 476 0.49/0.56 o 476 0.49/0.56 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 2370 | 500 7353 27676 | 5000 2370 480 | 86.354 % | 0.49/0.58 c | 2471 | 500 7353 27676 | 5500 2471 480 | 86.354 % | 0.59/0.62 c | 2621 | 500 7353 27676 | 6050 2621 479 | 86.354 % | 0.59/0.68 c | 2847 | 500 7353 27676 | 6655 2847 479 | 86.354 % | 0.70/0.71 c =============================================================================== 0.70/0.71 c New solution: 475 0.70/0.71 o 475 0.70/0.71 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s 0.70/0.71 c =============================================================================== 0.70/0.71 c | 2963 | 500 7354 28176 | 5000 2963 479 | 86.354 % | 0.70/0.74 c | 3064 | 500 7354 28176 | 5500 3064 479 | 86.354 % | 0.70/0.78 c | 3215 | 500 7354 28176 | 6050 3215 479 | 86.354 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 474 0.79/0.84 o 474 0.79/0.84 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 3423 | 500 7355 28676 | 5000 3423 479 | 86.354 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 473 0.79/0.87 o 473 0.79/0.87 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 3502 | 500 7356 29176 | 5000 3502 479 | 86.354 % | 0.89/0.90 c | 3602 | 500 7356 29176 | 5500 3602 479 | 86.354 % | 0.89/0.95 c | 3752 | 500 7356 29176 | 6050 3752 478 | 86.354 % | 1.00/1.01 c | 3979 | 500 7356 29176 | 6655 3979 478 | 86.354 % | 1.10/1.10 c | 4317 | 500 7356 29176 | 7320 4317 478 | 86.354 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c New solution: 472 1.10/1.12 o 472 1.10/1.12 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s 1.10/1.12 c =============================================================================== 1.10/1.12 c | 4381 | 500 7357 29676 | 5000 4381 478 | 86.354 % | 1.10/1.16 c | 4483 | 500 7357 29676 | 5500 4483 478 | 86.354 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c New solution: 471 1.10/1.18 o 471 1.10/1.18 c Elapsed CPU time: 1.13483 s Remaining CPU time: 178.865 s 1.10/1.18 c =============================================================================== 1.10/1.18 c | 4525 | 500 7358 30176 | 5000 4525 478 | 86.354 % | 1.20/1.21 c | 4628 | 500 7358 30176 | 5500 4628 477 | 86.354 % | 1.20/1.26 c | 4778 | 500 7358 30176 | 6050 4778 477 | 86.354 % | 1.29/1.31 c | 5003 | 500 7358 30176 | 6655 5003 477 | 86.354 % | 1.39/1.40 c | 5340 | 500 7358 30176 | 7320 5340 477 | 86.354 % | 1.49/1.56 c | 5846 | 500 7358 30176 | 8052 5846 476 | 86.354 % | 1.80/1.83 c | 6605 | 500 7358 30176 | 8857 6605 476 | 86.354 % | 1.99/2.03 c =============================================================================== 1.99/2.03 c New solution: 470 1.99/2.03 o 470 1.99/2.03 c Elapsed CPU time: 1.9687 s Remaining CPU time: 178.031 s 1.99/2.03 c =============================================================================== 1.99/2.03 c | 6988 | 500 7359 30676 | 5000 6988 476 | 86.354 % | 1.99/2.07 c | 7089 | 500 7359 30676 | 5500 7089 475 | 86.354 % | 2.09/2.15 c | 7240 | 500 7359 30676 | 6050 7240 475 | 86.354 % | 2.20/2.26 c | 7465 | 500 7359 30676 | 6655 7465 475 | 86.354 % | 2.39/2.40 c | 7802 | 500 7359 30676 | 7320 7802 475 | 86.354 % | 2.70/2.76 c | 8308 | 500 7359 30676 | 8052 8308 475 | 86.354 % | 2.89/2.98 c =============================================================================== 2.89/2.98 c New solution: 469 2.89/2.98 o 469 2.89/2.98 c Elapsed CPU time: 2.90956 s Remaining CPU time: 177.09 s 2.89/2.98 c =============================================================================== 2.89/2.98 c | 8835 | 500 7360 31176 | 5000 8835 475 | 86.354 % | 2.99/3.07 c | 8936 | 500 7360 31176 | 5500 4519 471 | 86.354 % | 3.09/3.11 c | 9087 | 500 7360 31176 | 6050 4670 471 | 86.354 % | 3.09/3.15 c | 9313 | 500 7360 31176 | 6655 4896 471 | 86.354 % | 3.19/3.25 c | 9650 | 500 7360 31176 | 7320 5233 471 | 86.354 % | 3.40/3.44 c | 10156 | 500 7360 31176 | 8052 5739 471 | 86.354 % | 3.69/3.70 c | 10916 | 500 7360 31176 | 8857 6499 471 | 86.354 % | 3.69/3.76 c =============================================================================== 3.69/3.76 c New solution: 468 3.69/3.76 o 468 3.69/3.76 c Elapsed CPU time: 3.68044 s Remaining CPU time: 176.32 s 3.69/3.76 c =============================================================================== 3.69/3.76 c | 11075 | 500 7361 31676 | 5000 6658 471 | 86.354 % | 3.79/3.81 c | 11176 | 500 7361 31676 | 5500 6759 471 | 86.354 % | 3.79/3.88 c | 11327 | 500 7361 31676 | 6050 6910 471 | 86.354 % | 3.89/3.97 c | 11552 | 500 7361 31676 | 6655 7135 471 | 86.354 % | 4.09/4.13 c | 11889 | 500 7361 31676 | 7320 7472 471 | 86.354 % | 4.29/4.39 c | 12395 | 500 7361 31676 | 8052 7978 471 | 86.354 % | 4.69/4.73 c | 13154 | 500 7361 31676 | 8857 8737 471 | 86.354 % | 5.09/5.18 c | 14293 | 500 7361 31676 | 9743 9876 471 | 86.354 % | 5.99/6.06 c | 16001 | 500 7361 31676 | 10717 11584 470 | 86.354 % | 7.39/7.40 c | 18564 | 500 7361 31676 | 11789 14147 470 | 86.354 % | 7.70/7.76 c =============================================================================== 7.70/7.76 c New solution: 467 7.70/7.76 o 467 7.70/7.76 c Elapsed CPU time: 7.62484 s Remaining CPU time: 172.375 s 7.70/7.76 c =============================================================================== 7.70/7.76 c | 19694 | 500 7362 32176 | 5000 15277 470 | 86.354 % | 7.89/7.98 c | 19795 | 500 7362 32176 | 5500 7740 469 | 86.354 % | 7.99/8.04 c | 19945 | 500 7362 32176 | 6050 7890 469 | 86.354 % | 8.09/8.15 c | 20170 | 500 7362 32176 | 6655 8115 469 | 86.354 % | 8.19/8.28 c | 20507 | 500 7362 32176 | 7320 8452 469 | 86.354 % | 8.38/8.40 c | 21013 | 500 7362 32176 | 8052 8958 469 | 86.354 % | 8.59/8.62 c | 21773 | 500 7362 32176 | 8857 9718 469 | 86.354 % | 9.09/9.12 c | 22912 | 500 7362 32176 | 9743 10857 469 | 86.354 % | 9.89/9.98 c | 24620 | 500 7362 32176 | 10717 12565 469 | 86.354 % | 10.39/10.42 c =============================================================================== 10.39/10.42 c New solution: 466 10.39/10.42 o 466 10.39/10.42 c Elapsed CPU time: 10.2644 s Remaining CPU time: 169.736 s 10.39/10.42 c =============================================================================== 10.39/10.42 c | 25489 | 500 7363 32676 | 5000 13434 469 | 86.354 % | 10.49/10.58 c | 25590 | 500 7363 32676 | 5500 6818 468 | 86.354 % | 10.59/10.64 c | 25741 | 500 7363 32676 | 6050 6969 468 | 86.354 % | 10.79/10.82 c | 25966 | 500 7363 32676 | 6655 7194 468 | 86.354 % | 10.79/10.84 c =============================================================================== 10.79/10.84 c New solution: 465 10.79/10.84 o 465 10.79/10.84 c Elapsed CPU time: 10.6764 s Remaining CPU time: 169.324 s 10.79/10.84 c =============================================================================== 10.79/10.84 c | 25994 | 500 7364 33176 | 5000 7222 468 | 86.354 % | 10.89/10.90 c | 26095 | 500 7364 33176 | 5500 7323 468 | 86.354 % | 10.89/10.93 c =============================================================================== 10.89/10.93 c New solution: 464 10.89/10.93 o 464 10.89/10.93 c Elapsed CPU time: 10.7584 s Remaining CPU time: 169.242 s 10.89/10.93 c =============================================================================== 10.89/10.93 c | 26138 | 500 7365 33676 | 5000 7366 468 | 86.354 % | 10.89/10.99 c | 26238 | 500 7365 33676 | 5500 7466 468 | 86.354 % | 10.99/11.07 c | 26389 | 500 7365 33676 | 6050 7617 468 | 86.354 % | 11.19/11.20 c | 26615 | 500 7365 33676 | 6655 7843 468 | 86.354 % | 11.29/11.37 c | 26953 | 500 7365 33676 | 7320 8181 468 | 86.354 % | 11.49/11.53 c =============================================================================== 11.49/11.53 c New solution: 463 11.49/11.53 o 463 11.49/11.53 c Elapsed CPU time: 11.3573 s Remaining CPU time: 168.643 s 11.49/11.53 c =============================================================================== 11.49/11.53 c | 27242 | 500 7366 34176 | 5000 8470 467 | 86.354 % | 11.59/11.60 c | 27342 | 500 7366 34176 | 5500 4335 467 | 86.354 % | 11.68/11.70 c | 27492 | 500 7366 34176 | 6050 4485 466 | 86.354 % | 11.78/11.84 c | 27718 | 500 7366 34176 | 6655 4711 466 | 86.354 % | 11.98/12.02 c | 28055 | 500 7366 34176 | 7320 5048 466 | 86.354 % | 12.20/12.25 c | 28562 | 500 7366 34176 | 8052 5555 467 | 86.354 % | 12.59/12.68 c | 29321 | 500 7366 34176 | 8857 6314 466 | 86.354 % | 13.30/13.32 c | 30461 | 500 7366 34176 | 9743 7454 466 | 86.354 % | 13.68/13.79 c =============================================================================== 13.68/13.79 c New solution: 462 13.68/13.79 o 462 13.68/13.79 c Elapsed CPU time: 13.5969 s Remaining CPU time: 166.403 s 13.68/13.79 c =============================================================================== 13.68/13.79 c | 31395 | 500 7367 34676 | 5000 8388 466 | 86.354 % | 13.78/13.88 c | 31495 | 500 7367 34676 | 5500 4294 465 | 86.354 % | 13.89/13.91 c | 31645 | 500 7367 34676 | 6050 4444 465 | 86.354 % | 13.89/13.96 c | 31870 | 500 7367 34676 | 6655 4669 465 | 86.354 % | 13.99/14.07 c | 32207 | 500 7367 34676 | 7320 5006 465 | 86.354 % | 14.19/14.24 c | 32713 | 500 7367 34676 | 8052 5512 464 | 86.354 % | 14.49/14.56 c | 33472 | 500 7367 34676 | 8857 6271 464 | 86.354 % | 14.79/14.89 c =============================================================================== 14.79/14.89 c New solution: 461 14.79/14.89 o 461 14.79/14.89 c Elapsed CPU time: 14.6758 s Remaining CPU time: 165.324 s 14.79/14.89 c =============================================================================== 14.79/14.89 c | 34141 | 500 7368 35176 | 5000 6940 464 | 86.354 % | 14.89/14.95 c | 34242 | 500 7368 35176 | 5500 7041 464 | 86.354 % | 14.99/15.06 c | 34393 | 500 7368 35176 | 6050 7192 464 | 86.354 % | 15.09/15.18 c | 34619 | 500 7368 35176 | 6655 7418 464 | 86.354 % | 15.29/15.37 c | 34956 | 500 7368 35176 | 7320 7755 464 | 86.354 % | 15.59/15.61 c | 35463 | 500 7368 35176 | 8052 8262 464 | 86.354 % | 15.89/15.95 c | 36223 | 500 7368 35176 | 8857 9022 464 | 86.354 % | 16.49/16.53 c | 37363 | 500 7368 35176 | 9743 10162 464 | 86.354 % | 17.59/17.67 c | 39072 | 500 7368 35176 | 10717 11871 463 | 86.354 % | 19.19/19.22 c | 41635 | 500 7368 35176 | 11789 7263 462 | 86.354 % | 20.89/20.92 c | 45481 | 500 7368 35176 | 12968 11109 462 | 86.354 % | 23.59/23.61 c | 51248 | 500 7368 35176 | 14265 8578 462 | 86.354 % | 27.09/27.16 c | 59898 | 500 7368 35176 | 15692 17228 462 | 86.354 % | 35.48/35.50 c | 72873 | 500 7368 35176 | 17261 10886 462 | 86.354 % | 41.68/41.77 c | 92335 | 500 7368 35176 | 18987 19903 461 | 86.354 % | 43.98/44.10 c =============================================================================== 43.98/44.10 c New solution: 460 43.98/44.10 o 460 43.98/44.10 c Elapsed CPU time: 43.5754 s Remaining CPU time: 136.425 s 43.98/44.10 c =============================================================================== 43.98/44.10 c | 97211 | 500 7369 35676 | 5000 12842 461 | 86.354 % | 44.17/44.25 c | 97313 | 500 7369 35676 | 5500 6523 461 | 86.354 % | 44.27/44.34 c | 97464 | 500 7369 35676 | 6050 6674 461 | 86.354 % | 44.37/44.44 c | 97689 | 500 7369 35676 | 6655 6899 461 | 86.354 % | 44.48/44.59 c | 98026 | 500 7369 35676 | 7320 7236 461 | 86.354 % | 44.67/44.77 c | 98533 | 500 7369 35676 | 8052 7743 461 | 86.354 % | 44.88/44.99 c | 99292 | 500 7369 35676 | 8857 8502 461 | 86.354 % | 45.57/45.62 c | 100431 | 500 7369 35676 | 9743 9641 461 | 86.354 % | 46.67/46.77 c | 102139 | 500 7369 35676 | 10717 11349 461 | 86.354 % | 48.28/48.40 c | 104702 | 500 7369 35676 | 11789 13912 461 | 86.354 % | 49.87/49.92 c | 108547 | 500 7369 35676 | 12968 10051 461 | 86.354 % | 51.78/51.89 c | 114314 | 500 7369 35676 | 14265 15818 461 | 86.354 % | 55.67/55.72 c | 122964 | 500 7369 35676 | 15692 15525 460 | 86.354 % | 59.47/59.57 c | 135939 | 500 7369 35676 | 17261 18841 460 | 86.354 % | 61.06/61.11 c =============================================================================== 61.06/61.11 c New solution: 459 61.06/61.11 o 459 61.06/61.11 c Elapsed CPU time: 60.3698 s Remaining CPU time: 119.63 s 61.06/61.11 c =============================================================================== 61.06/61.11 c | 138349 | 500 7370 36176 | 5000 10811 460 | 86.354 % | 61.16/61.23 c | 138449 | 500 7370 36176 | 5500 5506 460 | 86.354 % | 61.16/61.30 c | 138600 | 500 7370 36176 | 6050 5657 460 | 86.354 % | 61.27/61.38 c | 138825 | 500 7370 36176 | 6655 5882 460 | 86.354 % | 61.37/61.50 c | 139162 | 500 7370 36176 | 7320 6219 460 | 86.354 % | 61.58/61.66 c | 139668 | 500 7370 36176 | 8052 6725 460 | 86.354 % | 61.87/61.94 c | 140427 | 500 7370 36176 | 8857 7484 460 | 86.354 % | 61.97/62.02 c =============================================================================== 61.97/62.02 c New solution: 458 61.97/62.02 o 458 61.97/62.02 c Elapsed CPU time: 61.2647 s Remaining CPU time: 118.735 s 61.97/62.02 c =============================================================================== 61.97/62.02 c | 140730 | 500 7371 36676 | 5000 7787 460 | 86.354 % | 61.97/62.05 c | 140831 | 500 7371 36676 | 5500 7888 460 | 86.354 % | 61.97/62.09 c | 140982 | 500 7371 36676 | 6050 8039 460 | 86.354 % | 62.17/62.23 c | 141208 | 500 7371 36676 | 6655 8265 460 | 86.354 % | 62.27/62.32 c | 141545 | 500 7371 36676 | 7320 8602 460 | 86.354 % | 62.47/62.54 c | 142051 | 500 7371 36676 | 8052 9108 460 | 86.354 % | 62.68/62.80 c | 142810 | 500 7371 36676 | 8857 9867 460 | 86.354 % | 63.07/63.19 c | 143949 | 500 7371 36676 | 9743 11006 460 | 86.354 % | 63.57/63.68 c | 145658 | 500 7371 36676 | 10717 12715 460 | 86.354 % | 64.47/64.55 c | 148221 | 500 7371 36676 | 11789 8108 459 | 86.354 % | 65.77/65.80 c | 152067 | 500 7371 36676 | 12968 11954 459 | 86.354 % | 67.36/67.44 c | 157833 | 500 7371 36676 | 14265 9423 459 | 86.354 % | 69.07/69.10 c =============================================================================== 69.07/69.10 c New solution: 457 69.07/69.10 o 457 69.07/69.10 c Elapsed CPU time: 68.2676 s Remaining CPU time: 111.732 s 69.07/69.10 c =============================================================================== 69.07/69.10 c | 161535 | 500 7372 37176 | 5000 13125 459 | 86.354 % | 69.27/69.30 c | 161635 | 500 7372 37176 | 5500 6663 459 | 86.354 % | 69.27/69.34 c | 161785 | 500 7372 37176 | 6050 6813 459 | 86.354 % | 69.38/69.47 c | 162011 | 500 7372 37176 | 6655 7039 459 | 86.354 % | 69.57/69.65 c | 162349 | 500 7372 37176 | 7320 7377 459 | 86.354 % | 69.87/69.94 c | 162855 | 500 7372 37176 | 8052 7883 458 | 86.354 % | 70.27/70.30 c | 163614 | 500 7372 37176 | 8857 8642 458 | 86.354 % | 70.86/70.96 c | 164753 | 500 7372 37176 | 9743 9781 458 | 86.354 % | 71.47/71.52 c | 166461 | 500 7372 37176 | 10717 11489 458 | 86.354 % | 72.07/72.19 c =============================================================================== 72.07/72.19 c New solution: 456 72.07/72.19 o 456 72.07/72.19 c Elapsed CPU time: 71.3142 s Remaining CPU time: 108.686 s 72.07/72.19 c =============================================================================== 72.07/72.19 c | 168376 | 500 7373 37676 | 5000 13404 458 | 86.354 % | 72.26/72.34 c | 168476 | 500 7373 37676 | 5500 6802 458 | 86.354 % | 72.36/72.42 c | 168627 | 500 7373 37676 | 6050 6953 457 | 86.354 % | 72.47/72.51 c | 168852 | 500 7373 37676 | 6655 7178 457 | 86.354 % | 72.58/72.61 c | 169189 | 500 7373 37676 | 7320 7515 457 | 86.354 % | 72.58/72.69 c =============================================================================== 72.58/72.69 c New solution: 455 72.58/72.69 o 455 72.58/72.69 c Elapsed CPU time: 71.8041 s Remaining CPU time: 108.196 s 72.58/72.69 c =============================================================================== 72.58/72.69 c | 169447 | 500 7374 38176 | 5000 7773 457 | 86.354 % | 72.68/72.73 c | 169548 | 500 7374 38176 | 5500 7874 457 | 86.354 % | 72.68/72.77 c | 169698 | 500 7374 38176 | 6050 8024 457 | 86.354 % | 72.77/72.84 c | 169924 | 500 7374 38176 | 6655 8250 457 | 86.354 % | 72.86/72.92 c | 170263 | 500 7374 38176 | 7320 8589 457 | 86.354 % | 72.97/73.08 c | 170770 | 500 7374 38176 | 8052 9096 457 | 86.354 % | 73.27/73.30 c | 171530 | 500 7374 38176 | 8857 9856 457 | 86.354 % | 73.56/73.68 c | 172671 | 500 7374 38176 | 9743 10997 457 | 86.354 % | 74.16/74.26 c | 174379 | 500 7374 38176 | 10717 12705 457 | 86.354 % | 75.26/75.35 c | 176942 | 500 7374 38176 | 11789 8102 456 | 86.354 % | 76.66/76.74 c | 180787 | 500 7374 38176 | 12968 11947 455 | 86.354 % | 78.97/79.05 c | 186554 | 500 7374 38176 | 14265 9420 455 | 86.354 % | 82.66/82.73 c | 195204 | 500 7374 38176 | 15692 9126 455 | 86.354 % | 92.66/92.72 c | 208178 | 500 7374 38176 | 17261 12443 456 | 86.354 % | 101.06/101.18 c | 227639 | 500 7374 38176 | 18987 11025 455 | 86.354 % | 125.05/125.19 c | 256831 | 500 7374 38176 | 20886 16386 456 | 86.354 % | 133.55/133.63 c =============================================================================== 133.55/133.63 c New solution: 454 133.55/133.63 o 454 133.55/133.63 c Elapsed CPU time: 132.27 s Remaining CPU time: 47.7301 s 133.55/133.63 c =============================================================================== 133.55/133.63 c | 272710 | 500 7375 38676 | 5000 18523 456 | 86.354 % | 134.26/134.30 c | 272810 | 500 7375 38676 | 5500 4731 456 | 86.354 % | 134.26/134.36 c | 272960 | 500 7375 38676 | 6050 4881 455 | 86.354 % | 134.35/134.47 c | 273186 | 500 7375 38676 | 6655 5107 455 | 86.354 % | 134.55/134.61 c | 273524 | 500 7375 38676 | 7320 5445 455 | 86.354 % | 134.65/134.78 c | 274030 | 500 7375 38676 | 8052 5951 455 | 86.354 % | 134.94/135.09 c | 274789 | 500 7375 38676 | 8857 6710 455 | 86.354 % | 135.45/135.53 c | 275930 | 500 7375 38676 | 9743 7851 455 | 86.354 % | 136.36/136.43 c | 277638 | 500 7375 38676 | 10717 9559 455 | 86.354 % | 137.85/137.95 c | 280202 | 500 7375 38676 | 11789 12123 455 | 86.354 % | 140.45/140.56 c | 284047 | 500 7375 38676 | 12968 8264 455 | 86.354 % | 142.54/142.68 c =============================================================================== 142.54/142.68 c New solution: 453 142.54/142.68 o 453 142.54/142.68 c Elapsed CPU time: 141.236 s Remaining CPU time: 38.7645 s 142.54/142.68 c =============================================================================== 142.54/142.68 c | 288023 | 500 7376 39176 | 5000 12240 455 | 86.354 % | 142.85/142.93 c | 288123 | 500 7376 39176 | 5500 6220 455 | 86.354 % | 142.96/143.03 c | 288273 | 500 7376 39176 | 6050 6370 455 | 86.354 % | 143.05/143.18 c | 288500 | 500 7376 39176 | 6655 6597 455 | 86.354 % | 143.24/143.39 c | 288839 | 500 7376 39176 | 7320 6936 455 | 86.354 % | 143.44/143.56 c | 289347 | 500 7376 39176 | 8052 7444 455 | 86.354 % | 143.95/144.03 c | 290106 | 500 7376 39176 | 8857 8203 455 | 86.354 % | 144.85/144.96 c | 291245 | 500 7376 39176 | 9743 9342 455 | 86.354 % | 145.94/146.00 c | 292954 | 500 7376 39176 | 10717 11051 455 | 86.354 % | 147.85/147.91 c | 295517 | 500 7376 39176 | 11789 13614 455 | 86.354 % | 149.75/149.84 c | 299362 | 500 7376 39176 | 12968 9755 454 | 86.354 % | 152.04/152.13 c | 305128 | 500 7376 39176 | 14265 15521 454 | 86.354 % | 157.35/157.45 c | 313778 | 500 7376 39176 | 15692 15232 454 | 86.354 % | 161.94/162.06 c =============================================================================== 161.94/162.06 c New solution: 452 161.94/162.06 o 452 161.94/162.06 c Elapsed CPU time: 160.444 s Remaining CPU time: 19.5564 s 161.94/162.06 c =============================================================================== 161.94/162.06 c | 320457 | 500 7377 39676 | 5000 12254 454 | 86.354 % | 162.04/162.16 c | 320558 | 500 7377 39676 | 5500 6228 454 | 86.354 % | 162.14/162.23 c | 320709 | 500 7377 39676 | 6050 6379 454 | 86.354 % | 162.34/162.43 c | 320935 | 500 7377 39676 | 6655 6605 454 | 86.354 % | 162.34/162.49 c =============================================================================== 162.34/162.49 c New solution: 451 162.34/162.49 o 451 162.34/162.49 c Elapsed CPU time: 160.877 s Remaining CPU time: 19.1235 s 162.34/162.49 c =============================================================================== 162.34/162.49 c | 321111 | 500 7378 40176 | 5000 6781 454 | 86.354 % | 162.45/162.52 c | 321212 | 500 7378 40176 | 5500 6882 454 | 86.354 % | 162.45/162.57 c | 321363 | 500 7378 40176 | 6050 7033 454 | 86.354 % | 162.55/162.65 c | 321589 | 500 7378 40176 | 6655 7259 454 | 86.354 % | 162.65/162.74 c | 321927 | 500 7378 40176 | 7320 7597 454 | 86.354 % | 162.75/162.87 c | 322434 | 500 7378 40176 | 8052 8104 453 | 86.354 % | 163.04/163.15 c | 323193 | 500 7378 40176 | 8857 8863 453 | 86.354 % | 163.45/163.54 c | 324332 | 500 7378 40176 | 9743 10002 453 | 86.354 % | 164.04/164.14 c | 326040 | 500 7378 40176 | 10717 11710 453 | 86.354 % | 166.05/166.16 c | 328602 | 500 7378 40176 | 11789 14272 453 | 86.354 % | 168.84/168.95 c | 332447 | 500 7378 40176 | 12968 10416 452 | 86.354 % | 171.34/171.43 c | 338214 | 500 7378 40176 | 14265 16183 452 | 86.354 % | 174.84/174.96 c | 346863 | 500 7378 40176 | 15692 15891 452 | 86.354 % | 180.93/181.00 c | 359837 | 500 7378 40176 | 17261 19210 452 | 86.354 % | 181.94/182.06 c There are 3164 assigned variables. 0 in cost function. 182.34/182.43 c core #1 182.34/182.43 c #cores: 1 182.34/182.43 c Final Weight: 451 182.34/182.43 o 451 182.34/182.43 s OPTIMUM FOUND 182.34/182.43 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 -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 -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 182.34/182.43 c Total CPU time: 180.627 s
OK -49
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702570-1278570306/watcher-2702570-1278570306 -o /tmp/evaluation-result-2702570-1278570306/solver-2702570-1278570306 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702570-1278570306.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: 1.16 1.10 1.02 3/106 31186 /proc/meminfo: memFree=1697324/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=3264 CPUtime=0 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 391 0 0 0 0 0 0 0 18 0 1 0 25243743 3342336 309 1992294400 134512640 135751879 4291719200 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 854 310 143 303 0 482 0 [startup+0.106349 s] /proc/loadavg: 1.16 1.10 1.02 3/106 31186 /proc/meminfo: memFree=1697324/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=4536 CPUtime=0.09 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 839 0 0 0 9 0 0 0 20 0 1 0 25243743 4644864 690 1992294400 134512640 135751879 4291719200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 1134 690 146 303 0 829 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4536 [startup+0.20136 s] /proc/loadavg: 1.16 1.10 1.02 3/106 31186 /proc/meminfo: memFree=1697324/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=5304 CPUtime=0.19 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 1049 0 0 0 18 1 0 0 20 0 1 0 25243743 5431296 900 1992294400 134512640 135751879 4291719200 18446744073709551615 134611013 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 1326 900 147 303 0 1021 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5304 [startup+0.301372 s] /proc/loadavg: 1.16 1.10 1.02 3/106 31186 /proc/meminfo: memFree=1697324/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=6336 CPUtime=0.29 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 1308 0 0 0 28 1 0 0 20 0 1 0 25243743 6488064 1159 1992294400 134512640 135751879 4291719200 18446744073709551615 134643743 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 1584 1159 147 303 0 1279 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6336 [startup+0.701418 s] /proc/loadavg: 1.16 1.10 1.02 3/106 31186 /proc/meminfo: memFree=1697324/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=10048 CPUtime=0.7 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 2220 0 0 0 67 3 0 0 20 0 1 0 25243743 10289152 2071 1992294400 134512640 135751879 4291719200 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 2512 2071 147 303 0 2207 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 10048 [startup+1.50151 s] /proc/loadavg: 1.16 1.10 1.02 2/107 31187 /proc/meminfo: memFree=1687148/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=15480 CPUtime=1.49 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 3579 0 0 0 144 5 0 0 23 0 1 0 25243743 15851520 3430 1992294400 134512640 135751879 4291719200 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 3870 3430 147 303 0 3565 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15480 [startup+3.1007 s] /proc/loadavg: 1.16 1.10 1.02 2/107 31187 /proc/meminfo: memFree=1680824/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=22180 CPUtime=3.09 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 5271 0 0 0 302 7 0 0 25 0 1 0 25243743 22712320 5122 1992294400 134512640 135751879 4291719200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 5545 5122 148 303 0 5240 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22180 [startup+6.30107 s] /proc/loadavg: 1.22 1.12 1.02 2/107 31187 /proc/meminfo: memFree=1665820/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=36568 CPUtime=6.29 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 8841 0 0 0 617 12 0 0 25 0 1 0 25243743 37445632 8692 1992294400 134512640 135751879 4291719200 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 9142 8692 148 303 0 8837 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36568 [startup+12.7008 s] /proc/loadavg: 1.21 1.11 1.02 2/107 31187 /proc/meminfo: memFree=1639780/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=61824 CPUtime=12.69 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 15176 0 0 0 1251 18 0 0 25 0 1 0 25243743 63307776 15027 1992294400 134512640 135751879 4291719200 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 15456 15027 148 303 0 15151 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61824 [startup+25.5013 s] /proc/loadavg: 1.16 1.11 1.02 2/107 31187 /proc/meminfo: memFree=1588320/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=111628 CPUtime=25.49 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 27621 0 0 0 2518 31 0 0 25 0 1 0 25243743 114307072 27472 1992294400 134512640 135751879 4291719200 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 27907 27472 148 303 0 27602 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 111628 [startup+51.1013 s] /proc/loadavg: 1.10 1.10 1.02 2/107 31187 /proc/meminfo: memFree=1483416/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=218876 CPUtime=51.07 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 54385 0 0 0 5048 59 0 0 25 0 1 0 25243743 224129024 54236 1992294400 134512640 135751879 4291719200 18446744073709551615 134606255 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 54719 54236 148 303 0 54414 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 218876 [startup+102.301 s] /proc/loadavg: 1.04 1.08 1.01 2/107 31189 /proc/meminfo: memFree=1255876/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=442896 CPUtime=102.27 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 110366 0 0 0 10113 114 0 0 25 0 1 0 25243743 453525504 110217 1992294400 134512640 135751879 4291719200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 110724 110217 148 303 0 110419 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 442896 [startup+162.301 s] /proc/loadavg: 1.01 1.06 1.01 2/107 31191 /proc/meminfo: memFree=1084880/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=615396 CPUtime=162.24 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 153457 0 0 0 16068 156 0 0 25 0 1 0 25243743 630165504 153308 1992294400 134512640 135751879 4291719200 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 153849 153308 148 303 0 153544 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 615396 Solver just ended. Dumping a history of the last processes samples [startup+166.401 s] /proc/loadavg: 1.01 1.06 1.01 2/107 31191 /proc/meminfo: memFree=1068388/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=631432 CPUtime=166.34 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 157469 0 0 0 16474 160 0 0 25 0 1 0 25243743 646586368 157320 1992294400 134512640 135751879 4291719200 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 157858 157320 148 303 0 157553 0 Current children cumulated CPU time (s) 166.34 Current children cumulated vsize (KiB) 631432 [startup+172.808 s] /proc/loadavg: 1.01 1.06 1.01 2/107 31191 /proc/meminfo: memFree=1044952/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=653860 CPUtime=172.75 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 163077 0 0 0 17109 166 0 0 25 0 1 0 25243743 669552640 162928 1992294400 134512640 135751879 4291719200 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 163465 162928 148 303 0 163160 0 Current children cumulated CPU time (s) 172.75 Current children cumulated vsize (KiB) 653860 [startup+179.201 s] /proc/loadavg: 1.01 1.06 1.00 2/107 31191 /proc/meminfo: memFree=1021268/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=681744 CPUtime=179.14 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 170033 0 0 0 17741 173 0 0 25 0 1 0 25243743 698105856 169884 1992294400 134512640 135751879 4291719200 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 170436 169884 148 303 0 170131 0 Current children cumulated CPU time (s) 179.14 Current children cumulated vsize (KiB) 681744 [startup+180.801 s] /proc/loadavg: 1.01 1.06 1.00 2/107 31191 /proc/meminfo: memFree=1011968/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=687768 CPUtime=180.74 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 171566 0 0 0 17900 174 0 0 25 0 1 0 25243743 704274432 171417 1992294400 134512640 135751879 4291719200 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 171942 171417 148 303 0 171637 0 Current children cumulated CPU time (s) 180.74 Current children cumulated vsize (KiB) 687768 [startup+181.608 s] /proc/loadavg: 1.01 1.06 1.00 2/107 31191 /proc/meminfo: memFree=1007752/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=690968 CPUtime=181.55 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 172369 0 0 0 17980 175 0 0 25 0 1 0 25243743 707551232 172220 1992294400 134512640 135751879 4291719200 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 172742 172220 148 303 0 172437 0 Current children cumulated CPU time (s) 181.55 Current children cumulated vsize (KiB) 690968 [startup+182.001 s] /proc/loadavg: 1.01 1.06 1.00 2/107 31191 /proc/meminfo: memFree=1007752/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=691608 CPUtime=181.94 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 172528 0 0 0 18019 175 0 0 25 0 1 0 25243743 708206592 172379 1992294400 134512640 135751879 4291719200 18446744073709551615 134602478 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 172902 172379 148 303 0 172597 0 Current children cumulated CPU time (s) 181.94 Current children cumulated vsize (KiB) 691608 [startup+182.401 s] /proc/loadavg: 1.01 1.06 1.00 2/107 31191 /proc/meminfo: memFree=1007752/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=692500 CPUtime=182.34 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202496 172743 0 0 0 18059 175 0 0 25 0 1 0 25243743 709120000 172594 1992294400 134512640 135751879 4291719200 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31186/statm: 173125 172594 149 303 0 172820 0 Current children cumulated CPU time (s) 182.34 Current children cumulated vsize (KiB) 692500 [startup+182.501 s] /proc/loadavg: 1.01 1.06 1.00 2/107 31191 /proc/meminfo: memFree=1007752/2059040 swapFree=4138696/4192956 [pid=31186] ppid=31184 vsize=0 CPUtime=182.44 /proc/31186/stat : 31186 (wbo1.4b) R 31184 31186 30691 0 -1 4202500 172744 0 0 0 18062 182 0 0 25 0 1 0 25243743 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31186/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.44 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 182.502 CPU time (s): 182.447 CPU user time (s): 180.627 CPU system time (s): 1.82072 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 692500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.627 system time used= 1.82072 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 172744 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= 12 involuntary context switches= 185 runsolver used 0.288956 second user time and 0.907861 second system time The end
Begin job on node011 at 2010-07-08 08:25:06 IDJOB=2702570 IDBENCH=48220 IDSOLVER=1161 FILE ID=node011/2702570-1278570306 PBS_JOBID= 11239559 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.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-2702570-1278570306/watcher-2702570-1278570306 -o /tmp/evaluation-result-2702570-1278570306/solver-2702570-1278570306 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702570-1278570306.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d62286ae12c02f1d9e42b05c51333f2 RANDOM SEED=378687859 node011.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.212 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.42 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.212 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1698472 kB Buffers: 78528 kB Cached: 191232 kB SwapCached: 8416 kB Active: 161636 kB Inactive: 123132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1698472 kB SwapTotal: 4192956 kB SwapFree: 4138696 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 12444 kB Mapped: 12076 kB Slab: 53876 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183088 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-2702570-1278570306.opb Free space on /tmp at the end= 62492 MiB End job on node011 at 2010-07-08 08:28:09