Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.19 | 1800.74 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656053-1276598824.opb. 0.00/0.00 c Instance file HOME/instance-2656053-1276598824.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.002999 s Remaining CPU time: 179.997 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.01/0.01 c =============================================================================== 0.01/0.01 c New solution: 744 0.01/0.01 o 744 0.01/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.01/0.01 c =============================================================================== 0.01/0.01 c | 101 | 198 18 1630 | 5000 101 89 | 0.003 % | 0.01/0.02 c | 201 | 198 18 1630 | 5500 201 77 | 0.003 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 731 0.01/0.03 o 731 0.01/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 298 | 198 19 1758 | 5000 298 73 | 0.003 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c New solution: 715 0.01/0.04 o 715 0.01/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.01/0.04 c =============================================================================== 0.01/0.04 c | 366 | 198 20 1886 | 5000 366 74 | 0.003 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 676 0.01/0.05 o 676 0.01/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 419 | 198 21 2014 | 5000 419 73 | 0.003 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 618 0.01/0.05 o 618 0.01/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 451 | 198 22 2142 | 5000 451 72 | 0.003 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 537 0.01/0.06 o 537 0.01/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 514 | 198 23 2270 | 5000 514 71 | 0.003 % | 0.01/0.07 c | 615 | 198 23 2270 | 5500 615 70 | 0.003 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 520 0.01/0.07 o 520 0.01/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 622 | 198 24 2398 | 5000 622 70 | 0.003 % | 0.01/0.08 c | 724 | 198 24 2398 | 5500 724 72 | 0.003 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: 502 0.01/0.09 o 502 0.01/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 756 | 198 25 2526 | 5000 756 72 | 0.003 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: 484 0.01/0.09 o 484 0.01/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 801 | 198 26 2654 | 5000 801 71 | 0.003 % | 0.01/0.10 c =============================================================================== 0.01/0.10 c New solution: 474 0.01/0.10 o 474 0.01/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.01/0.10 c =============================================================================== 0.01/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.099984 s Remaining CPU time: 179.9 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 847 | 198 28 2910 | 5000 847 71 | 0.003 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 460 0.09/0.11 o 460 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 | 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.108983 s Remaining CPU time: 179.891 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.112982 s Remaining CPU time: 179.887 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.113982 s Remaining CPU time: 179.886 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.115982 s Remaining CPU time: 179.884 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.118981 s Remaining CPU time: 179.881 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.122981 s Remaining CPU time: 179.877 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.12898 s Remaining CPU time: 179.871 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.134979 s Remaining CPU time: 179.865 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.274958 s Remaining CPU time: 179.725 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 1954 | 198 41 4574 | 5000 1954 66 | 0.003 % | 0.28/0.30 c | 2054 | 198 41 4574 | 5500 2054 65 | 0.003 % | 0.28/0.32 c | 2205 | 198 41 4574 | 6050 2205 65 | 0.003 % | 0.28/0.36 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.78/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.38864 s Remaining CPU time: 177.611 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.48 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.46263 s Remaining CPU time: 177.537 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.55 c | 13582 | 198 43 4830 | 6050 4133 60 | 0.003 % | 2.49/2.59 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.68/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.06153 s Remaining CPU time: 176.938 s 3.09/3.11 c =============================================================================== 3.09/3.11 c | 16337 | 198 44 4958 | 5000 6888 60 | 0.003 % | 3.09/3.15 c | 16437 | 198 44 4958 | 5500 3544 61 | 0.003 % | 3.09/3.18 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.29 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.48/3.53 c | 18415 | 198 44 4958 | 8857 5522 60 | 0.003 % | 3.68/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.67 c | 23824 | 198 44 4958 | 11789 5545 57 | 0.003 % | 5.40/5.50 c | 27669 | 198 44 4958 | 12968 9390 58 | 0.003 % | 6.78/6.84 c | 33436 | 198 44 4958 | 14265 8653 58 | 0.003 % | 8.79/8.87 c | 42085 | 198 44 4958 | 15692 10143 59 | 0.003 % | 12.18/12.29 c | 55059 | 198 44 4958 | 17261 15238 58 | 0.003 % | 17.58/17.69 c | 74520 | 198 44 4958 | 18987 8728 56 | 0.003 % | 25.98/26.01 c | 103712 | 198 44 4958 | 20886 18870 58 | 0.003 % | 34.36/34.44 c =============================================================================== 34.36/34.44 c New solution: 147 34.36/34.44 o 147 34.36/34.44 c Elapsed CPU time: 34.0548 s Remaining CPU time: 145.945 s 34.36/34.44 c =============================================================================== 34.36/34.44 c | 132181 | 198 45 5086 | 5000 15920 60 | 0.003 % | 34.46/34.55 c | 132283 | 198 45 5086 | 5500 4082 60 | 0.003 % | 34.46/34.58 c | 132433 | 198 45 5086 | 6050 4232 61 | 0.003 % | 34.57/34.63 c | 132658 | 198 45 5086 | 6655 4457 60 | 0.003 % | 34.67/34.70 c | 132996 | 198 45 5086 | 7320 4795 60 | 0.003 % | 34.77/34.82 c | 133503 | 198 45 5086 | 8052 5302 60 | 0.003 % | 34.87/34.99 c | 134262 | 198 45 5086 | 8857 6061 60 | 0.003 % | 35.18/35.21 c | 135401 | 198 45 5086 | 9743 7200 60 | 0.003 % | 35.46/35.58 c | 137109 | 198 45 5086 | 10717 8908 60 | 0.003 % | 36.07/36.12 c | 139671 | 198 45 5086 | 11789 6081 59 | 0.003 % | 36.87/36.96 c | 143516 | 198 45 5086 | 12968 9926 59 | 0.003 % | 37.67/37.77 c =============================================================================== 37.67/37.77 c New solution: 145 37.67/37.77 o 145 37.67/37.77 c Elapsed CPU time: 37.3473 s Remaining CPU time: 142.653 s 37.67/37.77 c =============================================================================== 37.67/37.77 c | 146759 | 198 46 5214 | 5000 6655 60 | 0.003 % | 37.77/37.81 c | 146859 | 198 46 5214 | 5500 3428 59 | 0.003 % | 37.77/37.84 c | 147010 | 198 46 5214 | 6050 3579 59 | 0.003 % | 37.77/37.88 c =============================================================================== 37.77/37.88 c New solution: 139 37.77/37.88 o 139 37.77/37.88 c Elapsed CPU time: 37.4553 s Remaining CPU time: 142.545 s 37.77/37.88 c =============================================================================== 37.77/37.88 c | 147203 | 198 47 5342 | 5000 3772 59 | 0.003 % | 37.87/37.90 c | 147306 | 198 47 5342 | 5500 3875 59 | 0.003 % | 37.87/37.93 c | 147457 | 198 47 5342 | 6050 4026 59 | 0.003 % | 37.87/37.97 c | 147682 | 198 47 5342 | 6655 4251 59 | 0.003 % | 37.97/38.05 c | 148019 | 198 47 5342 | 7320 4588 59 | 0.003 % | 38.06/38.14 c | 148525 | 198 47 5342 | 8052 5094 59 | 0.003 % | 38.17/38.29 c | 149284 | 198 47 5342 | 8857 5853 59 | 0.003 % | 38.47/38.51 c | 150425 | 198 47 5342 | 9743 6994 60 | 0.003 % | 38.77/38.89 c | 152133 | 198 47 5342 | 10717 8702 59 | 0.003 % | 39.37/39.50 c | 154695 | 198 47 5342 | 11789 5881 60 | 0.003 % | 40.27/40.30 c | 158539 | 198 47 5342 | 12968 9725 59 | 0.003 % | 41.57/41.64 c | 164305 | 198 47 5342 | 14265 8974 59 | 0.003 % | 42.06/42.20 c =============================================================================== 42.06/42.20 c New solution: 129 42.06/42.20 o 129 42.06/42.20 c Elapsed CPU time: 41.7147 s Remaining CPU time: 138.285 s 42.06/42.20 c =============================================================================== 42.06/42.20 c | 166760 | 198 48 5470 | 5000 11429 60 | 0.003 % | 42.17/42.27 c | 166860 | 198 48 5470 | 5500 2958 62 | 0.003 % | 42.17/42.29 c | 167010 | 198 48 5470 | 6050 3108 62 | 0.003 % | 42.27/42.34 c | 167238 | 198 48 5470 | 6655 3336 62 | 0.003 % | 42.27/42.37 c =============================================================================== 42.27/42.37 c New solution: 122 42.27/42.37 o 122 42.27/42.37 c Elapsed CPU time: 41.8906 s Remaining CPU time: 138.109 s 42.27/42.37 c =============================================================================== 42.27/42.37 c | 167405 | 198 49 5598 | 5000 3503 62 | 0.003 % | 42.27/42.38 c =============================================================================== 42.27/42.38 c New solution: 111 42.27/42.38 o 111 42.27/42.38 c Elapsed CPU time: 41.9016 s Remaining CPU time: 138.098 s 42.27/42.38 c =============================================================================== 42.27/42.38 c | 167426 | 182 50 5726 | 5000 3488 62 | 0.003 % | 42.27/42.39 c =============================================================================== 42.27/42.39 c New solution: 109 42.27/42.39 o 109 42.27/42.39 c Elapsed CPU time: 41.9096 s Remaining CPU time: 138.09 s 42.27/42.39 c =============================================================================== 42.27/42.39 c | 167454 | 182 51 5854 | 5000 3516 62 | 0.003 % | 42.37/42.41 c | 167554 | 182 51 5854 | 5500 3616 62 | 8.083 % | 42.37/42.45 c | 167704 | 182 51 5854 | 6050 3766 62 | 8.083 % | 42.37/42.49 c | 167930 | 182 51 5854 | 6655 3992 62 | 8.083 % | 42.47/42.56 c | 168268 | 182 51 5854 | 7320 4330 62 | 8.083 % | 42.57/42.65 c | 168774 | 182 51 5854 | 8052 4836 62 | 8.083 % | 42.66/42.78 c | 169533 | 182 51 5854 | 8857 5595 61 | 8.083 % | 42.88/42.98 c | 170672 | 182 51 5854 | 9743 6734 61 | 8.083 % | 43.26/43.32 c | 172380 | 182 51 5854 | 10717 8442 61 | 8.083 % | 43.77/43.89 c | 174942 | 182 51 5854 | 11789 5608 61 | 8.083 % | 44.67/44.70 c | 178787 | 182 51 5854 | 12968 9453 61 | 8.083 % | 45.97/46.01 c | 184553 | 182 51 5854 | 14265 8692 62 | 8.083 % | 47.96/48.08 c | 193203 | 182 51 5854 | 15692 10167 62 | 8.083 % | 51.36/51.48 c | 206177 | 182 51 5854 | 17261 15247 61 | 8.083 % | 56.96/57.05 c | 225638 | 182 51 5854 | 18987 8716 60 | 8.083 % | 65.26/65.32 c | 254830 | 182 51 5854 | 20886 18833 61 | 8.083 % | 79.36/79.48 c | 298619 | 182 51 5854 | 22974 20718 59 | 8.083 % | 101.35/101.41 c | 364303 | 182 51 5854 | 25272 14729 61 | 8.083 % | 107.25/107.31 c =============================================================================== 107.25/107.31 c New solution: 96 107.25/107.31 o 96 107.25/107.31 c Elapsed CPU time: 106.172 s Remaining CPU time: 73.8281 s 107.25/107.31 c =============================================================================== 107.25/107.31 c | 382066 | 182 52 5982 | 5000 17971 60 | 8.083 % | 107.35/107.45 c | 382166 | 182 52 5982 | 5500 4593 60 | 8.083 % | 107.35/107.49 c | 382317 | 182 52 5982 | 6050 4744 60 | 8.083 % | 107.45/107.54 c | 382543 | 182 52 5982 | 6655 4970 61 | 8.083 % | 107.55/107.61 c | 382882 | 182 52 5982 | 7320 5309 60 | 8.083 % | 107.65/107.72 c | 383388 | 182 52 5982 | 8052 5815 60 | 8.083 % | 107.76/107.89 c | 384147 | 182 52 5982 | 8857 6574 60 | 8.083 % | 108.05/108.15 c | 385286 | 182 52 5982 | 9743 7713 60 | 8.083 % | 108.45/108.54 c | 386995 | 182 52 5982 | 10717 9422 60 | 8.083 % | 108.45/108.55 c =============================================================================== 108.45/108.55 c New solution: 85 108.45/108.55 o 85 108.45/108.55 c Elapsed CPU time: 107.398 s Remaining CPU time: 72.6023 s 108.45/108.55 c =============================================================================== 108.45/108.55 c | 387030 | 182 53 6110 | 5000 9457 60 | 8.083 % | 108.55/108.60 c | 387133 | 182 53 6110 | 5500 4832 61 | 8.083 % | 108.55/108.63 c | 387284 | 182 53 6110 | 6050 4983 61 | 8.083 % | 108.55/108.68 c | 387509 | 182 53 6110 | 6655 5208 61 | 8.083 % | 108.65/108.75 c | 387846 | 182 53 6110 | 7320 5545 61 | 8.083 % | 108.75/108.85 c | 388352 | 182 53 6110 | 8052 6051 60 | 8.083 % | 108.94/109.02 c | 389111 | 182 53 6110 | 8857 6810 60 | 8.083 % | 109.15/109.27 c | 390250 | 182 53 6110 | 9743 7949 60 | 8.083 % | 109.54/109.65 c | 391958 | 182 53 6110 | 10717 9657 60 | 8.083 % | 110.15/110.25 c | 394520 | 182 53 6110 | 11789 6829 59 | 8.083 % | 111.06/111.14 c | 398364 | 182 53 6110 | 12968 10673 59 | 8.083 % | 112.44/112.58 c | 404132 | 182 53 6110 | 14265 9921 60 | 8.083 % | 114.54/114.69 c | 412781 | 182 53 6110 | 15692 11400 60 | 8.083 % | 118.05/118.15 c =============================================================================== 118.05/118.15 c New solution: 84 118.05/118.15 o 84 118.05/118.15 c Elapsed CPU time: 116.888 s Remaining CPU time: 63.1118 s 118.05/118.15 c =============================================================================== 118.05/118.15 c | 425560 | 182 54 6238 | 5000 8412 60 | 8.083 % | 118.05/118.20 c | 425660 | 182 54 6238 | 5500 4306 61 | 8.083 % | 118.15/118.23 c | 425810 | 182 54 6238 | 6050 4456 61 | 8.083 % | 118.15/118.24 c =============================================================================== 118.15/118.24 c New solution: 82 118.15/118.24 o 82 118.15/118.24 c Elapsed CPU time: 116.978 s Remaining CPU time: 63.0218 s 118.15/118.24 c =============================================================================== 118.15/118.24 c | 425854 | 182 55 6366 | 5000 4500 61 | 8.083 % | 118.15/118.27 c | 425954 | 182 55 6366 | 5500 4600 61 | 8.083 % | 118.25/118.30 c | 426104 | 182 55 6366 | 6050 4750 62 | 8.083 % | 118.25/118.34 c | 426329 | 182 55 6366 | 6655 4975 62 | 8.083 % | 118.34/118.41 c | 426666 | 182 55 6366 | 7320 5312 62 | 8.083 % | 118.44/118.52 c | 427172 | 182 55 6366 | 8052 5818 62 | 8.083 % | 118.54/118.68 c | 427931 | 182 55 6366 | 8857 6577 62 | 8.083 % | 118.85/118.93 c | 429070 | 182 55 6366 | 9743 7716 62 | 8.083 % | 119.24/119.32 c | 430778 | 182 55 6366 | 10717 9424 61 | 8.083 % | 119.75/119.90 c | 433341 | 182 55 6366 | 11789 6593 61 | 8.083 % | 120.65/120.79 c | 437185 | 182 55 6366 | 12968 10437 62 | 8.083 % | 122.14/122.28 c | 442952 | 182 55 6366 | 14265 9682 61 | 8.083 % | 124.44/124.54 c | 451601 | 182 55 6366 | 15692 11162 61 | 8.083 % | 128.25/128.31 c | 464575 | 182 55 6366 | 17261 8367 61 | 8.083 % | 133.64/133.76 c | 484036 | 182 55 6366 | 18987 10506 60 | 8.083 % | 142.34/142.49 c | 513230 | 182 55 6366 | 20886 11103 61 | 8.083 % | 156.43/156.55 c | 557019 | 182 55 6366 | 22974 12987 60 | 8.083 % | 160.44/160.59 c =============================================================================== 160.44/160.59 c New solution: 71 160.44/160.59 o 71 160.44/160.59 c Elapsed CPU time: 158.872 s Remaining CPU time: 21.1282 s 160.44/160.59 c =============================================================================== 160.44/160.59 c | 569605 | 182 56 6494 | 5000 13318 60 | 8.083 % | 160.54/160.67 c | 569705 | 182 56 6494 | 5500 3430 60 | 8.083 % | 160.63/160.71 c | 569855 | 182 56 6494 | 6050 3580 60 | 8.083 % | 160.63/160.76 c | 570080 | 182 56 6494 | 6655 3805 60 | 8.083 % | 160.74/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.03/161.12 c | 571682 | 182 56 6494 | 8857 5407 60 | 8.083 % | 161.23/161.37 c | 572821 | 182 56 6494 | 9743 6546 59 | 8.083 % | 161.64/161.76 c | 574529 | 182 56 6494 | 10717 8254 59 | 8.083 % | 162.24/162.39 c | 577092 | 182 56 6494 | 11789 5420 58 | 8.083 % | 163.13/163.27 c | 580936 | 182 56 6494 | 12968 9264 59 | 8.083 % | 164.63/164.77 c | 586702 | 182 56 6494 | 14265 8509 60 | 8.083 % | 166.93/167.07 c | 595351 | 182 56 6494 | 15692 9980 60 | 8.083 % | 169.53/169.62 c =============================================================================== 169.53/169.62 c New solution: 65 169.53/169.62 o 65 169.53/169.62 c Elapsed CPU time: 167.802 s Remaining CPU time: 12.1975 s 169.53/169.62 c =============================================================================== 169.53/169.62 c | 604097 | 182 57 6622 | 5000 10838 60 | 8.083 % | 169.53/169.68 c =============================================================================== 169.53/169.68 c New solution: 63 169.53/169.68 o 63 169.53/169.68 c Elapsed CPU time: 167.865 s Remaining CPU time: 12.1345 s 169.53/169.68 c =============================================================================== 169.53/169.68 c | 604110 | 182 58 6750 | 5000 2723 62 | 8.083 % | 169.63/169.71 c | 604210 | 166 58 6750 | 5500 2788 63 | 16.164 % | 169.63/169.74 c | 604360 | 166 58 6750 | 6050 2938 63 | 16.164 % | 169.63/169.79 c | 604585 | 166 58 6750 | 6655 3163 63 | 16.164 % | 169.73/169.87 c | 604922 | 166 58 6750 | 7320 3500 63 | 16.164 % | 169.83/169.98 c | 605428 | 166 58 6750 | 8052 4006 63 | 16.164 % | 170.04/170.15 c | 606187 | 166 58 6750 | 8857 4765 64 | 16.164 % | 170.34/170.42 c | 607326 | 166 58 6750 | 9743 5904 64 | 16.164 % | 170.73/170.82 c | 609034 | 166 58 6750 | 10717 7612 65 | 16.164 % | 171.33/171.46 c | 611597 | 166 58 6750 | 11789 10175 65 | 16.164 % | 172.33/172.47 c | 615441 | 166 58 6750 | 12968 8083 66 | 16.164 % | 173.93/174.04 c | 621207 | 166 58 6750 | 14265 7320 66 | 16.164 % | 176.33/176.45 c | 629856 | 166 58 6750 | 15692 8799 68 | 16.164 % | 179.93/180.01 c | 642830 | 166 58 6750 | 17261 13881 65 | 16.164 % | 181.83/181.97 c There are 32 assigned variables. 32 in cost function. 182.43/182.53 c ============================[ Search Statistics ]============================== 182.43/182.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.53 c =============================================================================== 182.43/182.53 c | 0 | 70 187 1310 | 5000 0 nan | 0.000 % | 182.43/182.55 c | 101 | 70 187 1310 | 5500 101 60 | 64.649 % | 182.43/182.58 c | 251 | 70 187 1310 | 6050 251 73 | 64.649 % | 182.53/182.64 c | 476 | 70 187 1310 | 6655 476 74 | 64.649 % | 182.62/182.72 c | 813 | 70 187 1310 | 7320 813 75 | 64.649 % | 182.73/182.85 c | 1319 | 70 187 1310 | 8052 1319 76 | 64.649 % | 182.83/182.99 c | 2078 | 70 187 1310 | 8857 2078 78 | 64.649 % | 183.13/183.22 c | 3217 | 70 187 1310 | 9743 3217 79 | 64.649 % | 183.43/183.60 c | 4925 | 70 187 1310 | 10717 4925 80 | 64.649 % | 184.13/184.21 c | 7488 | 70 187 1310 | 11789 7488 81 | 64.649 % | 185.22/185.31 c | 11332 | 70 187 1310 | 12968 11332 80 | 64.649 % | 186.84/186.95 c | 17099 | 70 187 1310 | 14265 10525 79 | 64.649 % | 189.23/189.30 c | 25748 | 70 187 1310 | 15692 11951 74 | 64.649 % | 193.12/193.23 c | 38723 | 70 187 1310 | 17261 9055 80 | 64.649 % | 199.32/199.41 c | 58184 | 70 187 1310 | 18987 11076 79 | 64.649 % | 208.83/209.00 c | 87376 | 70 187 1310 | 20886 11520 82 | 64.649 % | 225.11/225.24 c | 131166 | 70 187 1310 | 22974 13183 84 | 64.649 % | 250.41/250.56 c | 196851 | 70 187 1310 | 25272 16828 81 | 64.649 % | 291.41/291.55 c | 295377 | 70 187 1310 | 27799 13111 83 | 64.649 % | 352.68/352.89 c | 443166 | 70 187 1310 | 30579 24580 82 | 64.649 % | 454.55/454.71 c | 664849 | 70 187 1310 | 33637 29324 81 | 64.649 % | 619.30/619.56 c | 997374 | 70 187 1310 | 37001 21517 81 | 64.649 % | 880.22/880.54 c | 1496162 | 70 187 1310 | 40701 27131 83 | 64.649 % | 1322.79/1323.22 c | 2244344 | 70 187 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-2656053-1276598824/watcher-2656053-1276598824 -o /tmp/evaluation-result-2656053-1276598824/solver-2656053-1276598824 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656053-1276598824.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 9103 /proc/meminfo: memFree=1542536/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=2572 CPUtime=0 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 291 0 0 0 0 0 0 0 19 0 1 0 1174633 2633728 206 1992294400 134512640 135751879 4288105792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 643 206 146 303 0 338 0 [startup+0.014617 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9103 /proc/meminfo: memFree=1542536/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=2572 CPUtime=0.01 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 298 0 0 0 1 0 0 0 19 0 1 0 1174633 2633728 213 1992294400 134512640 135751879 4288105792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 643 213 147 303 0 338 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2572 [startup+0.101615 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9103 /proc/meminfo: memFree=1542536/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=2828 CPUtime=0.09 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 377 0 0 0 9 0 0 0 19 0 1 0 1174633 2895872 292 1992294400 134512640 135751879 4288105792 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 707 292 147 303 0 402 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2828 [startup+0.301634 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9103 /proc/meminfo: memFree=1542536/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=3356 CPUtime=0.28 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 506 0 0 0 28 0 0 0 20 0 1 0 1174633 3436544 421 1992294400 134512640 135751879 4288105792 18446744073709551615 134518730 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 839 421 147 303 0 534 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3356 [startup+0.701676 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9103 /proc/meminfo: memFree=1542536/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=4268 CPUtime=0.69 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 713 0 0 0 68 1 0 0 21 0 1 0 1174633 4370432 628 1992294400 134512640 135751879 4288105792 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 1067 628 147 303 0 762 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4268 [startup+1.50076 s] /proc/loadavg: 0.92 0.98 0.99 2/107 9104 /proc/meminfo: memFree=1539676/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=5608 CPUtime=1.49 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 1070 0 0 0 146 3 0 0 23 0 1 0 1174633 5742592 985 1992294400 134512640 135751879 4288105792 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 1402 985 147 303 0 1097 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5608 [startup+3.10092 s] /proc/loadavg: 0.92 0.98 0.99 2/107 9104 /proc/meminfo: memFree=1537568/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=8472 CPUtime=3.09 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 1760 0 0 0 304 5 0 0 25 0 1 0 1174633 8675328 1675 1992294400 134512640 135751879 4288105792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 2118 1675 148 303 0 1813 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8472 [startup+6.30125 s] /proc/loadavg: 0.93 0.98 0.99 2/107 9104 /proc/meminfo: memFree=1532236/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=13300 CPUtime=6.29 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 2993 0 0 0 620 9 0 0 25 0 1 0 1174633 13619200 2908 1992294400 134512640 135751879 4288105792 18446744073709551615 134616789 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 3325 2908 148 303 0 3020 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13300 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/107 9104 /proc/meminfo: memFree=1523060/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=21908 CPUtime=12.68 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 5124 0 0 0 1253 15 0 0 25 0 1 0 1174633 22433792 5039 1992294400 134512640 135751879 4288105792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 5477 5039 148 303 0 5172 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21908 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/107 9104 /proc/meminfo: memFree=1507684/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=37008 CPUtime=25.47 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 8881 0 0 0 2520 27 0 0 25 0 1 0 1174633 37896192 8796 1992294400 134512640 135751879 4288105792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 9252 8796 148 303 0 8947 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 37008 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/107 9104 /proc/meminfo: memFree=1473336/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=71672 CPUtime=51.07 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 17573 0 0 0 5051 56 0 0 25 0 1 0 1174633 73392128 17488 1992294400 134512640 135751879 4288105792 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 17918 17488 148 303 0 17613 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71672 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 9106 /proc/meminfo: memFree=1418280/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=125720 CPUtime=102.25 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 31075 0 0 0 10121 104 0 0 25 0 1 0 1174633 128737280 30990 1992294400 134512640 135751879 4288105792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 31430 30990 148 303 0 31125 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 125720 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9108 /proc/meminfo: memFree=1348344/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=196336 CPUtime=162.24 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 48718 0 0 0 16055 169 0 0 25 0 1 0 1174633 201048064 48633 1992294400 134512640 135751879 4288105792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 49084 48633 148 303 0 48779 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 196336 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9110 /proc/meminfo: memFree=1290312/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=253524 CPUtime=222.22 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 63020 0 0 0 21994 228 0 0 25 0 1 0 1174633 259608576 62935 1992294400 134512640 135751879 4288105792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 63381 62935 150 303 0 63076 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 253524 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9110 /proc/meminfo: memFree=1237736/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=306160 CPUtime=282.2 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 76193 0 0 0 27947 273 0 0 25 0 1 0 1174633 313507840 76108 1992294400 134512640 135751879 4288105792 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 76540 76108 150 303 0 76235 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 306160 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9112 /proc/meminfo: memFree=1187888/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=355872 CPUtime=342.18 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 88583 0 0 0 33902 316 0 0 25 0 1 0 1174633 364412928 88498 1992294400 134512640 135751879 4288105792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 88968 88498 150 303 0 88663 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 355872 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9114 /proc/meminfo: memFree=1143000/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=401392 CPUtime=402.17 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 99939 0 0 0 39857 360 0 0 25 0 1 0 1174633 411025408 99854 1992294400 134512640 135751879 4288105792 18446744073709551615 134604811 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 100348 99854 150 303 0 100043 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 401392 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9116 /proc/meminfo: memFree=1097120/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=446296 CPUtime=462.15 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 111162 0 0 0 45810 405 0 0 25 0 1 0 1174633 457007104 111077 1992294400 134512640 135751879 4288105792 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 111574 111077 150 303 0 111269 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 446296 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9118 /proc/meminfo: memFree=1056200/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=487380 CPUtime=522.13 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 121438 0 0 0 51769 444 0 0 25 0 1 0 1174633 499077120 121353 1992294400 134512640 135751879 4288105792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 121845 121353 150 303 0 121540 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 487380 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9118 /proc/meminfo: memFree=1010692/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=532504 CPUtime=582.12 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 132700 0 0 0 57725 487 0 0 25 0 1 0 1174633 545284096 132615 1992294400 134512640 135751879 4288105792 18446744073709551615 134649755 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 133126 132615 150 303 0 132821 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 532504 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9120 /proc/meminfo: memFree=964192/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=578632 CPUtime=642.11 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 144229 0 0 0 63681 530 0 0 25 0 1 0 1174633 592519168 144144 1992294400 134512640 135751879 4288105792 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 144658 144144 150 303 0 144353 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 578632 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9135 /proc/meminfo: memFree=783772/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=758216 CPUtime=882.02 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 189128 0 0 0 87507 695 0 0 25 0 1 0 1174633 776413184 189043 1992294400 134512640 135751879 4288105792 18446744073709551615 134611173 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 189554 189043 150 303 0 189249 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 758216 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9137 /proc/meminfo: memFree=744960/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=797340 CPUtime=941.99 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 198898 0 0 0 93469 730 0 0 25 0 1 0 1174633 816476160 198813 1992294400 134512640 135751879 4288105792 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 199335 198813 150 303 0 199030 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 797340 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9139 /proc/meminfo: memFree=706024/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=836076 CPUtime=1001.98 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 208599 0 0 0 99431 767 0 0 25 0 1 0 1174633 856141824 208514 1992294400 134512640 135751879 4288105792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 209019 208514 150 303 0 208714 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 836076 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9141 /proc/meminfo: memFree=666840/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=875668 CPUtime=1061.96 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 218485 0 0 0 105393 803 0 0 25 0 1 0 1174633 896684032 218400 1992294400 134512640 135751879 4288105792 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 218917 218400 150 303 0 218612 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 875668 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9143 /proc/meminfo: memFree=626168/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=915576 CPUtime=1121.94 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 228459 0 0 0 111354 840 0 0 25 0 1 0 1174633 937549824 228374 1992294400 134512640 135751879 4288105792 18446744073709551615 134602968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 228894 228374 150 303 0 228589 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 915576 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9143 /proc/meminfo: memFree=583636/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=958656 CPUtime=1181.93 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 239231 0 0 0 117315 878 0 0 25 0 1 0 1174633 981663744 239146 1992294400 134512640 135751879 4288105792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 239664 239146 150 303 0 239359 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 958656 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9145 /proc/meminfo: memFree=542716/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=999340 CPUtime=1241.9 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 249391 0 0 0 123280 910 0 0 25 0 1 0 1174633 1023324160 249306 1992294400 134512640 135751879 4288105792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 249835 249306 150 303 0 249530 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 999340 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9147 /proc/meminfo: memFree=501796/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1039556 CPUtime=1301.89 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 259453 0 0 0 129243 946 0 0 25 0 1 0 1174633 1064505344 259368 1992294400 134512640 135751879 4288105792 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 259889 259368 150 303 0 259584 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1039556 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9149 /proc/meminfo: memFree=462984/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1078764 CPUtime=1361.87 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 269217 0 0 0 135201 986 0 0 25 0 1 0 1174633 1104654336 269132 1992294400 134512640 135751879 4288105792 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 269691 269132 150 303 0 269386 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1078764 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9151 /proc/meminfo: memFree=425288/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1116188 CPUtime=1421.86 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 278554 0 0 0 141166 1020 0 0 25 0 1 0 1174633 1142976512 278469 1992294400 134512640 135751879 4288105792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 279047 278469 150 303 0 278742 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1116188 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9151 /proc/meminfo: memFree=384244/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1157620 CPUtime=1481.83 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 288911 0 0 0 147126 1057 0 0 25 0 1 0 1174633 1185402880 288826 1992294400 134512640 135751879 4288105792 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 289405 288826 150 303 0 289100 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1157620 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9153 /proc/meminfo: memFree=344440/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1197040 CPUtime=1541.81 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 298770 0 0 0 153091 1090 0 0 25 0 1 0 1174633 1225768960 298685 1992294400 134512640 135751879 4288105792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 299260 298685 150 303 0 298955 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1197040 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9155 /proc/meminfo: memFree=305876/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1235856 CPUtime=1601.8 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 308463 0 0 0 159054 1126 0 0 25 0 1 0 1174633 1265516544 308378 1992294400 134512640 135751879 4288105792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 308964 308378 150 303 0 308659 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1235856 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9157 /proc/meminfo: memFree=265948/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1275196 CPUtime=1661.78 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 318318 0 0 0 165014 1164 0 0 25 0 1 0 1174633 1305800704 318233 1992294400 134512640 135751879 4288105792 18446744073709551615 134604689 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 318799 318233 150 303 0 318494 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1275196 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9159 /proc/meminfo: memFree=227384/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1314080 CPUtime=1721.77 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 328027 0 0 0 170976 1201 0 0 25 0 1 0 1174633 1345617920 327942 1992294400 134512640 135751879 4288105792 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 328520 327942 150 303 0 328215 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1314080 [startup+1782.3 s] /proc/loadavg: 1.07 1.00 1.00 2/107 9159 /proc/meminfo: memFree=188200/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1352612 CPUtime=1781.75 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 337659 0 0 0 176937 1238 0 0 25 0 1 0 1174633 1385074688 337574 1992294400 134512640 135751879 4288105792 18446744073709551615 134616843 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 338153 337574 150 303 0 337848 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1352612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.05 1.00 1.00 2/107 9161 /proc/meminfo: memFree=175924/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=1364500 CPUtime=1800.06 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4202496 340651 0 0 0 178757 1249 0 0 25 0 1 0 1174633 1397248000 340566 1992294400 134512640 135751879 4288105792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9103/statm: 341125 340566 150 303 0 340820 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1364500 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.05 1.00 1.00 2/107 9161 /proc/meminfo: memFree=175924/2059040 swapFree=4192956/4192956 [pid=9103] ppid=9101 vsize=0 CPUtime=1800.16 /proc/9103/stat : 9103 (wbo1.4b) R 9101 9103 2331 0 -1 4203524 340651 0 0 0 178757 1259 0 0 25 0 1 0 1174633 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/9103/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.19 CPU user time (s): 1787.58 CPU system time (s): 12.6111 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 1364500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.58 system time used= 12.6111 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 340651 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= 5 involuntary context switches= 24414 runsolver used 2.69859 second user time and 8.78866 second system time The end
Begin job on node045 at 2010-06-15 12:47:04 IDJOB=2656053 IDBENCH=2895 IDSOLVER=1161 FILE ID=node045/2656053-1276598824 PBS_JOBID= 11173566 Free space on /tmp= 62460 MiB SOLVER NAME= wbo 1.4b 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-2656053-1276598824/watcher-2656053-1276598824 -o /tmp/evaluation-result-2656053-1276598824/solver-2656053-1276598824 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656053-1276598824.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=1874452953 node045.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.247 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.247 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1542940 kB Buffers: 47932 kB Cached: 342276 kB SwapCached: 0 kB Active: 181252 kB Inactive: 268360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1542940 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2612 kB Writeback: 0 kB AnonPages: 59384 kB Mapped: 15392 kB Slab: 44780 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180756 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= 62456 MiB End job on node045 at 2010-06-15 13:17:07