Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.13 | 1800.62 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656055-1276616563.opb. 0.00/0.00 c Instance file HOME/instance-2656055-1276616563.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.001999 s Remaining CPU time: 179.998 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.006998 s Remaining CPU time: 179.993 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.019996 s Remaining CPU time: 179.98 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.025996 s Remaining CPU time: 179.974 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.027995 s Remaining CPU time: 179.972 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 315 | 146 19 1450 | 5000 315 49 | 0.005 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 353 0.00/0.02 o 353 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.00/0.02 c =============================================================================== 0.00/0.02 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.036994 s Remaining CPU time: 179.963 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.040993 s Remaining CPU time: 179.959 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 454 | 146 22 1738 | 5000 454 51 | 0.005 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c New solution: 261 0.04/0.04 o 261 0.04/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.04/0.04 c =============================================================================== 0.04/0.04 c | 455 | 146 23 1834 | 5000 455 51 | 0.005 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c New solution: 259 0.04/0.04 o 259 0.04/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.04/0.04 c =============================================================================== 0.04/0.04 c | 486 | 146 24 1930 | 5000 486 52 | 0.005 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c New solution: 222 0.04/0.04 o 222 0.04/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.04/0.04 c =============================================================================== 0.04/0.04 c | 516 | 146 25 2026 | 5000 516 51 | 0.005 % | 0.04/0.05 c | 616 | 146 25 2026 | 5500 616 49 | 0.005 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 217 0.04/0.06 o 217 0.04/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 636 | 146 26 2122 | 5000 636 49 | 0.005 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 163 0.04/0.06 o 163 0.04/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 643 | 146 27 2218 | 5000 643 49 | 0.005 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 159 0.04/0.06 o 159 0.04/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 652 | 146 28 2314 | 5000 652 49 | 0.005 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 156 0.04/0.06 o 156 0.04/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 669 | 146 29 2410 | 5000 669 49 | 0.005 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 144 0.04/0.06 o 144 0.04/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 684 | 146 30 2506 | 5000 684 49 | 0.005 % | 0.04/0.07 c =============================================================================== 0.04/0.07 c New solution: 132 0.04/0.07 o 132 0.04/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.04/0.07 c =============================================================================== 0.04/0.07 c | 697 | 146 31 2602 | 5000 697 49 | 0.005 % | 0.04/0.08 c | 797 | 146 31 2602 | 5500 797 48 | 0.005 % | 0.04/0.08 c =============================================================================== 0.04/0.08 c New solution: 106 0.04/0.08 o 106 0.04/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.04/0.08 c =============================================================================== 0.04/0.08 c | 816 | 146 32 2698 | 5000 816 48 | 0.005 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c New solution: 102 0.04/0.09 o 102 0.04/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s 0.04/0.09 c =============================================================================== 0.04/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.98 c | 17959 | 134 33 2794 | 14265 11041 43 | 8.224 % | 4.79/4.80 c | 26608 | 134 33 2794 | 15692 12535 44 | 8.224 % | 4.99/5.05 c =============================================================================== 4.99/5.05 c New solution: 95 4.99/5.05 o 95 4.99/5.05 c Elapsed CPU time: 4.98324 s Remaining CPU time: 175.017 s 4.99/5.05 c =============================================================================== 4.99/5.05 c | 27861 | 134 34 2890 | 5000 13788 44 | 8.224 % | 5.09/5.15 c | 27961 | 134 34 2890 | 5500 3547 45 | 8.224 % | 5.09/5.17 c | 28111 | 134 34 2890 | 6050 3697 45 | 8.224 % | 5.19/5.20 c | 28337 | 134 34 2890 | 6655 3923 45 | 8.224 % | 5.19/5.23 c =============================================================================== 5.19/5.23 c New solution: 65 5.19/5.23 o 65 5.19/5.23 c Elapsed CPU time: 5.15921 s Remaining CPU time: 174.841 s 5.19/5.23 c =============================================================================== 5.19/5.23 c | 28554 | 134 35 2986 | 5000 4140 45 | 8.224 % | 5.19/5.25 c | 28656 | 134 35 2986 | 5500 4242 45 | 8.224 % | 5.19/5.27 c | 28806 | 134 35 2986 | 6050 4392 45 | 8.224 % | 5.29/5.30 c | 29031 | 134 35 2986 | 6655 4617 45 | 8.224 % | 5.29/5.35 c | 29369 | 134 35 2986 | 7320 4955 45 | 8.224 % | 5.39/5.42 c | 29875 | 134 35 2986 | 8052 5461 44 | 8.224 % | 5.49/5.54 c | 30635 | 134 35 2986 | 8857 6221 44 | 8.224 % | 5.69/5.72 c | 31774 | 134 35 2986 | 9743 7360 44 | 8.224 % | 5.99/6.02 c | 33483 | 134 35 2986 | 10717 9069 44 | 8.224 % | 6.39/6.49 c | 36045 | 134 35 2986 | 11789 6249 44 | 8.224 % | 6.69/6.77 c =============================================================================== 6.69/6.77 c New solution: 42 6.69/6.77 o 42 6.69/6.77 c Elapsed CPU time: 6.67798 s Remaining CPU time: 173.322 s 6.69/6.77 c =============================================================================== 6.69/6.77 c | 37754 | 134 36 3082 | 5000 7958 44 | 8.224 % | 6.79/6.81 c | 37855 | 122 36 3082 | 5500 3980 44 | 16.443 % | 6.79/6.83 c | 38005 | 122 36 3082 | 6050 4130 45 | 16.443 % | 6.79/6.86 c | 38230 | 122 36 3082 | 6655 4355 45 | 16.443 % | 6.79/6.88 c =============================================================================== 6.79/6.88 c New solution: 41 6.79/6.88 o 41 6.79/6.88 c Elapsed CPU time: 6.78597 s Remaining CPU time: 173.214 s 6.79/6.88 c =============================================================================== 6.79/6.88 c | 38390 | 122 37 3178 | 5000 4515 45 | 16.443 % | 6.79/6.90 c | 38490 | 122 37 3178 | 5500 4615 45 | 16.443 % | 6.89/6.91 c | 38640 | 122 37 3178 | 6050 4765 45 | 16.443 % | 6.89/6.94 c | 38866 | 122 37 3178 | 6655 4991 45 | 16.443 % | 6.89/6.99 c | 39204 | 122 37 3178 | 7320 5329 45 | 16.443 % | 6.99/7.06 c | 39711 | 122 37 3178 | 8052 5836 45 | 16.443 % | 7.09/7.17 c | 40470 | 122 37 3178 | 8857 6595 45 | 16.443 % | 7.29/7.34 c | 41609 | 122 37 3178 | 9743 7734 45 | 16.443 % | 7.60/7.62 c | 43317 | 122 37 3178 | 10717 9442 45 | 16.443 % | 7.99/8.09 c | 45879 | 122 37 3178 | 11789 6613 46 | 16.443 % | 8.80/8.81 c | 49723 | 122 37 3178 | 12968 10457 47 | 16.443 % | 9.79/9.80 c | 55490 | 122 37 3178 | 14265 9714 46 | 16.443 % | 10.79/10.89 c =============================================================================== 10.79/10.89 c New solution: 37 10.79/10.89 o 37 10.79/10.89 c Elapsed CPU time: 10.7234 s Remaining CPU time: 169.277 s 10.79/10.89 c =============================================================================== 10.79/10.89 c | 60954 | 122 38 3274 | 5000 8017 45 | 16.443 % | 10.89/10.93 c | 61054 | 122 38 3274 | 5500 4109 45 | 16.443 % | 10.89/10.95 c | 61204 | 122 38 3274 | 6050 4259 45 | 16.443 % | 10.89/10.98 c | 61430 | 122 38 3274 | 6655 4485 45 | 16.443 % | 10.99/11.03 c | 61767 | 122 38 3274 | 7320 4822 45 | 16.443 % | 11.09/11.10 c | 62274 | 122 38 3274 | 8052 5329 45 | 16.443 % | 11.19/11.21 c | 63034 | 122 38 3274 | 8857 6089 46 | 16.443 % | 11.29/11.37 c | 64173 | 122 38 3274 | 9743 7228 46 | 16.443 % | 11.59/11.65 c | 65882 | 122 38 3274 | 10717 8937 46 | 16.443 % | 12.09/12.12 c | 68444 | 122 38 3274 | 11789 6111 46 | 16.443 % | 12.69/12.71 c | 72288 | 122 38 3274 | 12968 9955 46 | 16.443 % | 13.69/13.77 c | 78054 | 122 38 3274 | 14265 9208 44 | 16.443 % | 14.39/14.47 c =============================================================================== 14.39/14.47 c New solution: 36 14.39/14.47 o 36 14.39/14.47 c Elapsed CPU time: 14.2488 s Remaining CPU time: 165.751 s 14.39/14.47 c =============================================================================== 14.39/14.47 c | 81878 | 122 39 3370 | 5000 13032 44 | 16.443 % | 14.49/14.54 c | 81980 | 122 39 3370 | 5500 3360 44 | 16.443 % | 14.49/14.56 c | 82130 | 122 39 3370 | 6050 3510 44 | 16.443 % | 14.49/14.59 c | 82356 | 122 39 3370 | 6655 3736 44 | 16.443 % | 14.59/14.64 c | 82694 | 122 39 3370 | 7320 4074 44 | 16.443 % | 14.69/14.71 c | 83200 | 122 39 3370 | 8052 4580 44 | 16.443 % | 14.78/14.82 c | 83959 | 122 39 3370 | 8857 5339 44 | 16.443 % | 14.99/15.00 c | 85099 | 122 39 3370 | 9743 6479 44 | 16.443 % | 15.18/15.28 c | 86807 | 122 39 3370 | 10717 8187 44 | 16.443 % | 15.69/15.78 c | 89369 | 122 39 3370 | 11789 10749 45 | 16.443 % | 16.39/16.50 c | 93213 | 122 39 3370 | 12968 8667 45 | 16.443 % | 17.68/17.71 c | 98979 | 122 39 3370 | 14265 7917 45 | 16.443 % | 19.39/19.41 c | 107628 | 122 39 3370 | 15692 9409 44 | 16.443 % | 21.99/22.03 c | 120602 | 122 39 3370 | 17261 14509 44 | 16.443 % | 22.78/22.87 c =============================================================================== 22.78/22.87 c New solution: 28 22.78/22.87 o 28 22.78/22.87 c Elapsed CPU time: 22.5236 s Remaining CPU time: 157.476 s 22.78/22.87 c =============================================================================== 22.78/22.87 c | 123804 | 122 40 3466 | 5000 9055 44 | 16.443 % | 22.88/22.93 c | 123904 | 110 40 3466 | 5500 4592 44 | 24.662 % | 22.88/22.95 c | 124054 | 110 40 3466 | 6050 4742 45 | 24.662 % | 22.88/22.98 c | 124279 | 110 40 3466 | 6655 4967 45 | 24.662 % | 22.99/23.03 c | 124616 | 110 40 3466 | 7320 5304 46 | 24.662 % | 22.99/23.10 c | 125122 | 110 40 3466 | 8052 5810 46 | 24.662 % | 23.19/23.21 c | 125882 | 110 40 3466 | 8857 6570 47 | 24.662 % | 23.28/23.38 c | 127021 | 110 40 3466 | 9743 7709 48 | 24.662 % | 23.59/23.65 c | 128729 | 110 40 3466 | 10717 9417 49 | 24.662 % | 23.99/24.08 c =============================================================================== 23.99/24.08 c New solution: 25 23.99/24.08 o 25 23.99/24.08 c Elapsed CPU time: 23.7084 s Remaining CPU time: 156.292 s 23.99/24.08 c =============================================================================== 23.99/24.08 c | 131074 | 110 41 3562 | 5000 6368 54 | 24.662 % | 24.09/24.11 c | 131174 | 110 41 3562 | 5500 3284 54 | 24.662 % | 24.09/24.13 c | 131325 | 110 41 3562 | 6050 3435 54 | 24.662 % | 24.09/24.15 c | 131550 | 110 41 3562 | 6655 3660 54 | 24.662 % | 24.09/24.19 c | 131887 | 110 41 3562 | 7320 3997 54 | 24.662 % | 24.20/24.25 c | 132393 | 110 41 3562 | 8052 4503 54 | 24.662 % | 24.29/24.35 c | 133152 | 110 41 3562 | 8857 5262 53 | 24.662 % | 24.38/24.49 c | 134291 | 110 41 3562 | 9743 6401 53 | 24.662 % | 24.68/24.73 c | 136000 | 110 41 3562 | 10717 8110 52 | 24.662 % | 25.09/25.11 c | 138562 | 110 41 3562 | 11789 10672 51 | 24.662 % | 25.68/25.72 c | 142407 | 110 41 3562 | 12968 8584 49 | 24.662 % | 26.68/26.74 c | 148173 | 110 41 3562 | 14265 7831 50 | 24.662 % | 28.29/28.31 c | 156823 | 110 41 3562 | 15692 9311 53 | 24.662 % | 30.88/30.94 c | 169798 | 110 41 3562 | 17261 14408 52 | 24.662 % | 35.38/35.42 c | 189259 | 110 41 3562 | 18987 16536 52 | 24.662 % | 38.49/38.54 c =============================================================================== 38.49/38.54 c New solution: 16 38.49/38.54 o 16 38.49/38.54 c Elapsed CPU time: 38.0012 s Remaining CPU time: 141.999 s 38.49/38.54 c =============================================================================== 38.49/38.54 c | 201602 | 110 42 3658 | 5000 9821 53 | 24.662 % | 38.49/38.60 c | 201702 | 98 42 3658 | 5500 5003 54 | 32.881 % | 38.58/38.62 c | 201852 | 98 42 3658 | 6050 5153 54 | 32.881 % | 38.58/38.65 c | 202077 | 98 42 3658 | 6655 5378 54 | 32.881 % | 38.58/38.69 c | 202414 | 98 42 3658 | 7320 5715 54 | 32.881 % | 38.68/38.78 c | 202920 | 98 42 3658 | 8052 6221 54 | 32.881 % | 38.88/38.90 c | 203679 | 98 42 3658 | 8857 6980 55 | 32.881 % | 38.99/39.06 c | 204818 | 98 42 3658 | 9743 8119 55 | 32.881 % | 39.28/39.34 c | 206526 | 98 42 3658 | 10717 9827 55 | 32.881 % | 39.69/39.76 c | 209089 | 98 42 3658 | 11789 6988 57 | 32.881 % | 40.28/40.36 c | 212933 | 98 42 3658 | 12968 10832 57 | 32.881 % | 41.28/41.34 c | 218700 | 98 42 3658 | 14265 10076 57 | 32.881 % | 42.79/42.85 c | 227349 | 98 42 3658 | 15692 11552 56 | 32.881 % | 45.28/45.38 c | 240323 | 98 42 3658 | 17261 8749 52 | 32.881 % | 49.18/49.23 c | 259784 | 98 42 3658 | 18987 10862 53 | 32.881 % | 55.88/55.94 c | 288976 | 98 42 3658 | 20886 11455 57 | 32.881 % | 66.67/66.74 c | 332765 | 98 42 3658 | 22974 13307 58 | 32.881 % | 83.87/83.92 c | 398449 | 98 42 3658 | 25272 17475 52 | 32.881 % | 113.17/113.26 c | 496975 | 98 42 3658 | 27799 16546 57 | 32.881 % | 160.35/160.44 c | 644765 | 98 42 3658 | 30579 11961 54 | 32.881 % | 170.95/171.08 c =============================================================================== 170.95/171.08 c New solution: 13 170.95/171.08 o 13 170.95/171.08 c Elapsed CPU time: 169.152 s Remaining CPU time: 10.8477 s 170.95/171.08 c =============================================================================== 170.95/171.08 c | 676980 | 98 43 3754 | 5000 24540 53 | 32.881 % | 171.25/171.32 c | 677081 | 98 43 3754 | 5500 2801 55 | 32.881 % | 171.25/171.33 c | 677231 | 98 43 3754 | 6050 2951 56 | 32.881 % | 171.25/171.36 c | 677456 | 98 43 3754 | 6655 3176 56 | 32.881 % | 171.25/171.39 c | 677794 | 98 43 3754 | 7320 3514 56 | 32.881 % | 171.34/171.45 c | 678300 | 98 43 3754 | 8052 4020 56 | 32.881 % | 171.46/171.54 c | 679060 | 98 43 3754 | 8857 4780 57 | 32.881 % | 171.65/171.70 c | 680199 | 98 43 3754 | 9743 5919 57 | 32.881 % | 171.85/171.95 c | 681907 | 98 43 3754 | 10717 7627 57 | 32.881 % | 172.25/172.36 c | 684470 | 98 43 3754 | 11789 10190 57 | 32.881 % | 172.94/173.06 c | 688314 | 98 43 3754 | 12968 8101 57 | 32.881 % | 174.05/174.12 c | 694080 | 98 43 3754 | 14265 7340 57 | 32.881 % | 175.55/175.68 c | 702730 | 98 43 3754 | 15692 8816 59 | 32.881 % | 178.25/178.33 c | 715705 | 98 43 3754 | 17261 13905 58 | 32.881 % | 182.04/182.11 c There are 48 assigned variables. 48 in cost function. 182.55/182.67 c ============================[ Search Statistics ]============================== 182.55/182.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.67 c =============================================================================== 182.55/182.67 c | 0 | 50 126 682 | 5000 0 nan | 0.000 % | 182.55/182.68 c | 101 | 50 126 682 | 5500 101 53 | 65.758 % | 182.64/182.70 c | 251 | 50 126 682 | 6050 251 52 | 65.758 % | 182.64/182.72 c | 476 | 50 126 682 | 6655 476 52 | 65.758 % | 182.64/182.77 c | 813 | 50 126 682 | 7320 813 53 | 65.758 % | 182.74/182.89 c | 1319 | 50 126 682 | 8052 1319 54 | 65.758 % | 182.84/182.97 c | 2078 | 50 126 682 | 8857 2078 55 | 65.758 % | 183.05/183.12 c | 3217 | 50 126 682 | 9743 3217 55 | 65.758 % | 183.25/183.37 c | 4925 | 50 126 682 | 10717 4925 55 | 65.758 % | 183.65/183.79 c | 7487 | 50 126 682 | 11789 7487 55 | 65.758 % | 184.44/184.58 c | 11331 | 50 126 682 | 12968 11331 55 | 65.758 % | 185.64/185.74 c | 17098 | 50 126 682 | 14265 10546 55 | 65.758 % | 187.34/187.43 c | 25747 | 50 126 682 | 15692 12000 53 | 65.758 % | 190.15/190.26 c | 38721 | 50 126 682 | 17261 9154 56 | 65.758 % | 194.54/194.64 c | 58183 | 50 126 682 | 18987 11222 53 | 65.758 % | 201.84/201.98 c | 87375 | 50 126 682 | 20886 11731 54 | 65.758 % | 213.13/213.25 c | 131164 | 50 126 682 | 22974 13495 54 | 65.758 % | 231.83/231.90 c | 196848 | 50 126 682 | 25272 17365 55 | 65.758 % | 265.83/265.98 c | 295374 | 50 126 682 | 27799 13930 56 | 65.758 % | 317.31/317.45 c | 443164 | 50 126 682 | 30579 25722 55 | 65.758 % | 404.89/405.08 c | 664850 | 50 126 682 | 33637 11233 56 | 65.758 % | 545.75/545.91 c | 997375 | 50 126 682 | 37001 26763 54 | 65.758 % | 756.69/756.97 c | 1496165 | 50 126 682 | 40701 33207 53 | 65.758 % | 1122.89/1123.22 c | 2244347 | 50 126 682 | 44771 13928 54 | 65.758 % | 1762.73/1763.20 c | 3366621 | 50 126 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-2656055-1276616563/watcher-2656055-1276616563 -o /tmp/evaluation-result-2656055-1276616563/solver-2656055-1276616563 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656055-1276616563.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: 1.00 1.00 1.00 3/106 3259 /proc/meminfo: memFree=1643520/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=2568 CPUtime=0 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 280 0 0 0 0 0 0 0 15 0 1 0 37258035 2629632 197 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 642 197 146 303 0 337 0 [startup+0.0422869 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3259 /proc/meminfo: memFree=1643520/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=2696 CPUtime=0.04 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 318 0 0 0 4 0 0 0 18 0 1 0 37258035 2760704 235 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 674 235 147 303 0 369 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2696 [startup+0.101292 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3259 /proc/meminfo: memFree=1643520/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=2828 CPUtime=0.09 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 363 0 0 0 9 0 0 0 18 0 1 0 37258035 2895872 280 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 707 280 147 303 0 402 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2828 [startup+0.301314 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3259 /proc/meminfo: memFree=1643520/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=3360 CPUtime=0.29 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 486 0 0 0 29 0 0 0 18 0 1 0 37258035 3440640 403 1992294400 134512640 135751879 4289294704 18446744073709551615 134611173 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 840 403 147 303 0 535 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3360 [startup+0.701358 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3259 /proc/meminfo: memFree=1643520/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=4148 CPUtime=0.69 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 696 0 0 0 68 1 0 0 18 0 1 0 37258035 4247552 613 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 1037 613 147 303 0 732 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4148 [startup+1.50145 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3260 /proc/meminfo: memFree=1641032/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=5580 CPUtime=1.49 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 1038 0 0 0 147 2 0 0 19 0 1 0 37258035 5713920 955 1992294400 134512640 135751879 4289294704 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 1395 955 147 303 0 1090 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5580 [startup+3.10162 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3260 /proc/meminfo: memFree=1639172/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=7932 CPUtime=3.09 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 1618 0 0 0 305 4 0 0 23 0 1 0 37258035 8122368 1535 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 1983 1535 148 303 0 1678 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7932 [startup+6.30098 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3260 /proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=12788 CPUtime=6.29 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 2829 0 0 0 621 8 0 0 25 0 1 0 37258035 13094912 2746 1992294400 134512640 135751879 4289294704 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 3197 2746 148 303 0 2892 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12788 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3260 /proc/meminfo: memFree=1623424/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=23084 CPUtime=12.69 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 5416 0 0 0 1250 19 0 0 25 0 1 0 37258035 23638016 5333 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 5771 5333 148 303 0 5466 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23084 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3260 /proc/meminfo: memFree=1603832/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=42060 CPUtime=25.49 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 10158 0 0 0 2511 38 0 0 25 0 1 0 37258035 43069440 10075 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 10515 10075 148 303 0 10210 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42060 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3262 /proc/meminfo: memFree=1567004/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=78704 CPUtime=51.08 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 19325 0 0 0 5038 70 0 0 25 0 1 0 37258035 80592896 19242 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 19676 19242 148 303 0 19371 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 78704 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3262 /proc/meminfo: memFree=1509716/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=135360 CPUtime=102.27 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 33468 0 0 0 10103 124 0 0 25 0 1 0 37258035 138608640 33385 1992294400 134512640 135751879 4289294704 18446744073709551615 135209056 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 33840 33385 148 303 0 33535 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 135360 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3264 /proc/meminfo: memFree=1454040/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=191648 CPUtime=162.25 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 47532 0 0 0 16044 181 0 0 25 0 1 0 37258035 196247552 47449 1992294400 134512640 135751879 4289294704 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 47912 47449 148 303 0 47607 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 191648 [startup+222.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 3266 /proc/meminfo: memFree=1397620/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=247244 CPUtime=222.23 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 61499 0 0 0 21971 252 0 0 25 0 1 0 37258035 253177856 61386 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 61811 61386 150 303 0 61506 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 247244 [startup+282.302 s] /proc/loadavg: 1.02 1.01 1.00 2/107 3268 /proc/meminfo: memFree=1354096/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=290860 CPUtime=282.22 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 72373 0 0 0 27920 302 0 0 25 0 1 0 37258035 297840640 72260 1992294400 134512640 135751879 4289294704 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 72715 72260 150 303 0 72410 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 290860 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 3268 /proc/meminfo: memFree=1313796/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=330928 CPUtime=342.2 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 82364 0 0 0 33874 346 0 0 25 0 1 0 37258035 338870272 82251 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 82732 82251 150 303 0 82427 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 330928 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3270 /proc/meminfo: memFree=1276472/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=368560 CPUtime=402.19 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 91765 0 0 0 39827 392 0 0 25 0 1 0 37258035 377405440 91652 1992294400 134512640 135751879 4289294704 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 92140 91652 150 303 0 91835 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 368560 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3272 /proc/meminfo: memFree=1239892/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=405100 CPUtime=462.17 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 100905 0 0 0 45782 435 0 0 25 0 1 0 37258035 414822400 100792 1992294400 134512640 135751879 4289294704 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 101275 100792 150 303 0 100970 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 405100 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3274 /proc/meminfo: memFree=1198972/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=446348 CPUtime=522.15 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 111225 0 0 0 51734 481 0 0 25 0 1 0 37258035 457060352 111112 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 111587 111112 150 303 0 111282 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 446348 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3276 /proc/meminfo: memFree=1158672/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=485724 CPUtime=582.14 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 121050 0 0 0 57687 527 0 0 25 0 1 0 37258035 497381376 120937 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 121431 120937 150 303 0 121126 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 485724 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3276 /proc/meminfo: memFree=1119488/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=524696 CPUtime=642.13 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 130786 0 0 0 63645 568 0 0 25 0 1 0 37258035 537288704 130673 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 131174 130674 150 303 0 130869 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 524696 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3284 /proc/meminfo: memFree=964116/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=679956 CPUtime=882.06 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 169566 0 0 0 87475 731 0 0 25 0 1 0 37258035 696274944 169453 1992294400 134512640 135751879 4289294704 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 169989 169453 150 303 0 169684 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 679956 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3284 /proc/meminfo: memFree=928156/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=715992 CPUtime=942.05 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 178582 0 0 0 93436 769 0 0 25 0 1 0 37258035 733175808 178469 1992294400 134512640 135751879 4289294704 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 178998 178469 150 303 0 178693 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 715992 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3286 /proc/meminfo: memFree=893188/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=750616 CPUtime=1002.02 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 187230 0 0 0 99393 809 0 0 25 0 1 0 37258035 768630784 187117 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 187654 187117 150 303 0 187349 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 750616 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3288 /proc/meminfo: memFree=858220/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=785992 CPUtime=1062.02 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 196065 0 0 0 105352 850 0 0 25 0 1 0 37258035 804855808 195952 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 196498 195952 150 303 0 196193 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 785992 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3299 /proc/meminfo: memFree=822384/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=821172 CPUtime=1121.98 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 204869 0 0 0 111309 889 0 0 25 0 1 0 37258035 840880128 204756 1992294400 134512640 135751879 4289294704 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 205293 204756 150 303 0 204988 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 821172 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3301 /proc/meminfo: memFree=791756/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=852760 CPUtime=1181.97 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 212722 0 0 0 117272 925 0 0 25 0 1 0 37258035 873226240 212609 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 213190 212609 150 303 0 212885 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 852760 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3301 /proc/meminfo: memFree=761252/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=882596 CPUtime=1241.96 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 220190 0 0 0 123237 959 0 0 25 0 1 0 37258035 903778304 220077 1992294400 134512640 135751879 4289294704 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 220649 220077 150 303 0 220344 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 882596 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3303 /proc/meminfo: memFree=732980/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=910316 CPUtime=1301.95 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 227121 0 0 0 129200 995 0 0 25 0 1 0 37258035 932163584 227008 1992294400 134512640 135751879 4289294704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 227579 227008 150 303 0 227274 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 910316 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3305 /proc/meminfo: memFree=703964/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=939760 CPUtime=1361.92 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 234480 0 0 0 135162 1030 0 0 25 0 1 0 37258035 962314240 234367 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 234940 234367 150 303 0 234635 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 939760 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3307 /proc/meminfo: memFree=671848/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=971308 CPUtime=1421.91 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 242374 0 0 0 141119 1072 0 0 25 0 1 0 37258035 994619392 242261 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 242827 242261 150 303 0 242522 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 971308 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3309 /proc/meminfo: memFree=641344/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=1002196 CPUtime=1481.89 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 250069 0 0 0 147080 1109 0 0 25 0 1 0 37258035 1026248704 249956 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 250549 249956 150 303 0 250244 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1002196 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3309 /proc/meminfo: memFree=610468/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=1032560 CPUtime=1541.87 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 257666 0 0 0 153041 1146 0 0 25 0 1 0 37258035 1057341440 257553 1992294400 134512640 135751879 4289294704 18446744073709551615 134602794 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 258140 257553 150 303 0 257835 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1032560 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3311 /proc/meminfo: memFree=578724/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=1064940 CPUtime=1601.86 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 265761 0 0 0 159002 1184 0 0 25 0 1 0 37258035 1090498560 265648 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 266235 265648 150 303 0 265930 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1064940 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3313 /proc/meminfo: memFree=552436/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=1090572 CPUtime=1661.84 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 272173 0 0 0 164971 1213 0 0 25 0 1 0 37258035 1116745728 272060 1992294400 134512640 135751879 4289294704 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 272643 272060 150 303 0 272338 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1090572 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3315 /proc/meminfo: memFree=517840/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=1125420 CPUtime=1721.83 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 280886 0 0 0 170929 1254 0 0 25 0 1 0 37258035 1152430080 280773 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 281355 280773 150 303 0 281050 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1125420 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3317 /proc/meminfo: memFree=489196/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=1153708 CPUtime=1781.82 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 287971 0 0 0 176894 1288 0 0 25 0 1 0 37258035 1181396992 287858 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 288427 287858 150 303 0 288122 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1153708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3317 /proc/meminfo: memFree=482500/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=1160060 CPUtime=1800.01 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4202496 289552 0 0 0 178704 1297 0 0 25 0 1 0 37258035 1187901440 289439 1992294400 134512640 135751879 4289294704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3259/statm: 290015 289439 150 303 0 289710 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1160060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3318 /proc/meminfo: memFree=1552364/2059040 swapFree=4140260/4192956 [pid=3259] ppid=3257 vsize=0 CPUtime=1800.12 /proc/3259/stat : 3259 (wbo1.4b) R 3257 3259 2877 0 -1 4203524 289552 0 0 0 178704 1308 0 0 25 0 1 0 37258035 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/3259/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.13 CPU user time (s): 1787.05 CPU system time (s): 13.084 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1160060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.05 system time used= 13.084 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289552 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= 6 involuntary context switches= 1463 runsolver used 2.87356 second user time and 8.61469 second system time The end
Begin job on node009 at 2010-06-15 17:42:43 IDJOB=2656055 IDBENCH=2925 IDSOLVER=1161 FILE ID=node009/2656055-1276616563 PBS_JOBID= 11172288 Free space on /tmp= 62556 MiB SOLVER NAME= wbo 1.4b 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-2656055-1276616563/watcher-2656055-1276616563 -o /tmp/evaluation-result-2656055-1276616563/solver-2656055-1276616563 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656055-1276616563.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b RANDOM SEED=1261403636 node009.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.199 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.39 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.199 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1643924 kB Buffers: 121064 kB Cached: 211492 kB SwapCached: 6532 kB Active: 115428 kB Inactive: 230724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1643924 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 2624 kB Writeback: 0 kB AnonPages: 11568 kB Mapped: 13108 kB Slab: 47088 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181964 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= 62552 MiB End job on node009 at 2010-06-15 18:12:45