Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.25 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1791.89 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
Number of bits of the biggest sum of numbers | 13 |
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-2680696-1277457816.opb. 0.00/0.00 c Instance file HOME/instance-2680696-1277457816.opb 0.00/0.00 c File size is 13323 bytes. 0.00/0.00 c Highest Coefficient sum: 6340 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: 198 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 16 | 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 | 198 16 1374 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 958 0.00/0.00 o 958 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 198 17 1502 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 198 17 1502 | 5500 101 89 | 0.003 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 744 0.00/0.01 o 744 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 101 | 198 18 1630 | 5000 101 89 | 0.003 % | 0.00/0.02 c | 201 | 198 18 1630 | 5500 201 77 | 0.003 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 731 0.00/0.03 o 731 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 298 | 198 19 1758 | 5000 298 73 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 715 0.00/0.04 o 715 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 366 | 198 20 1886 | 5000 366 74 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 676 0.00/0.04 o 676 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 419 | 198 21 2014 | 5000 419 73 | 0.003 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 618 0.00/0.05 o 618 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 451 | 198 22 2142 | 5000 451 72 | 0.003 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 537 0.00/0.06 o 537 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 | 514 | 198 23 2270 | 5000 514 71 | 0.003 % | 0.00/0.07 c | 615 | 198 23 2270 | 5500 615 70 | 0.003 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 520 0.00/0.07 o 520 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 622 | 198 24 2398 | 5000 622 70 | 0.003 % | 0.07/0.08 c | 724 | 198 24 2398 | 5500 724 72 | 0.003 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c New solution: 502 0.07/0.09 o 502 0.07/0.09 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s 0.07/0.09 c =============================================================================== 0.07/0.09 c | 756 | 198 25 2526 | 5000 756 72 | 0.003 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c New solution: 484 0.07/0.09 o 484 0.07/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s 0.07/0.09 c =============================================================================== 0.07/0.09 c | 801 | 198 26 2654 | 5000 801 71 | 0.003 % | 0.07/0.10 c =============================================================================== 0.07/0.10 c New solution: 474 0.07/0.10 o 474 0.07/0.10 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s 0.07/0.10 c =============================================================================== 0.07/0.10 c | 817 | 198 27 2782 | 5000 817 71 | 0.003 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 462 0.09/0.10 o 462 0.09/0.10 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 847 | 198 28 2910 | 5000 847 71 | 0.003 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 460 0.09/0.10 o 460 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 881 | 198 29 3038 | 5000 881 71 | 0.003 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 444 0.09/0.11 o 444 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 911 | 198 30 3166 | 5000 911 70 | 0.003 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 420 0.09/0.11 o 420 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 926 | 198 31 3294 | 5000 926 70 | 0.003 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 400 0.09/0.11 o 400 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 | 929 | 198 32 3422 | 5000 929 70 | 0.003 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 350 0.09/0.12 o 350 0.09/0.12 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 942 | 198 33 3550 | 5000 942 70 | 0.003 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 342 0.09/0.12 o 342 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 | 960 | 198 34 3678 | 5000 960 70 | 0.003 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 324 0.09/0.12 o 324 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 974 | 198 35 3806 | 5000 974 70 | 0.003 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 322 0.09/0.13 o 322 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 1018 | 198 36 3934 | 5000 1018 69 | 0.003 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 320 0.09/0.14 o 320 0.09/0.14 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 1050 | 198 37 4062 | 5000 1050 69 | 0.003 % | 0.09/0.15 c | 1151 | 198 37 4062 | 5500 1151 69 | 0.003 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 294 0.09/0.16 o 294 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 | 1207 | 198 38 4190 | 5000 1207 69 | 0.003 % | 0.09/0.18 c | 1308 | 198 38 4190 | 5500 1308 68 | 0.003 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 290 0.09/0.18 o 290 0.09/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 1346 | 198 39 4318 | 5000 1346 68 | 0.003 % | 0.19/0.20 c | 1446 | 198 39 4318 | 5500 1446 69 | 0.003 % | 0.19/0.22 c | 1596 | 198 39 4318 | 6050 1596 68 | 0.003 % | 0.19/0.26 c | 1823 | 198 39 4318 | 6655 1823 67 | 0.003 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 280 0.19/0.27 o 280 0.19/0.27 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 1881 | 198 40 4446 | 5000 1881 67 | 0.003 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 188 0.19/0.28 o 188 0.19/0.28 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 1954 | 198 41 4574 | 5000 1954 66 | 0.003 % | 0.29/0.30 c | 2054 | 198 41 4574 | 5500 2054 65 | 0.003 % | 0.29/0.32 c | 2205 | 198 41 4574 | 6050 2205 65 | 0.003 % | 0.29/0.35 c | 2430 | 198 41 4574 | 6655 2430 64 | 0.003 % | 0.39/0.41 c | 2767 | 198 41 4574 | 7320 2767 63 | 0.003 % | 0.49/0.50 c | 3275 | 198 41 4574 | 8052 3275 63 | 0.003 % | 0.59/0.63 c | 4034 | 198 41 4574 | 8857 4034 62 | 0.003 % | 0.79/0.84 c | 5173 | 198 41 4574 | 9743 5173 62 | 0.003 % | 1.10/1.16 c | 6881 | 198 41 4574 | 10717 6881 61 | 0.003 % | 1.59/1.68 c | 9444 | 198 41 4574 | 11789 9444 61 | 0.003 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c New solution: 175 2.39/2.43 o 175 2.39/2.43 c Elapsed CPU time: 2.40563 s Remaining CPU time: 177.594 s 2.39/2.43 c =============================================================================== 2.39/2.43 c | 12963 | 198 42 4702 | 5000 7028 60 | 0.003 % | 2.39/2.46 c | 13065 | 198 42 4702 | 5500 3616 60 | 0.003 % | 2.39/2.49 c | 13217 | 198 42 4702 | 6050 3768 60 | 0.003 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c New solution: 163 2.49/2.51 o 163 2.49/2.51 c Elapsed CPU time: 2.47862 s Remaining CPU time: 177.521 s 2.49/2.51 c =============================================================================== 2.49/2.51 c | 13332 | 198 43 4830 | 5000 3883 60 | 0.003 % | 2.49/2.53 c | 13432 | 198 43 4830 | 5500 3983 60 | 0.003 % | 2.49/2.56 c | 13582 | 198 43 4830 | 6050 4133 60 | 0.003 % | 2.49/2.60 c | 13807 | 198 43 4830 | 6655 4358 60 | 0.003 % | 2.59/2.66 c | 14144 | 198 43 4830 | 7320 4695 60 | 0.003 % | 2.69/2.76 c | 14650 | 198 43 4830 | 8052 5201 60 | 0.003 % | 2.89/2.92 c | 15411 | 198 43 4830 | 8857 5962 60 | 0.003 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c New solution: 155 3.09/3.11 o 155 3.09/3.11 c Elapsed CPU time: 3.08053 s Remaining CPU time: 176.919 s 3.09/3.11 c =============================================================================== 3.09/3.11 c | 16337 | 198 44 4958 | 5000 6888 60 | 0.003 % | 3.09/3.14 c | 16437 | 198 44 4958 | 5500 3544 61 | 0.003 % | 3.09/3.17 c | 16587 | 198 44 4958 | 6050 3694 61 | 0.003 % | 3.19/3.22 c | 16813 | 198 44 4958 | 6655 3920 61 | 0.003 % | 3.19/3.28 c | 17150 | 198 44 4958 | 7320 4257 61 | 0.003 % | 3.29/3.39 c | 17656 | 198 44 4958 | 8052 4763 60 | 0.003 % | 3.49/3.53 c | 18415 | 198 44 4958 | 8857 5522 60 | 0.003 % | 3.69/3.77 c | 19554 | 198 44 4958 | 9743 6661 60 | 0.003 % | 4.09/4.11 c | 21262 | 198 44 4958 | 10717 8369 59 | 0.003 % | 4.59/4.66 c | 23824 | 198 44 4958 | 11789 5545 57 | 0.003 % | 5.39/5.49 c | 27669 | 198 44 4958 | 12968 9390 58 | 0.003 % | 6.79/6.82 c | 33436 | 198 44 4958 | 14265 8653 58 | 0.003 % | 8.80/8.84 c | 42085 | 198 44 4958 | 15692 10143 59 | 0.003 % | 12.29/12.31 c | 55059 | 198 44 4958 | 17261 15238 58 | 0.003 % | 17.59/17.67 c | 74520 | 198 44 4958 | 18987 8728 56 | 0.003 % | 25.88/25.94 c | 103712 | 198 44 4958 | 20886 18870 58 | 0.003 % | 34.28/34.30 c =============================================================================== 34.28/34.30 c New solution: 147 34.28/34.30 o 147 34.28/34.30 c Elapsed CPU time: 33.9268 s Remaining CPU time: 146.073 s 34.28/34.30 c =============================================================================== 34.28/34.30 c | 132181 | 198 45 5086 | 5000 15920 60 | 0.003 % | 34.28/34.39 c | 132283 | 198 45 5086 | 5500 4082 60 | 0.003 % | 34.38/34.42 c | 132433 | 198 45 5086 | 6050 4232 61 | 0.003 % | 34.38/34.47 c | 132658 | 198 45 5086 | 6655 4457 60 | 0.003 % | 34.48/34.54 c | 132996 | 198 45 5086 | 7320 4795 60 | 0.003 % | 34.58/34.65 c | 133503 | 198 45 5086 | 8052 5302 60 | 0.003 % | 34.79/34.83 c | 134262 | 198 45 5086 | 8857 6061 60 | 0.003 % | 34.99/35.05 c | 135401 | 198 45 5086 | 9743 7200 60 | 0.003 % | 35.38/35.42 c | 137109 | 198 45 5086 | 10717 8908 60 | 0.003 % | 35.88/35.96 c | 139671 | 198 45 5086 | 11789 6081 59 | 0.003 % | 36.78/36.80 c | 143516 | 198 45 5086 | 12968 9926 59 | 0.003 % | 37.58/37.61 c =============================================================================== 37.58/37.61 c New solution: 145 37.58/37.61 o 145 37.58/37.61 c Elapsed CPU time: 37.1903 s Remaining CPU time: 142.81 s 37.58/37.61 c =============================================================================== 37.58/37.61 c | 146759 | 198 46 5214 | 5000 6655 60 | 0.003 % | 37.58/37.64 c | 146859 | 198 46 5214 | 5500 3428 59 | 0.003 % | 37.58/37.68 c | 147010 | 198 46 5214 | 6050 3579 59 | 0.003 % | 37.68/37.72 c =============================================================================== 37.68/37.72 c New solution: 139 37.68/37.72 o 139 37.68/37.72 c Elapsed CPU time: 37.2923 s Remaining CPU time: 142.708 s 37.68/37.72 c =============================================================================== 37.68/37.72 c | 147203 | 198 47 5342 | 5000 3772 59 | 0.003 % | 37.68/37.73 c | 147306 | 198 47 5342 | 5500 3875 59 | 0.003 % | 37.68/37.76 c | 147457 | 198 47 5342 | 6050 4026 59 | 0.003 % | 37.78/37.81 c | 147682 | 198 47 5342 | 6655 4251 59 | 0.003 % | 37.78/37.88 c | 148019 | 198 47 5342 | 7320 4588 59 | 0.003 % | 37.88/37.98 c | 148525 | 198 47 5342 | 8052 5094 59 | 0.003 % | 38.08/38.12 c | 149284 | 198 47 5342 | 8857 5853 59 | 0.003 % | 38.29/38.35 c | 150425 | 198 47 5342 | 9743 6994 60 | 0.003 % | 38.68/38.73 c | 152133 | 198 47 5342 | 10717 8702 59 | 0.003 % | 39.28/39.33 c | 154695 | 198 47 5342 | 11789 5881 60 | 0.003 % | 40.08/40.15 c | 158539 | 198 47 5342 | 12968 9725 59 | 0.003 % | 41.38/41.48 c | 164305 | 198 47 5342 | 14265 8974 59 | 0.003 % | 41.98/42.03 c =============================================================================== 41.98/42.03 c New solution: 129 41.98/42.03 o 129 41.98/42.03 c Elapsed CPU time: 41.5537 s Remaining CPU time: 138.446 s 41.98/42.03 c =============================================================================== 41.98/42.03 c | 166760 | 198 48 5470 | 5000 11429 60 | 0.003 % | 41.98/42.09 c | 166860 | 198 48 5470 | 5500 2958 62 | 0.003 % | 42.08/42.12 c | 167010 | 198 48 5470 | 6050 3108 62 | 0.003 % | 42.08/42.16 c | 167238 | 198 48 5470 | 6655 3336 62 | 0.003 % | 42.18/42.20 c =============================================================================== 42.18/42.20 c New solution: 122 42.18/42.20 o 122 42.18/42.20 c Elapsed CPU time: 41.7157 s Remaining CPU time: 138.284 s 42.18/42.20 c =============================================================================== 42.18/42.20 c | 167405 | 198 49 5598 | 5000 3503 62 | 0.003 % | 42.18/42.21 c =============================================================================== 42.18/42.21 c New solution: 111 42.18/42.21 o 111 42.18/42.21 c Elapsed CPU time: 41.7267 s Remaining CPU time: 138.273 s 42.18/42.21 c =============================================================================== 42.18/42.21 c | 167426 | 182 50 5726 | 5000 3488 62 | 0.003 % | 42.18/42.22 c =============================================================================== 42.18/42.22 c New solution: 109 42.18/42.22 o 109 42.18/42.22 c Elapsed CPU time: 41.7347 s Remaining CPU time: 138.265 s 42.18/42.22 c =============================================================================== 42.18/42.22 c | 167454 | 182 51 5854 | 5000 3516 62 | 0.003 % | 42.18/42.24 c | 167554 | 182 51 5854 | 5500 3616 62 | 8.083 % | 42.18/42.27 c | 167704 | 182 51 5854 | 6050 3766 62 | 8.083 % | 42.28/42.32 c | 167930 | 182 51 5854 | 6655 3992 62 | 8.083 % | 42.28/42.39 c | 168268 | 182 51 5854 | 7320 4330 62 | 8.083 % | 42.38/42.48 c | 168774 | 182 51 5854 | 8052 4836 62 | 8.083 % | 42.58/42.61 c | 169533 | 182 51 5854 | 8857 5595 61 | 8.083 % | 42.79/42.80 c | 170672 | 182 51 5854 | 9743 6734 61 | 8.083 % | 43.08/43.15 c | 172380 | 182 51 5854 | 10717 8442 61 | 8.083 % | 43.68/43.72 c | 174942 | 182 51 5854 | 11789 5608 61 | 8.083 % | 44.48/44.54 c | 178787 | 182 51 5854 | 12968 9453 61 | 8.083 % | 45.78/45.84 c | 184553 | 182 51 5854 | 14265 8692 62 | 8.083 % | 47.87/47.92 c | 193203 | 182 51 5854 | 15692 10167 62 | 8.083 % | 51.28/51.31 c | 206177 | 182 51 5854 | 17261 15247 61 | 8.083 % | 56.78/56.84 c | 225638 | 182 51 5854 | 18987 8716 60 | 8.083 % | 65.07/65.16 c | 254830 | 182 51 5854 | 20886 18833 61 | 8.083 % | 79.26/79.31 c | 298619 | 182 51 5854 | 22974 20718 59 | 8.083 % | 101.16/101.24 c | 364303 | 182 51 5854 | 25272 14729 61 | 8.083 % | 107.06/107.18 c =============================================================================== 107.06/107.18 c New solution: 96 107.06/107.18 o 96 107.06/107.18 c Elapsed CPU time: 106.052 s Remaining CPU time: 73.9481 s 107.06/107.18 c =============================================================================== 107.06/107.18 c | 382066 | 182 52 5982 | 5000 17971 60 | 8.083 % | 107.15/107.28 c | 382166 | 182 52 5982 | 5500 4593 60 | 8.083 % | 107.25/107.32 c | 382317 | 182 52 5982 | 6050 4744 60 | 8.083 % | 107.25/107.37 c | 382543 | 182 52 5982 | 6655 4970 61 | 8.083 % | 107.35/107.45 c | 382882 | 182 52 5982 | 7320 5309 60 | 8.083 % | 107.46/107.55 c | 383388 | 182 52 5982 | 8052 5815 60 | 8.083 % | 107.66/107.73 c | 384147 | 182 52 5982 | 8857 6574 60 | 8.083 % | 107.85/107.99 c | 385286 | 182 52 5982 | 9743 7713 60 | 8.083 % | 108.26/108.38 c | 386995 | 182 52 5982 | 10717 9422 60 | 8.083 % | 108.26/108.40 c =============================================================================== 108.26/108.40 c New solution: 85 108.26/108.40 o 85 108.26/108.40 c Elapsed CPU time: 107.254 s Remaining CPU time: 72.7463 s 108.26/108.40 c =============================================================================== 108.26/108.40 c | 387030 | 182 53 6110 | 5000 9457 60 | 8.083 % | 108.36/108.44 c | 387133 | 182 53 6110 | 5500 4832 61 | 8.083 % | 108.36/108.47 c | 387284 | 182 53 6110 | 6050 4983 61 | 8.083 % | 108.46/108.52 c | 387509 | 182 53 6110 | 6655 5208 61 | 8.083 % | 108.46/108.59 c | 387846 | 182 53 6110 | 7320 5545 61 | 8.083 % | 108.56/108.69 c | 388352 | 182 53 6110 | 8052 6051 60 | 8.083 % | 108.76/108.86 c | 389111 | 182 53 6110 | 8857 6810 60 | 8.083 % | 109.05/109.11 c | 390250 | 182 53 6110 | 9743 7949 60 | 8.083 % | 109.46/109.50 c | 391958 | 182 53 6110 | 10717 9657 60 | 8.083 % | 109.97/110.09 c | 394520 | 182 53 6110 | 11789 6829 59 | 8.083 % | 110.85/110.99 c | 398364 | 182 53 6110 | 12968 10673 59 | 8.083 % | 112.36/112.44 c | 404132 | 182 53 6110 | 14265 9921 60 | 8.083 % | 114.46/114.56 c | 412781 | 182 53 6110 | 15692 11400 60 | 8.083 % | 117.96/118.05 c =============================================================================== 117.96/118.05 c New solution: 84 117.96/118.05 o 84 117.96/118.05 c Elapsed CPU time: 116.795 s Remaining CPU time: 63.2048 s 117.96/118.05 c =============================================================================== 117.96/118.05 c | 425560 | 182 54 6238 | 5000 8412 60 | 8.083 % | 117.96/118.09 c | 425660 | 182 54 6238 | 5500 4306 61 | 8.083 % | 118.06/118.12 c | 425810 | 182 54 6238 | 6050 4456 61 | 8.083 % | 118.06/118.13 c =============================================================================== 118.06/118.13 c New solution: 82 118.06/118.13 o 82 118.06/118.13 c Elapsed CPU time: 116.881 s Remaining CPU time: 63.1188 s 118.06/118.13 c =============================================================================== 118.06/118.13 c | 425854 | 182 55 6366 | 5000 4500 61 | 8.083 % | 118.06/118.16 c | 425954 | 182 55 6366 | 5500 4600 61 | 8.083 % | 118.06/118.19 c | 426104 | 182 55 6366 | 6050 4750 62 | 8.083 % | 118.16/118.24 c | 426329 | 182 55 6366 | 6655 4975 62 | 8.083 % | 118.26/118.31 c | 426666 | 182 55 6366 | 7320 5312 62 | 8.083 % | 118.36/118.41 c | 427172 | 182 55 6366 | 8052 5818 62 | 8.083 % | 118.46/118.57 c | 427931 | 182 55 6366 | 8857 6577 62 | 8.083 % | 118.76/118.83 c | 429070 | 182 55 6366 | 9743 7716 62 | 8.083 % | 119.16/119.22 c | 430778 | 182 55 6366 | 10717 9424 61 | 8.083 % | 119.76/119.80 c | 433341 | 182 55 6366 | 11789 6593 61 | 8.083 % | 120.66/120.70 c | 437185 | 182 55 6366 | 12968 10437 62 | 8.083 % | 122.07/122.19 c | 442952 | 182 55 6366 | 14265 9682 61 | 8.083 % | 124.35/124.45 c | 451601 | 182 55 6366 | 15692 11162 61 | 8.083 % | 128.15/128.25 c | 464575 | 182 55 6366 | 17261 8367 61 | 8.083 % | 133.65/133.72 c | 484036 | 182 55 6366 | 18987 10506 60 | 8.083 % | 142.34/142.48 c | 513230 | 182 55 6366 | 20886 11103 61 | 8.083 % | 156.44/156.58 c | 557019 | 182 55 6366 | 22974 12987 60 | 8.083 % | 160.55/160.61 c =============================================================================== 160.55/160.61 c New solution: 71 160.55/160.61 o 71 160.55/160.61 c Elapsed CPU time: 158.934 s Remaining CPU time: 21.0662 s 160.55/160.61 c =============================================================================== 160.55/160.61 c | 569605 | 182 56 6494 | 5000 13318 60 | 8.083 % | 160.55/160.67 c | 569705 | 182 56 6494 | 5500 3430 60 | 8.083 % | 160.65/160.70 c | 569855 | 182 56 6494 | 6050 3580 60 | 8.083 % | 160.65/160.75 c | 570080 | 182 56 6494 | 6655 3805 60 | 8.083 % | 160.75/160.83 c | 570417 | 182 56 6494 | 7320 4142 59 | 8.083 % | 160.84/160.94 c | 570923 | 182 56 6494 | 8052 4648 59 | 8.083 % | 161.04/161.12 c | 571682 | 182 56 6494 | 8857 5407 60 | 8.083 % | 161.25/161.37 c | 572821 | 182 56 6494 | 9743 6546 59 | 8.083 % | 161.65/161.76 c | 574529 | 182 56 6494 | 10717 8254 59 | 8.083 % | 162.25/162.39 c | 577092 | 182 56 6494 | 11789 5420 58 | 8.083 % | 163.15/163.28 c | 580936 | 182 56 6494 | 12968 9264 59 | 8.083 % | 164.65/164.77 c | 586702 | 182 56 6494 | 14265 8509 60 | 8.083 % | 166.94/167.07 c | 595351 | 182 56 6494 | 15692 9980 60 | 8.083 % | 169.54/169.65 c =============================================================================== 169.54/169.65 c New solution: 65 169.54/169.65 o 65 169.54/169.65 c Elapsed CPU time: 167.876 s Remaining CPU time: 12.1235 s 169.54/169.65 c =============================================================================== 169.54/169.65 c | 604097 | 182 57 6622 | 5000 10838 60 | 8.083 % | 169.64/169.70 c =============================================================================== 169.64/169.70 c New solution: 63 169.64/169.70 o 63 169.64/169.70 c Elapsed CPU time: 167.923 s Remaining CPU time: 12.0765 s 169.64/169.70 c =============================================================================== 169.64/169.70 c | 604110 | 182 58 6750 | 5000 2723 62 | 8.083 % | 169.64/169.72 c | 604210 | 166 58 6750 | 5500 2788 63 | 16.164 % | 169.64/169.76 c | 604360 | 166 58 6750 | 6050 2938 63 | 16.164 % | 169.74/169.81 c | 604585 | 166 58 6750 | 6655 3163 63 | 16.164 % | 169.74/169.88 c | 604922 | 166 58 6750 | 7320 3500 63 | 16.164 % | 169.95/170.00 c | 605428 | 166 58 6750 | 8052 4006 63 | 16.164 % | 170.05/170.17 c | 606187 | 166 58 6750 | 8857 4765 64 | 16.164 % | 170.35/170.44 c | 607326 | 166 58 6750 | 9743 5904 64 | 16.164 % | 170.74/170.85 c | 609034 | 166 58 6750 | 10717 7612 65 | 16.164 % | 171.34/171.49 c | 611597 | 166 58 6750 | 11789 10175 65 | 16.164 % | 172.45/172.50 c | 615441 | 166 58 6750 | 12968 8083 66 | 16.164 % | 173.94/174.07 c | 621207 | 166 58 6750 | 14265 7320 66 | 16.164 % | 176.43/176.51 c | 629856 | 166 58 6750 | 15692 8799 68 | 16.164 % | 179.93/180.09 c | 642830 | 166 58 6750 | 17261 13881 65 | 16.164 % | 181.74/181.89 c There are 32 assigned variables. 32 in cost function. 182.34/182.46 c ============================[ Search Statistics ]============================== 182.34/182.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.46 c =============================================================================== 182.34/182.46 c | 0 | 70 186 1310 | 5000 0 nan | 0.000 % | 182.34/182.48 c | 101 | 70 186 1310 | 5500 101 60 | 64.649 % | 182.45/182.51 c | 251 | 70 186 1310 | 6050 251 73 | 64.649 % | 182.45/182.57 c | 476 | 70 186 1310 | 6655 476 74 | 64.649 % | 182.55/182.65 c | 813 | 70 186 1310 | 7320 813 75 | 64.649 % | 182.64/182.78 c | 1319 | 70 186 1310 | 8052 1319 76 | 64.649 % | 182.83/182.91 c | 2078 | 70 186 1310 | 8857 2078 78 | 64.649 % | 183.03/183.14 c | 3217 | 70 186 1310 | 9743 3217 79 | 64.649 % | 183.44/183.52 c | 4925 | 70 186 1310 | 10717 4925 80 | 64.649 % | 184.04/184.14 c | 7488 | 70 186 1310 | 11789 7488 81 | 64.649 % | 185.14/185.23 c | 11332 | 70 186 1310 | 12968 11332 80 | 64.649 % | 186.73/186.85 c | 17099 | 70 186 1310 | 14265 10525 79 | 64.649 % | 189.04/189.19 c | 25748 | 70 186 1310 | 15692 11951 74 | 64.649 % | 193.04/193.12 c | 38723 | 70 186 1310 | 17261 9055 80 | 64.649 % | 199.33/199.44 c | 58184 | 70 186 1310 | 18987 11076 79 | 64.649 % | 208.94/209.07 c | 87376 | 70 186 1310 | 20886 11520 82 | 64.649 % | 225.23/225.37 c | 131166 | 70 186 1310 | 22974 13183 84 | 64.649 % | 250.72/250.82 c | 196851 | 70 186 1310 | 25272 16828 81 | 64.649 % | 291.71/291.81 c | 295377 | 70 186 1310 | 27799 13111 83 | 64.649 % | 353.19/353.38 c | 443166 | 70 186 1310 | 30579 24580 82 | 64.649 % | 454.67/454.80 c | 664849 | 70 186 1310 | 33637 29324 81 | 64.649 % | 619.22/619.42 c | 997374 | 70 186 1310 | 37001 21517 81 | 64.649 % | 878.66/878.98 c | 1496162 | 70 186 1310 | 40701 27131 83 | 64.649 % | 1317.83/1318.23 c | 2244344 | 70 186 1310 | 44771 36305 84 | 64.649 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680696-1277457816/watcher-2680696-1277457816 -o /tmp/evaluation-result-2680696-1277457816/solver-2680696-1277457816 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680696-1277457816.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.98 3/106 28476 /proc/meminfo: memFree=1852280/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=2576 CPUtime=0 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 289 0 0 0 0 0 0 0 17 0 1 0 87076996 2637824 203 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 644 203 143 303 0 339 0 [startup+0.0782529 s] /proc/loadavg: 0.92 0.98 0.98 3/106 28476 /proc/meminfo: memFree=1852280/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=2832 CPUtime=0.07 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 355 0 0 0 7 0 0 0 17 0 1 0 87076996 2899968 269 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 708 269 144 303 0 403 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2832 [startup+0.101255 s] /proc/loadavg: 0.92 0.98 0.98 3/106 28476 /proc/meminfo: memFree=1852280/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=2832 CPUtime=0.09 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 376 0 0 0 9 0 0 0 17 0 1 0 87076996 2899968 290 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 708 290 144 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.301268 s] /proc/loadavg: 0.92 0.98 0.98 3/106 28476 /proc/meminfo: memFree=1852280/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=3360 CPUtime=0.29 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 504 0 0 0 28 1 0 0 17 0 1 0 87076996 3440640 418 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 840 418 144 303 0 535 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3360 [startup+0.701294 s] /proc/loadavg: 0.92 0.98 0.98 3/106 28476 /proc/meminfo: memFree=1852280/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=4272 CPUtime=0.69 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 711 0 0 0 68 1 0 0 17 0 1 0 87076996 4374528 625 1992294400 134512640 135752675 4293094256 18446744073709551615 134605064 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 1068 625 144 303 0 763 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4272 [startup+1.50135 s] /proc/loadavg: 0.92 0.98 0.98 2/107 28477 /proc/meminfo: memFree=1849668/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=5612 CPUtime=1.49 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 1068 0 0 0 147 2 0 0 18 0 1 0 87076996 5746688 982 1992294400 134512640 135752675 4293094256 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 1403 982 144 303 0 1098 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5612 [startup+3.10145 s] /proc/loadavg: 0.92 0.98 0.98 2/107 28477 /proc/meminfo: memFree=1847560/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=8364 CPUtime=3.09 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 1758 0 0 0 306 3 0 0 21 0 1 0 87076996 8564736 1672 1992294400 134512640 135752675 4293094256 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 2091 1672 145 303 0 1786 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8364 [startup+6.30066 s] /proc/loadavg: 0.93 0.98 0.98 2/107 28477 /proc/meminfo: memFree=1841980/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=13424 CPUtime=6.29 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 2995 0 0 0 623 6 0 0 25 0 1 0 87076996 13746176 2909 1992294400 134512640 135752675 4293094256 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 3356 2909 145 303 0 3051 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13424 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.98 2/107 28477 /proc/meminfo: memFree=1833052/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=21904 CPUtime=12.69 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 5116 0 0 0 1256 13 0 0 25 0 1 0 87076996 22429696 5030 1992294400 134512640 135752675 4293094256 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 5476 5030 145 303 0 5171 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21904 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 0.98 3/107 28477 /proc/meminfo: memFree=1817428/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=37008 CPUtime=25.48 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 8899 0 0 0 2521 27 0 0 25 0 1 0 87076996 37896192 8813 1992294400 134512640 135752675 4293094256 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 9252 8813 145 303 0 8947 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37008 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.98 2/107 28477 /proc/meminfo: memFree=1782832/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=71944 CPUtime=51.07 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 17630 0 0 0 5050 57 0 0 25 0 1 0 87076996 73670656 17544 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 17986 17544 145 303 0 17681 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71944 [startup+102.309 s] /proc/loadavg: 1.06 1.00 0.99 2/107 28479 /proc/meminfo: memFree=1727900/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=126012 CPUtime=102.26 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 31122 0 0 0 10122 104 0 0 25 0 1 0 87076996 129036288 31036 1992294400 134512640 135752675 4293094256 18446744073709551615 134612083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 31503 31036 145 303 0 31198 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 126012 [startup+162.301 s] /proc/loadavg: 1.06 1.01 1.00 2/107 28481 /proc/meminfo: memFree=1658088/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=196356 CPUtime=162.25 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 48713 0 0 0 16060 165 0 0 25 0 1 0 87076996 201068544 48627 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 49089 48627 145 303 0 48784 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 196356 [startup+222.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 28483 /proc/meminfo: memFree=1600180/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=253416 CPUtime=222.23 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 62981 0 0 0 22006 217 0 0 25 0 1 0 87076996 259497984 62895 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 63354 62895 146 303 0 63049 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 253416 [startup+282.302 s] /proc/loadavg: 1.05 1.03 1.00 2/107 28483 /proc/meminfo: memFree=1547728/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=306024 CPUtime=282.22 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 76131 0 0 0 27960 262 0 0 25 0 1 0 87076996 313368576 76045 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 76506 76045 146 303 0 76201 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 306024 [startup+342.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 28485 /proc/meminfo: memFree=1497880/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=355476 CPUtime=342.19 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 88472 0 0 0 33911 308 0 0 25 0 1 0 87076996 364007424 88386 1992294400 134512640 135752675 4293094256 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 88869 88386 146 303 0 88564 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 355476 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 28487 /proc/meminfo: memFree=1452744/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=401128 CPUtime=402.18 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 99872 0 0 0 39867 351 0 0 25 0 1 0 87076996 410755072 99786 1992294400 134512640 135752675 4293094256 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 100282 99787 146 303 0 99977 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 401128 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28489 /proc/meminfo: memFree=1406988/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=446164 CPUtime=462.16 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 111139 0 0 0 45821 395 0 0 25 0 1 0 87076996 456871936 111053 1992294400 134512640 135752675 4293094256 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 111541 111053 146 303 0 111236 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 446164 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28492 /proc/meminfo: memFree=1365324/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=487380 CPUtime=522.15 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 121438 0 0 0 51777 438 0 0 25 0 1 0 87076996 499077120 121352 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 121845 121352 146 303 0 121540 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 487380 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28494 /proc/meminfo: memFree=1319940/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=532460 CPUtime=582.13 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 132701 0 0 0 57737 476 0 0 25 0 1 0 87076996 545239040 132615 1992294400 134512640 135752675 4293094256 18446744073709551615 134603244 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 133115 132615 146 303 0 132810 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 532460 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28496 /proc/meminfo: memFree=1273564/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=578632 CPUtime=642.12 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 144241 0 0 0 63694 518 0 0 25 0 1 0 87076996 592519168 144155 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 144658 144155 146 303 0 144353 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 578632 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28502 /proc/meminfo: memFree=1093020/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=759376 CPUtime=882.05 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 189401 0 0 0 87519 686 0 0 25 0 1 0 87076996 777601024 189315 1992294400 134512640 135752675 4293094256 18446744073709551615 134607021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 189844 189315 146 303 0 189539 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 759376 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28504 /proc/meminfo: memFree=1054456/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=797868 CPUtime=942.03 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 199036 0 0 0 93480 723 0 0 25 0 1 0 87076996 817016832 198950 1992294400 134512640 135752675 4293094256 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 199467 198950 146 303 0 199162 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 797868 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28506 /proc/meminfo: memFree=1014156/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=838028 CPUtime=1002.01 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 209056 0 0 0 99439 762 0 0 25 0 1 0 87076996 858140672 208970 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 209507 208970 146 303 0 209202 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 838028 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28508 /proc/meminfo: memFree=974972/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=877560 CPUtime=1062 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 218950 0 0 0 105398 802 0 0 25 0 1 0 87076996 898621440 218864 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 219390 218864 146 303 0 219085 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 877560 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28510 /proc/meminfo: memFree=933060/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=919220 CPUtime=1121.99 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 229359 0 0 0 111361 838 0 0 25 0 1 0 87076996 941281280 229273 1992294400 134512640 135752675 4293094256 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 229805 229273 146 303 0 229500 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 919220 [startup+1182.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 28510 /proc/meminfo: memFree=891396/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=960812 CPUtime=1181.97 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 239753 0 0 0 117320 877 0 0 25 0 1 0 87076996 983871488 239667 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 240203 239667 146 303 0 239898 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 960812 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 28512 /proc/meminfo: memFree=848864/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1003028 CPUtime=1241.95 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 250294 0 0 0 123275 920 0 0 25 0 1 0 87076996 1027100672 250208 1992294400 134512640 135752675 4293094256 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 250757 250208 146 303 0 250452 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1003028 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28514 /proc/meminfo: memFree=808688/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1042576 CPUtime=1301.94 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 260197 0 0 0 129237 957 0 0 25 0 1 0 87076996 1067597824 260111 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 260644 260111 146 303 0 260339 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1042576 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28516 /proc/meminfo: memFree=770124/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1081264 CPUtime=1361.91 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 269860 0 0 0 135199 992 0 0 25 0 1 0 87076996 1107214336 269774 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 270316 269774 146 303 0 270011 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1081264 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28518 /proc/meminfo: memFree=730940/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1120412 CPUtime=1421.9 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 279626 0 0 0 141159 1031 0 0 25 0 1 0 87076996 1147301888 279540 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 280103 279540 146 303 0 279798 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1120412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28518 /proc/meminfo: memFree=690268/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1161148 CPUtime=1481.88 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 289805 0 0 0 147117 1071 0 0 25 0 1 0 87076996 1189015552 289719 1992294400 134512640 135752675 4293094256 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 290287 289719 146 303 0 289982 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1161148 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28520 /proc/meminfo: memFree=649844/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1201384 CPUtime=1541.86 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 299858 0 0 0 153081 1105 0 0 25 0 1 0 87076996 1230217216 299772 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 300346 299772 146 303 0 300041 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1201384 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28522 /proc/meminfo: memFree=610660/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1240668 CPUtime=1601.85 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 309694 0 0 0 159040 1145 0 0 25 0 1 0 87076996 1270444032 309608 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 310167 309608 146 303 0 309862 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1240668 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28524 /proc/meminfo: memFree=571228/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1279712 CPUtime=1661.83 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 319448 0 0 0 164998 1185 0 0 25 0 1 0 87076996 1310425088 319362 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 319928 319362 146 303 0 319623 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1279712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28524 /proc/meminfo: memFree=532044/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1318996 CPUtime=1721.81 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 329274 0 0 0 170955 1226 0 0 25 0 1 0 87076996 1350651904 329188 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 329749 329188 146 303 0 329444 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1318996 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28526 /proc/meminfo: memFree=492364/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1358144 CPUtime=1781.8 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 339056 0 0 0 176916 1264 0 0 25 0 1 0 87076996 1390739456 338970 1992294400 134512640 135752675 4293094256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 339536 338970 146 303 0 339231 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1358144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28528 /proc/meminfo: memFree=479840/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=1370604 CPUtime=1800.11 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4202496 342148 0 0 0 178736 1275 0 0 25 0 1 0 87076996 1403498496 342062 1992294400 134512640 135752675 4293094256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28476/statm: 342651 342062 146 303 0 342346 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 1370604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28528 /proc/meminfo: memFree=479840/2059040 swapFree=4140556/4192956 [pid=28476] ppid=28474 vsize=0 CPUtime=1800.21 /proc/28476/stat : 28476 (wbo1.4b) R 28474 28476 28100 0 -1 4203524 342148 0 0 0 178736 1285 0 0 25 0 1 0 87076996 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28476/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.75 CPU time (s): 1800.25 CPU user time (s): 1787.36 CPU system time (s): 12.887 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1370604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.36 system time used= 12.887 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 342148 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= 3381 runsolver used 3.15452 second user time and 8.33873 second system time The end
Begin job on node030 at 2010-06-25 11:23:37 IDJOB=2680696 IDBENCH=2895 IDSOLVER=1190 FILE ID=node030/2680696-1277457816 PBS_JOBID= 11188135 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680696-1277457816/watcher-2680696-1277457816 -o /tmp/evaluation-result-2680696-1277457816/solver-2680696-1277457816 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680696-1277457816.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=773083848 node030.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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1852808 kB Buffers: 27004 kB Cached: 74712 kB SwapCached: 5752 kB Active: 28968 kB Inactive: 86500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1852808 kB SwapTotal: 4192956 kB SwapFree: 4140556 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 11980 kB Mapped: 12164 kB Slab: 68732 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181792 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= 62492 MiB End job on node030 at 2010-06-25 11:53:39