Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.21 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 1791.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6214 |
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-2680710-1277458601.opb. 0.00/0.00 c Instance file HOME/instance-2680710-1277458601.opb 0.00/0.00 c File size is 10386 bytes. 0.00/0.00 c Highest Coefficient sum: 6214 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 172 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 14 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 172 14 1060 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 907 0.00/0.00 o 907 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 172 15 1172 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 903 0.00/0.00 o 903 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 | 48 | 172 16 1284 | 5000 48 74 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 675 0.00/0.00 o 675 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 | 48 | 172 17 1396 | 5000 48 74 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 672 0.00/0.01 o 672 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 74 | 172 18 1508 | 5000 74 75 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 629 0.00/0.01 o 629 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 142 | 172 19 1620 | 5000 142 64 | 0.000 % | 0.00/0.02 c | 242 | 172 19 1620 | 5500 242 65 | 0.003 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 623 0.00/0.02 o 623 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 | 284 | 172 20 1732 | 5000 284 64 | 0.003 % | 0.00/0.03 c | 385 | 172 20 1732 | 5500 385 63 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 522 0.00/0.04 o 522 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 | 406 | 172 21 1844 | 5000 406 62 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 456 0.00/0.04 o 456 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 | 416 | 172 22 1956 | 5000 416 62 | 0.003 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c New solution: 368 0.04/0.04 o 368 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 | 450 | 172 23 2068 | 5000 450 61 | 0.003 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c New solution: 360 0.04/0.04 o 360 0.04/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.04/0.04 c =============================================================================== 0.04/0.04 c | 462 | 172 24 2180 | 5000 462 61 | 0.003 % | 0.04/0.05 c | 563 | 172 24 2180 | 5500 563 63 | 0.003 % | 0.04/0.07 c | 713 | 172 24 2180 | 6050 713 62 | 0.003 % | 0.04/0.08 c =============================================================================== 0.04/0.08 c New solution: 345 0.04/0.08 o 345 0.04/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.04/0.08 c =============================================================================== 0.04/0.08 c | 834 | 172 25 2292 | 5000 834 62 | 0.003 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c New solution: 341 0.04/0.09 o 341 0.04/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s 0.04/0.09 c =============================================================================== 0.04/0.09 c | 848 | 172 26 2404 | 5000 848 61 | 0.003 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c New solution: 337 0.04/0.09 o 337 0.04/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s 0.04/0.09 c =============================================================================== 0.04/0.09 c | 888 | 172 27 2516 | 5000 888 62 | 0.003 % | 0.04/0.10 c =============================================================================== 0.04/0.10 c New solution: 334 0.04/0.10 o 334 0.04/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s 0.04/0.10 c =============================================================================== 0.04/0.10 c | 922 | 172 28 2628 | 5000 922 62 | 0.003 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 324 0.09/0.10 o 324 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 953 | 172 29 2740 | 5000 953 62 | 0.003 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 314 0.09/0.10 o 314 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 962 | 172 30 2852 | 5000 962 61 | 0.003 % | 0.09/0.11 c | 1063 | 172 30 2852 | 5500 1063 61 | 0.003 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 291 0.09/0.12 o 291 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 1113 | 172 31 2964 | 5000 1113 60 | 0.003 % | 0.09/0.13 c | 1216 | 172 31 2964 | 5500 1216 62 | 0.003 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 277 0.09/0.14 o 277 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 1239 | 172 32 3076 | 5000 1239 61 | 0.003 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 269 0.09/0.14 o 269 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 1245 | 172 33 3188 | 5000 1245 61 | 0.003 % | 0.09/0.15 c | 1348 | 172 33 3188 | 5500 1348 61 | 0.003 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 216 0.09/0.17 o 216 0.09/0.17 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 1449 | 172 34 3300 | 5000 1449 60 | 0.003 % | 0.09/0.18 c | 1550 | 172 34 3300 | 5500 1550 60 | 0.003 % | 0.19/0.20 c | 1701 | 172 34 3300 | 6050 1701 60 | 0.003 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 180 0.19/0.22 o 180 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1852 | 172 35 3412 | 5000 1852 60 | 0.003 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 162 0.19/0.23 o 162 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1877 | 172 36 3524 | 5000 1877 59 | 0.003 % | 0.19/0.24 c | 1978 | 172 36 3524 | 5500 1978 60 | 0.003 % | 0.19/0.27 c | 2131 | 172 36 3524 | 6050 2131 61 | 0.003 % | 0.29/0.30 c | 2356 | 172 36 3524 | 6655 2356 61 | 0.003 % | 0.29/0.35 c | 2695 | 172 36 3524 | 7320 2695 60 | 0.003 % | 0.39/0.43 c | 3201 | 172 36 3524 | 8052 3201 59 | 0.003 % | 0.50/0.54 c =============================================================================== 0.50/0.54 c New solution: 153 0.50/0.54 o 153 0.50/0.54 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s 0.50/0.54 c =============================================================================== 0.50/0.54 c | 3845 | 172 37 3636 | 5000 3845 58 | 0.003 % | 0.50/0.56 c | 3945 | 172 37 3636 | 5500 3945 58 | 0.003 % | 0.50/0.57 c =============================================================================== 0.50/0.57 c New solution: 152 0.50/0.57 o 152 0.50/0.57 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s 0.50/0.57 c =============================================================================== 0.50/0.57 c | 4019 | 172 38 3748 | 5000 4019 58 | 0.003 % | 0.50/0.58 c =============================================================================== 0.50/0.58 c New solution: 145 0.50/0.58 o 145 0.50/0.58 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s 0.50/0.58 c =============================================================================== 0.50/0.58 c | 4052 | 172 39 3860 | 5000 4052 58 | 0.003 % | 0.59/0.60 c | 4152 | 172 39 3860 | 5500 4152 58 | 0.003 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 144 0.59/0.62 o 144 0.59/0.62 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 4276 | 172 40 3972 | 5000 4276 57 | 0.003 % | 0.59/0.64 c | 4376 | 172 40 3972 | 5500 4376 57 | 0.003 % | 0.59/0.66 c | 4527 | 172 40 3972 | 6050 4527 57 | 0.003 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 132 0.59/0.67 o 132 0.59/0.67 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 4567 | 172 41 4084 | 5000 4567 57 | 0.003 % | 0.59/0.69 c | 4667 | 172 41 4084 | 5500 4667 57 | 0.003 % | 0.69/0.71 c | 4817 | 172 41 4084 | 6050 4817 57 | 0.003 % | 0.69/0.75 c | 5042 | 172 41 4084 | 6655 5042 56 | 0.003 % | 0.79/0.81 c | 5379 | 172 41 4084 | 7320 5379 56 | 0.003 % | 0.89/0.90 c | 5886 | 172 41 4084 | 8052 5886 56 | 0.003 % | 0.99/1.04 c | 6645 | 172 41 4084 | 8857 6645 55 | 0.003 % | 1.19/1.24 c | 7784 | 172 41 4084 | 9743 7784 55 | 0.003 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c New solution: 122 1.39/1.42 o 122 1.39/1.42 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s 1.39/1.42 c =============================================================================== 1.39/1.42 c | 8739 | 172 42 4196 | 5000 8739 55 | 0.003 % | 1.39/1.45 c | 8839 | 158 42 4196 | 5500 3976 52 | 8.143 % | 1.39/1.48 c | 8992 | 158 42 4196 | 6050 4129 52 | 8.143 % | 1.49/1.52 c | 9217 | 158 42 4196 | 6655 4354 52 | 8.143 % | 1.49/1.58 c | 9554 | 158 42 4196 | 7320 4691 52 | 8.143 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c New solution: 103 1.49/1.58 o 103 1.49/1.58 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s 1.49/1.58 c =============================================================================== 1.49/1.58 c | 9566 | 158 43 4308 | 5000 4703 52 | 8.143 % | 1.59/1.60 c | 9666 | 158 43 4308 | 5500 4803 52 | 8.143 % | 1.59/1.62 c | 9816 | 158 43 4308 | 6050 4953 52 | 8.143 % | 1.59/1.65 c =============================================================================== 1.59/1.65 c New solution: 101 1.59/1.65 o 101 1.59/1.65 c Elapsed CPU time: 1.62175 s Remaining CPU time: 178.378 s 1.59/1.65 c =============================================================================== 1.59/1.65 c | 9949 | 158 44 4420 | 5000 5086 52 | 8.143 % | 1.59/1.67 c | 10050 | 158 44 4420 | 5500 2644 53 | 8.143 % | 1.69/1.70 c | 10200 | 158 44 4420 | 6050 2794 53 | 8.143 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c New solution: 85 1.69/1.71 o 85 1.69/1.71 c Elapsed CPU time: 1.68074 s Remaining CPU time: 178.319 s 1.69/1.71 c =============================================================================== 1.69/1.71 c | 10269 | 158 45 4532 | 5000 2863 53 | 8.143 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c New solution: 83 1.69/1.71 o 83 1.69/1.71 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s 1.69/1.71 c =============================================================================== 1.69/1.71 c | 10276 | 158 46 4644 | 5000 2870 53 | 8.143 % | 1.69/1.73 c | 10377 | 158 46 4644 | 5500 2971 53 | 8.143 % | 1.69/1.75 c | 10527 | 158 46 4644 | 6050 3121 53 | 8.143 % | 1.69/1.79 c | 10753 | 158 46 4644 | 6655 3347 53 | 8.143 % | 1.79/1.85 c | 11090 | 158 46 4644 | 7320 3684 53 | 8.143 % | 1.79/1.89 c =============================================================================== 1.79/1.89 c New solution: 61 1.79/1.89 o 61 1.79/1.89 c Elapsed CPU time: 1.85472 s Remaining CPU time: 178.145 s 1.79/1.89 c =============================================================================== 1.79/1.89 c | 11317 | 158 47 4756 | 5000 3911 53 | 8.143 % | 1.89/1.91 c | 11417 | 144 47 4756 | 5500 4011 53 | 16.282 % | 1.89/1.94 c | 11567 | 144 47 4756 | 6050 4161 53 | 16.282 % | 1.89/1.97 c | 11792 | 144 47 4756 | 6655 4386 53 | 16.282 % | 1.99/2.04 c | 12129 | 144 47 4756 | 7320 4723 54 | 16.282 % | 2.09/2.13 c | 12635 | 144 47 4756 | 8052 5229 54 | 16.282 % | 2.19/2.25 c | 13394 | 144 47 4756 | 8857 5988 55 | 16.282 % | 2.39/2.46 c | 14533 | 144 47 4756 | 9743 7127 55 | 16.282 % | 2.69/2.79 c | 16243 | 144 47 4756 | 10717 8837 56 | 16.282 % | 3.30/3.35 c | 18805 | 144 47 4756 | 11789 6001 57 | 16.282 % | 4.09/4.16 c | 22650 | 144 47 4756 | 12968 9846 58 | 16.282 % | 5.40/5.48 c | 28416 | 144 47 4756 | 14265 9095 58 | 16.282 % | 7.39/7.46 c | 37065 | 144 47 4756 | 15692 10574 58 | 16.282 % | 8.19/8.24 c =============================================================================== 8.19/8.24 c New solution: 60 8.19/8.24 o 60 8.19/8.24 c Elapsed CPU time: 8.12276 s Remaining CPU time: 171.877 s 8.19/8.24 c =============================================================================== 8.19/8.24 c | 40142 | 144 48 4868 | 5000 13651 57 | 16.282 % | 8.29/8.32 c | 40242 | 144 48 4868 | 5500 3513 57 | 16.282 % | 8.29/8.35 c | 40393 | 144 48 4868 | 6050 3664 57 | 16.282 % | 8.29/8.39 c | 40618 | 144 48 4868 | 6655 3889 57 | 16.282 % | 8.39/8.45 c | 40955 | 144 48 4868 | 7320 4226 57 | 16.282 % | 8.49/8.55 c | 41461 | 144 48 4868 | 8052 4732 57 | 16.282 % | 8.59/8.69 c | 42221 | 144 48 4868 | 8857 5492 57 | 16.282 % | 8.89/8.92 c | 43360 | 144 48 4868 | 9743 6631 58 | 16.282 % | 9.19/9.28 c | 45069 | 144 48 4868 | 10717 8340 58 | 16.282 % | 9.89/9.90 c | 47631 | 144 48 4868 | 11789 5506 60 | 16.282 % | 10.69/10.71 c | 51475 | 144 48 4868 | 12968 9350 60 | 16.282 % | 11.48/11.53 c =============================================================================== 11.48/11.53 c New solution: 59 11.48/11.53 o 59 11.48/11.53 c Elapsed CPU time: 11.3743 s Remaining CPU time: 168.626 s 11.48/11.53 c =============================================================================== 11.48/11.53 c | 54676 | 144 49 4980 | 5000 12551 61 | 16.282 % | 11.48/11.59 c =============================================================================== 11.48/11.59 c New solution: 57 11.48/11.59 o 57 11.48/11.59 c Elapsed CPU time: 11.4273 s Remaining CPU time: 168.573 s 11.48/11.59 c =============================================================================== 11.48/11.59 c | 54774 | 144 50 5092 | 5000 3236 62 | 16.282 % | 11.48/11.59 c =============================================================================== 11.48/11.59 c New solution: 55 11.48/11.59 o 55 11.48/11.59 c Elapsed CPU time: 11.4313 s Remaining CPU time: 168.569 s 11.48/11.59 c =============================================================================== 11.48/11.59 c | 54785 | 144 51 5204 | 5000 3247 62 | 16.282 % | 11.58/11.61 c | 54885 | 144 51 5204 | 5500 3347 63 | 16.282 % | 11.58/11.64 c | 55035 | 144 51 5204 | 6050 3497 63 | 16.282 % | 11.58/11.68 c | 55260 | 144 51 5204 | 6655 3722 62 | 16.282 % | 11.69/11.73 c | 55597 | 144 51 5204 | 7320 4059 62 | 16.282 % | 11.79/11.81 c | 56103 | 144 51 5204 | 8052 4565 61 | 16.282 % | 11.89/11.96 c | 56862 | 144 51 5204 | 8857 5324 60 | 16.282 % | 12.10/12.16 c | 58001 | 144 51 5204 | 9743 6463 59 | 16.282 % | 12.49/12.51 c | 59709 | 144 51 5204 | 10717 8171 59 | 16.282 % | 12.99/13.04 c | 62271 | 144 51 5204 | 11789 10733 58 | 16.282 % | 13.79/13.87 c | 66115 | 144 51 5204 | 12968 8647 56 | 16.282 % | 15.19/15.28 c | 71881 | 144 51 5204 | 14265 7891 53 | 16.282 % | 17.09/17.12 c | 80530 | 144 51 5204 | 15692 9372 52 | 16.282 % | 19.80/19.90 c | 93504 | 144 51 5204 | 17261 14465 53 | 16.282 % | 24.49/24.57 c | 112966 | 144 51 5204 | 18987 16588 53 | 16.282 % | 31.89/31.97 c | 142158 | 144 51 5204 | 20886 17197 54 | 16.282 % | 43.99/44.05 c | 185947 | 144 51 5204 | 22974 19075 55 | 16.282 % | 59.17/59.23 c =============================================================================== 59.17/59.23 c New solution: 53 59.17/59.23 o 53 59.17/59.23 c Elapsed CPU time: 58.5711 s Remaining CPU time: 121.429 s 59.17/59.23 c =============================================================================== 59.17/59.23 c | 237543 | 144 52 5316 | 5000 21472 56 | 16.282 % | 59.28/59.34 c | 237643 | 144 52 5316 | 5500 2768 56 | 16.282 % | 59.28/59.37 c | 237793 | 144 52 5316 | 6050 2918 56 | 16.282 % | 59.38/59.41 c | 238018 | 144 52 5316 | 6655 3143 56 | 16.282 % | 59.38/59.46 c | 238355 | 144 52 5316 | 7320 3480 56 | 16.282 % | 59.47/59.54 c | 238861 | 144 52 5316 | 8052 3986 56 | 16.282 % | 59.57/59.67 c | 239621 | 144 52 5316 | 8857 4746 56 | 16.282 % | 59.78/59.86 c | 240760 | 144 52 5316 | 9743 5885 56 | 16.282 % | 60.07/60.17 c | 242468 | 144 52 5316 | 10717 7593 56 | 16.282 % | 60.57/60.66 c | 245030 | 144 52 5316 | 11789 10155 56 | 16.282 % | 61.38/61.45 c | 248874 | 144 52 5316 | 12968 8062 56 | 16.282 % | 62.87/62.96 c | 254642 | 144 52 5316 | 14265 7306 57 | 16.282 % | 63.68/63.72 c =============================================================================== 63.68/63.72 c New solution: 49 63.68/63.72 o 49 63.68/63.72 c Elapsed CPU time: 63.0224 s Remaining CPU time: 116.978 s 63.68/63.72 c =============================================================================== 63.68/63.72 c | 257925 | 144 53 5428 | 5000 10589 57 | 16.282 % | 63.68/63.78 c | 258025 | 144 53 5428 | 5500 2748 56 | 16.282 % | 63.78/63.81 c | 258175 | 144 53 5428 | 6050 2898 56 | 16.282 % | 63.78/63.85 c | 258400 | 144 53 5428 | 6655 3123 56 | 16.282 % | 63.88/63.91 c | 258737 | 144 53 5428 | 7320 3460 56 | 16.282 % | 63.98/64.01 c | 259243 | 144 53 5428 | 8052 3966 56 | 16.282 % | 64.07/64.16 c | 260002 | 144 53 5428 | 8857 4725 56 | 16.282 % | 64.27/64.36 c | 261141 | 144 53 5428 | 9743 5864 56 | 16.282 % | 64.67/64.71 c | 262849 | 144 53 5428 | 10717 7572 56 | 16.282 % | 65.18/65.27 c | 265411 | 144 53 5428 | 11789 10134 56 | 16.282 % | 66.07/66.16 c | 269255 | 144 53 5428 | 12968 8050 55 | 16.282 % | 67.47/67.57 c | 275021 | 144 53 5428 | 14265 7295 56 | 16.282 % | 69.57/69.67 c | 283670 | 144 53 5428 | 15692 8777 54 | 16.282 % | 72.77/72.87 c | 296645 | 144 53 5428 | 17261 13871 54 | 16.282 % | 77.76/77.89 c | 316106 | 144 53 5428 | 18987 15998 56 | 16.282 % | 85.37/85.45 c | 345298 | 144 53 5428 | 20886 16602 55 | 16.282 % | 97.96/98.07 c | 389087 | 144 53 5428 | 22974 18479 53 | 16.282 % | 118.26/118.39 c | 454771 | 144 53 5428 | 25272 12668 55 | 16.282 % | 148.25/148.33 c =============================================================================== 148.25/148.33 c New solution: 47 148.25/148.33 o 47 148.25/148.33 c Elapsed CPU time: 146.747 s Remaining CPU time: 33.2533 s 148.25/148.33 c =============================================================================== 148.25/148.33 c | 545585 | 144 54 5540 | 5000 17225 58 | 16.282 % | 148.36/148.40 c =============================================================================== 148.36/148.40 c New solution: 41 148.36/148.40 o 41 148.36/148.40 c Elapsed CPU time: 146.822 s Remaining CPU time: 33.1783 s 148.36/148.40 c =============================================================================== 148.36/148.40 c | 545609 | 144 55 5652 | 5000 4331 59 | 16.282 % | 148.36/148.41 c =============================================================================== 148.36/148.41 c New solution: 37 148.36/148.41 o 37 148.36/148.41 c Elapsed CPU time: 146.832 s Remaining CPU time: 33.1683 s 148.36/148.41 c =============================================================================== 148.36/148.41 c | 545652 | 144 56 5764 | 5000 4374 59 | 16.282 % | 148.36/148.44 c | 545752 | 144 56 5764 | 5500 4474 59 | 16.282 % | 148.36/148.47 c | 545902 | 144 56 5764 | 6050 4624 59 | 16.282 % | 148.45/148.52 c | 546127 | 144 56 5764 | 6655 4849 59 | 16.282 % | 148.45/148.59 c | 546465 | 144 56 5764 | 7320 5187 58 | 16.282 % | 148.65/148.70 c | 546971 | 144 56 5764 | 8052 5693 58 | 16.282 % | 148.75/148.86 c | 547730 | 144 56 5764 | 8857 6452 58 | 16.282 % | 148.94/149.09 c | 548871 | 144 56 5764 | 9743 7593 58 | 16.282 % | 149.35/149.45 c | 550580 | 144 56 5764 | 10717 9302 57 | 16.282 % | 149.95/150.00 c | 553142 | 144 56 5764 | 11789 6467 55 | 16.282 % | 150.66/150.78 c | 556987 | 144 56 5764 | 12968 10312 55 | 16.282 % | 151.95/152.09 c | 562753 | 144 56 5764 | 14265 9562 56 | 16.282 % | 154.04/154.11 c | 571402 | 144 56 5764 | 15692 11038 56 | 16.282 % | 157.55/157.68 c | 584376 | 144 56 5764 | 17261 8246 54 | 16.282 % | 163.05/163.14 c | 603838 | 144 56 5764 | 18987 10376 54 | 16.282 % | 171.45/171.52 c | 633030 | 144 56 5764 | 20886 10985 54 | 16.282 % | 181.84/181.93 c There are 28 assigned variables. 28 in cost function. 182.44/182.51 c ============================[ Search Statistics ]============================== 182.44/182.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.51 c =============================================================================== 182.44/182.51 c | 0 | 60 166 1004 | 5000 0 nan | 0.000 % | 182.44/182.52 c | 100 | 60 166 1004 | 5500 100 60 | 65.120 % | 182.44/182.56 c | 250 | 60 166 1004 | 6050 250 61 | 65.120 % | 182.44/182.60 c | 476 | 60 166 1004 | 6655 476 60 | 65.120 % | 182.54/182.66 c | 813 | 60 166 1004 | 7320 813 60 | 65.120 % | 182.63/182.75 c | 1319 | 60 166 1004 | 8052 1319 61 | 65.120 % | 182.74/182.87 c | 2078 | 60 166 1004 | 8857 2078 63 | 65.120 % | 182.94/183.04 c | 3217 | 60 166 1004 | 9743 3217 64 | 65.120 % | 183.24/183.34 c | 4925 | 60 166 1004 | 10717 4925 64 | 65.120 % | 183.74/183.86 c | 7488 | 60 166 1004 | 11789 7488 65 | 65.120 % | 184.74/184.85 c | 11332 | 60 166 1004 | 12968 11332 67 | 65.120 % | 186.24/186.36 c | 17098 | 60 166 1004 | 14265 10532 70 | 65.120 % | 188.43/188.59 c | 25747 | 60 166 1004 | 15692 11967 69 | 65.120 % | 191.83/191.94 c | 38723 | 60 166 1004 | 17261 9094 71 | 65.120 % | 197.23/197.30 c | 58184 | 60 166 1004 | 18987 11137 70 | 65.120 % | 206.03/206.10 c | 87376 | 60 166 1004 | 20886 11625 71 | 65.120 % | 219.72/219.84 c | 131165 | 60 166 1004 | 22974 13331 71 | 65.120 % | 237.33/237.50 c | 196849 | 60 166 1004 | 25272 17103 62 | 65.120 % | 268.81/268.95 c | 295376 | 60 166 1004 | 27799 13541 69 | 65.120 % | 321.50/321.67 c | 443165 | 60 166 1004 | 30579 25175 72 | 65.120 % | 416.87/417.00 c | 664848 | 60 166 1004 | 33637 30114 70 | 65.120 % | 555.13/555.30 c | 997373 | 60 166 1004 | 37001 22681 73 | 65.120 % | 776.37/776.62 c | 1496161 | 60 166 1004 | 40701 28735 68 | 65.120 % | 1122.77/1123.17 c | 2244344 | 60 166 1004 | 44771 38477 70 | 65.120 % | 1684.28/1684.87 c | 3366619 | 60 166 1004 | 49248 21298 70 | 65.120 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680710-1277458601/watcher-2680710-1277458601 -o /tmp/evaluation-result-2680710-1277458601/solver-2680710-1277458601 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680710-1277458601.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.97 1.01 0.94 3/106 29634 /proc/meminfo: memFree=1855608/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=2572 CPUtime=0 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 283 0 0 0 0 0 0 0 19 0 1 0 87152856 2633728 198 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 643 198 143 303 0 338 0 [startup+0.0434749 s] /proc/loadavg: 0.97 1.01 0.94 3/106 29634 /proc/meminfo: memFree=1855608/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=2700 CPUtime=0.04 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 324 0 0 0 4 0 0 0 19 0 1 0 87152856 2764800 239 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 675 239 144 303 0 370 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2700 [startup+0.101483 s] /proc/loadavg: 0.97 1.01 0.94 3/106 29634 /proc/meminfo: memFree=1855608/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=2956 CPUtime=0.09 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 375 0 0 0 9 0 0 0 19 0 1 0 87152856 3026944 290 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 739 290 144 303 0 434 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2956 [startup+0.301512 s] /proc/loadavg: 0.97 1.01 0.94 3/106 29634 /proc/meminfo: memFree=1855608/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=3472 CPUtime=0.29 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 509 0 0 0 29 0 0 0 19 0 1 0 87152856 3555328 424 1992294400 134512640 135752675 4293855408 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 868 424 144 303 0 563 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3472 [startup+0.701568 s] /proc/loadavg: 0.97 1.01 0.94 3/106 29634 /proc/meminfo: memFree=1855608/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=4264 CPUtime=0.69 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 721 0 0 0 68 1 0 0 20 0 1 0 87152856 4366336 636 1992294400 134512640 135752675 4293855408 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 1066 636 144 303 0 761 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4264 [startup+1.50068 s] /proc/loadavg: 0.97 1.01 0.94 2/107 29635 /proc/meminfo: memFree=1852996/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=5696 CPUtime=1.49 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 1082 0 0 0 147 2 0 0 21 0 1 0 87152856 5832704 997 1992294400 134512640 135752675 4293855408 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 1424 997 145 303 0 1119 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5696 [startup+3.10091 s] /proc/loadavg: 0.97 1.01 0.94 2/107 29635 /proc/meminfo: memFree=1850764/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=8548 CPUtime=3.09 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 1785 0 0 0 304 5 0 0 25 0 1 0 87152856 8753152 1700 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 2137 1700 145 303 0 1832 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8548 [startup+6.30037 s] /proc/loadavg: 0.97 1.01 0.94 2/107 29635 /proc/meminfo: memFree=1845432/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=13188 CPUtime=6.29 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 2955 0 0 0 619 10 0 0 25 0 1 0 87152856 13504512 2870 1992294400 134512640 135752675 4293855408 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 3297 2870 145 303 0 2992 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13188 [startup+12.7013 s] /proc/loadavg: 0.97 1.01 0.94 2/107 29635 /proc/meminfo: memFree=1835884/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=22548 CPUtime=12.69 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 5300 0 0 0 1252 17 0 0 25 0 1 0 87152856 23089152 5215 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 5637 5215 145 303 0 5332 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22548 [startup+25.5011 s] /proc/loadavg: 0.98 1.00 0.94 2/107 29637 /proc/meminfo: memFree=1818648/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=39112 CPUtime=25.49 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 9424 0 0 0 2517 32 0 0 25 0 1 0 87152856 40050688 9339 1992294400 134512640 135752675 4293855408 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 9778 9339 145 303 0 9473 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39112 [startup+51.1018 s] /proc/loadavg: 0.98 1.00 0.94 2/107 29637 /proc/meminfo: memFree=1790128/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=67704 CPUtime=51.08 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 16577 0 0 0 5051 57 0 0 25 0 1 0 87152856 69328896 16492 1992294400 134512640 135752675 4293855408 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 16926 16492 145 303 0 16621 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 67704 [startup+102.309 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29639 /proc/meminfo: memFree=1731104/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=125920 CPUtime=102.27 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 31124 0 0 0 10118 109 0 0 25 0 1 0 87152856 128942080 31039 1992294400 134512640 135752675 4293855408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 31480 31039 145 303 0 31175 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 125920 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29639 /proc/meminfo: memFree=1669352/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=188140 CPUtime=162.25 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 46657 0 0 0 16054 171 0 0 25 0 1 0 87152856 192655360 46572 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 47035 46572 145 303 0 46730 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 188140 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29641 /proc/meminfo: memFree=1615040/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=241732 CPUtime=222.22 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 60080 0 0 0 21999 223 0 0 25 0 1 0 87152856 247533568 59995 1992294400 134512640 135752675 4293855408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 60433 59995 146 303 0 60128 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 241732 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29643 /proc/meminfo: memFree=1559860/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=297700 CPUtime=282.2 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 74020 0 0 0 27938 282 0 0 25 0 1 0 87152856 304844800 73935 1992294400 134512640 135752675 4293855408 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 74425 73935 146 303 0 74120 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 297700 [startup+342.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29645 /proc/meminfo: memFree=1512244/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=344380 CPUtime=342.19 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 85703 0 0 0 33888 331 0 0 25 0 1 0 87152856 352645120 85618 1992294400 134512640 135752675 4293855408 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 86095 85618 146 303 0 85790 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 344380 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29647 /proc/meminfo: memFree=1469836/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=387480 CPUtime=402.18 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 96477 0 0 0 39843 375 0 0 25 0 1 0 87152856 396779520 96392 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 96870 96392 146 303 0 96565 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 387480 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29647 /proc/meminfo: memFree=1425320/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=431072 CPUtime=462.15 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 107377 0 0 0 45793 422 0 0 25 0 1 0 87152856 441417728 107292 1992294400 134512640 135752675 4293855408 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 107768 107292 146 303 0 107463 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 431072 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29649 /proc/meminfo: memFree=1377208/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=479996 CPUtime=522.14 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 119591 0 0 0 51745 469 0 0 25 0 1 0 87152856 491515904 119506 1992294400 134512640 135752675 4293855408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 119999 119506 146 303 0 119694 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 479996 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29651 /proc/meminfo: memFree=1328476/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=527912 CPUtime=582.12 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 131562 0 0 0 57699 513 0 0 25 0 1 0 87152856 540581888 131477 1992294400 134512640 135752675 4293855408 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 131978 131477 146 303 0 131673 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 527912 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29653 /proc/meminfo: memFree=1281728/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=574224 CPUtime=642.11 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 143138 0 0 0 63651 560 0 0 25 0 1 0 87152856 588005376 143053 1992294400 134512640 135752675 4293855408 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 143556 143053 146 303 0 143251 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 574224 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 29659 /proc/meminfo: memFree=1093372/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=762264 CPUtime=882.03 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 190121 0 0 0 87468 735 0 0 25 0 1 0 87152856 780558336 190036 1992294400 134512640 135752675 4293855408 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 190566 190036 146 303 0 190261 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 762264 [startup+942.301 s] /proc/loadavg: 1.06 1.02 0.95 2/107 29661 /proc/meminfo: memFree=1050096/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=806516 CPUtime=942.01 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 201201 0 0 0 93424 777 0 0 25 0 1 0 87152856 825872384 201116 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 201629 201116 146 303 0 201324 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 806516 [startup+1002.3 s] /proc/loadavg: 1.08 1.03 0.95 2/107 29663 /proc/meminfo: memFree=1004340/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=851288 CPUtime=1001.99 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 212375 0 0 0 99381 818 0 0 25 0 1 0 87152856 871718912 212290 1992294400 134512640 135752675 4293855408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 212822 212290 146 303 0 212517 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 851288 [startup+1062.3 s] /proc/loadavg: 1.08 1.03 0.96 2/107 29663 /proc/meminfo: memFree=962552/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=893424 CPUtime=1061.98 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 222924 0 0 0 105336 862 0 0 25 0 1 0 87152856 914866176 222839 1992294400 134512640 135752675 4293855408 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 223356 222839 146 303 0 223051 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 893424 [startup+1122.3 s] /proc/loadavg: 1.03 1.03 0.96 2/107 29665 /proc/meminfo: memFree=917664/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=937708 CPUtime=1121.96 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 233968 0 0 0 111293 903 0 0 25 0 1 0 87152856 960212992 233883 1992294400 134512640 135752675 4293855408 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 234427 233883 146 303 0 234122 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 937708 [startup+1182.3 s] /proc/loadavg: 1.01 1.02 0.96 2/107 29667 /proc/meminfo: memFree=874016/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=981732 CPUtime=1181.94 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 244957 0 0 0 117249 945 0 0 25 0 1 0 87152856 1005293568 244872 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 245433 244872 146 303 0 245128 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 981732 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 0.96 2/107 29669 /proc/meminfo: memFree=827640/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1027600 CPUtime=1241.92 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 256397 0 0 0 123199 993 0 0 25 0 1 0 87152856 1052262400 256312 1992294400 134512640 135752675 4293855408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 256900 256312 146 303 0 256595 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1027600 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 0.96 2/107 29671 /proc/meminfo: memFree=784240/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1070616 CPUtime=1301.91 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 267161 0 0 0 129154 1037 0 0 25 0 1 0 87152856 1096310784 267076 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 267654 267076 146 303 0 267349 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1070616 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29671 /proc/meminfo: memFree=745800/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1109240 CPUtime=1361.89 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 276806 0 0 0 135110 1079 0 0 25 0 1 0 87152856 1135861760 276721 1992294400 134512640 135752675 4293855408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 277310 276721 146 303 0 277005 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1109240 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29673 /proc/meminfo: memFree=704508/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1150444 CPUtime=1421.88 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 287091 0 0 0 141072 1116 0 0 25 0 1 0 87152856 1178054656 287006 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 287611 287006 146 303 0 287306 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1150444 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29684 /proc/meminfo: memFree=664084/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1190360 CPUtime=1481.84 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 297089 0 0 0 147026 1158 0 0 25 0 1 0 87152856 1218928640 297004 1992294400 134512640 135752675 4293855408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 297590 297004 146 303 0 297285 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1190360 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29686 /proc/meminfo: memFree=627256/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1227232 CPUtime=1541.83 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 306280 0 0 0 152988 1195 0 0 25 0 1 0 87152856 1256685568 306195 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 306808 306195 146 303 0 306503 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1227232 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29688 /proc/meminfo: memFree=586708/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1268208 CPUtime=1601.8 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 316525 0 0 0 158943 1237 0 0 25 0 1 0 87152856 1298644992 316440 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 317052 316440 146 303 0 316747 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1268208 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29688 /proc/meminfo: memFree=546408/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1308104 CPUtime=1661.79 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 326496 0 0 0 164901 1278 0 0 25 0 1 0 87152856 1339498496 326411 1992294400 134512640 135752675 4293855408 18446744073709551615 134611698 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 327026 326411 146 303 0 326721 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1308104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29690 /proc/meminfo: memFree=505984/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1349272 CPUtime=1721.77 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 336794 0 0 0 170853 1324 0 0 25 0 1 0 87152856 1381654528 336709 1992294400 134512640 135752675 4293855408 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 337318 336709 146 303 0 337013 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1349272 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29692 /proc/meminfo: memFree=464568/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1389620 CPUtime=1781.75 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 346897 0 0 0 176810 1365 0 0 25 0 1 0 87152856 1422970880 346812 1992294400 134512640 135752675 4293855408 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 347405 346812 146 303 0 347100 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1389620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.96 2/107 29692 /proc/meminfo: memFree=452540/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=1401416 CPUtime=1800.06 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4202496 349846 0 0 0 178629 1377 0 0 25 0 1 0 87152856 1435049984 349761 1992294400 134512640 135752675 4293855408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29634/statm: 350354 349761 146 303 0 350049 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1401416 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 0.96 2/107 29692 /proc/meminfo: memFree=452540/2059040 swapFree=4140284/4192956 [pid=29634] ppid=29632 vsize=0 CPUtime=1800.16 /proc/29634/stat : 29634 (wbo1.4b) R 29632 29634 29262 0 -1 4203524 349846 0 0 0 178629 1387 0 0 25 0 1 0 87152856 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29634/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.75 CPU time (s): 1800.21 CPU user time (s): 1786.3 CPU system time (s): 13.9069 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 1401416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.3 system time used= 13.9069 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 349846 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 19673 runsolver used 3.01454 second user time and 8.47771 second system time The end
Begin job on node039 at 2010-06-25 11:36:41 IDJOB=2680710 IDBENCH=2932 IDSOLVER=1190 FILE ID=node039/2680710-1277458601 PBS_JOBID= 11188127 Free space on /tmp= 62344 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680710-1277458601/watcher-2680710-1277458601 -o /tmp/evaluation-result-2680710-1277458601/solver-2680710-1277458601 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680710-1277458601.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED=1283673919 node039.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.267 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.53 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.267 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: 1856136 kB Buffers: 27988 kB Cached: 79372 kB SwapCached: 5888 kB Active: 23608 kB Inactive: 97300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1856136 kB SwapTotal: 4192956 kB SwapFree: 4140284 kB Dirty: 2612 kB Writeback: 0 kB AnonPages: 11756 kB Mapped: 12292 kB Slab: 60004 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182072 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= 62340 MiB End job on node039 at 2010-06-25 12:06:44