Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -45 | 182.088 | 182.134 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_4.opb |
MD5SUM | 81ea6ef3f58dd056541f0542171b5402 |
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.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -112 |
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) | 6326 |
Sum of products size (including duplicates) | 12652 |
Number of different products | 3163 |
Sum of products size | 6326 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702458-1278568133.opb. 0.00/0.00 c Instance file HOME/instance-2702458-1278568133.opb 0.00/0.00 c File size is 271068 bytes. 0.01/0.04 c Highest Coefficient sum: 21 0.01/0.04 c ============================[ Problem Statistics ]============================= 0.01/0.04 c | | 0.01/0.04 c | Parsing time: 0.04 s | 0.01/0.04 c | Number Variables: 3663 | 0.01/0.04 c | Number Clauses: 3163 | 0.01/0.04 c | Number Cardinality: 1000 | 0.01/0.04 c | Number PB Constraints: 3163 | 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 500 7326 15107 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 500 0.01/0.05 o 500 0.01/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 500 7327 15607 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 499 0.01/0.05 o 499 0.01/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 500 7328 16107 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 498 0.01/0.06 o 498 0.01/0.06 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 500 7329 16607 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 497 0.01/0.06 o 497 0.01/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 500 7330 17107 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 496 0.01/0.06 o 496 0.01/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 500 7331 17607 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 495 0.01/0.06 o 495 0.01/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 500 7332 18107 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 494 0.01/0.06 o 494 0.01/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 1 | 500 7333 18607 | 5000 1 495 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 493 0.01/0.07 o 493 0.01/0.07 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 1 | 500 7334 19107 | 5000 1 495 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 492 0.01/0.07 o 492 0.01/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 7 | 500 7335 19607 | 5000 7 494 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 491 0.01/0.07 o 491 0.01/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 13 | 500 7336 20107 | 5000 13 493 | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: 490 0.01/0.08 o 490 0.01/0.08 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 14 | 500 7337 20607 | 5000 14 493 | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: 489 0.01/0.08 o 489 0.01/0.08 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 16 | 500 7338 21107 | 5000 16 492 | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: 488 0.01/0.08 o 488 0.01/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 31 | 500 7339 21607 | 5000 31 491 | 0.000 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: 487 0.01/0.09 o 487 0.01/0.09 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 36 | 500 7340 22107 | 5000 36 491 | 0.000 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: 486 0.01/0.09 o 486 0.01/0.09 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 40 | 500 7341 22607 | 5000 40 490 | 0.000 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: 485 0.01/0.09 o 485 0.01/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 47 | 500 7342 23107 | 5000 47 490 | 0.000 % | 0.10/0.10 c =============================================================================== 0.10/0.10 c New solution: 484 0.10/0.10 o 484 0.10/0.10 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s 0.10/0.10 c =============================================================================== 0.10/0.10 c | 50 | 500 7343 23607 | 5000 50 489 | 0.000 % | 0.10/0.10 c =============================================================================== 0.10/0.10 c New solution: 483 0.10/0.10 o 483 0.10/0.10 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s 0.10/0.10 c =============================================================================== 0.10/0.10 c | 54 | 500 7344 24107 | 5000 54 489 | 0.000 % | 0.10/0.11 c =============================================================================== 0.10/0.11 c New solution: 482 0.10/0.11 o 482 0.10/0.11 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s 0.10/0.11 c =============================================================================== 0.10/0.11 c | 68 | 500 7345 24607 | 5000 68 488 | 0.000 % | 0.10/0.11 c =============================================================================== 0.10/0.11 c New solution: 481 0.10/0.11 o 481 0.10/0.11 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s 0.10/0.11 c =============================================================================== 0.10/0.11 c | 73 | 500 7346 25107 | 5000 73 488 | 0.000 % | 0.10/0.12 c =============================================================================== 0.10/0.12 c New solution: 480 0.10/0.12 o 480 0.10/0.12 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s 0.10/0.12 c =============================================================================== 0.10/0.12 c | 90 | 500 7347 25607 | 5000 90 486 | 0.000 % | 0.10/0.13 c =============================================================================== 0.10/0.13 c New solution: 479 0.10/0.13 o 479 0.10/0.13 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s 0.10/0.13 c =============================================================================== 0.10/0.13 c | 145 | 500 7348 26107 | 5000 145 484 | 0.000 % | 0.10/0.14 c =============================================================================== 0.10/0.14 c New solution: 478 0.10/0.14 o 478 0.10/0.14 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s 0.10/0.14 c =============================================================================== 0.10/0.14 c | 171 | 500 7349 26607 | 5000 171 484 | 0.000 % | 0.10/0.15 c | 271 | 500 7349 26607 | 5500 271 482 | 86.350 % | 0.10/0.16 c =============================================================================== 0.10/0.16 c New solution: 477 0.10/0.16 o 477 0.10/0.16 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s 0.10/0.16 c =============================================================================== 0.10/0.16 c | 317 | 500 7350 27107 | 5000 317 481 | 86.350 % | 0.10/0.18 c | 417 | 500 7350 27107 | 5500 417 480 | 86.350 % | 0.10/0.18 c =============================================================================== 0.10/0.18 c New solution: 476 0.10/0.18 o 476 0.10/0.18 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s 0.10/0.18 c =============================================================================== 0.10/0.18 c | 417 | 500 7351 27607 | 5000 417 480 | 86.350 % | 0.19/0.20 c | 518 | 500 7351 27607 | 5500 518 480 | 86.350 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 475 0.19/0.22 o 475 0.19/0.22 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 612 | 500 7352 28107 | 5000 612 479 | 86.350 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 474 0.19/0.23 o 474 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 | 657 | 500 7353 28607 | 5000 657 479 | 86.350 % | 0.19/0.25 c | 758 | 500 7353 28607 | 5500 758 478 | 86.350 % | 0.19/0.28 c | 909 | 500 7353 28607 | 6050 909 478 | 86.350 % | 0.29/0.32 c | 1134 | 500 7353 28607 | 6655 1134 477 | 86.350 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 473 0.29/0.34 o 473 0.29/0.34 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 1222 | 500 7354 29107 | 5000 1222 477 | 86.350 % | 0.29/0.37 c | 1324 | 500 7354 29107 | 5500 1324 477 | 86.350 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 472 0.29/0.39 o 472 0.29/0.39 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 1443 | 500 7355 29607 | 5000 1443 476 | 86.350 % | 0.39/0.42 c | 1545 | 500 7355 29607 | 5500 1545 476 | 86.350 % | 0.39/0.45 c | 1695 | 500 7355 29607 | 6050 1695 476 | 86.350 % | 0.49/0.50 c | 1920 | 500 7355 29607 | 6655 1920 476 | 86.350 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 471 0.49/0.55 o 471 0.49/0.55 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 2103 | 500 7356 30107 | 5000 2103 475 | 86.350 % | 0.49/0.58 c | 2203 | 500 7356 30107 | 5500 2203 475 | 86.350 % | 0.59/0.62 c | 2354 | 500 7356 30107 | 6050 2354 475 | 86.350 % | 0.59/0.68 c | 2580 | 500 7356 30107 | 6655 2580 475 | 86.350 % | 0.69/0.76 c | 2918 | 500 7356 30107 | 7320 2918 474 | 86.350 % | 0.79/0.87 c | 3425 | 500 7356 30107 | 8052 3425 474 | 86.350 % | 1.00/1.05 c | 4186 | 500 7356 30107 | 8857 4186 474 | 86.350 % | 1.00/1.07 c =============================================================================== 1.00/1.07 c New solution: 470 1.00/1.07 o 470 1.00/1.07 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s 1.00/1.07 c =============================================================================== 1.00/1.07 c | 4238 | 500 7357 30607 | 5000 4238 474 | 86.350 % | 1.00/1.10 c | 4338 | 500 7357 30607 | 5500 4338 474 | 86.350 % | 1.10/1.14 c | 4489 | 500 7357 30607 | 6050 4489 473 | 86.350 % | 1.19/1.21 c | 4716 | 500 7357 30607 | 6655 4716 473 | 86.350 % | 1.19/1.26 c =============================================================================== 1.19/1.26 c New solution: 469 1.19/1.26 o 469 1.19/1.26 c Elapsed CPU time: 1.22481 s Remaining CPU time: 178.775 s 1.19/1.26 c =============================================================================== 1.19/1.26 c | 4913 | 500 7358 31107 | 5000 4913 473 | 86.350 % | 1.29/1.30 c | 5014 | 500 7358 31107 | 5500 5014 473 | 86.350 % | 1.29/1.35 c | 5165 | 500 7358 31107 | 6050 5165 473 | 86.350 % | 1.39/1.40 c | 5391 | 500 7358 31107 | 6655 5391 473 | 86.350 % | 1.39/1.49 c | 5728 | 500 7358 31107 | 7320 5728 473 | 86.350 % | 1.59/1.64 c | 6234 | 500 7358 31107 | 8052 6234 472 | 86.350 % | 1.79/1.87 c | 6993 | 500 7358 31107 | 8857 6993 472 | 86.350 % | 2.10/2.12 c | 8133 | 500 7358 31107 | 9743 8133 472 | 86.350 % | 2.29/2.35 c =============================================================================== 2.29/2.35 c New solution: 468 2.29/2.35 o 468 2.29/2.35 c Elapsed CPU time: 2.30165 s Remaining CPU time: 177.698 s 2.29/2.35 c =============================================================================== 2.29/2.35 c | 9168 | 500 7359 31607 | 5000 9168 472 | 86.350 % | 2.39/2.48 c | 9268 | 500 7359 31607 | 5500 4684 470 | 86.350 % | 2.49/2.52 c | 9419 | 500 7359 31607 | 6050 4835 470 | 86.350 % | 2.49/2.59 c | 9644 | 500 7359 31607 | 6655 5060 470 | 86.350 % | 2.59/2.69 c | 9981 | 500 7359 31607 | 7320 5397 470 | 86.350 % | 2.79/2.83 c | 10487 | 500 7359 31607 | 8052 5903 470 | 86.350 % | 2.99/3.01 c =============================================================================== 2.99/3.01 c New solution: 467 2.99/3.01 o 467 2.99/3.01 c Elapsed CPU time: 2.95155 s Remaining CPU time: 177.048 s 2.99/3.01 c =============================================================================== 2.99/3.01 c | 11046 | 500 7360 32107 | 5000 6462 470 | 86.350 % | 2.99/3.05 c | 11146 | 500 7360 32107 | 5500 6562 470 | 86.350 % | 3.09/3.10 c | 11296 | 500 7360 32107 | 6050 6712 470 | 86.350 % | 3.09/3.18 c | 11522 | 500 7360 32107 | 6655 6938 470 | 86.350 % | 3.19/3.25 c =============================================================================== 3.19/3.25 c New solution: 466 3.19/3.25 o 466 3.19/3.25 c Elapsed CPU time: 3.18452 s Remaining CPU time: 176.815 s 3.19/3.25 c =============================================================================== 3.19/3.25 c | 11782 | 500 7361 32607 | 5000 7198 470 | 86.350 % | 3.30/3.31 c | 11884 | 500 7361 32607 | 5500 7300 470 | 86.350 % | 3.30/3.36 c | 12034 | 500 7361 32607 | 6050 7450 470 | 86.350 % | 3.30/3.39 c =============================================================================== 3.30/3.39 c New solution: 465 3.30/3.39 o 465 3.30/3.39 c Elapsed CPU time: 3.31849 s Remaining CPU time: 176.682 s 3.30/3.39 c =============================================================================== 3.30/3.39 c | 12103 | 500 7362 33107 | 5000 7519 470 | 86.350 % | 3.39/3.42 c | 12203 | 500 7362 33107 | 5500 7619 469 | 86.350 % | 3.39/3.47 c | 12353 | 500 7362 33107 | 6050 7769 469 | 86.350 % | 3.49/3.54 c | 12579 | 500 7362 33107 | 6655 7995 469 | 86.350 % | 3.59/3.66 c | 12916 | 500 7362 33107 | 7320 8332 469 | 86.350 % | 3.69/3.75 c =============================================================================== 3.69/3.75 c New solution: 464 3.69/3.75 o 464 3.69/3.75 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s 3.69/3.75 c =============================================================================== 3.69/3.75 c | 13221 | 500 7363 33607 | 5000 8637 469 | 86.350 % | 3.79/3.83 c | 13321 | 500 7363 33607 | 5500 4419 469 | 86.350 % | 3.79/3.88 c | 13473 | 500 7363 33607 | 6050 4571 468 | 86.350 % | 3.89/3.96 c | 13699 | 500 7363 33607 | 6655 4797 468 | 86.350 % | 3.99/4.05 c | 14036 | 500 7363 33607 | 7320 5134 468 | 86.350 % | 4.19/4.21 c | 14543 | 500 7363 33607 | 8052 5641 468 | 86.350 % | 4.19/4.25 c =============================================================================== 4.19/4.25 c New solution: 463 4.19/4.25 o 463 4.19/4.25 c Elapsed CPU time: 4.16437 s Remaining CPU time: 175.836 s 4.19/4.25 c =============================================================================== 4.19/4.25 c | 14660 | 500 7364 34107 | 5000 5758 468 | 86.350 % | 4.19/4.28 c | 14760 | 500 7364 34107 | 5500 5858 468 | 86.350 % | 4.29/4.34 c | 14911 | 500 7364 34107 | 6050 6009 468 | 86.350 % | 4.29/4.38 c =============================================================================== 4.29/4.38 c New solution: 462 4.29/4.38 o 462 4.29/4.38 c Elapsed CPU time: 4.29935 s Remaining CPU time: 175.701 s 4.29/4.38 c =============================================================================== 4.29/4.38 c | 15050 | 500 7365 34607 | 5000 6148 467 | 86.350 % | 4.39/4.42 c | 15150 | 500 7365 34607 | 5500 6248 467 | 86.350 % | 4.39/4.47 c =============================================================================== 4.39/4.47 c New solution: 461 4.39/4.47 o 461 4.39/4.47 c Elapsed CPU time: 4.38333 s Remaining CPU time: 175.617 s 4.39/4.47 c =============================================================================== 4.39/4.47 c | 15299 | 500 7366 35107 | 5000 6397 467 | 86.350 % | 4.49/4.50 c | 15400 | 500 7366 35107 | 5500 6498 467 | 86.350 % | 4.49/4.54 c | 15552 | 500 7366 35107 | 6050 6650 467 | 86.350 % | 4.59/4.61 c | 15777 | 500 7366 35107 | 6655 6875 467 | 86.350 % | 4.69/4.76 c | 16115 | 500 7366 35107 | 7320 7213 467 | 86.350 % | 4.89/4.97 c | 16622 | 500 7366 35107 | 8052 7720 467 | 86.350 % | 5.19/5.21 c | 17383 | 500 7366 35107 | 8857 8481 466 | 86.350 % | 5.69/5.77 c | 18523 | 500 7366 35107 | 9743 9621 466 | 86.350 % | 6.69/6.74 c | 20233 | 500 7366 35107 | 10717 11331 465 | 86.350 % | 8.19/8.24 c | 22797 | 500 7366 35107 | 11789 13895 465 | 86.350 % | 11.49/11.53 c | 26641 | 500 7366 35107 | 12968 10032 462 | 86.350 % | 15.19/15.26 c | 32408 | 500 7366 35107 | 14265 15799 462 | 86.350 % | 18.39/18.49 c =============================================================================== 18.39/18.49 c New solution: 460 18.39/18.49 o 460 18.39/18.49 c Elapsed CPU time: 18.2782 s Remaining CPU time: 161.722 s 18.39/18.49 c =============================================================================== 18.39/18.49 c | 40885 | 500 7367 35607 | 5000 15333 462 | 86.350 % | 18.60/18.67 c | 40985 | 500 7367 35607 | 5500 7767 461 | 86.350 % | 18.70/18.70 c | 41135 | 500 7367 35607 | 6050 7917 461 | 86.350 % | 18.70/18.77 c | 41360 | 500 7367 35607 | 6655 8142 461 | 86.350 % | 18.98/19.00 c | 41698 | 500 7367 35607 | 7320 8480 461 | 86.350 % | 19.08/19.11 c =============================================================================== 19.08/19.11 c New solution: 459 19.08/19.11 o 459 19.08/19.11 c Elapsed CPU time: 18.8921 s Remaining CPU time: 161.108 s 19.08/19.11 c =============================================================================== 19.08/19.11 c | 41880 | 500 7368 36107 | 5000 8662 461 | 86.350 % | 19.18/19.25 c | 41982 | 500 7368 36107 | 5500 4433 461 | 86.350 % | 19.28/19.33 c | 42133 | 500 7368 36107 | 6050 4584 461 | 86.350 % | 19.39/19.42 c | 42358 | 500 7368 36107 | 6655 4809 461 | 86.350 % | 19.49/19.57 c | 42695 | 500 7368 36107 | 7320 5146 461 | 86.350 % | 19.80/19.81 c | 43201 | 500 7368 36107 | 8052 5652 461 | 86.350 % | 19.99/20.07 c | 43961 | 500 7368 36107 | 8857 6412 461 | 86.350 % | 20.39/20.46 c | 45100 | 500 7368 36107 | 9743 7551 460 | 86.350 % | 21.09/21.10 c | 46808 | 500 7368 36107 | 10717 9259 460 | 86.350 % | 21.99/22.02 c | 49371 | 500 7368 36107 | 11789 11822 460 | 86.350 % | 23.29/23.30 c | 53215 | 500 7368 36107 | 12968 7959 459 | 86.350 % | 24.98/25.02 c | 58981 | 500 7368 36107 | 14265 13725 459 | 86.350 % | 27.89/27.90 c | 67631 | 500 7368 36107 | 15692 13432 460 | 86.350 % | 29.29/29.37 c =============================================================================== 29.29/29.37 c New solution: 458 29.29/29.37 o 458 29.29/29.37 c Elapsed CPU time: 29.0146 s Remaining CPU time: 150.985 s 29.29/29.37 c =============================================================================== 29.29/29.37 c | 71372 | 500 7369 36607 | 5000 17173 460 | 86.350 % | 29.60/29.70 c | 71472 | 500 7369 36607 | 5500 4394 460 | 86.350 % | 29.69/29.75 c | 71622 | 500 7369 36607 | 6050 4544 460 | 86.350 % | 29.79/29.81 c | 71848 | 500 7369 36607 | 6655 4770 460 | 86.350 % | 29.88/29.91 c | 72186 | 500 7369 36607 | 7320 5108 460 | 86.350 % | 30.08/30.13 c | 72692 | 500 7369 36607 | 8052 5614 460 | 86.350 % | 30.38/30.41 c | 73451 | 500 7369 36607 | 8857 6373 460 | 86.350 % | 30.89/30.92 c | 74591 | 500 7369 36607 | 9743 7513 460 | 86.350 % | 31.69/31.75 c | 76300 | 500 7369 36607 | 10717 9222 459 | 86.350 % | 32.68/32.73 c | 78863 | 500 7369 36607 | 11789 11785 459 | 86.350 % | 34.18/34.20 c | 82708 | 500 7369 36607 | 12968 7922 459 | 86.350 % | 36.59/36.64 c | 88475 | 500 7369 36607 | 14265 13689 459 | 86.350 % | 39.98/40.06 c =============================================================================== 39.98/40.06 c New solution: 457 39.98/40.06 o 457 39.98/40.06 c Elapsed CPU time: 39.588 s Remaining CPU time: 140.412 s 39.98/40.06 c =============================================================================== 39.98/40.06 c | 95497 | 500 7370 37107 | 5000 11766 459 | 86.350 % | 40.08/40.18 c | 95599 | 500 7370 37107 | 5500 5985 459 | 86.350 % | 40.18/40.22 c | 95750 | 500 7370 37107 | 6050 6136 459 | 86.350 % | 40.28/40.32 c | 95975 | 500 7370 37107 | 6655 6361 459 | 86.350 % | 40.38/40.43 c | 96313 | 500 7370 37107 | 7320 6699 459 | 86.350 % | 40.59/40.62 c | 96819 | 500 7370 37107 | 8052 7205 458 | 86.350 % | 40.69/40.79 c | 97579 | 500 7370 37107 | 8857 7965 458 | 86.350 % | 41.08/41.11 c | 98718 | 500 7370 37107 | 9743 9104 458 | 86.350 % | 41.79/41.80 c | 100427 | 500 7370 37107 | 10717 10813 458 | 86.350 % | 43.38/43.46 c | 102990 | 500 7370 37107 | 11789 13376 458 | 86.350 % | 44.78/44.86 c | 106834 | 500 7370 37107 | 12968 9515 458 | 86.350 % | 46.58/46.68 c | 112601 | 500 7370 37107 | 14265 15282 457 | 86.350 % | 50.58/50.68 c | 121251 | 500 7370 37107 | 15692 14988 457 | 86.350 % | 55.98/56.10 c | 134225 | 500 7370 37107 | 17261 18304 457 | 86.350 % | 73.57/73.67 c | 153686 | 500 7370 37107 | 18987 16881 458 | 86.350 % | 76.47/76.51 c =============================================================================== 76.47/76.51 c New solution: 456 76.47/76.51 o 456 76.47/76.51 c Elapsed CPU time: 75.7225 s Remaining CPU time: 104.278 s 76.47/76.51 c =============================================================================== 76.47/76.51 c | 159927 | 500 7371 37607 | 5000 11169 458 | 86.350 % | 76.57/76.66 c | 160028 | 500 7371 37607 | 5500 5686 458 | 86.350 % | 76.68/76.73 c | 160179 | 500 7371 37607 | 6050 5837 458 | 86.350 % | 76.78/76.83 c | 160405 | 500 7371 37607 | 6655 6063 458 | 86.350 % | 76.98/77.01 c | 160743 | 500 7371 37607 | 7320 6401 458 | 86.350 % | 76.98/77.05 c =============================================================================== 76.98/77.05 c New solution: 455 76.98/77.05 o 455 76.98/77.05 c Elapsed CPU time: 76.2604 s Remaining CPU time: 103.74 s 76.98/77.05 c =============================================================================== 76.98/77.05 c | 160839 | 500 7372 38107 | 5000 6497 458 | 86.350 % | 77.07/77.10 c | 160939 | 500 7372 38107 | 5500 6597 458 | 86.350 % | 77.07/77.16 c | 161089 | 500 7372 38107 | 6050 6747 458 | 86.350 % | 77.28/77.31 c | 161314 | 500 7372 38107 | 6655 6972 457 | 86.350 % | 77.47/77.58 c | 161652 | 500 7372 38107 | 7320 7310 457 | 86.350 % | 77.67/77.75 c | 162159 | 500 7372 38107 | 8052 7817 457 | 86.350 % | 78.08/78.15 c | 162920 | 500 7372 38107 | 8857 8578 457 | 86.350 % | 78.67/78.72 c | 164059 | 500 7372 38107 | 9743 9717 457 | 86.350 % | 79.47/79.52 c | 165769 | 500 7372 38107 | 10717 11427 457 | 86.350 % | 80.57/80.69 c | 168331 | 500 7372 38107 | 11789 13989 457 | 86.350 % | 82.87/82.90 c | 172176 | 500 7372 38107 | 12968 10132 456 | 86.350 % | 86.97/87.02 c | 177943 | 500 7372 38107 | 14265 15899 456 | 86.350 % | 91.57/91.62 c | 186593 | 500 7372 38107 | 15692 15608 456 | 86.350 % | 98.27/98.33 c | 199567 | 500 7372 38107 | 17261 18926 456 | 86.350 % | 108.07/108.13 c | 219028 | 500 7372 38107 | 18987 17505 456 | 86.350 % | 120.97/121.03 c | 248220 | 500 7372 38107 | 20886 10908 456 | 86.350 % | 141.66/141.78 c | 292011 | 500 7372 38107 | 22974 13473 456 | 86.350 % | 181.65/181.70 c There are 3163 assigned variables. 0 in cost function. 181.95/182.07 c core #1 181.95/182.07 c #cores: 1 181.95/182.07 c Final Weight: 455 181.95/182.07 o 455 181.95/182.07 s OPTIMUM FOUND 181.95/182.07 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -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 181.95/182.07 c Total CPU time: 180.371 s
OK -45
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702458-1278568133/watcher-2702458-1278568133 -o /tmp/evaluation-result-2702458-1278568133/solver-2702458-1278568133 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702458-1278568133.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 31549 /proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=3420 CPUtime=0 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 425 0 0 0 0 0 0 0 18 0 1 0 25020485 3502080 344 1992294400 134512640 135751879 4289050880 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 855 344 143 303 0 483 0 [startup+0.011172 s] /proc/loadavg: 0.99 0.98 0.99 3/106 31549 /proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=3420 CPUtime=0.01 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 435 0 0 0 1 0 0 0 18 0 1 0 25020485 3502080 354 1992294400 134512640 135751879 4289050880 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 855 354 146 303 0 483 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3420 [startup+0.101181 s] /proc/loadavg: 0.99 0.98 0.99 3/106 31549 /proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=4536 CPUtime=0.1 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 833 0 0 0 9 1 0 0 21 0 1 0 25020485 4644864 685 1992294400 134512640 135751879 4289050880 18446744073709551615 134607436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 1134 685 146 303 0 829 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4536 [startup+0.300203 s] /proc/loadavg: 0.99 0.98 0.99 3/106 31549 /proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=6200 CPUtime=0.29 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 1251 0 0 0 28 1 0 0 21 0 1 0 25020485 6348800 1103 1992294400 134512640 135751879 4289050880 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 1550 1103 147 303 0 1245 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6200 [startup+0.700246 s] /proc/loadavg: 0.99 0.98 0.99 3/106 31549 /proc/meminfo: memFree=1539272/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=9552 CPUtime=0.69 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 2078 0 0 0 66 3 0 0 22 0 1 0 25020485 9781248 1930 1992294400 134512640 135751879 4289050880 18446744073709551615 135420558 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 2388 1930 147 303 0 2083 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9552 [startup+1.50033 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31550 /proc/meminfo: memFree=1529840/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=15604 CPUtime=1.49 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 3610 0 0 0 146 3 0 0 25 0 1 0 25020485 15978496 3462 1992294400 134512640 135751879 4289050880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 3901 3462 147 303 0 3596 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15604 [startup+3.1005 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31550 /proc/meminfo: memFree=1521532/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=26528 CPUtime=3.09 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 6322 0 0 0 303 6 0 0 25 0 1 0 25020485 27164672 6174 1992294400 134512640 135751879 4289050880 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 6632 6174 148 303 0 6327 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26528 [startup+6.30085 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31550 /proc/meminfo: memFree=1502560/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=42304 CPUtime=6.29 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 10283 0 0 0 618 11 0 0 25 0 1 0 25020485 43319296 10135 1992294400 134512640 135751879 4289050880 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 10576 10135 148 303 0 10271 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42304 [startup+12.7015 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31551 /proc/meminfo: memFree=1484084/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=59256 CPUtime=12.69 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 14531 0 0 0 1253 16 0 0 25 0 1 0 25020485 60678144 14383 1992294400 134512640 135751879 4289050880 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 14814 14383 148 303 0 14509 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59256 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31552 /proc/meminfo: memFree=1422456/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=121204 CPUtime=25.49 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 29998 0 0 0 2520 29 0 0 25 0 1 0 25020485 124112896 29850 1992294400 134512640 135751879 4289050880 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 30301 29850 148 303 0 29996 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 121204 [startup+51.1017 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31552 /proc/meminfo: memFree=1305400/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=238128 CPUtime=51.08 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 59223 0 0 0 5050 58 0 0 25 0 1 0 25020485 243843072 59075 1992294400 134512640 135751879 4289050880 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 59532 59075 148 303 0 59227 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 238128 [startup+102.309 s] /proc/loadavg: 1.03 1.00 1.00 2/107 31554 /proc/meminfo: memFree=1140604/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=400628 CPUtime=102.27 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 99805 0 0 0 10128 99 0 0 25 0 1 0 25020485 410243072 99657 1992294400 134512640 135751879 4289050880 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 100157 99657 148 303 0 99852 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 400628 [startup+162.302 s] /proc/loadavg: 1.05 1.01 1.00 2/107 31555 /proc/meminfo: memFree=931168/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=610776 CPUtime=162.25 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 152299 0 0 0 16076 149 0 0 25 0 1 0 25020485 625434624 152151 1992294400 134512640 135751879 4289050880 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 152694 152151 148 303 0 152389 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 610776 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.12 1.03 1.01 2/107 31555 /proc/meminfo: memFree=915048/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=626788 CPUtime=166.25 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 156318 0 0 0 16472 153 0 0 25 0 1 0 25020485 641830912 156170 1992294400 134512640 135751879 4289050880 18446744073709551615 134606237 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 156697 156170 148 303 0 156392 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 626788 [startup+172.708 s] /proc/loadavg: 1.11 1.03 1.00 2/107 31556 /proc/meminfo: memFree=890868/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=650224 CPUtime=172.65 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 162175 0 0 0 17106 159 0 0 25 0 1 0 25020485 665829376 162027 1992294400 134512640 135751879 4289050880 18446744073709551615 134606557 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 162556 162027 148 303 0 162251 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 650224 [startup+179.101 s] /proc/loadavg: 1.09 1.03 1.00 2/107 31556 /proc/meminfo: memFree=871648/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=670080 CPUtime=179.05 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 167144 0 0 0 17742 163 0 0 25 0 1 0 25020485 686161920 166996 1992294400 134512640 135751879 4289050880 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 167520 166996 148 303 0 167215 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 670080 [startup+180.701 s] /proc/loadavg: 1.09 1.03 1.00 2/107 31556 /proc/meminfo: memFree=868424/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=672780 CPUtime=180.65 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 167815 0 0 0 17901 164 0 0 25 0 1 0 25020485 688926720 167667 1992294400 134512640 135751879 4289050880 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 168195 167667 148 303 0 167890 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 672780 [startup+181.508 s] /proc/loadavg: 1.09 1.03 1.00 2/107 31556 /proc/meminfo: memFree=865696/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=675212 CPUtime=181.45 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 168421 0 0 0 17980 165 0 0 25 0 1 0 25020485 691417088 168273 1992294400 134512640 135751879 4289050880 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 168803 168273 148 303 0 168498 0 Current children cumulated CPU time (s) 181.45 Current children cumulated vsize (KiB) 675212 [startup+181.901 s] /proc/loadavg: 1.09 1.03 1.00 2/107 31556 /proc/meminfo: memFree=865696/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=676904 CPUtime=181.85 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202496 168841 0 0 0 18020 165 0 0 25 0 1 0 25020485 693149696 168693 1992294400 134512640 135751879 4289050880 18446744073709551615 134522069 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31549/statm: 169226 168693 149 303 0 168921 0 Current children cumulated CPU time (s) 181.85 Current children cumulated vsize (KiB) 676904 [startup+182.101 s] /proc/loadavg: 1.09 1.03 1.00 2/107 31556 /proc/meminfo: memFree=865696/2059040 swapFree=4165016/4192956 [pid=31549] ppid=31547 vsize=0 CPUtime=182.05 /proc/31549/stat : 31549 (wbo1.4b) R 31547 31549 31021 0 -1 4202500 168842 0 0 0 18037 168 0 0 25 0 1 0 25020485 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31549/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 182.134 CPU time (s): 182.088 CPU user time (s): 180.371 CPU system time (s): 1.71774 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 676904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.371 system time used= 1.71774 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 168842 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= 7 involuntary context switches= 274 runsolver used 0.304953 second user time and 0.869867 second system time The end
Begin job on node047 at 2010-07-08 07:48:53 IDJOB=2702458 IDBENCH=48164 IDSOLVER=1161 FILE ID=node047/2702458-1278568133 PBS_JOBID= 11239566 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_4.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-2702458-1278568133/watcher-2702458-1278568133 -o /tmp/evaluation-result-2702458-1278568133/solver-2702458-1278568133 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702458-1278568133.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402 RANDOM SEED=726007860 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: 1540296 kB Buffers: 85704 kB Cached: 309212 kB SwapCached: 1388 kB Active: 181780 kB Inactive: 246464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1540296 kB SwapTotal: 4192956 kB SwapFree: 4165016 kB Dirty: 2936 kB Writeback: 0 kB AnonPages: 32016 kB Mapped: 13468 kB Slab: 68524 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179384 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-2702458-1278568133.opb Free space on /tmp at the end= 62492 MiB End job on node047 at 2010-07-08 07:51:56