Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -48 | 182.29 | 182.335 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb |
MD5SUM | 0247ef4de041bbff376811a7e6bf0408 |
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 | -114 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -110 |
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 | 22 |
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) | 6316 |
Sum of products size (including duplicates) | 12632 |
Number of different products | 3158 |
Sum of products size | 6316 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702504-1278568629.opb. 0.00/0.00 c Instance file HOME/instance-2702504-1278568629.opb 0.00/0.00 c File size is 270643 bytes. 0.00/0.04 c Highest Coefficient sum: 22 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: 3658 | 0.00/0.04 c | Number Clauses: 3158 | 0.00/0.04 c | Number Cardinality: 1000 | 0.00/0.04 c | Number PB Constraints: 3158 | 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 7316 15167 | 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.052991 s Remaining CPU time: 179.947 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 500 7317 15667 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 499 0.00/0.05 o 499 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 500 7318 16167 | 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.055991 s Remaining CPU time: 179.944 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7319 16667 | 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.056991 s Remaining CPU time: 179.943 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7320 17167 | 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.058991 s Remaining CPU time: 179.941 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7321 17667 | 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.06099 s Remaining CPU time: 179.939 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7322 18167 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 494 0.00/0.06 o 494 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7323 18667 | 5000 0 nan | 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.06499 s Remaining CPU time: 179.935 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 500 7324 19167 | 5000 0 nan | 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.066989 s Remaining CPU time: 179.933 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 1 | 500 7325 19667 | 5000 1 493 | 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.069989 s Remaining CPU time: 179.93 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 2 | 500 7326 20167 | 5000 2 492 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 490 0.00/0.07 o 490 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 5 | 500 7327 20667 | 5000 5 492 | 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.073988 s Remaining CPU time: 179.926 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 8 | 500 7328 21167 | 5000 8 491 | 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.076988 s Remaining CPU time: 179.923 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 14 | 500 7329 21667 | 5000 14 490 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 487 0.00/0.08 o 487 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 17 | 500 7330 22167 | 5000 17 490 | 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.081987 s Remaining CPU time: 179.918 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 23 | 500 7331 22667 | 5000 23 489 | 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.084987 s Remaining CPU time: 179.915 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 27 | 500 7332 23167 | 5000 27 489 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 484 0.09/0.10 o 484 0.09/0.10 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 64 | 500 7333 23667 | 5000 64 487 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 483 0.09/0.10 o 483 0.09/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 75 | 500 7334 24167 | 5000 75 486 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 482 0.09/0.11 o 482 0.09/0.11 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 94 | 500 7335 24667 | 5000 94 486 | 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.108983 s Remaining CPU time: 179.891 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 113 | 500 7336 25167 | 5000 113 485 | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 480 0.09/0.12 o 480 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 145 | 500 7337 25667 | 5000 145 484 | 0.000 % | 0.09/0.14 c | 245 | 500 7337 25667 | 5500 245 483 | 86.331 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 479 0.09/0.15 o 479 0.09/0.15 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 321 | 500 7338 26167 | 5000 321 482 | 86.331 % | 0.09/0.17 c | 422 | 500 7338 26167 | 5500 422 482 | 86.331 % | 0.09/0.19 c | 572 | 500 7338 26167 | 6050 572 481 | 86.331 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 478 0.19/0.21 o 478 0.19/0.21 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 659 | 500 7339 26667 | 5000 659 481 | 86.331 % | 0.19/0.23 c | 760 | 500 7339 26667 | 5500 760 480 | 86.331 % | 0.19/0.25 c | 911 | 500 7339 26667 | 6050 911 480 | 86.331 % | 0.19/0.29 c | 1137 | 500 7339 26667 | 6655 1137 480 | 86.331 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 477 0.29/0.33 o 477 0.29/0.33 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 1413 | 500 7340 27167 | 5000 1413 479 | 86.331 % | 0.29/0.35 c | 1514 | 500 7340 27167 | 5500 1514 479 | 86.331 % | 0.29/0.38 c | 1665 | 500 7340 27167 | 6050 1665 479 | 86.331 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 476 0.29/0.39 o 476 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 | 1734 | 500 7341 27667 | 5000 1734 479 | 86.331 % | 0.40/0.40 c =============================================================================== 0.40/0.40 c New solution: 475 0.40/0.40 o 475 0.40/0.40 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s 0.40/0.40 c =============================================================================== 0.40/0.40 c | 1746 | 500 7342 28167 | 5000 1746 479 | 86.331 % | 0.40/0.41 c =============================================================================== 0.40/0.41 c New solution: 474 0.40/0.41 o 474 0.40/0.41 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s 0.40/0.41 c =============================================================================== 0.40/0.41 c | 1806 | 500 7343 28667 | 5000 1806 479 | 86.331 % | 0.40/0.43 c =============================================================================== 0.40/0.43 c New solution: 473 0.40/0.43 o 473 0.40/0.43 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s 0.40/0.43 c =============================================================================== 0.40/0.43 c | 1867 | 500 7344 29167 | 5000 1867 479 | 86.331 % | 0.40/0.45 c =============================================================================== 0.40/0.45 c New solution: 472 0.40/0.45 o 472 0.40/0.45 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s 0.40/0.45 c =============================================================================== 0.40/0.45 c | 1938 | 500 7345 29667 | 5000 1938 479 | 86.331 % | 0.40/0.47 c | 2038 | 500 7345 29667 | 5500 2038 478 | 86.331 % | 0.40/0.48 c =============================================================================== 0.40/0.48 c New solution: 471 0.40/0.48 o 471 0.40/0.48 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s 0.40/0.48 c =============================================================================== 0.40/0.48 c | 2074 | 500 7346 30167 | 5000 2074 478 | 86.331 % | 0.49/0.50 c | 2174 | 500 7346 30167 | 5500 2174 478 | 86.331 % | 0.49/0.53 c | 2325 | 500 7346 30167 | 6050 2325 478 | 86.331 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 470 0.49/0.56 o 470 0.49/0.56 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 2444 | 500 7347 30667 | 5000 2444 477 | 86.331 % | 0.49/0.60 c | 2544 | 500 7347 30667 | 5500 2544 477 | 86.331 % | 0.59/0.63 c | 2694 | 500 7347 30667 | 6050 2694 477 | 86.331 % | 0.59/0.69 c | 2919 | 500 7347 30667 | 6655 2919 476 | 86.331 % | 0.69/0.77 c | 3256 | 500 7347 30667 | 7320 3256 476 | 86.331 % | 0.79/0.89 c | 3763 | 500 7347 30667 | 8052 3763 475 | 86.331 % | 1.10/1.13 c | 4522 | 500 7347 30667 | 8857 4522 474 | 86.331 % | 1.39/1.47 c | 5661 | 500 7347 30667 | 9743 5661 474 | 86.331 % | 2.09/2.18 c | 7370 | 500 7347 30667 | 10717 7370 473 | 86.331 % | 2.99/3.05 c | 9932 | 500 7347 30667 | 11789 9932 473 | 86.331 % | 3.89/3.93 c | 13777 | 500 7347 30667 | 12968 13777 472 | 86.331 % | 5.99/6.03 c | 19544 | 500 7347 30667 | 14265 11244 471 | 86.331 % | 7.19/7.22 c =============================================================================== 7.19/7.22 c New solution: 469 7.19/7.22 o 469 7.19/7.22 c Elapsed CPU time: 7.08892 s Remaining CPU time: 172.911 s 7.19/7.22 c =============================================================================== 7.19/7.22 c | 21256 | 500 7348 31167 | 5000 12956 471 | 86.331 % | 7.29/7.37 c | 21356 | 500 7348 31167 | 5500 6578 471 | 86.331 % | 7.39/7.42 c | 21506 | 500 7348 31167 | 6050 6728 471 | 86.331 % | 7.49/7.50 c | 21731 | 500 7348 31167 | 6655 6953 471 | 86.331 % | 7.59/7.66 c | 22068 | 500 7348 31167 | 7320 7290 471 | 86.331 % | 7.79/7.85 c =============================================================================== 7.79/7.85 c New solution: 468 7.79/7.85 o 468 7.79/7.85 c Elapsed CPU time: 7.71083 s Remaining CPU time: 172.289 s 7.79/7.85 c =============================================================================== 7.79/7.85 c | 22542 | 500 7349 31667 | 5000 7764 471 | 86.331 % | 7.79/7.89 c | 22642 | 500 7349 31667 | 5500 7864 471 | 86.331 % | 7.89/7.95 c | 22792 | 500 7349 31667 | 6050 8014 470 | 86.331 % | 7.99/8.04 c | 23019 | 500 7349 31667 | 6655 8241 471 | 86.331 % | 8.09/8.18 c | 23357 | 500 7349 31667 | 7320 8579 470 | 86.331 % | 8.28/8.39 c | 23864 | 500 7349 31667 | 8052 9086 470 | 86.331 % | 8.69/8.76 c | 24625 | 500 7349 31667 | 8857 9847 470 | 86.331 % | 9.09/9.16 c | 25764 | 500 7349 31667 | 9743 10986 470 | 86.331 % | 9.49/9.54 c | 27472 | 500 7349 31667 | 10717 12694 470 | 86.331 % | 9.49/9.57 c =============================================================================== 9.49/9.57 c New solution: 467 9.49/9.57 o 467 9.49/9.57 c Elapsed CPU time: 9.40457 s Remaining CPU time: 170.595 s 9.49/9.57 c =============================================================================== 9.49/9.57 c | 27578 | 500 7350 32167 | 5000 12800 470 | 86.331 % | 9.68/9.76 c | 27680 | 500 7350 32167 | 5500 6502 469 | 86.331 % | 9.79/9.81 c | 27832 | 500 7350 32167 | 6050 6654 469 | 86.331 % | 9.79/9.88 c | 28057 | 500 7350 32167 | 6655 6879 469 | 86.331 % | 9.90/9.95 c | 28395 | 500 7350 32167 | 7320 7217 469 | 86.331 % | 9.99/10.09 c | 28902 | 500 7350 32167 | 8052 7724 469 | 86.331 % | 10.19/10.25 c | 29661 | 500 7350 32167 | 8857 8483 469 | 86.331 % | 10.39/10.48 c | 30801 | 500 7350 32167 | 9743 9623 469 | 86.331 % | 11.00/11.06 c | 32510 | 500 7350 32167 | 10717 11332 468 | 86.331 % | 11.69/11.74 c =============================================================================== 11.69/11.74 c New solution: 466 11.69/11.74 o 466 11.69/11.74 c Elapsed CPU time: 11.5362 s Remaining CPU time: 168.464 s 11.69/11.74 c =============================================================================== 11.69/11.74 c | 34637 | 500 7351 32667 | 5000 13459 468 | 86.331 % | 11.89/11.90 c | 34737 | 500 7351 32667 | 5500 6830 468 | 86.331 % | 11.89/11.99 c | 34889 | 500 7351 32667 | 6050 6982 468 | 86.331 % | 11.99/12.09 c | 35115 | 500 7351 32667 | 6655 7208 468 | 86.331 % | 12.10/12.11 c =============================================================================== 12.10/12.11 c New solution: 465 12.10/12.11 o 465 12.10/12.11 c Elapsed CPU time: 11.9022 s Remaining CPU time: 168.098 s 12.10/12.11 c =============================================================================== 12.10/12.11 c | 35129 | 500 7352 33167 | 5000 7222 468 | 86.331 % | 12.10/12.15 c | 35231 | 500 7352 33167 | 5500 7324 467 | 86.331 % | 12.19/12.24 c | 35382 | 500 7352 33167 | 6050 7475 467 | 86.331 % | 12.29/12.38 c | 35608 | 500 7352 33167 | 6655 7701 467 | 86.331 % | 12.39/12.48 c | 35946 | 500 7352 33167 | 7320 8039 467 | 86.331 % | 12.59/12.67 c | 36452 | 500 7352 33167 | 8052 8545 467 | 86.331 % | 12.89/12.94 c | 37212 | 500 7352 33167 | 8857 9305 467 | 86.331 % | 13.29/13.39 c | 38351 | 500 7352 33167 | 9743 10444 467 | 86.331 % | 14.08/14.11 c =============================================================================== 14.08/14.11 c New solution: 464 14.08/14.11 o 464 14.08/14.11 c Elapsed CPU time: 13.8719 s Remaining CPU time: 166.128 s 14.08/14.11 c =============================================================================== 14.08/14.11 c | 39726 | 500 7353 33667 | 5000 11819 467 | 86.331 % | 14.08/14.19 c | 39827 | 500 7353 33667 | 5500 6011 466 | 86.331 % | 14.19/14.23 c | 39978 | 500 7353 33667 | 6050 6162 466 | 86.331 % | 14.30/14.31 c | 40203 | 500 7353 33667 | 6655 6387 466 | 86.331 % | 14.39/14.40 c | 40541 | 500 7353 33667 | 7320 6725 466 | 86.331 % | 14.49/14.56 c | 41048 | 500 7353 33667 | 8052 7232 466 | 86.331 % | 14.69/14.79 c | 41807 | 500 7353 33667 | 8857 7991 466 | 86.331 % | 15.09/15.18 c | 42946 | 500 7353 33667 | 9743 9130 466 | 86.331 % | 15.89/15.90 c | 44654 | 500 7353 33667 | 10717 10838 465 | 86.331 % | 17.09/17.14 c =============================================================================== 17.09/17.14 c New solution: 463 17.09/17.14 o 463 17.09/17.14 c Elapsed CPU time: 16.8734 s Remaining CPU time: 163.127 s 17.09/17.14 c =============================================================================== 17.09/17.14 c | 46820 | 500 7354 34167 | 5000 13004 465 | 86.331 % | 17.29/17.30 c | 46920 | 500 7354 34167 | 5500 6602 465 | 86.331 % | 17.29/17.37 c | 47071 | 500 7354 34167 | 6050 6753 465 | 86.331 % | 17.39/17.44 c | 47296 | 500 7354 34167 | 6655 6978 465 | 86.331 % | 17.49/17.57 c | 47634 | 500 7354 34167 | 7320 7316 465 | 86.331 % | 17.69/17.76 c | 48140 | 500 7354 34167 | 8052 7822 465 | 86.331 % | 17.99/18.02 c | 48900 | 500 7354 34167 | 8857 8582 465 | 86.331 % | 18.29/18.33 c | 50039 | 500 7354 34167 | 9743 9721 464 | 86.331 % | 18.59/18.70 c =============================================================================== 18.59/18.70 c New solution: 462 18.59/18.70 o 462 18.59/18.70 c Elapsed CPU time: 18.4042 s Remaining CPU time: 161.596 s 18.59/18.70 c =============================================================================== 18.59/18.70 c | 51266 | 500 7355 34667 | 5000 10948 464 | 86.331 % | 18.79/18.80 c | 51366 | 500 7355 34667 | 5500 5574 464 | 86.331 % | 18.79/18.85 c | 51517 | 500 7355 34667 | 6050 5725 464 | 86.331 % | 18.88/18.91 c | 51744 | 500 7355 34667 | 6655 5952 464 | 86.331 % | 18.98/19.00 c | 52081 | 500 7355 34667 | 7320 6289 464 | 86.331 % | 19.09/19.12 c | 52588 | 500 7355 34667 | 8052 6796 464 | 86.331 % | 19.09/19.13 c =============================================================================== 19.09/19.13 c New solution: 461 19.09/19.13 o 461 19.09/19.13 c Elapsed CPU time: 18.8311 s Remaining CPU time: 161.169 s 19.09/19.13 c =============================================================================== 19.09/19.13 c | 52606 | 500 7356 35167 | 5000 6814 464 | 86.331 % | 19.09/19.17 c | 52706 | 500 7356 35167 | 5500 6914 464 | 86.331 % | 19.19/19.21 c | 52856 | 500 7356 35167 | 6050 7064 464 | 86.331 % | 19.19/19.30 c | 53082 | 500 7356 35167 | 6655 7290 464 | 86.331 % | 19.39/19.42 c | 53420 | 500 7356 35167 | 7320 7628 463 | 86.331 % | 19.49/19.57 c | 53926 | 500 7356 35167 | 8052 8134 463 | 86.331 % | 19.99/20.00 c | 54685 | 500 7356 35167 | 8857 8893 463 | 86.331 % | 20.39/20.41 c | 55824 | 500 7356 35167 | 9743 10032 463 | 86.331 % | 20.58/20.61 c =============================================================================== 20.58/20.61 c New solution: 460 20.58/20.61 o 460 20.58/20.61 c Elapsed CPU time: 20.2909 s Remaining CPU time: 159.709 s 20.58/20.61 c =============================================================================== 20.58/20.61 c | 56597 | 500 7357 35667 | 5000 10805 463 | 86.331 % | 20.58/20.69 c | 56698 | 500 7357 35667 | 5500 5504 462 | 86.331 % | 20.68/20.73 c | 56849 | 500 7357 35667 | 6050 5655 462 | 86.331 % | 20.79/20.81 c | 57074 | 500 7357 35667 | 6655 5880 462 | 86.331 % | 20.89/20.94 c | 57411 | 500 7357 35667 | 7320 6217 462 | 86.331 % | 20.99/21.09 c | 57918 | 500 7357 35667 | 8052 6724 462 | 86.331 % | 21.08/21.20 c =============================================================================== 21.08/21.20 c New solution: 459 21.08/21.20 o 459 21.08/21.20 c Elapsed CPU time: 20.8658 s Remaining CPU time: 159.134 s 21.08/21.20 c =============================================================================== 21.08/21.20 c | 58291 | 500 7358 36167 | 5000 7097 462 | 86.331 % | 21.18/21.24 c | 58391 | 500 7358 36167 | 5500 7197 462 | 86.331 % | 21.18/21.29 c | 58541 | 500 7358 36167 | 6050 7347 462 | 86.331 % | 21.29/21.37 c | 58766 | 500 7358 36167 | 6655 7572 462 | 86.331 % | 21.39/21.44 c | 59103 | 500 7358 36167 | 7320 7909 461 | 86.331 % | 21.49/21.56 c | 59609 | 500 7358 36167 | 8052 8415 461 | 86.331 % | 21.68/21.75 c | 60368 | 500 7358 36167 | 8857 9174 461 | 86.331 % | 22.09/22.10 c | 61507 | 500 7358 36167 | 9743 10313 461 | 86.331 % | 22.19/22.28 c =============================================================================== 22.19/22.28 c New solution: 458 22.19/22.28 o 458 22.19/22.28 c Elapsed CPU time: 21.9327 s Remaining CPU time: 158.067 s 22.19/22.28 c =============================================================================== 22.19/22.28 c | 62176 | 500 7359 36667 | 5000 10982 461 | 86.331 % | 22.28/22.38 c | 62277 | 500 7359 36667 | 5500 5592 460 | 86.331 % | 22.38/22.41 c | 62428 | 500 7359 36667 | 6050 5743 460 | 86.331 % | 22.38/22.48 c | 62653 | 500 7359 36667 | 6655 5968 460 | 86.331 % | 22.48/22.57 c | 62990 | 500 7359 36667 | 7320 6305 460 | 86.331 % | 22.69/22.79 c | 63498 | 500 7359 36667 | 8052 6813 460 | 86.331 % | 22.99/23.01 c | 64258 | 500 7359 36667 | 8857 7573 460 | 86.331 % | 23.38/23.43 c | 65397 | 500 7359 36667 | 9743 8712 460 | 86.331 % | 23.99/24.02 c | 67107 | 500 7359 36667 | 10717 10422 460 | 86.331 % | 25.38/25.42 c | 69669 | 500 7359 36667 | 11789 12984 459 | 86.331 % | 26.99/27.02 c | 73513 | 500 7359 36667 | 12968 9128 459 | 86.331 % | 28.88/28.98 c | 79279 | 500 7359 36667 | 14265 14894 459 | 86.331 % | 34.78/34.89 c | 87931 | 500 7359 36667 | 15692 14604 459 | 86.331 % | 35.48/35.54 c =============================================================================== 35.48/35.54 c New solution: 457 35.48/35.54 o 457 35.48/35.54 c Elapsed CPU time: 35.0577 s Remaining CPU time: 144.942 s 35.48/35.54 c =============================================================================== 35.48/35.54 c | 89466 | 500 7360 37167 | 5000 16139 459 | 86.331 % | 35.68/35.75 c | 89566 | 500 7360 37167 | 5500 8170 459 | 86.331 % | 35.78/35.84 c | 89716 | 500 7360 37167 | 6050 8320 459 | 86.331 % | 35.89/35.94 c | 89941 | 500 7360 37167 | 6655 8545 459 | 86.331 % | 35.99/36.09 c | 90279 | 500 7360 37167 | 7320 8883 459 | 86.331 % | 36.29/36.37 c | 90785 | 500 7360 37167 | 8052 9389 459 | 86.331 % | 36.38/36.43 c =============================================================================== 36.38/36.43 c New solution: 456 36.38/36.43 o 456 36.38/36.43 c Elapsed CPU time: 35.9415 s Remaining CPU time: 144.058 s 36.38/36.43 c =============================================================================== 36.38/36.43 c | 90900 | 500 7361 37667 | 5000 9504 459 | 86.331 % | 36.48/36.52 c | 91001 | 500 7361 37667 | 5500 4853 459 | 86.331 % | 36.48/36.59 c | 91153 | 500 7361 37667 | 6050 5005 459 | 86.331 % | 36.58/36.67 c | 91379 | 500 7361 37667 | 6655 5231 459 | 86.331 % | 36.78/36.80 c | 91717 | 500 7361 37667 | 7320 5569 459 | 86.331 % | 36.88/36.99 c | 92223 | 500 7361 37667 | 8052 6075 458 | 86.331 % | 37.18/37.23 c | 92984 | 500 7361 37667 | 8857 6836 458 | 86.331 % | 37.48/37.55 c | 94124 | 500 7361 37667 | 9743 7976 458 | 86.331 % | 38.18/38.21 c | 95832 | 500 7361 37667 | 10717 9684 458 | 86.331 % | 39.38/39.43 c | 98395 | 500 7361 37667 | 11789 12247 458 | 86.331 % | 40.98/41.07 c | 102240 | 500 7361 37667 | 12968 8389 457 | 86.331 % | 42.78/42.84 c | 108006 | 500 7361 37667 | 14265 14155 457 | 86.331 % | 46.08/46.20 c | 116655 | 500 7361 37667 | 15692 13863 456 | 86.331 % | 51.88/51.91 c | 129630 | 500 7361 37667 | 17261 17186 457 | 86.331 % | 52.97/53.05 c =============================================================================== 52.97/53.05 c New solution: 455 52.97/53.05 o 455 52.97/53.05 c Elapsed CPU time: 52.339 s Remaining CPU time: 127.661 s 52.97/53.05 c =============================================================================== 52.97/53.05 c | 132327 | 500 7362 38167 | 5000 19883 456 | 86.331 % | 53.37/53.42 c | 132427 | 500 7362 38167 | 5500 5071 456 | 86.331 % | 53.37/53.46 c | 132577 | 500 7362 38167 | 6050 5221 456 | 86.331 % | 53.48/53.52 c | 132803 | 500 7362 38167 | 6655 5447 456 | 86.331 % | 53.58/53.62 c | 133140 | 500 7362 38167 | 7320 5784 456 | 86.331 % | 53.88/53.93 c | 133647 | 500 7362 38167 | 8052 6291 456 | 86.331 % | 54.27/54.36 c | 134406 | 500 7362 38167 | 8857 7050 456 | 86.331 % | 54.88/54.92 c | 135546 | 500 7362 38167 | 9743 8190 456 | 86.331 % | 55.68/55.74 c | 137254 | 500 7362 38167 | 10717 9898 456 | 86.331 % | 56.98/57.01 c | 139817 | 500 7362 38167 | 11789 12461 456 | 86.331 % | 59.48/59.55 c | 143662 | 500 7362 38167 | 12968 8609 456 | 86.331 % | 62.88/62.94 c | 149429 | 500 7362 38167 | 14265 14376 456 | 86.331 % | 67.08/67.13 c | 158079 | 500 7362 38167 | 15692 14085 455 | 86.331 % | 72.67/72.76 c | 171053 | 500 7362 38167 | 17261 17405 456 | 86.331 % | 84.48/84.56 c | 190514 | 500 7362 38167 | 18987 15987 456 | 86.331 % | 97.57/97.64 c =============================================================================== 97.57/97.64 c New solution: 454 97.57/97.64 o 454 97.57/97.64 c Elapsed CPU time: 96.5353 s Remaining CPU time: 83.4647 s 97.57/97.64 c =============================================================================== 97.57/97.64 c | 214228 | 500 7363 38667 | 5000 15834 456 | 86.331 % | 97.77/97.81 c | 214328 | 500 7363 38667 | 5500 8017 456 | 86.331 % | 97.77/97.89 c | 214479 | 500 7363 38667 | 6050 8168 456 | 86.331 % | 97.87/97.97 c | 214706 | 500 7363 38667 | 6655 8395 456 | 86.331 % | 98.07/98.13 c | 215044 | 500 7363 38667 | 7320 8733 456 | 86.331 % | 98.26/98.38 c | 215550 | 500 7363 38667 | 8052 9239 456 | 86.331 % | 98.57/98.69 c | 216310 | 500 7363 38667 | 8857 9999 457 | 86.331 % | 99.06/99.16 c | 217449 | 500 7363 38667 | 9743 11138 456 | 86.331 % | 99.97/100.01 c | 219158 | 500 7363 38667 | 10717 12847 456 | 86.331 % | 101.17/101.22 c | 221720 | 500 7363 38667 | 11789 8244 456 | 86.331 % | 102.66/102.79 c | 225565 | 500 7363 38667 | 12968 12089 456 | 86.331 % | 104.86/104.91 c | 231333 | 500 7363 38667 | 14265 9568 455 | 86.331 % | 107.36/107.43 c =============================================================================== 107.36/107.43 c New solution: 453 107.36/107.43 o 453 107.36/107.43 c Elapsed CPU time: 106.212 s Remaining CPU time: 73.7881 s 107.36/107.43 c =============================================================================== 107.36/107.43 c | 237253 | 500 7364 39167 | 5000 15488 455 | 86.331 % | 107.46/107.59 c | 237353 | 500 7364 39167 | 5500 7844 454 | 86.331 % | 107.66/107.76 c | 237504 | 500 7364 39167 | 6050 7995 454 | 86.331 % | 107.86/107.98 c | 237729 | 500 7364 39167 | 6655 8220 455 | 86.331 % | 108.36/108.43 c | 238066 | 500 7364 39167 | 7320 8557 455 | 86.331 % | 108.77/108.86 c | 238574 | 500 7364 39167 | 8052 9065 455 | 86.331 % | 109.66/109.75 c | 239333 | 500 7364 39167 | 8857 9824 455 | 86.331 % | 111.17/111.26 c | 240472 | 500 7364 39167 | 9743 10963 455 | 86.331 % | 113.17/113.25 c | 242180 | 500 7364 39167 | 10717 12671 455 | 86.331 % | 114.77/114.88 c | 244743 | 500 7364 39167 | 11789 8068 454 | 86.331 % | 117.27/117.34 c | 248588 | 500 7364 39167 | 12968 11913 454 | 86.331 % | 120.26/120.30 c | 254355 | 500 7364 39167 | 14265 9388 454 | 86.331 % | 123.66/123.71 c | 263004 | 500 7364 39167 | 15692 9097 454 | 86.331 % | 129.56/129.68 c =============================================================================== 129.56/129.68 c New solution: 452 129.56/129.68 o 452 129.56/129.68 c Elapsed CPU time: 128.287 s Remaining CPU time: 51.7125 s 129.56/129.68 c =============================================================================== 129.56/129.68 c | 273847 | 500 7365 39667 | 5000 10286 454 | 86.331 % | 129.76/129.81 c | 273948 | 500 7365 39667 | 5500 5244 454 | 86.331 % | 129.76/129.88 c | 274099 | 500 7365 39667 | 6050 5395 454 | 86.331 % | 129.96/130.00 c | 274324 | 500 7365 39667 | 6655 5620 454 | 86.331 % | 130.06/130.14 c | 274661 | 500 7365 39667 | 7320 5957 454 | 86.331 % | 130.26/130.32 c | 275168 | 500 7365 39667 | 8052 6464 454 | 86.331 % | 130.56/130.60 c | 275927 | 500 7365 39667 | 8857 7223 454 | 86.331 % | 130.96/131.09 c | 277067 | 500 7365 39667 | 9743 8363 454 | 86.331 % | 131.86/131.99 c | 278776 | 500 7365 39667 | 10717 10072 453 | 86.331 % | 132.86/132.91 c | 281339 | 500 7365 39667 | 11789 12635 453 | 86.331 % | 134.76/134.81 c | 285184 | 500 7365 39667 | 12968 8781 453 | 86.331 % | 137.25/137.38 c | 290951 | 500 7365 39667 | 14265 14548 453 | 86.331 % | 142.36/142.45 c | 299602 | 500 7365 39667 | 15692 14263 453 | 86.331 % | 150.46/150.51 c | 312578 | 500 7365 39667 | 17261 17588 453 | 86.331 % | 161.15/161.20 c | 332039 | 500 7365 39667 | 18987 16177 453 | 86.331 % | 174.45/174.51 c | 361232 | 500 7365 39667 | 20886 21528 452 | 86.331 % | 181.75/181.87 c There are 3158 assigned variables. 0 in cost function. 182.15/182.26 c core #1 182.15/182.26 c #cores: 1 182.15/182.26 c Final Weight: 452 182.15/182.26 o 452 182.15/182.26 s OPTIMUM FOUND 182.15/182.26 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 182.15/182.26 c Total CPU time: 180.395 s
OK -48
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702504-1278568629/watcher-2702504-1278568629 -o /tmp/evaluation-result-2702504-1278568629/solver-2702504-1278568629 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702504-1278568629.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.92 0.98 0.99 3/106 413 /proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=2980 CPUtime=0 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 25070426 3051520 225 1992294400 134512640 135751879 4289620784 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 745 225 138 303 0 373 0 [startup+0.095314 s] /proc/loadavg: 0.92 0.98 0.99 3/106 413 /proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=4536 CPUtime=0.08 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 839 0 0 0 8 0 0 0 20 0 1 0 25070426 4644864 691 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 1134 691 146 303 0 829 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4536 [startup+0.101314 s] /proc/loadavg: 0.92 0.98 0.99 3/106 413 /proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=4536 CPUtime=0.09 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 839 0 0 0 9 0 0 0 20 0 1 0 25070426 4644864 691 1992294400 134512640 135751879 4289620784 18446744073709551615 134598751 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 1134 691 146 303 0 829 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4536 [startup+0.301333 s] /proc/loadavg: 0.92 0.98 0.99 3/106 413 /proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=6456 CPUtime=0.29 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 1339 0 0 0 28 1 0 0 20 0 1 0 25070426 6610944 1191 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 1614 1191 147 303 0 1309 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6456 [startup+0.700367 s] /proc/loadavg: 0.92 0.98 0.99 3/106 413 /proc/meminfo: memFree=1803148/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=10172 CPUtime=0.69 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 2245 0 0 0 66 3 0 0 20 0 1 0 25070426 10416128 2097 1992294400 134512640 135751879 4289620784 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 2543 2097 147 303 0 2238 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10172 [startup+1.50044 s] /proc/loadavg: 0.92 0.98 0.99 2/107 414 /proc/meminfo: memFree=1793344/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=15576 CPUtime=1.49 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 3600 0 0 0 145 4 0 0 22 0 1 0 25070426 15949824 3452 1992294400 134512640 135751879 4289620784 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 3894 3452 147 303 0 3589 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15576 [startup+3.10058 s] /proc/loadavg: 0.92 0.98 0.99 2/107 414 /proc/meminfo: memFree=1787268/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=24324 CPUtime=3.09 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 5776 0 0 0 303 6 0 0 25 0 1 0 25070426 24907776 5628 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 6081 5628 147 303 0 5776 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24324 [startup+6.30086 s] /proc/loadavg: 0.93 0.98 0.99 2/107 414 /proc/meminfo: memFree=1766436/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=43820 CPUtime=6.29 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 10641 0 0 0 617 12 0 0 25 0 1 0 25070426 44871680 10493 1992294400 134512640 135751879 4289620784 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 10955 10493 148 303 0 10650 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43820 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/107 417 /proc/meminfo: memFree=1732336/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=75924 CPUtime=12.69 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 18686 0 0 0 1247 22 0 0 25 0 1 0 25070426 77746176 18538 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 18981 18538 148 303 0 18676 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75924 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/107 417 /proc/meminfo: memFree=1666244/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=139940 CPUtime=25.48 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 34671 0 0 0 2511 37 0 0 25 0 1 0 25070426 143298560 34523 1992294400 134512640 135751879 4289620784 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 34985 34523 148 303 0 34680 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 139940 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/107 417 /proc/meminfo: memFree=1562084/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=247620 CPUtime=51.08 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 61558 0 0 0 5042 66 0 0 25 0 1 0 25070426 253562880 61410 1992294400 134512640 135751879 4289620784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 61905 61411 148 303 0 61600 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 247620 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 419 /proc/meminfo: memFree=1372488/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=432524 CPUtime=102.27 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 107764 0 0 0 10115 112 0 0 25 0 1 0 25070426 442904576 107616 1992294400 134512640 135751879 4289620784 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 108131 107616 148 303 0 107826 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 432524 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 421 /proc/meminfo: memFree=1168012/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=637980 CPUtime=162.25 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 159112 0 0 0 16061 164 0 0 25 0 1 0 25070426 653291520 158964 1992294400 134512640 135751879 4289620784 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 159495 158964 148 303 0 159190 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 637980 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 421 /proc/meminfo: memFree=1153256/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=652148 CPUtime=166.25 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 162627 0 0 0 16458 167 0 0 25 0 1 0 25070426 667799552 162479 1992294400 134512640 135751879 4289620784 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 163037 162479 148 303 0 162732 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 652148 [startup+172.708 s] /proc/loadavg: 0.99 0.98 0.99 2/107 421 /proc/meminfo: memFree=1124860/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=679948 CPUtime=172.65 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 169567 0 0 0 17091 174 0 0 25 0 1 0 25070426 696266752 169419 1992294400 134512640 135751879 4289620784 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 169987 169420 148 303 0 169682 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 679948 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 421 /proc/meminfo: memFree=1101424/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=705844 CPUtime=179.04 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 176043 0 0 0 17725 179 0 0 25 0 1 0 25070426 722784256 175895 1992294400 134512640 135751879 4289620784 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 176461 175895 148 303 0 176156 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 705844 [startup+180.7 s] /proc/loadavg: 0.99 0.98 0.99 2/107 421 /proc/meminfo: memFree=1094604/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=710840 CPUtime=180.65 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 177312 0 0 0 17884 181 0 0 25 0 1 0 25070426 727900160 177164 1992294400 134512640 135751879 4289620784 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 177710 177164 148 303 0 177405 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 710840 [startup+181.508 s] /proc/loadavg: 0.99 0.98 0.99 2/107 421 /proc/meminfo: memFree=1090884/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=713528 CPUtime=181.45 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 177977 0 0 0 17964 181 0 0 25 0 1 0 25070426 730652672 177829 1992294400 134512640 135751879 4289620784 18446744073709551615 134606417 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 178382 177829 148 303 0 178077 0 Current children cumulated CPU time (s) 181.45 Current children cumulated vsize (KiB) 713528 [startup+181.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 421 /proc/meminfo: memFree=1090884/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=715844 CPUtime=181.85 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202496 178557 0 0 0 18003 182 0 0 25 0 1 0 25070426 733024256 178409 1992294400 134512640 135751879 4289620784 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/413/statm: 178961 178409 149 303 0 178656 0 Current children cumulated CPU time (s) 181.85 Current children cumulated vsize (KiB) 715844 [startup+182.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 421 /proc/meminfo: memFree=1090884/2059040 swapFree=4139712/4192956 [pid=413] ppid=411 vsize=0 CPUtime=182.25 /proc/413/stat : 413 (wbo1.4b) R 411 413 32402 0 -1 4202500 178558 0 0 0 18039 186 0 0 25 0 1 0 25070426 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/413/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.25 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 182.335 CPU time (s): 182.29 CPU user time (s): 180.395 CPU system time (s): 1.89571 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 715844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.395 system time used= 1.89571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178558 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= 9 involuntary context switches= 117 runsolver used 0.334949 second user time and 0.839872 second system time The end
Begin job on node041 at 2010-07-08 07:57:09 IDJOB=2702504 IDBENCH=48187 IDSOLVER=1161 FILE ID=node041/2702504-1278568629 PBS_JOBID= 11239530 Free space on /tmp= 62192 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702504-1278568629/watcher-2702504-1278568629 -o /tmp/evaluation-result-2702504-1278568629/solver-2702504-1278568629 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702504-1278568629.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408 RANDOM SEED=1848464090 node041.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.244 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.48 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.244 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1804048 kB Buffers: 29112 kB Cached: 128060 kB SwapCached: 7416 kB Active: 82928 kB Inactive: 88612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1804048 kB SwapTotal: 4192956 kB SwapFree: 4139712 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 11840 kB Mapped: 12068 kB Slab: 61408 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181352 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-2702504-1278568629.opb Free space on /tmp at the end= 62192 MiB End job on node041 at 2010-07-08 08:00:11