Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_4.opb |
MD5SUM | 740b964ee569656e2f29dedde6e3939b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1790.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 62 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
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 | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1486 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4969 |
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-2680698-1277458442.opb. 0.00/0.00 c Instance file HOME/instance-2680698-1277458442.opb 0.00/0.00 c File size is 7674 bytes. 0.00/0.00 c Highest Coefficient sum: 4969 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: 146 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 12 | 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 | 146 12 778 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 965 0.00/0.00 o 965 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 146 13 874 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 888 0.00/0.00 o 888 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 71 | 146 14 970 | 5000 71 59 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 463 0.00/0.00 o 463 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 77 | 146 15 1066 | 5000 77 59 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 438 0.00/0.00 o 438 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 79 | 146 16 1162 | 5000 79 59 | 0.000 % | 0.00/0.01 c | 181 | 146 16 1162 | 5500 181 52 | 0.005 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 432 0.00/0.02 o 432 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 229 | 146 17 1258 | 5000 229 50 | 0.005 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 385 0.00/0.02 o 385 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 | 297 | 146 18 1354 | 5000 297 50 | 0.005 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 354 0.00/0.02 o 354 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 315 | 146 19 1450 | 5000 315 49 | 0.005 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 353 0.00/0.03 o 353 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 325 | 146 20 1546 | 5000 325 50 | 0.005 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 351 0.00/0.03 o 351 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 411 | 146 21 1642 | 5000 411 51 | 0.005 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 299 0.00/0.04 o 299 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 454 | 146 22 1738 | 5000 454 51 | 0.005 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 261 0.00/0.04 o 261 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 455 | 146 23 1834 | 5000 455 51 | 0.005 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 259 0.00/0.04 o 259 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 486 | 146 24 1930 | 5000 486 52 | 0.005 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 222 0.00/0.04 o 222 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 516 | 146 25 2026 | 5000 516 51 | 0.005 % | 0.00/0.05 c | 616 | 146 25 2026 | 5500 616 49 | 0.005 % | 0.05/0.06 c =============================================================================== 0.05/0.06 c New solution: 217 0.05/0.06 o 217 0.05/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.05/0.06 c =============================================================================== 0.05/0.06 c | 636 | 146 26 2122 | 5000 636 49 | 0.005 % | 0.05/0.06 c =============================================================================== 0.05/0.06 c New solution: 163 0.05/0.06 o 163 0.05/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.05/0.06 c =============================================================================== 0.05/0.06 c | 643 | 146 27 2218 | 5000 643 49 | 0.005 % | 0.05/0.06 c =============================================================================== 0.05/0.06 c New solution: 159 0.05/0.06 o 159 0.05/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.05/0.06 c =============================================================================== 0.05/0.06 c | 652 | 146 28 2314 | 5000 652 49 | 0.005 % | 0.05/0.06 c =============================================================================== 0.05/0.06 c New solution: 156 0.05/0.06 o 156 0.05/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.05/0.06 c =============================================================================== 0.05/0.06 c | 669 | 146 29 2410 | 5000 669 49 | 0.005 % | 0.05/0.06 c =============================================================================== 0.05/0.06 c New solution: 144 0.05/0.06 o 144 0.05/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.05/0.06 c =============================================================================== 0.05/0.06 c | 684 | 146 30 2506 | 5000 684 49 | 0.005 % | 0.05/0.07 c =============================================================================== 0.05/0.07 c New solution: 132 0.05/0.07 o 132 0.05/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.05/0.07 c =============================================================================== 0.05/0.07 c | 697 | 146 31 2602 | 5000 697 49 | 0.005 % | 0.05/0.08 c | 797 | 146 31 2602 | 5500 797 48 | 0.005 % | 0.05/0.08 c =============================================================================== 0.05/0.08 c New solution: 106 0.05/0.08 o 106 0.05/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s 0.05/0.08 c =============================================================================== 0.05/0.08 c | 816 | 146 32 2698 | 5000 816 48 | 0.005 % | 0.05/0.09 c =============================================================================== 0.05/0.09 c New solution: 102 0.05/0.09 o 102 0.05/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s 0.05/0.09 c =============================================================================== 0.05/0.09 c | 861 | 134 33 2794 | 5000 452 49 | 0.005 % | 0.09/0.10 c | 962 | 134 33 2794 | 5500 553 48 | 8.224 % | 0.09/0.12 c | 1112 | 134 33 2794 | 6050 703 47 | 8.224 % | 0.09/0.14 c | 1337 | 134 33 2794 | 6655 928 46 | 8.224 % | 0.09/0.18 c | 1675 | 134 33 2794 | 7320 1266 45 | 8.224 % | 0.19/0.24 c | 2181 | 134 33 2794 | 8052 1772 45 | 8.224 % | 0.29/0.33 c | 2940 | 134 33 2794 | 8857 2531 44 | 8.224 % | 0.39/0.48 c | 4079 | 134 33 2794 | 9743 3670 44 | 8.224 % | 0.69/0.74 c | 5787 | 134 33 2794 | 10717 5378 44 | 8.224 % | 1.10/1.14 c | 8349 | 134 33 2794 | 11789 7940 44 | 8.224 % | 1.79/1.88 c | 12193 | 134 33 2794 | 12968 11784 43 | 8.224 % | 2.89/2.97 c | 17959 | 134 33 2794 | 14265 11041 43 | 8.224 % | 4.69/4.79 c | 26608 | 134 33 2794 | 15692 12535 44 | 8.224 % | 4.99/5.04 c =============================================================================== 4.99/5.04 c New solution: 95 4.99/5.04 o 95 4.99/5.04 c Elapsed CPU time: 4.97424 s Remaining CPU time: 175.026 s 4.99/5.04 c =============================================================================== 4.99/5.04 c | 27861 | 134 34 2890 | 5000 13788 44 | 8.224 % | 5.09/5.11 c | 27961 | 134 34 2890 | 5500 3547 45 | 8.224 % | 5.09/5.13 c | 28111 | 134 34 2890 | 6050 3697 45 | 8.224 % | 5.09/5.16 c | 28337 | 134 34 2890 | 6655 3923 45 | 8.224 % | 5.09/5.19 c =============================================================================== 5.09/5.19 c New solution: 65 5.09/5.19 o 65 5.09/5.19 c Elapsed CPU time: 5.12322 s Remaining CPU time: 174.877 s 5.09/5.19 c =============================================================================== 5.09/5.19 c | 28554 | 134 35 2986 | 5000 4140 45 | 8.224 % | 5.19/5.21 c | 28656 | 134 35 2986 | 5500 4242 45 | 8.224 % | 5.19/5.23 c | 28806 | 134 35 2986 | 6050 4392 45 | 8.224 % | 5.19/5.26 c | 29031 | 134 35 2986 | 6655 4617 45 | 8.224 % | 5.29/5.31 c | 29369 | 134 35 2986 | 7320 4955 45 | 8.224 % | 5.29/5.39 c | 29875 | 134 35 2986 | 8052 5461 44 | 8.224 % | 5.39/5.50 c | 30635 | 134 35 2986 | 8857 6221 44 | 8.224 % | 5.59/5.69 c | 31774 | 134 35 2986 | 9743 7360 44 | 8.224 % | 5.89/5.99 c | 33483 | 134 35 2986 | 10717 9069 44 | 8.224 % | 6.39/6.46 c | 36045 | 134 35 2986 | 11789 6249 44 | 8.224 % | 6.69/6.74 c =============================================================================== 6.69/6.74 c New solution: 42 6.69/6.74 o 42 6.69/6.74 c Elapsed CPU time: 6.65299 s Remaining CPU time: 173.347 s 6.69/6.74 c =============================================================================== 6.69/6.74 c | 37754 | 134 36 3082 | 5000 7958 44 | 8.224 % | 6.69/6.78 c | 37855 | 122 36 3082 | 5500 3980 44 | 16.443 % | 6.79/6.80 c | 38005 | 122 36 3082 | 6050 4130 45 | 16.443 % | 6.79/6.83 c | 38230 | 122 36 3082 | 6655 4355 45 | 16.443 % | 6.79/6.85 c =============================================================================== 6.79/6.85 c New solution: 41 6.79/6.85 o 41 6.79/6.85 c Elapsed CPU time: 6.75297 s Remaining CPU time: 173.247 s 6.79/6.85 c =============================================================================== 6.79/6.85 c | 38390 | 122 37 3178 | 5000 4515 45 | 16.443 % | 6.79/6.86 c | 38490 | 122 37 3178 | 5500 4615 45 | 16.443 % | 6.79/6.88 c | 38640 | 122 37 3178 | 6050 4765 45 | 16.443 % | 6.89/6.91 c | 38866 | 122 37 3178 | 6655 4991 45 | 16.443 % | 6.89/6.96 c | 39204 | 122 37 3178 | 7320 5329 45 | 16.443 % | 6.99/7.03 c | 39711 | 122 37 3178 | 8052 5836 45 | 16.443 % | 7.09/7.14 c | 40470 | 122 37 3178 | 8857 6595 45 | 16.443 % | 7.29/7.32 c | 41609 | 122 37 3178 | 9743 7734 45 | 16.443 % | 7.49/7.60 c | 43317 | 122 37 3178 | 10717 9442 45 | 16.443 % | 7.98/8.06 c | 45879 | 122 37 3178 | 11789 6613 46 | 16.443 % | 8.69/8.77 c | 49723 | 122 37 3178 | 12968 10457 47 | 16.443 % | 9.69/9.75 c | 55490 | 122 37 3178 | 14265 9714 46 | 16.443 % | 10.79/10.83 c =============================================================================== 10.79/10.83 c New solution: 37 10.79/10.83 o 37 10.79/10.83 c Elapsed CPU time: 10.6824 s Remaining CPU time: 169.318 s 10.79/10.83 c =============================================================================== 10.79/10.83 c | 60954 | 122 38 3274 | 5000 8017 45 | 16.443 % | 10.79/10.86 c | 61054 | 122 38 3274 | 5500 4109 45 | 16.443 % | 10.79/10.88 c | 61204 | 122 38 3274 | 6050 4259 45 | 16.443 % | 10.89/10.90 c | 61430 | 122 38 3274 | 6655 4485 45 | 16.443 % | 10.89/10.96 c | 61767 | 122 38 3274 | 7320 4822 45 | 16.443 % | 11.00/11.03 c | 62274 | 122 38 3274 | 8052 5329 45 | 16.443 % | 11.09/11.14 c | 63034 | 122 38 3274 | 8857 6089 46 | 16.443 % | 11.29/11.30 c | 64173 | 122 38 3274 | 9743 7228 46 | 16.443 % | 11.49/11.58 c | 65882 | 122 38 3274 | 10717 8937 46 | 16.443 % | 11.99/12.04 c | 68444 | 122 38 3274 | 11789 6111 46 | 16.443 % | 12.59/12.64 c | 72288 | 122 38 3274 | 12968 9955 46 | 16.443 % | 13.59/13.68 c | 78054 | 122 38 3274 | 14265 9208 44 | 16.443 % | 14.30/14.38 c =============================================================================== 14.30/14.38 c New solution: 36 14.30/14.38 o 36 14.30/14.38 c Elapsed CPU time: 14.1868 s Remaining CPU time: 165.813 s 14.30/14.38 c =============================================================================== 14.30/14.38 c | 81878 | 122 39 3370 | 5000 13032 44 | 16.443 % | 14.39/14.43 c | 81980 | 122 39 3370 | 5500 3360 44 | 16.443 % | 14.39/14.45 c | 82130 | 122 39 3370 | 6050 3510 44 | 16.443 % | 14.39/14.49 c | 82356 | 122 39 3370 | 6655 3736 44 | 16.443 % | 14.49/14.53 c | 82694 | 122 39 3370 | 7320 4074 44 | 16.443 % | 14.59/14.60 c | 83200 | 122 39 3370 | 8052 4580 44 | 16.443 % | 14.69/14.72 c | 83959 | 122 39 3370 | 8857 5339 44 | 16.443 % | 14.89/14.90 c | 85099 | 122 39 3370 | 9743 6479 44 | 16.443 % | 15.09/15.18 c | 86807 | 122 39 3370 | 10717 8187 44 | 16.443 % | 15.59/15.68 c | 89369 | 122 39 3370 | 11789 10749 45 | 16.443 % | 16.29/16.38 c | 93213 | 122 39 3370 | 12968 8667 45 | 16.443 % | 17.49/17.57 c | 98979 | 122 39 3370 | 14265 7917 45 | 16.443 % | 19.18/19.26 c | 107628 | 122 39 3370 | 15692 9409 44 | 16.443 % | 21.79/21.86 c | 120602 | 122 39 3370 | 17261 14509 44 | 16.443 % | 22.58/22.68 c =============================================================================== 22.58/22.68 c New solution: 28 22.58/22.68 o 28 22.58/22.68 c Elapsed CPU time: 22.3696 s Remaining CPU time: 157.63 s 22.58/22.68 c =============================================================================== 22.58/22.68 c | 123804 | 122 40 3466 | 5000 9055 44 | 16.443 % | 22.68/22.72 c | 123904 | 110 40 3466 | 5500 4592 44 | 24.662 % | 22.68/22.75 c | 124054 | 110 40 3466 | 6050 4742 45 | 24.662 % | 22.68/22.78 c | 124279 | 110 40 3466 | 6655 4967 45 | 24.662 % | 22.78/22.83 c | 124616 | 110 40 3466 | 7320 5304 46 | 24.662 % | 22.89/22.90 c | 125122 | 110 40 3466 | 8052 5810 46 | 24.662 % | 22.99/23.01 c | 125882 | 110 40 3466 | 8857 6570 47 | 24.662 % | 23.09/23.17 c | 127021 | 110 40 3466 | 9743 7709 48 | 24.662 % | 23.38/23.45 c | 128729 | 110 40 3466 | 10717 9417 49 | 24.662 % | 23.78/23.87 c =============================================================================== 23.78/23.87 c New solution: 25 23.78/23.87 o 25 23.78/23.87 c Elapsed CPU time: 23.5354 s Remaining CPU time: 156.465 s 23.78/23.87 c =============================================================================== 23.78/23.87 c | 131074 | 110 41 3562 | 5000 6368 54 | 24.662 % | 23.78/23.89 c | 131174 | 110 41 3562 | 5500 3284 54 | 24.662 % | 23.88/23.91 c | 131325 | 110 41 3562 | 6050 3435 54 | 24.662 % | 23.88/23.94 c | 131550 | 110 41 3562 | 6655 3660 54 | 24.662 % | 23.88/23.98 c | 131887 | 110 41 3562 | 7320 3997 54 | 24.662 % | 23.99/24.03 c | 132393 | 110 41 3562 | 8052 4503 54 | 24.662 % | 24.09/24.13 c | 133152 | 110 41 3562 | 8857 5262 53 | 24.662 % | 24.19/24.27 c | 134291 | 110 41 3562 | 9743 6401 53 | 24.662 % | 24.48/24.51 c | 136000 | 110 41 3562 | 10717 8110 52 | 24.662 % | 24.78/24.89 c | 138562 | 110 41 3562 | 11789 10672 51 | 24.662 % | 25.38/25.49 c | 142407 | 110 41 3562 | 12968 8584 49 | 24.662 % | 26.48/26.50 c | 148173 | 110 41 3562 | 14265 7831 50 | 24.662 % | 27.98/28.05 c | 156823 | 110 41 3562 | 15692 9311 53 | 24.662 % | 30.57/30.67 c | 169798 | 110 41 3562 | 17261 14408 52 | 24.662 % | 34.97/35.08 c | 189259 | 110 41 3562 | 18987 16536 52 | 24.662 % | 38.08/38.12 c =============================================================================== 38.08/38.12 c New solution: 16 38.08/38.13 o 16 38.08/38.13 c Elapsed CPU time: 37.6103 s Remaining CPU time: 142.39 s 38.08/38.13 c =============================================================================== 38.08/38.13 c | 201602 | 110 42 3658 | 5000 9821 53 | 24.662 % | 38.08/38.17 c | 201702 | 98 42 3658 | 5500 5003 54 | 32.881 % | 38.08/38.19 c | 201852 | 98 42 3658 | 6050 5153 54 | 32.881 % | 38.17/38.23 c | 202077 | 98 42 3658 | 6655 5378 54 | 32.881 % | 38.17/38.27 c | 202414 | 98 42 3658 | 7320 5715 54 | 32.881 % | 38.27/38.35 c | 202920 | 98 42 3658 | 8052 6221 54 | 32.881 % | 38.38/38.48 c | 203679 | 98 42 3658 | 8857 6980 55 | 32.881 % | 38.57/38.64 c | 204818 | 98 42 3658 | 9743 8119 55 | 32.881 % | 38.87/38.92 c | 206526 | 98 42 3658 | 10717 9827 55 | 32.881 % | 39.28/39.34 c | 209089 | 98 42 3658 | 11789 6988 57 | 32.881 % | 39.88/39.94 c | 212933 | 98 42 3658 | 12968 10832 57 | 32.881 % | 40.87/40.93 c | 218700 | 98 42 3658 | 14265 10076 57 | 32.881 % | 42.37/42.43 c | 227349 | 98 42 3658 | 15692 11552 56 | 32.881 % | 44.87/44.92 c | 240323 | 98 42 3658 | 17261 8749 52 | 32.881 % | 48.67/48.74 c | 259784 | 98 42 3658 | 18987 10862 53 | 32.881 % | 55.27/55.34 c | 288976 | 98 42 3658 | 20886 11455 57 | 32.881 % | 65.87/65.95 c | 332765 | 98 42 3658 | 22974 13307 58 | 32.881 % | 82.86/82.92 c | 398449 | 98 42 3658 | 25272 17475 52 | 32.881 % | 111.65/111.70 c | 496975 | 98 42 3658 | 27799 16546 57 | 32.881 % | 158.34/158.42 c | 644765 | 98 42 3658 | 30579 11961 54 | 32.881 % | 168.83/168.95 c =============================================================================== 168.83/168.95 c New solution: 13 168.83/168.95 o 13 168.83/168.95 c Elapsed CPU time: 166.997 s Remaining CPU time: 13.0034 s 168.83/168.95 c =============================================================================== 168.83/168.95 c | 676980 | 98 43 3754 | 5000 24540 53 | 32.881 % | 169.03/169.11 c | 677081 | 98 43 3754 | 5500 2801 55 | 32.881 % | 169.03/169.12 c | 677231 | 98 43 3754 | 6050 2951 56 | 32.881 % | 169.03/169.15 c | 677456 | 98 43 3754 | 6655 3176 56 | 32.881 % | 169.03/169.18 c | 677794 | 98 43 3754 | 7320 3514 56 | 32.881 % | 169.13/169.24 c | 678300 | 98 43 3754 | 8052 4020 56 | 32.881 % | 169.24/169.33 c | 679060 | 98 43 3754 | 8857 4780 57 | 32.881 % | 169.35/169.49 c | 680199 | 98 43 3754 | 9743 5919 57 | 32.881 % | 169.63/169.74 c | 681907 | 98 43 3754 | 10717 7627 57 | 32.881 % | 170.04/170.16 c | 684470 | 98 43 3754 | 11789 10190 57 | 32.881 % | 170.74/170.84 c | 688314 | 98 43 3754 | 12968 8101 57 | 32.881 % | 171.73/171.89 c | 694080 | 98 43 3754 | 14265 7340 57 | 32.881 % | 173.33/173.45 c | 702730 | 98 43 3754 | 15692 8816 59 | 32.881 % | 175.94/176.07 c | 715705 | 98 43 3754 | 17261 13905 58 | 32.881 % | 180.23/180.34 c | 735167 | 98 43 3754 | 18987 16015 55 | 32.881 % | 182.03/182.12 c There are 48 assigned variables. 48 in cost function. 182.54/182.69 c ============================[ Search Statistics ]============================== 182.54/182.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.54/182.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.54/182.69 c =============================================================================== 182.54/182.69 c | 0 | 50 125 682 | 5000 0 nan | 0.000 % | 182.63/182.70 c | 101 | 50 125 682 | 5500 101 53 | 65.758 % | 182.63/182.72 c | 251 | 50 125 682 | 6050 251 52 | 65.758 % | 182.63/182.74 c | 476 | 50 125 682 | 6655 476 52 | 65.758 % | 182.63/182.79 c | 813 | 50 125 682 | 7320 813 53 | 65.758 % | 182.83/182.91 c | 1319 | 50 125 682 | 8052 1319 54 | 65.758 % | 182.92/183.00 c | 2078 | 50 125 682 | 8857 2078 55 | 65.758 % | 183.03/183.14 c | 3217 | 50 125 682 | 9743 3217 55 | 65.758 % | 183.23/183.39 c | 4925 | 50 125 682 | 10717 4925 55 | 65.758 % | 183.73/183.82 c | 7487 | 50 125 682 | 11789 7487 55 | 65.758 % | 184.53/184.62 c | 11331 | 50 125 682 | 12968 11331 55 | 65.758 % | 185.63/185.78 c | 17098 | 50 125 682 | 14265 10546 55 | 65.758 % | 187.32/187.46 c | 25747 | 50 125 682 | 15692 12000 53 | 65.758 % | 190.13/190.25 c | 38721 | 50 125 682 | 17261 9154 56 | 65.758 % | 194.42/194.54 c | 58183 | 50 125 682 | 18987 11222 53 | 65.758 % | 201.62/201.79 c | 87375 | 50 125 682 | 20886 11731 54 | 65.758 % | 212.82/212.92 c | 131164 | 50 125 682 | 22974 13495 54 | 65.758 % | 231.31/231.47 c | 196848 | 50 125 682 | 25272 17365 55 | 65.758 % | 264.80/264.96 c | 295374 | 50 125 682 | 27799 13930 56 | 65.758 % | 316.19/316.33 c | 443164 | 50 125 682 | 30579 25722 55 | 65.758 % | 402.96/403.10 c | 664850 | 50 125 682 | 33637 11233 56 | 65.758 % | 542.32/542.58 c | 997375 | 50 125 682 | 37001 26763 54 | 65.758 % | 752.95/753.23 c | 1496165 | 50 125 682 | 40701 33207 53 | 65.758 % | 1114.74/1115.15 c | 2244347 | 50 125 682 | 44771 13928 54 | 65.758 % | 1747.74/1748.37 c | 3366621 | 50 125 682 | 49248 31010 56 | 65.758 % |
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-2680698-1277458442/watcher-2680698-1277458442 -o /tmp/evaluation-result-2680698-1277458442/solver-2680698-1277458442 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680698-1277458442.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.98 3/106 27318 /proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=2572 CPUtime=0 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 280 0 0 0 0 0 0 0 25 0 1 0 87135233 2633728 197 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 643 197 143 303 0 338 0 [startup+0.059202 s] /proc/loadavg: 0.92 0.98 0.98 3/106 27318 /proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=2700 CPUtime=0.05 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 333 0 0 0 5 0 0 0 25 0 1 0 87135233 2764800 250 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 675 250 144 303 0 370 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2700 [startup+0.101207 s] /proc/loadavg: 0.92 0.98 0.98 3/106 27318 /proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=2832 CPUtime=0.09 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 363 0 0 0 9 0 0 0 25 0 1 0 87135233 2899968 280 1992294400 134512640 135752675 4289584304 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 708 280 144 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.301236 s] /proc/loadavg: 0.92 0.98 0.98 3/106 27318 /proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=3364 CPUtime=0.29 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 486 0 0 0 29 0 0 0 25 0 1 0 87135233 3444736 403 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 841 403 144 303 0 536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3364 [startup+0.701295 s] /proc/loadavg: 0.92 0.98 0.98 3/106 27318 /proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=4152 CPUtime=0.69 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 696 0 0 0 68 1 0 0 25 0 1 0 87135233 4251648 613 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 1038 613 144 303 0 733 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4152 [startup+1.50141 s] /proc/loadavg: 0.92 0.98 0.98 2/107 27319 /proc/meminfo: memFree=1852928/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=5584 CPUtime=1.49 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 1038 0 0 0 147 2 0 0 25 0 1 0 87135233 5718016 955 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 1396 955 144 303 0 1091 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5584 [startup+3.10065 s] /proc/loadavg: 0.92 0.98 0.98 2/107 27319 /proc/meminfo: memFree=1851068/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=7920 CPUtime=3.09 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 1622 0 0 0 305 4 0 0 25 0 1 0 87135233 8110080 1539 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 1980 1539 145 303 0 1675 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7920 [startup+6.30111 s] /proc/loadavg: 0.93 0.98 0.98 2/107 27319 /proc/meminfo: memFree=1846108/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=12772 CPUtime=6.29 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 2837 0 0 0 621 8 0 0 25 0 1 0 87135233 13078528 2754 1992294400 134512640 135752675 4289584304 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 3193 2754 145 303 0 2888 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12772 [startup+12.701 s] /proc/loadavg: 1.01 1.00 0.99 2/107 27320 /proc/meminfo: memFree=1834568/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=23196 CPUtime=12.69 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 5450 0 0 0 1252 17 0 0 25 0 1 0 87135233 23752704 5367 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 5799 5367 145 303 0 5494 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23196 [startup+25.5009 s] /proc/loadavg: 1.01 1.00 0.99 2/107 27322 /proc/meminfo: memFree=1814728/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=42528 CPUtime=25.48 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 10266 0 0 0 2513 35 0 0 25 0 1 0 87135233 43548672 10183 1992294400 134512640 135752675 4289584304 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 10632 10183 145 303 0 10327 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42528 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27322 /proc/meminfo: memFree=1777916/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=79588 CPUtime=51.07 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 19522 0 0 0 5039 68 0 0 25 0 1 0 87135233 81498112 19439 1992294400 134512640 135752675 4289584304 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 19897 19439 145 303 0 19592 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 79588 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27324 /proc/meminfo: memFree=1720008/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=136688 CPUtime=102.26 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 33810 0 0 0 10100 126 0 0 25 0 1 0 87135233 139968512 33727 1992294400 134512640 135752675 4289584304 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 34172 33727 145 303 0 33867 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 136688 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27324 /proc/meminfo: memFree=1663712/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=193340 CPUtime=162.24 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 47950 0 0 0 16040 184 0 0 25 0 1 0 87135233 197980160 47867 1992294400 134512640 135752675 4289584304 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 48335 47867 145 303 0 48030 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 193340 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27326 /proc/meminfo: memFree=1606176/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=250324 CPUtime=222.21 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 62248 0 0 0 21972 249 0 0 25 0 1 0 87135233 256331776 62135 1992294400 134512640 135752675 4289584304 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 62581 62135 146 303 0 62276 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 250324 [startup+282.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27328 /proc/meminfo: memFree=1562528/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=294056 CPUtime=282.19 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 73179 0 0 0 27917 302 0 0 25 0 1 0 87135233 301113344 73066 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 73514 73066 146 303 0 73209 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 294056 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27330 /proc/meminfo: memFree=1522228/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=334400 CPUtime=342.18 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 83228 0 0 0 33867 351 0 0 25 0 1 0 87135233 342425600 83115 1992294400 134512640 135752675 4289584304 18446744073709551615 134611683 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 83600 83115 146 303 0 83295 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 334400 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27332 /proc/meminfo: memFree=1484408/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=372156 CPUtime=402.16 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 92674 0 0 0 39821 395 0 0 25 0 1 0 87135233 381087744 92561 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 93039 92561 146 303 0 92734 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 372156 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27332 /proc/meminfo: memFree=1446340/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=410160 CPUtime=462.14 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 102167 0 0 0 45778 436 0 0 25 0 1 0 87135233 420003840 102054 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 102540 102054 146 303 0 102235 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 410160 [startup+522.301 s] /proc/loadavg: 1.08 1.02 1.00 2/107 27334 /proc/meminfo: memFree=1405792/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=451136 CPUtime=522.12 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 112393 0 0 0 51733 479 0 0 25 0 1 0 87135233 461963264 112280 1992294400 134512640 135752675 4289584304 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 112784 112280 146 303 0 112479 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 451136 [startup+582.3 s] /proc/loadavg: 1.10 1.03 1.00 2/107 27336 /proc/meminfo: memFree=1366360/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=490388 CPUtime=582.11 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 122229 0 0 0 57688 523 0 0 25 0 1 0 87135233 502157312 122116 1992294400 134512640 135752675 4289584304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 122597 122116 146 303 0 122292 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 490388 [startup+642.301 s] /proc/loadavg: 1.04 1.02 1.00 2/107 27338 /proc/meminfo: memFree=1325564/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=530548 CPUtime=642.1 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 132240 0 0 0 63640 570 0 0 25 0 1 0 87135233 543281152 132127 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 132637 132127 146 303 0 132332 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 530548 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27344 /proc/meminfo: memFree=1171308/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=684356 CPUtime=882.01 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 170688 0 0 0 87461 740 0 0 25 0 1 0 87135233 700780544 170575 1992294400 134512640 135752675 4289584304 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 171089 170575 146 303 0 170784 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 684356 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27346 /proc/meminfo: memFree=1134108/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=722240 CPUtime=941.99 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 180158 0 0 0 93418 781 0 0 25 0 1 0 87135233 739573760 180045 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 180560 180045 146 303 0 180255 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 722240 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27348 /proc/meminfo: memFree=1098644/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=757128 CPUtime=1001.98 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 188853 0 0 0 99379 819 0 0 25 0 1 0 87135233 775299072 188740 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 189282 188740 146 303 0 188977 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 757128 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27348 /proc/meminfo: memFree=1062312/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=793824 CPUtime=1061.96 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 198025 0 0 0 105336 860 0 0 25 0 1 0 87135233 812875776 197912 1992294400 134512640 135752675 4289584304 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 198456 197912 146 303 0 198151 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 793824 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27350 /proc/meminfo: memFree=1026352/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=829268 CPUtime=1121.94 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 206888 0 0 0 111294 900 0 0 25 0 1 0 87135233 849170432 206775 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 207317 206775 146 303 0 207012 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 829268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27352 /proc/meminfo: memFree=996220/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=859536 CPUtime=1181.93 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 214427 0 0 0 117259 934 0 0 25 0 1 0 87135233 880164864 214314 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 214884 214314 146 303 0 214579 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 859536 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27354 /proc/meminfo: memFree=966088/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=889240 CPUtime=1241.91 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 221846 0 0 0 123220 971 0 0 25 0 1 0 87135233 910581760 221733 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 222310 221733 146 303 0 222005 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 889240 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27356 /proc/meminfo: memFree=937196/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=917832 CPUtime=1301.9 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 228980 0 0 0 129186 1004 0 0 25 0 1 0 87135233 939859968 228867 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 229458 228867 146 303 0 229153 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 917832 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27356 /proc/meminfo: memFree=907808/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=947460 CPUtime=1361.87 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 236381 0 0 0 135151 1036 0 0 25 0 1 0 87135233 970199040 236268 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 236865 236268 146 303 0 236560 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 947460 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27358 /proc/meminfo: memFree=875072/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=979932 CPUtime=1421.87 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 244514 0 0 0 141112 1075 0 0 25 0 1 0 87135233 1003450368 244401 1992294400 134512640 135752675 4289584304 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 244983 244401 146 303 0 244678 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 979932 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27360 /proc/meminfo: memFree=844320/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=1010952 CPUtime=1481.84 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 252260 0 0 0 147074 1110 0 0 25 0 1 0 87135233 1035214848 252147 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 252738 252147 146 303 0 252433 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1010952 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27362 /proc/meminfo: memFree=812080/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=1042900 CPUtime=1541.82 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 260238 0 0 0 153035 1147 0 0 25 0 1 0 87135233 1067929600 260125 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 260725 260125 146 303 0 260420 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1042900 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27364 /proc/meminfo: memFree=782568/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=1072508 CPUtime=1601.8 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 267640 0 0 0 158999 1181 0 0 25 0 1 0 87135233 1098248192 267527 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 268127 267527 146 303 0 267822 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1072508 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27373 /proc/meminfo: memFree=753552/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=1100912 CPUtime=1661.77 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 274731 0 0 0 164962 1215 0 0 25 0 1 0 87135233 1127333888 274618 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 275228 274618 146 303 0 274923 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1100912 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27375 /proc/meminfo: memFree=720568/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=1134176 CPUtime=1721.76 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 283077 0 0 0 170922 1254 0 0 25 0 1 0 87135233 1161396224 282964 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 283544 282964 146 303 0 283239 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1134176 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27377 /proc/meminfo: memFree=692916/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=1161424 CPUtime=1781.74 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 289887 0 0 0 176886 1288 0 0 25 0 1 0 87135233 1189298176 289774 1992294400 134512640 135752675 4289584304 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 290356 289774 146 303 0 290051 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1161424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27377 /proc/meminfo: memFree=683616/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=1170532 CPUtime=1800.04 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 292159 0 0 0 178704 1300 0 0 25 0 1 0 87135233 1198624768 292046 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27318/statm: 292633 292046 146 303 0 292328 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1170532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27377 /proc/meminfo: memFree=683616/2059040 swapFree=4140520/4192956 [pid=27318] ppid=27316 vsize=0 CPUtime=1800.14 /proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4203524 292159 0 0 0 178704 1310 0 0 25 0 1 0 87135233 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27318/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.16 CPU user time (s): 1787.04 CPU system time (s): 13.118 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 1170532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.04 system time used= 13.118 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 292159 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 21463 runsolver used 2.97555 second user time and 8.5237 second system time The end
Begin job on node052 at 2010-06-25 11:34:02 IDJOB=2680698 IDBENCH=2925 IDSOLVER=1190 FILE ID=node052/2680698-1277458442 PBS_JOBID= 11188116 Free space on /tmp= 62252 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680698-1277458442/watcher-2680698-1277458442 -o /tmp/evaluation-result-2680698-1277458442/solver-2680698-1277458442 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680698-1277458442.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b RANDOM SEED=788557759 node052.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.262 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.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1856076 kB Buffers: 15504 kB Cached: 90860 kB SwapCached: 5528 kB Active: 14464 kB Inactive: 104876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1856076 kB SwapTotal: 4192956 kB SwapFree: 4140520 kB Dirty: 2648 kB Writeback: 0 kB AnonPages: 11656 kB Mapped: 11968 kB Slab: 61552 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181256 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= 62248 MiB End job on node052 at 2010-06-25 12:04:05