Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.2 | 1800.93 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_1.opb |
MD5SUM | 7b9886d41278c23acb93039c546a310e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 1801.33 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 13 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 73 |
Maximum length of a constraint | 75 |
Number of terms in the objective function | 112 |
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 | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1488 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4975 |
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-2680693-1277458316.opb. 0.00/0.00 c Instance file HOME/instance-2680693-1277458316.opb 0.00/0.00 c File size is 10188 bytes. 0.00/0.00 c Highest Coefficient sum: 4975 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: 172 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 14 | 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 | 172 14 1042 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1176 0.00/0.00 o 1176 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 | 172 15 1154 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 102 | 172 15 1154 | 5500 102 73 | 0.003 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 519 0.00/0.01 o 519 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 172 16 1266 | 5000 102 73 | 0.003 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 432 0.00/0.01 o 432 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 162 | 172 17 1378 | 5000 162 69 | 0.003 % | 0.00/0.02 c | 263 | 172 17 1378 | 5500 263 63 | 0.003 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 402 0.00/0.02 o 402 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 263 | 172 18 1490 | 5000 263 63 | 0.003 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 391 0.00/0.02 o 391 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 263 | 172 19 1602 | 5000 263 63 | 0.003 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 326 0.00/0.03 o 326 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 332 | 172 20 1714 | 5000 332 63 | 0.003 % | 0.00/0.04 c | 434 | 172 20 1714 | 5500 434 61 | 0.003 % | 0.00/0.05 c | 587 | 172 20 1714 | 6050 587 58 | 0.003 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 293 0.00/0.06 o 293 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 647 | 172 21 1826 | 5000 647 57 | 0.003 % | 0.06/0.07 c | 747 | 172 21 1826 | 5500 747 57 | 0.003 % | 0.06/0.09 c | 897 | 172 21 1826 | 6050 897 56 | 0.003 % | 0.09/0.11 c | 1126 | 172 21 1826 | 6655 1126 55 | 0.003 % | 0.09/0.15 c | 1463 | 172 21 1826 | 7320 1463 55 | 0.003 % | 0.19/0.21 c | 1969 | 172 21 1826 | 8052 1969 54 | 0.003 % | 0.29/0.31 c | 2728 | 172 21 1826 | 8857 2728 53 | 0.003 % | 0.39/0.46 c | 3867 | 172 21 1826 | 9743 3867 52 | 0.003 % | 0.59/0.69 c | 5575 | 172 21 1826 | 10717 5575 53 | 0.003 % | 1.10/1.13 c | 8138 | 172 21 1826 | 11789 8138 52 | 0.003 % | 1.79/1.88 c | 11982 | 172 21 1826 | 12968 6061 51 | 0.003 % | 2.79/2.84 c | 17748 | 172 21 1826 | 14265 11827 51 | 0.003 % | 4.69/4.73 c | 26398 | 172 21 1826 | 15692 13312 50 | 0.003 % | 5.08/5.10 c =============================================================================== 5.08/5.10 c New solution: 276 5.08/5.10 o 276 5.08/5.10 c Elapsed CPU time: 5.03523 s Remaining CPU time: 174.965 s 5.08/5.10 c =============================================================================== 5.08/5.10 c | 28093 | 172 22 1938 | 5000 15007 50 | 0.003 % | 5.08/5.17 c | 28193 | 172 22 1938 | 5500 3852 50 | 0.003 % | 5.08/5.19 c | 28344 | 172 22 1938 | 6050 4003 51 | 0.003 % | 5.08/5.19 c =============================================================================== 5.08/5.19 c New solution: 206 5.08/5.19 o 206 5.08/5.19 c Elapsed CPU time: 5.12522 s Remaining CPU time: 174.875 s 5.08/5.19 c =============================================================================== 5.08/5.19 c | 28346 | 172 23 2050 | 5000 4005 51 | 0.003 % | 5.19/5.20 c | 28446 | 172 23 2050 | 5500 4105 51 | 0.003 % | 5.19/5.22 c | 28597 | 172 23 2050 | 6050 4256 51 | 0.003 % | 5.19/5.26 c | 28822 | 172 23 2050 | 6655 4481 51 | 0.003 % | 5.19/5.26 c =============================================================================== 5.19/5.26 c New solution: 191 5.19/5.26 o 191 5.19/5.26 c Elapsed CPU time: 5.19021 s Remaining CPU time: 174.81 s 5.19/5.26 c =============================================================================== 5.19/5.26 c | 28838 | 172 24 2162 | 5000 4497 51 | 0.003 % | 5.19/5.27 c | 28938 | 172 24 2162 | 5500 4597 51 | 0.003 % | 5.29/5.30 c | 29091 | 172 24 2162 | 6050 4750 51 | 0.003 % | 5.29/5.30 c =============================================================================== 5.29/5.30 c New solution: 173 5.29/5.30 o 173 5.29/5.30 c Elapsed CPU time: 5.22921 s Remaining CPU time: 174.771 s 5.29/5.30 c =============================================================================== 5.29/5.30 c | 29108 | 172 25 2274 | 5000 4767 51 | 0.003 % | 5.29/5.30 c =============================================================================== 5.29/5.30 c New solution: 171 5.29/5.30 o 171 5.29/5.30 c Elapsed CPU time: 5.2342 s Remaining CPU time: 174.766 s 5.29/5.30 c =============================================================================== 5.29/5.30 c | 29140 | 172 26 2386 | 5000 4799 51 | 0.003 % | 5.29/5.32 c | 29240 | 172 26 2386 | 5500 4899 51 | 0.003 % | 5.29/5.34 c | 29390 | 172 26 2386 | 6050 5049 51 | 0.003 % | 5.29/5.37 c | 29616 | 172 26 2386 | 6655 5275 51 | 0.003 % | 5.40/5.42 c | 29953 | 172 26 2386 | 7320 5612 51 | 0.003 % | 5.40/5.49 c | 30460 | 172 26 2386 | 8052 6119 51 | 0.003 % | 5.59/5.60 c | 31219 | 172 26 2386 | 8857 6878 51 | 0.003 % | 5.69/5.76 c | 32358 | 172 26 2386 | 9743 8017 51 | 0.003 % | 5.99/6.03 c | 34066 | 172 26 2386 | 10717 9725 51 | 0.003 % | 6.39/6.45 c | 36628 | 172 26 2386 | 11789 6889 50 | 0.003 % | 6.68/6.77 c =============================================================================== 6.68/6.77 c New solution: 149 6.68/6.77 o 149 6.68/6.77 c Elapsed CPU time: 6.67698 s Remaining CPU time: 173.323 s 6.68/6.77 c =============================================================================== 6.68/6.77 c | 38548 | 172 27 2498 | 5000 8809 51 | 0.003 % | 6.79/6.80 c | 38648 | 172 27 2498 | 5500 4505 52 | 0.003 % | 6.79/6.82 c | 38798 | 172 27 2498 | 6050 4655 52 | 0.003 % | 6.79/6.85 c | 39023 | 172 27 2498 | 6655 4880 52 | 0.003 % | 6.79/6.89 c =============================================================================== 6.79/6.89 c New solution: 145 6.79/6.89 o 145 6.79/6.89 c Elapsed CPU time: 6.80197 s Remaining CPU time: 173.198 s 6.79/6.89 c =============================================================================== 6.79/6.89 c | 39272 | 172 28 2610 | 5000 5129 52 | 0.003 % | 6.89/6.90 c =============================================================================== 6.89/6.90 c New solution: 143 6.89/6.90 o 143 6.89/6.90 c Elapsed CPU time: 6.81196 s Remaining CPU time: 173.188 s 6.89/6.90 c =============================================================================== 6.89/6.90 c | 39279 | 172 29 2722 | 5000 2572 52 | 0.003 % | 6.89/6.92 c | 39379 | 172 29 2722 | 5500 2672 53 | 0.003 % | 6.89/6.93 c =============================================================================== 6.89/6.93 c New solution: 118 6.89/6.93 o 118 6.89/6.93 c Elapsed CPU time: 6.83796 s Remaining CPU time: 173.162 s 6.89/6.93 c =============================================================================== 6.89/6.93 c | 39465 | 172 30 2834 | 5000 2758 53 | 0.003 % | 6.89/6.93 c =============================================================================== 6.89/6.93 c New solution: 88 6.89/6.93 o 88 6.89/6.93 c Elapsed CPU time: 6.84196 s Remaining CPU time: 173.158 s 6.89/6.93 c =============================================================================== 6.89/6.93 c | 39468 | 158 31 2946 | 5000 2626 53 | 0.003 % | 6.89/6.95 c | 39570 | 158 31 2946 | 5500 2728 53 | 8.143 % | 6.89/6.97 c | 39720 | 158 31 2946 | 6050 2878 53 | 8.143 % | 6.99/7.00 c | 39946 | 158 31 2946 | 6655 3104 53 | 8.143 % | 6.99/7.05 c | 40283 | 158 31 2946 | 7320 3441 53 | 8.143 % | 7.09/7.12 c | 40789 | 158 31 2946 | 8052 3947 53 | 8.143 % | 7.19/7.24 c | 41548 | 158 31 2946 | 8857 4706 52 | 8.143 % | 7.39/7.41 c | 42687 | 158 31 2946 | 9743 5845 52 | 8.143 % | 7.60/7.68 c | 44396 | 158 31 2946 | 10717 7554 52 | 8.143 % | 8.09/8.15 c | 46961 | 158 31 2946 | 11789 10119 52 | 8.143 % | 8.89/8.93 c | 50805 | 158 31 2946 | 12968 8043 51 | 8.143 % | 9.59/9.65 c =============================================================================== 9.59/9.65 c New solution: 87 9.59/9.65 o 87 9.59/9.65 c Elapsed CPU time: 9.52655 s Remaining CPU time: 170.473 s 9.59/9.65 c =============================================================================== 9.59/9.65 c | 54760 | 158 32 3058 | 5000 11998 52 | 8.143 % | 9.69/9.70 c | 54860 | 158 32 3058 | 5500 3100 53 | 8.143 % | 9.69/9.72 c | 55010 | 158 32 3058 | 6050 3250 53 | 8.143 % | 9.69/9.75 c | 55236 | 158 32 3058 | 6655 3476 53 | 8.143 % | 9.79/9.81 c | 55573 | 158 32 3058 | 7320 3813 53 | 8.143 % | 9.79/9.88 c | 56079 | 158 32 3058 | 8052 4319 53 | 8.143 % | 9.90/9.99 c | 56838 | 158 32 3058 | 8857 5078 52 | 8.143 % | 10.09/10.15 c | 57977 | 158 32 3058 | 9743 6217 52 | 8.143 % | 10.39/10.42 c | 59687 | 158 32 3058 | 10717 7927 52 | 8.143 % | 10.89/10.91 c | 62250 | 158 32 3058 | 11789 10490 51 | 8.143 % | 10.99/11.07 c =============================================================================== 10.99/11.07 c New solution: 86 10.99/11.07 o 86 10.99/11.07 c Elapsed CPU time: 10.9263 s Remaining CPU time: 169.074 s 10.99/11.07 c =============================================================================== 10.99/11.07 c | 63065 | 158 33 3170 | 5000 11305 51 | 8.143 % | 11.08/11.12 c | 63165 | 158 33 3170 | 5500 2927 50 | 8.143 % | 11.08/11.15 c | 63318 | 158 33 3170 | 6050 3080 50 | 8.143 % | 11.08/11.18 c | 63544 | 158 33 3170 | 6655 3306 50 | 8.143 % | 11.18/11.23 c | 63881 | 158 33 3170 | 7320 3643 50 | 8.143 % | 11.29/11.30 c | 64387 | 158 33 3170 | 8052 4149 50 | 8.143 % | 11.29/11.37 c =============================================================================== 11.29/11.37 c New solution: 80 11.29/11.37 o 80 11.29/11.37 c Elapsed CPU time: 11.2153 s Remaining CPU time: 168.785 s 11.29/11.37 c =============================================================================== 11.29/11.37 c | 64867 | 158 34 3282 | 5000 4629 50 | 8.143 % | 11.29/11.38 c | 64971 | 158 34 3282 | 5500 4733 50 | 8.143 % | 11.39/11.41 c | 65122 | 158 34 3282 | 6050 4884 50 | 8.143 % | 11.39/11.44 c | 65347 | 158 34 3282 | 6655 5109 50 | 8.143 % | 11.39/11.50 c | 65684 | 158 34 3282 | 7320 5446 51 | 8.143 % | 11.49/11.52 c =============================================================================== 11.49/11.52 c New solution: 76 11.49/11.52 o 76 11.49/11.52 c Elapsed CPU time: 11.3703 s Remaining CPU time: 168.63 s 11.49/11.52 c =============================================================================== 11.49/11.52 c | 65844 | 158 35 3394 | 5000 5606 51 | 8.143 % | 11.49/11.54 c | 65945 | 158 35 3394 | 5500 2904 51 | 8.143 % | 11.49/11.56 c | 66096 | 158 35 3394 | 6050 3055 51 | 8.143 % | 11.59/11.60 c | 66321 | 158 35 3394 | 6655 3280 51 | 8.143 % | 11.59/11.65 c | 66658 | 158 35 3394 | 7320 3617 50 | 8.143 % | 11.69/11.72 c | 67164 | 158 35 3394 | 8052 4123 50 | 8.143 % | 11.79/11.85 c | 67923 | 158 35 3394 | 8857 4882 50 | 8.143 % | 11.89/11.92 c =============================================================================== 11.89/11.92 c New solution: 70 11.89/11.92 o 70 11.89/11.92 c Elapsed CPU time: 11.7622 s Remaining CPU time: 168.238 s 11.89/11.92 c =============================================================================== 11.89/11.92 c | 68317 | 158 36 3506 | 5000 5276 50 | 8.143 % | 11.89/11.94 c | 68417 | 158 36 3506 | 5500 2738 50 | 8.143 % | 11.89/11.96 c | 68567 | 158 36 3506 | 6050 2888 50 | 8.143 % | 11.89/11.99 c | 68794 | 158 36 3506 | 6655 3115 50 | 8.143 % | 11.99/12.05 c | 69131 | 158 36 3506 | 7320 3452 51 | 8.143 % | 12.09/12.11 c =============================================================================== 12.09/12.11 c New solution: 57 12.09/12.11 o 57 12.09/12.11 c Elapsed CPU time: 11.9522 s Remaining CPU time: 168.048 s 12.09/12.11 c =============================================================================== 12.09/12.11 c | 69559 | 158 37 3618 | 5000 3880 51 | 8.143 % | 12.09/12.14 c | 69659 | 144 37 3618 | 5500 3885 51 | 16.282 % | 12.09/12.16 c | 69810 | 144 37 3618 | 6050 4036 51 | 16.282 % | 12.19/12.20 c | 70035 | 144 37 3618 | 6655 4261 51 | 16.282 % | 12.19/12.27 c | 70373 | 144 37 3618 | 7320 4599 51 | 16.282 % | 12.29/12.36 c | 70879 | 144 37 3618 | 8052 5105 52 | 16.282 % | 12.39/12.49 c | 71638 | 144 37 3618 | 8857 5864 52 | 16.282 % | 12.69/12.70 c | 72777 | 144 37 3618 | 9743 7003 52 | 16.282 % | 12.99/13.03 c | 74485 | 144 37 3618 | 10717 8711 52 | 16.282 % | 13.49/13.59 c | 77047 | 144 37 3618 | 11789 5877 54 | 16.282 % | 13.59/13.63 c =============================================================================== 13.59/13.63 c New solution: 54 13.59/13.63 o 54 13.59/13.63 c Elapsed CPU time: 13.448 s Remaining CPU time: 166.552 s 13.59/13.63 c =============================================================================== 13.59/13.63 c | 77266 | 144 38 3730 | 5000 6096 54 | 16.282 % | 13.59/13.65 c | 77366 | 144 38 3730 | 5500 3148 55 | 16.282 % | 13.59/13.68 c | 77516 | 144 38 3730 | 6050 3298 55 | 16.282 % | 13.69/13.71 c | 77741 | 144 38 3730 | 6655 3523 55 | 16.282 % | 13.69/13.77 c | 78078 | 144 38 3730 | 7320 3860 55 | 16.282 % | 13.79/13.85 c | 78584 | 144 38 3730 | 8052 4366 55 | 16.282 % | 13.88/13.99 c | 79343 | 144 38 3730 | 8857 5125 56 | 16.282 % | 14.09/14.19 c | 80482 | 144 38 3730 | 9743 6264 56 | 16.282 % | 14.48/14.54 c | 82190 | 144 38 3730 | 10717 7972 56 | 16.282 % | 14.99/15.08 c | 84752 | 144 38 3730 | 11789 10534 55 | 16.282 % | 15.18/15.22 c =============================================================================== 15.18/15.22 c New solution: 47 15.18/15.22 o 47 15.18/15.22 c Elapsed CPU time: 15.0137 s Remaining CPU time: 164.986 s 15.18/15.22 c =============================================================================== 15.18/15.22 c | 85386 | 144 39 3842 | 5000 11168 55 | 16.282 % | 15.18/15.27 c | 85486 | 144 39 3842 | 5500 2892 55 | 16.282 % | 15.18/15.29 c | 85636 | 144 39 3842 | 6050 3042 55 | 16.282 % | 15.29/15.33 c | 85861 | 144 39 3842 | 6655 3267 55 | 16.282 % | 15.29/15.39 c | 86198 | 144 39 3842 | 7320 3604 55 | 16.282 % | 15.39/15.46 c | 86704 | 144 39 3842 | 8052 4110 54 | 16.282 % | 15.48/15.58 c | 87464 | 144 39 3842 | 8857 4870 55 | 16.282 % | 15.68/15.78 c | 88604 | 144 39 3842 | 9743 6010 54 | 16.282 % | 15.98/16.09 c | 90312 | 144 39 3842 | 10717 7718 53 | 16.282 % | 16.49/16.59 c | 92874 | 144 39 3842 | 11789 10280 53 | 16.282 % | 17.29/17.34 c | 96718 | 144 39 3842 | 12968 8194 52 | 16.282 % | 18.29/18.37 c =============================================================================== 18.29/18.37 c New solution: 38 18.29/18.37 o 38 18.29/18.37 c Elapsed CPU time: 18.1162 s Remaining CPU time: 161.884 s 18.29/18.37 c =============================================================================== 18.29/18.37 c | 101781 | 144 40 3954 | 5000 6734 53 | 16.282 % | 18.39/18.40 c | 101881 | 144 40 3954 | 5500 3467 53 | 16.282 % | 18.39/18.42 c | 102031 | 144 40 3954 | 6050 3617 53 | 16.282 % | 18.39/18.46 c | 102256 | 144 40 3954 | 6655 3842 53 | 16.282 % | 18.48/18.51 c | 102593 | 144 40 3954 | 7320 4179 53 | 16.282 % | 18.48/18.59 c | 103099 | 144 40 3954 | 8052 4685 53 | 16.282 % | 18.69/18.72 c | 103859 | 144 40 3954 | 8857 5445 53 | 16.282 % | 18.88/18.91 c | 104998 | 144 40 3954 | 9743 6584 53 | 16.282 % | 19.18/19.22 c | 106706 | 144 40 3954 | 10717 8292 53 | 16.282 % | 19.69/19.75 c | 109269 | 144 40 3954 | 11789 5454 52 | 16.282 % | 20.18/20.28 c =============================================================================== 20.18/20.28 c New solution: 35 20.18/20.28 o 35 20.18/20.28 c Elapsed CPU time: 20.003 s Remaining CPU time: 159.997 s 20.18/20.28 c =============================================================================== 20.18/20.28 c | 112087 | 144 41 4066 | 5000 8272 53 | 16.282 % | 20.28/20.32 c | 112188 | 144 41 4066 | 5500 4237 53 | 16.282 % | 20.28/20.34 c | 112338 | 144 41 4066 | 6050 4387 53 | 16.282 % | 20.28/20.38 c | 112563 | 144 41 4066 | 6655 4612 53 | 16.282 % | 20.38/20.44 c | 112901 | 144 41 4066 | 7320 4950 53 | 16.282 % | 20.48/20.52 c | 113407 | 144 41 4066 | 8052 5456 53 | 16.282 % | 20.58/20.66 c | 114167 | 144 41 4066 | 8857 6216 53 | 16.282 % | 20.79/20.87 c | 115306 | 144 41 4066 | 9743 7355 53 | 16.282 % | 21.08/21.19 c | 117015 | 144 41 4066 | 10717 9064 53 | 16.282 % | 21.68/21.70 c | 119577 | 144 41 4066 | 11789 6233 53 | 16.282 % | 22.38/22.45 c | 123421 | 144 41 4066 | 12968 10077 54 | 16.282 % | 23.59/23.63 c | 129189 | 144 41 4066 | 14265 9322 53 | 16.282 % | 25.48/25.55 c | 137838 | 144 41 4066 | 15692 10800 51 | 16.282 % | 28.59/28.67 c | 150813 | 144 41 4066 | 17261 8020 54 | 16.282 % | 33.48/33.55 c | 170274 | 144 41 4066 | 18987 10148 54 | 16.282 % | 41.08/41.11 c | 199466 | 144 41 4066 | 20886 10755 53 | 16.282 % | 53.37/53.43 c | 243255 | 144 41 4066 | 22974 12631 53 | 16.282 % | 72.96/73.01 c | 308940 | 144 41 4066 | 25272 17316 54 | 16.282 % | 97.25/97.34 c =============================================================================== 97.25/97.34 c New solution: 32 97.25/97.34 o 32 97.25/97.34 c Elapsed CPU time: 96.2164 s Remaining CPU time: 83.7836 s 97.25/97.34 c =============================================================================== 97.25/97.34 c | 383190 | 144 42 4178 | 5000 19222 54 | 16.282 % | 97.35/97.47 c | 383290 | 130 42 4178 | 5500 4893 54 | 24.422 % | 97.45/97.51 c | 383440 | 130 42 4178 | 6050 5043 54 | 24.422 % | 97.45/97.55 c | 383666 | 130 42 4178 | 6655 5269 54 | 24.422 % | 97.55/97.61 c | 384003 | 130 42 4178 | 7320 5606 54 | 24.422 % | 97.65/97.70 c | 384509 | 130 42 4178 | 8052 6112 55 | 24.422 % | 97.76/97.84 c | 385268 | 130 42 4178 | 8857 6871 55 | 24.422 % | 97.95/98.05 c | 386407 | 130 42 4178 | 9743 8010 56 | 24.422 % | 98.25/98.34 c | 388115 | 130 42 4178 | 10717 9718 56 | 24.422 % | 98.65/98.79 c | 390677 | 130 42 4178 | 11789 6883 59 | 24.422 % | 99.35/99.45 c | 394521 | 130 42 4178 | 12968 10727 59 | 24.422 % | 100.45/100.53 c | 400287 | 130 42 4178 | 14265 9973 62 | 24.422 % | 102.25/102.36 c | 408936 | 130 42 4178 | 15692 11446 64 | 24.422 % | 105.15/105.25 c | 421910 | 130 42 4178 | 17261 8642 62 | 24.422 % | 109.54/109.69 c | 441371 | 130 42 4178 | 18987 10756 62 | 24.422 % | 117.24/117.36 c | 470563 | 130 42 4178 | 20886 11341 63 | 24.422 % | 128.84/128.96 c | 514352 | 130 42 4178 | 22974 13199 61 | 24.422 % | 149.13/149.28 c | 580036 | 130 42 4178 | 25272 17353 61 | 24.422 % | 153.53/153.63 c =============================================================================== 153.53/153.63 c New solution: 25 153.53/153.63 o 25 153.53/153.63 c Elapsed CPU time: 151.894 s Remaining CPU time: 28.1061 s 153.53/153.63 c =============================================================================== 153.53/153.63 c | 593907 | 130 43 4290 | 5000 16698 59 | 24.422 % | 153.63/153.72 c | 594007 | 130 43 4290 | 5500 4275 60 | 24.422 % | 153.63/153.74 c | 594157 | 130 43 4290 | 6050 4425 60 | 24.422 % | 153.63/153.77 c | 594382 | 130 43 4290 | 6655 4650 59 | 24.422 % | 153.73/153.81 c | 594719 | 130 43 4290 | 7320 4987 59 | 24.422 % | 153.73/153.88 c | 595225 | 130 43 4290 | 8052 5493 59 | 24.422 % | 153.84/153.98 c | 595984 | 130 43 4290 | 8857 6252 59 | 24.422 % | 154.03/154.16 c | 597123 | 130 43 4290 | 9743 7391 58 | 24.422 % | 154.33/154.41 c | 598831 | 130 43 4290 | 10717 9099 58 | 24.422 % | 154.73/154.82 c | 601393 | 130 43 4290 | 11789 6258 57 | 24.422 % | 155.33/155.41 c | 605238 | 130 43 4290 | 12968 10103 57 | 24.422 % | 156.33/156.44 c | 611006 | 130 43 4290 | 14265 9346 57 | 24.422 % | 158.03/158.13 c | 619655 | 130 43 4290 | 15692 10818 59 | 24.422 % | 160.93/161.06 c | 632629 | 130 43 4290 | 17261 8013 59 | 24.422 % | 165.42/165.57 c | 652090 | 130 43 4290 | 18987 10128 60 | 24.422 % | 173.12/173.29 c | 681282 | 130 43 4290 | 20886 10707 61 | 24.422 % | 182.02/182.10 c There are 42 assigned variables. 42 in cost function. 182.62/182.71 c ============================[ Search Statistics ]============================== 182.62/182.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.62/182.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.62/182.71 c =============================================================================== 182.62/182.71 c | 0 | 60 153 958 | 5000 0 nan | 0.000 % | 182.62/182.73 c | 100 | 60 153 958 | 5500 100 65 | 65.120 % | 182.62/182.75 c | 250 | 60 153 958 | 6050 250 65 | 65.120 % | 182.62/182.78 c | 476 | 60 153 958 | 6655 476 67 | 65.120 % | 182.72/182.83 c | 814 | 60 153 958 | 7320 814 67 | 65.120 % | 182.82/182.97 c | 1321 | 60 153 958 | 8052 1321 68 | 65.120 % | 183.02/183.10 c | 2080 | 60 153 958 | 8857 2080 68 | 65.120 % | 183.12/183.29 c | 3219 | 60 153 958 | 9743 3219 68 | 65.120 % | 183.52/183.60 c | 4927 | 60 153 958 | 10717 4927 68 | 65.120 % | 184.02/184.12 c | 7490 | 60 153 958 | 11789 7490 68 | 65.120 % | 184.92/185.06 c | 11334 | 60 153 958 | 12968 11334 68 | 65.120 % | 186.42/186.51 c | 17101 | 60 153 958 | 14265 10540 67 | 65.120 % | 188.32/188.49 c | 25750 | 60 153 958 | 15692 11978 65 | 65.120 % | 191.81/191.98 c | 38724 | 60 153 958 | 17261 9104 68 | 65.120 % | 196.82/196.93 c | 58185 | 60 153 958 | 18987 11151 70 | 65.120 % | 205.02/205.16 c | 87377 | 60 153 958 | 20886 11636 70 | 65.120 % | 218.82/218.93 c | 131166 | 60 153 958 | 22974 13345 68 | 65.120 % | 240.09/240.25 c | 196850 | 60 153 958 | 25272 17109 67 | 65.120 % | 274.38/274.58 c | 295376 | 60 153 958 | 27799 13527 66 | 65.120 % | 333.07/333.29 c | 443165 | 60 153 958 | 30579 25171 71 | 65.120 % | 424.22/424.48 c | 664848 | 60 153 958 | 33637 30144 67 | 65.120 % | 577.46/577.79 c | 997373 | 60 153 958 | 37001 22658 70 | 65.120 % | 811.87/812.29 c | 1496161 | 60 153 958 | 40701 28675 70 | 65.120 % | 1234.90/1235.42 c | 2244343 | 60 153 958 | 44771 38375 68 | 65.120 % |
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-2680693-1277458316/watcher-2680693-1277458316 -o /tmp/evaluation-result-2680693-1277458316/solver-2680693-1277458316 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680693-1277458316.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.95 3/106 21097 /proc/meminfo: memFree=1854856/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=2576 CPUtime=0 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 119487923 2637824 199 1992294400 134512640 135752675 4289019440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 644 199 143 303 0 339 0 [startup+0.07081 s] /proc/loadavg: 0.92 0.98 0.95 3/106 21097 /proc/meminfo: memFree=1854856/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=2836 CPUtime=0.06 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 343 0 0 0 6 0 0 0 20 0 1 0 119487923 2904064 259 1992294400 134512640 135752675 4289019440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 709 259 144 303 0 404 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2836 [startup+0.100815 s] /proc/loadavg: 0.92 0.98 0.95 3/106 21097 /proc/meminfo: memFree=1854856/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=2836 CPUtime=0.09 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 367 0 0 0 9 0 0 0 20 0 1 0 119487923 2904064 283 1992294400 134512640 135752675 4289019440 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 709 283 144 303 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2836 [startup+0.300852 s] /proc/loadavg: 0.92 0.98 0.95 3/106 21097 /proc/meminfo: memFree=1854856/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=3484 CPUtime=0.29 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 504 0 0 0 29 0 0 0 20 0 1 0 119487923 3567616 420 1992294400 134512640 135752675 4289019440 18446744073709551615 134604978 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 871 420 144 303 0 566 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3484 [startup+0.700927 s] /proc/loadavg: 0.92 0.98 0.95 3/106 21097 /proc/meminfo: memFree=1854856/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=4424 CPUtime=0.69 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 745 0 0 0 68 1 0 0 21 0 1 0 119487923 4530176 661 1992294400 134512640 135752675 4289019440 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 1106 661 144 303 0 801 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4424 [startup+1.50108 s] /proc/loadavg: 0.92 0.98 0.95 2/107 21098 /proc/meminfo: memFree=1852120/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=5864 CPUtime=1.49 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 1112 0 0 0 147 2 0 0 23 0 1 0 119487923 6004736 1028 1992294400 134512640 135752675 4289019440 18446744073709551615 134643194 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 1466 1029 144 303 0 1161 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5864 [startup+3.10037 s] /proc/loadavg: 0.92 0.98 0.95 2/107 21098 /proc/meminfo: memFree=1849888/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=8468 CPUtime=3.09 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 1773 0 0 0 305 4 0 0 25 0 1 0 119487923 8671232 1689 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 2117 1689 145 303 0 1812 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8468 [startup+6.30097 s] /proc/loadavg: 0.93 0.98 0.95 2/107 21098 /proc/meminfo: memFree=1844680/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=13656 CPUtime=6.29 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 3076 0 0 0 621 8 0 0 25 0 1 0 119487923 13983744 2992 1992294400 134512640 135752675 4289019440 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 3414 2992 145 303 0 3109 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13656 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.95 2/107 21098 /proc/meminfo: memFree=1832528/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=25216 CPUtime=12.69 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 5955 0 0 0 1252 17 0 0 25 0 1 0 119487923 25821184 5871 1992294400 134512640 135752675 4289019440 18446744073709551615 135204850 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 6304 5871 145 303 0 5999 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25216 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.95 2/107 21100 /proc/meminfo: memFree=1811572/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=45236 CPUtime=25.48 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 10969 0 0 0 2514 34 0 0 25 0 1 0 119487923 46321664 10885 1992294400 134512640 135752675 4289019440 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 11309 10885 145 303 0 11004 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45236 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.95 2/107 21100 /proc/meminfo: memFree=1781688/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=75404 CPUtime=51.07 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 18474 0 0 0 5044 63 0 0 25 0 1 0 119487923 77213696 18390 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 18851 18390 145 303 0 18546 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 75404 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.95 2/107 21102 /proc/meminfo: memFree=1727500/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=128940 CPUtime=102.25 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 31870 0 0 0 10110 115 0 0 25 0 1 0 119487923 132034560 31786 1992294400 134512640 135752675 4289019440 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 32235 31786 145 303 0 31930 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 128940 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21102 /proc/meminfo: memFree=1655580/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=201372 CPUtime=162.23 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 49983 0 0 0 16043 180 0 0 25 0 1 0 119487923 206204928 49899 1992294400 134512640 135752675 4289019440 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 50343 49899 145 303 0 50038 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 201372 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21104 /proc/meminfo: memFree=1597300/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=258672 CPUtime=222.21 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 64317 0 0 0 21980 241 0 0 25 0 1 0 119487923 264880128 64233 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 64668 64233 146 303 0 64363 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 258672 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21106 /proc/meminfo: memFree=1546708/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=309712 CPUtime=282.18 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 77055 0 0 0 27926 292 0 0 25 0 1 0 119487923 317145088 76971 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 77428 76971 146 303 0 77123 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 309712 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21108 /proc/meminfo: memFree=1501820/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=353904 CPUtime=342.15 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 88096 0 0 0 33875 340 0 0 25 0 1 0 119487923 362397696 88012 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 88476 88012 146 303 0 88171 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 353904 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21113 /proc/meminfo: memFree=1459660/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=396128 CPUtime=402.13 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 98632 0 0 0 39828 385 0 0 25 0 1 0 119487923 405635072 98548 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 99032 98548 146 303 0 98727 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 396128 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21113 /proc/meminfo: memFree=1417500/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=437744 CPUtime=462.11 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 109048 0 0 0 45784 427 0 0 25 0 1 0 119487923 448249856 108964 1992294400 134512640 135752675 4289019440 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 109436 108964 146 303 0 109131 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 437744 [startup+522.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21115 /proc/meminfo: memFree=1376828/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=479228 CPUtime=522.08 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 119407 0 0 0 51741 467 0 0 25 0 1 0 119487923 490729472 119323 1992294400 134512640 135752675 4289019440 18446744073709551615 134607277 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 119807 119323 146 303 0 119502 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 479228 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21117 /proc/meminfo: memFree=1330824/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=524592 CPUtime=582.06 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 130750 0 0 0 57695 511 0 0 25 0 1 0 119487923 537182208 130666 1992294400 134512640 135752675 4289019440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 131148 130666 146 303 0 130843 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 524592 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21119 /proc/meminfo: memFree=1285688/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=569356 CPUtime=642.04 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 141943 0 0 0 63648 556 0 0 25 0 1 0 119487923 583020544 141859 1992294400 134512640 135752675 4289019440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 142339 141859 146 303 0 142034 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 569356 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21125 /proc/meminfo: memFree=1117420/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=737192 CPUtime=881.94 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 183889 0 0 0 87473 721 0 0 25 0 1 0 119487923 754884608 183805 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 184298 183805 146 303 0 183993 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 737192 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21127 /proc/meminfo: memFree=1083320/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=771452 CPUtime=941.91 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 192437 0 0 0 93432 759 0 0 25 0 1 0 119487923 789966848 192353 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 192863 192353 146 303 0 192558 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 771452 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21129 /proc/meminfo: memFree=1044384/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=810184 CPUtime=1001.9 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 202105 0 0 0 99395 795 0 0 25 0 1 0 119487923 829628416 202021 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 202546 202021 146 303 0 202241 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 810184 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21129 /proc/meminfo: memFree=1006936/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=847924 CPUtime=1061.87 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 211561 0 0 0 105355 832 0 0 25 0 1 0 119487923 868274176 211477 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 211981 211477 146 303 0 211676 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 847924 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21131 /proc/meminfo: memFree=966636/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=887952 CPUtime=1121.85 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 221540 0 0 0 111313 872 0 0 25 0 1 0 119487923 909262848 221456 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 221988 221456 146 303 0 221683 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 887952 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21133 /proc/meminfo: memFree=930800/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=923784 CPUtime=1181.82 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 230492 0 0 0 117273 909 0 0 25 0 1 0 119487923 945954816 230408 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 230946 230408 146 303 0 230641 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 923784 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21135 /proc/meminfo: memFree=896700/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=958080 CPUtime=1241.79 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 239051 0 0 0 123235 944 0 0 25 0 1 0 119487923 981073920 238967 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 239520 238967 146 303 0 239215 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 958080 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21137 /proc/meminfo: memFree=860616/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=993468 CPUtime=1301.78 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 247897 0 0 0 129196 982 0 0 25 0 1 0 119487923 1017311232 247813 1992294400 134512640 135752675 4289019440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 248367 247813 146 303 0 248062 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 993468 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21137 /proc/meminfo: memFree=823044/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=1031316 CPUtime=1361.75 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 257365 0 0 0 135151 1024 0 0 25 0 1 0 119487923 1056067584 257281 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 257829 257281 146 303 0 257524 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1031316 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21139 /proc/meminfo: memFree=786712/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=1067172 CPUtime=1421.74 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 266313 0 0 0 141115 1059 0 0 25 0 1 0 119487923 1092784128 266229 1992294400 134512640 135752675 4289019440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 266793 266229 146 303 0 266488 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1067172 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21141 /proc/meminfo: memFree=752240/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=1101936 CPUtime=1481.7 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 275025 0 0 0 147075 1095 0 0 25 0 1 0 119487923 1128382464 274941 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 275484 274941 146 303 0 275179 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 1101936 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21143 /proc/meminfo: memFree=715908/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=1137692 CPUtime=1541.68 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 283959 0 0 0 153037 1131 0 0 25 0 1 0 119487923 1164996608 283875 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 284423 283875 146 303 0 284118 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1137692 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21145 /proc/meminfo: memFree=680816/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=1173304 CPUtime=1601.65 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 292833 0 0 0 158996 1169 0 0 25 0 1 0 119487923 1201463296 292749 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 293326 292749 146 303 0 293021 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 1173304 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21145 /proc/meminfo: memFree=645724/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=1208104 CPUtime=1661.63 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 301520 0 0 0 164957 1206 0 0 25 0 1 0 119487923 1237098496 301436 1992294400 134512640 135752675 4289019440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 302026 301436 146 303 0 301721 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 1208104 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21147 /proc/meminfo: memFree=609640/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=1244940 CPUtime=1721.61 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 310739 0 0 0 170916 1245 0 0 25 0 1 0 119487923 1274818560 310655 1992294400 134512640 135752675 4289019440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 311235 310655 146 303 0 310930 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 1244940 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21158 /proc/meminfo: memFree=569588/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=1283660 CPUtime=1781.57 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 320429 0 0 0 176874 1283 0 0 25 0 1 0 119487923 1314467840 320345 1992294400 134512640 135752675 4289019440 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 320915 320345 146 303 0 320610 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 1283660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21158 /proc/meminfo: memFree=557932/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=1295092 CPUtime=1800.07 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4202496 323289 0 0 0 178712 1295 0 0 25 0 1 0 119487923 1326174208 323205 1992294400 134512640 135752675 4289019440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21097/statm: 323773 323205 146 303 0 323468 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1295092 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21158 /proc/meminfo: memFree=557932/2059040 swapFree=4140004/4192956 [pid=21097] ppid=21095 vsize=0 CPUtime=1800.17 /proc/21097/stat : 21097 (wbo1.4b) R 21095 21097 20682 0 -1 4203524 323289 0 0 0 178712 1305 0 0 25 0 1 0 119487923 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/21097/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.93 CPU time (s): 1800.2 CPU user time (s): 1787.12 CPU system time (s): 13.077 CPU usage (%): 99.9594 Max. virtual memory (cumulated for all children) (KiB): 1295092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.12 system time used= 13.077 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 323289 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= 4 involuntary context switches= 22119 runsolver used 3.07753 second user time and 8.42072 second system time The end
Begin job on node019 at 2010-06-25 11:31:56 IDJOB=2680693 IDBENCH=2918 IDSOLVER=1190 FILE ID=node019/2680693-1277458316 PBS_JOBID= 11188140 Free space on /tmp= 62276 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680693-1277458316/watcher-2680693-1277458316 -o /tmp/evaluation-result-2680693-1277458316/solver-2680693-1277458316 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680693-1277458316.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e RANDOM SEED=1434070512 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1855384 kB Buffers: 16884 kB Cached: 100672 kB SwapCached: 5532 kB Active: 21332 kB Inactive: 109280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855384 kB SwapTotal: 4192956 kB SwapFree: 4140004 kB Dirty: 2640 kB Writeback: 0 kB AnonPages: 11740 kB Mapped: 11972 kB Slab: 51008 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181960 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= 62276 MiB End job on node019 at 2010-06-25 12:01:59