Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 62027 | 35.4816 | 35.4928 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb |
MD5SUM | ab21eb5817d07a398a94670d7815d5fb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 62027 |
Best CPU time to get the best result obtained on this benchmark | 0.012997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62027 |
Optimality of the best value was proved | YES |
Number of variables | 40 |
Total number of constraints | 23 |
Number of constraints which are clauses | 10 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 3 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 40 |
Biggest coefficient in the objective function | 8161 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 265332 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 8161 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 265332 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680742-1277451713.opb. 0.00/0.00 c Instance file HOME/instance-2680742-1277451713.opb 0.00/0.00 c File size is 1606 bytes. 0.00/0.00 c Highest Coefficient sum: 22101 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 40 | 0.00/0.00 c | Number Clauses: 10 | 0.00/0.00 c | Number Cardinality: 10 | 0.00/0.00 c | Number PB Constraints: 3 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 40 23 110 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 66305 0.00/0.00 o 66305 0.00/0.00 c Elapsed CPU time: 0 s Remaining CPU time: 180 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 1 | 40 24 150 | 5000 1 16 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 66072 0.00/0.00 o 66072 0.00/0.00 c Elapsed CPU time: 0 s Remaining CPU time: 180 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 4 | 40 25 190 | 5000 4 12 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 65975 0.00/0.00 o 65975 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 5 | 40 26 230 | 5000 5 14 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 65425 0.00/0.00 o 65425 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 5 | 40 27 270 | 5000 5 14 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 64875 0.00/0.00 o 64875 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 90 | 40 28 310 | 5000 90 15 | 0.000 % | 0.00/0.00 c | 192 | 40 28 310 | 5500 192 15 | 0.064 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 64696 0.00/0.00 o 64696 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 256 | 40 29 350 | 5000 256 15 | 0.064 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 64252 0.00/0.00 o 64252 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 350 | 40 30 390 | 5000 350 15 | 0.064 % | 0.00/0.01 c | 450 | 40 30 390 | 5500 450 15 | 0.064 % | 0.00/0.01 c | 601 | 40 30 390 | 6050 601 15 | 0.064 % | 0.00/0.02 c | 828 | 40 30 390 | 6655 828 15 | 0.064 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 64204 0.00/0.02 o 64204 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 828 | 40 31 430 | 5000 828 15 | 0.064 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 64140 0.00/0.02 o 64140 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 832 | 40 32 470 | 5000 832 15 | 0.064 % | 0.00/0.02 c | 932 | 40 32 470 | 5500 932 15 | 0.064 % | 0.00/0.02 c | 1083 | 40 32 470 | 6050 1083 15 | 0.064 % | 0.00/0.03 c | 1308 | 40 32 470 | 6655 1308 16 | 0.064 % | 0.00/0.04 c | 1646 | 40 32 470 | 7320 1646 15 | 0.064 % | 0.05/0.06 c | 2152 | 40 32 470 | 8052 2152 15 | 0.064 % | 0.05/0.08 c | 2912 | 40 32 470 | 8857 2912 15 | 0.064 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 64096 0.09/0.10 o 64096 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 3460 | 40 33 510 | 5000 3460 15 | 0.064 % | 0.09/0.11 c | 3560 | 40 33 510 | 5500 3560 15 | 0.064 % | 0.09/0.11 c | 3711 | 40 33 510 | 6050 3711 15 | 0.064 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 64026 0.09/0.12 o 64026 0.09/0.12 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 3775 | 40 34 550 | 5000 3775 15 | 0.064 % | 0.09/0.12 c | 3875 | 40 34 550 | 5500 3875 15 | 0.064 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 63877 0.09/0.12 o 63877 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 3929 | 40 35 590 | 5000 3929 15 | 0.064 % | 0.09/0.13 c | 4029 | 40 35 590 | 5500 4029 15 | 0.064 % | 0.09/0.13 c | 4180 | 40 35 590 | 6050 4180 15 | 0.064 % | 0.09/0.15 c | 4405 | 40 35 590 | 6655 4405 15 | 0.064 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 63788 0.09/0.16 o 63788 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 4725 | 40 36 630 | 5000 4725 15 | 0.064 % | 0.09/0.17 c | 4825 | 40 36 630 | 5500 4825 15 | 0.064 % | 0.09/0.18 c | 4975 | 40 36 630 | 6050 4975 15 | 0.064 % | 0.09/0.19 c | 5201 | 40 36 630 | 6655 5201 15 | 0.064 % | 0.19/0.20 c | 5539 | 40 36 630 | 7320 5539 15 | 0.064 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 63525 0.19/0.22 o 63525 0.19/0.22 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 5869 | 40 37 670 | 5000 5869 15 | 0.064 % | 0.19/0.23 c | 5970 | 40 37 670 | 5500 3036 15 | 0.064 % | 0.19/0.24 c | 6120 | 40 37 670 | 6050 3186 15 | 0.064 % | 0.19/0.25 c | 6346 | 40 37 670 | 6655 3412 15 | 0.064 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 63425 0.19/0.25 o 63425 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 6364 | 40 38 710 | 5000 3430 15 | 0.064 % | 0.19/0.26 c | 6465 | 40 38 710 | 5500 3531 15 | 0.064 % | 0.19/0.27 c | 6615 | 40 38 710 | 6050 3681 15 | 0.064 % | 0.19/0.28 c | 6841 | 40 38 710 | 6655 3907 15 | 0.064 % | 0.19/0.29 c | 7178 | 40 38 710 | 7320 4244 15 | 0.064 % | 0.29/0.31 c | 7685 | 40 38 710 | 8052 4751 14 | 0.064 % | 0.29/0.36 c | 8444 | 40 38 710 | 8857 5510 15 | 0.064 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 63201 0.29/0.39 o 63201 0.29/0.39 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 8958 | 40 39 750 | 5000 6024 15 | 0.064 % | 0.39/0.40 c | 9059 | 40 39 750 | 5500 3113 15 | 0.064 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 62892 0.39/0.41 o 62892 0.39/0.41 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 9201 | 40 40 790 | 5000 3255 15 | 0.064 % | 0.39/0.42 c | 9303 | 40 40 790 | 5500 3357 15 | 0.064 % | 0.39/0.42 c | 9454 | 40 40 790 | 6050 3508 15 | 0.064 % | 0.39/0.44 c | 9680 | 40 40 790 | 6655 3734 15 | 0.064 % | 0.39/0.45 c | 10018 | 40 40 790 | 7320 4072 15 | 0.064 % | 0.39/0.48 c | 10525 | 40 40 790 | 8052 4579 15 | 0.064 % | 0.49/0.52 c | 11284 | 40 40 790 | 8857 5338 15 | 0.064 % | 0.49/0.58 c | 12424 | 40 40 790 | 9743 6478 15 | 0.064 % | 0.69/0.70 c | 14133 | 40 40 790 | 10717 8187 15 | 0.064 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 62634 0.69/0.75 o 62634 0.69/0.75 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 14900 | 40 41 830 | 5000 8954 15 | 0.064 % | 0.69/0.77 c | 15000 | 40 41 830 | 5500 4577 14 | 0.064 % | 0.69/0.78 c | 15151 | 40 41 830 | 6050 4728 14 | 0.064 % | 0.69/0.80 c | 15376 | 40 41 830 | 6655 4953 14 | 0.064 % | 0.79/0.81 c | 15713 | 40 41 830 | 7320 5290 14 | 0.064 % | 0.79/0.85 c | 16220 | 40 41 830 | 8052 5797 14 | 0.064 % | 0.79/0.89 c | 16979 | 40 41 830 | 8857 6556 14 | 0.064 % | 0.89/0.97 c | 18118 | 40 41 830 | 9743 7695 14 | 0.064 % | 1.00/1.09 c | 19827 | 40 41 830 | 10717 9404 14 | 0.064 % | 1.19/1.28 c =============================================================================== 1.19/1.28 c New solution: 62385 1.19/1.28 o 62385 1.19/1.28 c Elapsed CPU time: 1.23381 s Remaining CPU time: 178.766 s 1.19/1.28 c =============================================================================== 1.19/1.28 c | 22277 | 40 42 870 | 5000 6480 14 | 0.064 % | 1.19/1.29 c | 22378 | 40 42 870 | 5500 3341 15 | 0.064 % | 1.19/1.30 c | 22529 | 40 42 870 | 6050 3492 15 | 0.064 % | 1.29/1.31 c | 22754 | 40 42 870 | 6655 3717 15 | 0.064 % | 1.29/1.32 c | 23092 | 40 42 870 | 7320 4055 15 | 0.064 % | 1.29/1.35 c | 23598 | 40 42 870 | 8052 4561 14 | 0.064 % | 1.29/1.39 c | 24358 | 40 42 870 | 8857 5321 14 | 0.064 % | 1.39/1.46 c | 25497 | 40 42 870 | 9743 6460 15 | 0.064 % | 1.49/1.57 c | 27206 | 40 42 870 | 10717 8169 14 | 0.064 % | 1.69/1.76 c | 29768 | 40 42 870 | 11789 10731 14 | 0.064 % | 1.99/2.06 c | 33613 | 40 42 870 | 12968 8663 14 | 0.064 % | 2.49/2.58 c | 39380 | 40 42 870 | 14265 7931 15 | 0.064 % | 3.30/3.37 c | 48030 | 40 42 870 | 15692 9439 14 | 0.064 % | 4.59/4.69 c | 61004 | 40 42 870 | 17261 14550 14 | 0.064 % | 6.79/6.83 c | 80466 | 40 42 870 | 18987 16724 14 | 0.064 % | 7.19/7.22 c =============================================================================== 7.19/7.22 c New solution: 62309 7.19/7.22 o 62309 7.19/7.22 c Elapsed CPU time: 7.04793 s Remaining CPU time: 172.952 s 7.19/7.22 c =============================================================================== 7.19/7.22 c | 83095 | 40 43 910 | 5000 9842 14 | 0.064 % | 7.19/7.24 c | 83196 | 40 43 910 | 5500 5022 14 | 0.064 % | 7.19/7.25 c | 83346 | 40 43 910 | 6050 5172 14 | 0.064 % | 7.19/7.27 c | 83572 | 40 43 910 | 6655 5398 14 | 0.064 % | 7.19/7.29 c | 83910 | 40 43 910 | 7320 5736 14 | 0.064 % | 7.29/7.32 c | 84416 | 40 43 910 | 8052 6242 14 | 0.064 % | 7.29/7.37 c | 85175 | 40 43 910 | 8857 7001 14 | 0.064 % | 7.39/7.45 c | 86315 | 40 43 910 | 9743 8141 14 | 0.064 % | 7.49/7.59 c | 88024 | 40 43 910 | 10717 4962 15 | 0.064 % | 7.70/7.76 c | 90587 | 40 43 910 | 11789 7525 15 | 0.064 % | 7.99/8.08 c | 94431 | 40 43 910 | 12968 11369 15 | 0.064 % | 8.59/8.61 c | 100197 | 40 43 910 | 14265 10636 15 | 0.064 % | 9.39/9.43 c | 108846 | 40 43 910 | 15692 12137 15 | 0.064 % | 10.59/10.62 c | 121821 | 40 43 910 | 17261 9395 14 | 0.064 % | 12.69/12.74 c | 141282 | 40 43 910 | 18987 11561 14 | 0.064 % | 15.79/15.84 c | 170474 | 40 43 910 | 20886 12229 14 | 0.064 % | 16.08/16.19 c =============================================================================== 16.08/16.19 c New solution: 62165 16.08/16.19 o 62165 16.08/16.19 c Elapsed CPU time: 15.8096 s Remaining CPU time: 164.19 s 16.08/16.19 c =============================================================================== 16.08/16.19 c | 174098 | 40 44 950 | 5000 15853 14 | 0.064 % | 16.19/16.25 c | 174198 | 40 44 950 | 5500 4064 14 | 0.064 % | 16.19/16.26 c | 174348 | 40 44 950 | 6050 4214 14 | 0.064 % | 16.19/16.27 c | 174574 | 40 44 950 | 6655 4440 14 | 0.064 % | 16.19/16.29 c | 174912 | 40 44 950 | 7320 4778 14 | 0.064 % | 16.29/16.32 c | 175418 | 40 44 950 | 8052 5284 14 | 0.064 % | 16.29/16.37 c | 176177 | 40 44 950 | 8857 6043 14 | 0.064 % | 16.39/16.44 c | 177316 | 40 44 950 | 9743 7182 14 | 0.064 % | 16.49/16.57 c | 179025 | 40 44 950 | 10717 8891 14 | 0.064 % | 16.69/16.79 c | 181588 | 40 44 950 | 11789 6078 15 | 0.064 % | 16.98/17.06 c | 185434 | 40 44 950 | 12968 9924 15 | 0.064 % | 17.49/17.57 c | 191200 | 40 44 950 | 14265 9192 15 | 0.064 % | 18.38/18.42 c | 199849 | 40 44 950 | 15692 10692 15 | 0.064 % | 19.70/19.79 c | 212823 | 40 44 950 | 17261 7939 14 | 0.064 % | 21.79/21.81 c =============================================================================== 21.79/21.81 c New solution: 62131 21.79/21.81 o 62131 21.79/21.81 c Elapsed CPU time: 21.2948 s Remaining CPU time: 158.705 s 21.79/21.81 c =============================================================================== 21.79/21.81 c | 232021 | 40 45 990 | 5000 9843 14 | 0.064 % | 21.79/21.83 c | 232121 | 40 45 990 | 5500 5022 14 | 0.064 % | 21.79/21.85 c | 232272 | 40 45 990 | 6050 5173 15 | 0.064 % | 21.79/21.86 c | 232498 | 40 45 990 | 6655 5399 15 | 0.064 % | 21.79/21.88 c | 232836 | 40 45 990 | 7320 5737 15 | 0.064 % | 21.89/21.92 c | 233344 | 40 45 990 | 8052 6245 15 | 0.064 % | 21.89/21.98 c | 234104 | 40 45 990 | 8857 7005 15 | 0.064 % | 22.00/22.06 c | 235243 | 40 45 990 | 9743 8144 15 | 0.064 % | 22.18/22.22 c | 236951 | 40 45 990 | 10717 4964 15 | 0.064 % | 22.38/22.40 c | 239514 | 40 45 990 | 11789 7527 15 | 0.064 % | 22.68/22.70 c | 243359 | 40 45 990 | 12968 11372 14 | 0.064 % | 23.18/23.22 c | 249125 | 40 45 990 | 14265 10636 14 | 0.064 % | 23.99/24.03 c | 257774 | 40 45 990 | 15692 12137 14 | 0.064 % | 25.29/25.34 c | 270748 | 40 45 990 | 17261 9385 14 | 0.064 % | 27.09/27.18 c | 290209 | 40 45 990 | 18987 11555 14 | 0.064 % | 30.18/30.22 c | 319403 | 40 45 990 | 20886 12221 14 | 0.320 % | 31.08/31.14 c =============================================================================== 31.08/31.14 c New solution: 62104 31.08/31.14 o 62104 31.08/31.14 c Elapsed CPU time: 30.3664 s Remaining CPU time: 149.634 s 31.08/31.14 c =============================================================================== 31.08/31.14 c | 327428 | 40 46 1030 | 5000 20246 14 | 0.320 % | 31.18/31.22 c | 327529 | 40 46 1030 | 5500 2632 14 | 0.070 % | 31.18/31.22 c | 327679 | 40 46 1030 | 6050 2782 14 | 0.064 % | 31.18/31.24 c | 327905 | 40 46 1030 | 6655 3008 14 | 0.064 % | 31.18/31.26 c | 328243 | 40 46 1030 | 7320 3346 14 | 0.070 % | 31.18/31.28 c | 328749 | 40 46 1030 | 8052 3852 14 | 0.314 % | 31.18/31.29 c =============================================================================== 31.18/31.29 c New solution: 62101 31.18/31.29 o 62101 31.18/31.29 c Elapsed CPU time: 30.5164 s Remaining CPU time: 149.484 s 31.18/31.29 c =============================================================================== 31.18/31.29 c | 328801 | 40 47 1070 | 5000 3904 14 | 0.314 % | 31.18/31.29 c | 328901 | 40 47 1070 | 5500 4004 14 | 0.070 % | 31.28/31.30 c | 329051 | 40 47 1070 | 6050 4154 14 | 0.314 % | 31.28/31.32 c | 329277 | 40 47 1070 | 6655 4380 14 | 0.314 % | 31.28/31.34 c | 329615 | 40 47 1070 | 7320 4718 14 | 0.071 % | 31.28/31.37 c | 330121 | 40 47 1070 | 8052 5224 14 | 0.070 % | 31.38/31.43 c | 330880 | 40 47 1070 | 8857 5983 14 | 0.314 % | 31.48/31.50 c | 332019 | 40 47 1070 | 9743 7122 14 | 0.070 % | 31.58/31.63 c =============================================================================== 31.58/31.63 c New solution: 62094 31.58/31.63 o 62094 31.58/31.63 c Elapsed CPU time: 30.8523 s Remaining CPU time: 149.148 s 31.58/31.63 c =============================================================================== 31.58/31.63 c | 333653 | 40 48 1110 | 5000 8756 14 | 0.070 % | 31.58/31.65 c | 333753 | 40 48 1110 | 5500 4478 14 | 0.314 % | 31.58/31.66 c | 333904 | 40 48 1110 | 6050 4629 14 | 0.314 % | 31.58/31.68 c | 334129 | 40 48 1110 | 6655 4854 14 | 0.070 % | 31.68/31.70 c | 334468 | 40 48 1110 | 7320 5193 14 | 0.070 % | 31.68/31.73 c | 334975 | 40 48 1110 | 8052 5700 14 | 0.314 % | 31.68/31.79 c | 335735 | 40 48 1110 | 8857 6460 14 | 0.315 % | 31.79/31.87 c | 336874 | 40 48 1110 | 9743 7599 15 | 0.070 % | 31.98/32.01 c | 338582 | 40 48 1110 | 10717 9307 14 | 0.077 % | 32.18/32.22 c | 341145 | 40 48 1110 | 11789 6494 14 | 0.064 % | 32.38/32.41 c =============================================================================== 32.38/32.41 c New solution: 62027 32.38/32.41 o 62027 32.38/32.41 c Elapsed CPU time: 31.6052 s Remaining CPU time: 148.395 s 32.38/32.41 c =============================================================================== 32.38/32.41 c | 343779 | 40 49 1150 | 5000 9128 14 | 0.064 % | 32.38/32.43 c | 343880 | 40 49 1150 | 5500 4665 14 | 0.314 % | 32.38/32.44 c | 344031 | 40 49 1150 | 6050 4816 14 | 0.083 % | 32.38/32.45 c | 344257 | 40 49 1150 | 6655 5042 14 | 0.314 % | 32.38/32.48 c | 344594 | 40 49 1150 | 7320 5379 14 | 1.314 % | 32.48/32.51 c | 345101 | 40 49 1150 | 8052 5886 14 | 0.070 % | 32.48/32.56 c | 345861 | 36 49 1150 | 8857 3375 14 | 10.064 % | 32.58/32.63 c | 347000 | 36 49 1150 | 9743 4514 14 | 10.064 % | 32.68/32.75 c | 348709 | 36 49 1150 | 10717 6223 14 | 10.064 % | 32.89/32.96 c | 351272 | 36 49 1150 | 11789 8786 14 | 10.064 % | 33.28/33.34 c | 355116 | 36 49 1150 | 12968 6723 14 | 10.064 % | 33.78/33.87 c | 360883 | 36 49 1150 | 14265 12490 14 | 10.064 % | 34.68/34.74 c | 369532 | 36 49 1150 | 15692 13988 14 | 10.314 % | 35.38/35.48 c =============================================================================== 35.38/35.48 c Best Solution: 62027 35.38/35.48 s OPTIMUM FOUND 35.38/35.48 c Total CPU time: 34.5967 s 35.38/35.48 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
OK 62027
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680742-1277451713/watcher-2680742-1277451713 -o /tmp/evaluation-result-2680742-1277451713/solver-2680742-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680742-1277451713.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.01 0.01 0.00 3/106 26731 /proc/meminfo: memFree=1008196/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=2576 CPUtime=0 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 275 0 0 0 0 0 0 0 17 0 1 0 86462235 2637824 193 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 644 193 145 303 0 339 0 [startup+0.055987 s] /proc/loadavg: 0.01 0.01 0.00 3/106 26731 /proc/meminfo: memFree=1008196/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=2840 CPUtime=0.05 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 352 0 0 0 5 0 0 0 17 0 1 0 86462235 2908160 270 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 710 270 145 303 0 405 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2840 [startup+0.100995 s] /proc/loadavg: 0.01 0.01 0.00 3/106 26731 /proc/meminfo: memFree=1008196/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=3112 CPUtime=0.09 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 409 0 0 0 9 0 0 0 17 0 1 0 86462235 3186688 327 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 778 327 145 303 0 473 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3112 [startup+0.301027 s] /proc/loadavg: 0.01 0.01 0.00 3/106 26731 /proc/meminfo: memFree=1008196/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=3772 CPUtime=0.29 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 588 0 0 0 28 1 0 0 17 0 1 0 86462235 3862528 506 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 943 506 145 303 0 638 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3772 [startup+0.701094 s] /proc/loadavg: 0.01 0.01 0.00 3/106 26731 /proc/meminfo: memFree=1008196/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=4960 CPUtime=0.69 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 883 0 0 0 67 2 0 0 17 0 1 0 86462235 5079040 801 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 1240 801 145 303 0 935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4960 [startup+1.50123 s] /proc/loadavg: 0.01 0.01 0.00 2/107 26732 /proc/meminfo: memFree=1004840/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=6940 CPUtime=1.49 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 1382 0 0 0 144 5 0 0 18 0 1 0 86462235 7106560 1300 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 1735 1300 145 303 0 1430 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6940 [startup+3.10149 s] /proc/loadavg: 0.09 0.02 0.01 2/107 26732 /proc/meminfo: memFree=1001988/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=10144 CPUtime=3.09 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 2192 0 0 0 301 8 0 0 21 0 1 0 86462235 10387456 2110 1992294400 134512640 135752675 4291742032 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 2536 2110 145 303 0 2231 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10144 [startup+6.30102 s] /proc/loadavg: 0.09 0.02 0.01 2/107 26732 /proc/meminfo: memFree=996036/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=15432 CPUtime=6.29 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 3491 0 0 0 614 15 0 0 25 0 1 0 86462235 15802368 3409 1992294400 134512640 135752675 4291742032 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 3858 3409 145 303 0 3553 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15432 [startup+12.7011 s] /proc/loadavg: 0.23 0.05 0.02 2/107 26732 /proc/meminfo: memFree=984752/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=26300 CPUtime=12.69 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 6205 0 0 0 1239 30 0 0 25 0 1 0 86462235 26931200 6123 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 6575 6124 145 303 0 6270 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26300 [startup+25.5002 s] /proc/loadavg: 0.35 0.09 0.02 2/107 26732 /proc/meminfo: memFree=962556/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=48084 CPUtime=25.49 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 11660 0 0 0 2487 62 0 0 25 0 1 0 86462235 49238016 11578 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 12021 11578 145 303 0 11716 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48084 Solver just ended. Dumping a history of the last processes samples [startup+31.9083 s] /proc/loadavg: 0.45 0.12 0.03 2/107 26732 /proc/meminfo: memFree=951644/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=58780 CPUtime=31.89 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 14312 0 0 0 3111 78 0 0 25 0 1 0 86462235 60190720 14230 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 14695 14230 145 303 0 14390 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 58780 [startup+33.5015 s] /proc/loadavg: 0.45 0.12 0.03 2/107 26732 /proc/meminfo: memFree=949288/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=61948 CPUtime=33.48 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 15121 0 0 0 3267 81 0 0 25 0 1 0 86462235 63434752 15039 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 15487 15039 145 303 0 15182 0 Current children cumulated CPU time (s) 33.48 Current children cumulated vsize (KiB) 61948 [startup+34.3017 s] /proc/loadavg: 0.45 0.12 0.03 2/107 26732 /proc/meminfo: memFree=947304/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=63268 CPUtime=34.28 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 15451 0 0 0 3345 83 0 0 25 0 1 0 86462235 64786432 15369 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 15817 15369 145 303 0 15512 0 Current children cumulated CPU time (s) 34.28 Current children cumulated vsize (KiB) 63268 [startup+35.1008 s] /proc/loadavg: 0.45 0.12 0.03 2/107 26732 /proc/meminfo: memFree=945568/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=64592 CPUtime=35.09 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 15770 0 0 0 3423 86 0 0 25 0 1 0 86462235 66142208 15688 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 16148 15688 145 303 0 15843 0 Current children cumulated CPU time (s) 35.09 Current children cumulated vsize (KiB) 64592 [startup+35.3008 s] /proc/loadavg: 0.45 0.12 0.03 2/107 26732 /proc/meminfo: memFree=945568/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=64988 CPUtime=35.28 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 15886 0 0 0 3442 86 0 0 25 0 1 0 86462235 66547712 15804 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 16247 15804 145 303 0 15942 0 Current children cumulated CPU time (s) 35.28 Current children cumulated vsize (KiB) 64988 [startup+35.4009 s] /proc/loadavg: 0.45 0.12 0.03 2/107 26732 /proc/meminfo: memFree=945568/2059040 swapFree=4140492/4192956 [pid=26731] ppid=26729 vsize=65252 CPUtime=35.38 /proc/26731/stat : 26731 (wbo1.4b) R 26729 26731 26706 0 -1 4202496 15939 0 0 0 3451 87 0 0 25 0 1 0 86462235 66818048 15857 1992294400 134512640 135752675 4291742032 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26731/statm: 16313 15857 145 303 0 16008 0 Current children cumulated CPU time (s) 35.38 Current children cumulated vsize (KiB) 65252 Child status: 0 Real time (s): 35.4928 CPU time (s): 35.4816 CPU user time (s): 34.5967 CPU system time (s): 0.884865 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 65252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.5967 system time used= 0.884865 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15990 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= 2 involuntary context switches= 32 runsolver used 0.072988 second user time and 0.169974 second system time The end
Begin job on node055 at 2010-06-25 09:41:53 IDJOB=2680742 IDBENCH=1867 IDSOLVER=1190 FILE ID=node055/2680742-1277451713 PBS_JOBID= 11188114 Free space on /tmp= 62360 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680742-1277451713/watcher-2680742-1277451713 -o /tmp/evaluation-result-2680742-1277451713/solver-2680742-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680742-1277451713.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ab21eb5817d07a398a94670d7815d5fb RANDOM SEED=1143222047 node055.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.258 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.51 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.258 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1008848 kB Buffers: 210268 kB Cached: 723268 kB SwapCached: 5936 kB Active: 393636 kB Inactive: 553308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1008848 kB SwapTotal: 4192956 kB SwapFree: 4140492 kB Dirty: 2640 kB Writeback: 0 kB AnonPages: 11456 kB Mapped: 11904 kB Slab: 81384 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183640 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62360 MiB End job on node055 at 2010-06-25 09:42:28