Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.17 | 1800.64 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656067-1276618366.opb. 0.00/0.00 c Instance file HOME/instance-2656067-1276618366.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.003999 s Remaining CPU time: 179.996 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.007998 s Remaining CPU time: 179.992 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.007998 s Remaining CPU time: 179.992 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.009998 s Remaining CPU time: 179.99 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.016997 s Remaining CPU time: 179.983 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.028995 s Remaining CPU time: 179.971 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.038994 s Remaining CPU time: 179.961 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.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 368 0.00/0.04 o 368 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 450 | 172 23 2068 | 5000 450 61 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 360 0.00/0.04 o 360 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.00/0.04 c =============================================================================== 0.00/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.082987 s Remaining CPU time: 179.917 s 0.04/0.08 c =============================================================================== 0.04/0.08 c | 834 | 172 25 2292 | 5000 834 62 | 0.003 % | 0.04/0.08 c =============================================================================== 0.04/0.08 c New solution: 341 0.04/0.08 o 341 0.04/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s 0.04/0.08 c =============================================================================== 0.04/0.08 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.090986 s Remaining CPU time: 179.909 s 0.04/0.09 c =============================================================================== 0.04/0.09 c | 888 | 172 27 2516 | 5000 888 62 | 0.003 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c New solution: 334 0.04/0.09 o 334 0.04/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.04/0.09 c =============================================================================== 0.04/0.09 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.099984 s Remaining CPU time: 179.9 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.101984 s Remaining CPU time: 179.898 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.120981 s Remaining CPU time: 179.879 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.136979 s Remaining CPU time: 179.863 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.138978 s Remaining CPU time: 179.861 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.16 c =============================================================================== 0.09/0.16 c New solution: 216 0.09/0.16 o 216 0.09/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s 0.09/0.16 c =============================================================================== 0.09/0.16 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.220966 s Remaining CPU time: 179.779 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1852 | 172 35 3412 | 5000 1852 60 | 0.003 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 162 0.19/0.22 o 162 0.19/0.22 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s 0.19/0.22 c =============================================================================== 0.19/0.22 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.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 153 0.49/0.54 o 153 0.49/0.54 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 3845 | 172 37 3636 | 5000 3845 58 | 0.003 % | 0.49/0.56 c | 3945 | 172 37 3636 | 5500 3945 58 | 0.003 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: 152 0.49/0.57 o 152 0.49/0.57 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 4019 | 172 38 3748 | 5000 4019 58 | 0.003 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 145 0.49/0.58 o 145 0.49/0.58 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 4052 | 172 39 3860 | 5000 4052 58 | 0.003 % | 0.49/0.59 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.608907 s Remaining CPU time: 179.391 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 4276 | 172 40 3972 | 5000 4276 57 | 0.003 % | 0.59/0.63 c | 4376 | 172 40 3972 | 5500 4376 57 | 0.003 % | 0.59/0.65 c | 4527 | 172 40 3972 | 6050 4527 57 | 0.003 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 132 0.59/0.66 o 132 0.59/0.66 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 4567 | 172 41 4084 | 5000 4567 57 | 0.003 % | 0.59/0.68 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.79/0.90 c | 5886 | 172 41 4084 | 8052 5886 56 | 0.003 % | 1.00/1.03 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.41 c =============================================================================== 1.39/1.41 c New solution: 122 1.39/1.41 o 122 1.39/1.41 c Elapsed CPU time: 1.39179 s Remaining CPU time: 178.608 s 1.39/1.41 c =============================================================================== 1.39/1.41 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.47 c | 8992 | 158 42 4196 | 6050 4129 52 | 8.143 % | 1.49/1.51 c | 9217 | 158 42 4196 | 6655 4354 52 | 8.143 % | 1.49/1.57 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.55676 s Remaining CPU time: 178.443 s 1.49/1.58 c =============================================================================== 1.49/1.58 c | 9566 | 158 43 4308 | 5000 4703 52 | 8.143 % | 1.49/1.59 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.64 c =============================================================================== 1.59/1.64 c New solution: 101 1.59/1.64 o 101 1.59/1.64 c Elapsed CPU time: 1.61875 s Remaining CPU time: 178.381 s 1.59/1.64 c =============================================================================== 1.59/1.64 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.59/1.69 c | 10200 | 158 44 4420 | 6050 2794 53 | 8.143 % | 1.69/1.70 c =============================================================================== 1.69/1.70 c New solution: 85 1.69/1.70 o 85 1.69/1.70 c Elapsed CPU time: 1.67974 s Remaining CPU time: 178.32 s 1.69/1.70 c =============================================================================== 1.69/1.70 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.68174 s Remaining CPU time: 178.318 s 1.69/1.71 c =============================================================================== 1.69/1.71 c | 10276 | 158 46 4644 | 5000 2870 53 | 8.143 % | 1.69/1.72 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.78 c | 10753 | 158 46 4644 | 6655 3347 53 | 8.143 % | 1.80/1.84 c | 11090 | 158 46 4644 | 7320 3684 53 | 8.143 % | 1.80/1.88 c =============================================================================== 1.80/1.88 c New solution: 61 1.80/1.88 o 61 1.80/1.88 c Elapsed CPU time: 1.85372 s Remaining CPU time: 178.146 s 1.80/1.88 c =============================================================================== 1.80/1.88 c | 11317 | 158 47 4756 | 5000 3911 53 | 8.143 % | 1.89/1.90 c | 11417 | 144 47 4756 | 5500 4011 53 | 16.282 % | 1.89/1.93 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.03 c | 12129 | 144 47 4756 | 7320 4723 54 | 16.282 % | 2.10/2.12 c | 12635 | 144 47 4756 | 8052 5229 54 | 16.282 % | 2.20/2.24 c | 13394 | 144 47 4756 | 8857 5988 55 | 16.282 % | 2.39/2.45 c | 14533 | 144 47 4756 | 9743 7127 55 | 16.282 % | 2.69/2.78 c | 16243 | 144 47 4756 | 10717 8837 56 | 16.282 % | 3.29/3.34 c | 18805 | 144 47 4756 | 11789 6001 57 | 16.282 % | 4.09/4.15 c | 22650 | 144 47 4756 | 12968 9846 58 | 16.282 % | 5.40/5.47 c | 28416 | 144 47 4756 | 14265 9095 58 | 16.282 % | 7.39/7.44 c | 37065 | 144 47 4756 | 15692 10574 58 | 16.282 % | 8.18/8.21 c =============================================================================== 8.18/8.21 c New solution: 60 8.18/8.21 o 60 8.18/8.21 c Elapsed CPU time: 8.11677 s Remaining CPU time: 171.883 s 8.18/8.21 c =============================================================================== 8.18/8.21 c | 40142 | 144 48 4868 | 5000 13651 57 | 16.282 % | 8.28/8.31 c | 40242 | 144 48 4868 | 5500 3513 57 | 16.282 % | 8.28/8.34 c | 40393 | 144 48 4868 | 6050 3664 57 | 16.282 % | 8.28/8.38 c | 40618 | 144 48 4868 | 6655 3889 57 | 16.282 % | 8.39/8.44 c | 40955 | 144 48 4868 | 7320 4226 57 | 16.282 % | 8.49/8.54 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.91 c | 43360 | 144 48 4868 | 9743 6631 58 | 16.282 % | 9.18/9.26 c | 45069 | 144 48 4868 | 10717 8340 58 | 16.282 % | 9.80/9.90 c | 47631 | 144 48 4868 | 11789 5506 60 | 16.282 % | 10.69/10.70 c | 51475 | 144 48 4868 | 12968 9350 60 | 16.282 % | 11.49/11.51 c =============================================================================== 11.49/11.51 c New solution: 59 11.49/11.51 o 59 11.49/11.51 c Elapsed CPU time: 11.3833 s Remaining CPU time: 168.617 s 11.49/11.51 c =============================================================================== 11.49/11.51 c | 54676 | 144 49 4980 | 5000 12551 61 | 16.282 % | 11.49/11.58 c =============================================================================== 11.49/11.58 c New solution: 57 11.49/11.58 o 57 11.49/11.58 c Elapsed CPU time: 11.4483 s Remaining CPU time: 168.552 s 11.49/11.58 c =============================================================================== 11.49/11.58 c | 54774 | 144 50 5092 | 5000 3236 62 | 16.282 % | 11.49/11.58 c =============================================================================== 11.49/11.58 c New solution: 55 11.49/11.58 o 55 11.49/11.58 c Elapsed CPU time: 11.4523 s Remaining CPU time: 168.548 s 11.49/11.58 c =============================================================================== 11.49/11.58 c | 54785 | 144 51 5204 | 5000 3247 62 | 16.282 % | 11.59/11.60 c | 54885 | 144 51 5204 | 5500 3347 63 | 16.282 % | 11.59/11.63 c | 55035 | 144 51 5204 | 6050 3497 63 | 16.282 % | 11.59/11.67 c | 55260 | 144 51 5204 | 6655 3722 62 | 16.282 % | 11.69/11.72 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.95 c | 56862 | 144 51 5204 | 8857 5324 60 | 16.282 % | 12.09/12.15 c | 58001 | 144 51 5204 | 9743 6463 59 | 16.282 % | 12.39/12.50 c | 59709 | 144 51 5204 | 10717 8171 59 | 16.282 % | 12.99/13.02 c | 62271 | 144 51 5204 | 11789 10733 58 | 16.282 % | 13.79/13.85 c | 66115 | 144 51 5204 | 12968 8647 56 | 16.282 % | 15.18/15.26 c | 71881 | 144 51 5204 | 14265 7891 53 | 16.282 % | 17.08/17.11 c | 80530 | 144 51 5204 | 15692 9372 52 | 16.282 % | 19.89/19.90 c | 93504 | 144 51 5204 | 17261 14465 53 | 16.282 % | 24.49/24.60 c | 112966 | 144 51 5204 | 18987 16588 53 | 16.282 % | 32.08/32.10 c | 142158 | 144 51 5204 | 20886 17197 54 | 16.282 % | 44.28/44.35 c | 185947 | 144 51 5204 | 22974 19075 55 | 16.282 % | 59.67/59.72 c =============================================================================== 59.67/59.72 c New solution: 53 59.67/59.72 o 53 59.67/59.72 c Elapsed CPU time: 59.085 s Remaining CPU time: 120.915 s 59.67/59.72 c =============================================================================== 59.67/59.72 c | 237543 | 144 52 5316 | 5000 21472 56 | 16.282 % | 59.78/59.88 c | 237643 | 144 52 5316 | 5500 2768 56 | 16.282 % | 59.88/59.90 c | 237793 | 144 52 5316 | 6050 2918 56 | 16.282 % | 59.88/59.94 c | 238018 | 144 52 5316 | 6655 3143 56 | 16.282 % | 59.98/60.00 c | 238355 | 144 52 5316 | 7320 3480 56 | 16.282 % | 59.98/60.08 c | 238861 | 144 52 5316 | 8052 3986 56 | 16.282 % | 60.18/60.20 c | 239621 | 144 52 5316 | 8857 4746 56 | 16.282 % | 60.38/60.40 c | 240760 | 144 52 5316 | 9743 5885 56 | 16.282 % | 60.68/60.70 c | 242468 | 144 52 5316 | 10717 7593 56 | 16.282 % | 61.07/61.19 c | 245030 | 144 52 5316 | 11789 10155 56 | 16.282 % | 61.98/62.00 c | 248874 | 144 52 5316 | 12968 8062 56 | 16.282 % | 63.47/63.51 c | 254642 | 144 52 5316 | 14265 7306 57 | 16.282 % | 64.17/64.27 c =============================================================================== 64.17/64.27 c New solution: 49 64.17/64.27 o 49 64.17/64.27 c Elapsed CPU time: 63.5793 s Remaining CPU time: 116.421 s 64.17/64.27 c =============================================================================== 64.17/64.27 c | 257925 | 144 53 5428 | 5000 10589 57 | 16.282 % | 64.27/64.34 c | 258025 | 144 53 5428 | 5500 2748 56 | 16.282 % | 64.27/64.37 c | 258175 | 144 53 5428 | 6050 2898 56 | 16.282 % | 64.37/64.41 c | 258400 | 144 53 5428 | 6655 3123 56 | 16.282 % | 64.37/64.47 c | 258737 | 144 53 5428 | 7320 3460 56 | 16.282 % | 64.47/64.57 c | 259243 | 144 53 5428 | 8052 3966 56 | 16.282 % | 64.68/64.72 c | 260002 | 144 53 5428 | 8857 4725 56 | 16.282 % | 64.88/64.92 c | 261141 | 144 53 5428 | 9743 5864 56 | 16.282 % | 65.17/65.27 c | 262849 | 144 53 5428 | 10717 7572 56 | 16.282 % | 65.77/65.82 c | 265411 | 144 53 5428 | 11789 10134 56 | 16.282 % | 66.67/66.72 c | 269255 | 144 53 5428 | 12968 8050 55 | 16.282 % | 68.08/68.13 c | 275021 | 144 53 5428 | 14265 7295 56 | 16.282 % | 70.17/70.24 c | 283670 | 144 53 5428 | 15692 8777 54 | 16.282 % | 73.37/73.43 c | 296645 | 144 53 5428 | 17261 13871 54 | 16.282 % | 78.37/78.49 c | 316106 | 144 53 5428 | 18987 15998 56 | 16.282 % | 86.07/86.11 c | 345298 | 144 53 5428 | 20886 16602 55 | 16.282 % | 98.87/98.92 c | 389087 | 144 53 5428 | 22974 18479 53 | 16.282 % | 119.25/119.39 c | 454771 | 144 53 5428 | 25272 12668 55 | 16.282 % | 149.56/149.67 c =============================================================================== 149.56/149.67 c New solution: 47 149.56/149.67 o 47 149.56/149.67 c Elapsed CPU time: 148.145 s Remaining CPU time: 31.8545 s 149.56/149.67 c =============================================================================== 149.56/149.67 c | 545585 | 144 54 5540 | 5000 17225 58 | 16.282 % | 149.66/149.78 c =============================================================================== 149.66/149.78 c New solution: 41 149.66/149.78 o 41 149.66/149.78 c Elapsed CPU time: 148.257 s Remaining CPU time: 31.7425 s 149.66/149.78 c =============================================================================== 149.66/149.78 c | 545609 | 144 55 5652 | 5000 4331 59 | 16.282 % | 149.66/149.79 c =============================================================================== 149.66/149.79 c New solution: 37 149.66/149.79 o 37 149.66/149.79 c Elapsed CPU time: 148.266 s Remaining CPU time: 31.7335 s 149.66/149.79 c =============================================================================== 149.66/149.79 c | 545652 | 144 56 5764 | 5000 4374 59 | 16.282 % | 149.76/149.82 c | 545752 | 144 56 5764 | 5500 4474 59 | 16.282 % | 149.76/149.85 c | 545902 | 144 56 5764 | 6050 4624 59 | 16.282 % | 149.86/149.90 c | 546127 | 144 56 5764 | 6655 4849 59 | 16.282 % | 149.86/149.97 c | 546465 | 144 56 5764 | 7320 5187 58 | 16.282 % | 149.96/150.08 c | 546971 | 144 56 5764 | 8052 5693 58 | 16.282 % | 150.15/150.24 c | 547730 | 144 56 5764 | 8857 6452 58 | 16.282 % | 150.35/150.47 c | 548871 | 144 56 5764 | 9743 7593 58 | 16.282 % | 150.75/150.83 c | 550580 | 144 56 5764 | 10717 9302 57 | 16.282 % | 151.25/151.39 c | 553142 | 144 56 5764 | 11789 6467 55 | 16.282 % | 152.05/152.16 c | 556987 | 144 56 5764 | 12968 10312 55 | 16.282 % | 153.35/153.48 c | 562753 | 144 56 5764 | 14265 9562 56 | 16.282 % | 155.45/155.50 c | 571402 | 144 56 5764 | 15692 11038 56 | 16.282 % | 159.05/159.11 c | 584376 | 144 56 5764 | 17261 8246 54 | 16.282 % | 164.55/164.63 c | 603838 | 144 56 5764 | 18987 10376 54 | 16.282 % | 172.94/173.06 c | 633030 | 144 56 5764 | 20886 10985 54 | 16.282 % | 181.84/181.92 c There are 28 assigned variables. 28 in cost function. 182.45/182.50 c ============================[ Search Statistics ]============================== 182.45/182.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.50 c =============================================================================== 182.45/182.50 c | 0 | 60 167 1004 | 5000 0 nan | 0.000 % | 182.45/182.51 c | 100 | 60 167 1004 | 5500 100 60 | 65.120 % | 182.45/182.55 c | 250 | 60 167 1004 | 6050 250 61 | 65.120 % | 182.45/182.59 c | 476 | 60 167 1004 | 6655 476 60 | 65.120 % | 182.55/182.65 c | 813 | 60 167 1004 | 7320 813 60 | 65.120 % | 182.65/182.74 c | 1319 | 60 167 1004 | 8052 1319 61 | 65.120 % | 182.74/182.86 c | 2078 | 60 167 1004 | 8857 2078 63 | 65.120 % | 182.94/183.03 c | 3217 | 60 167 1004 | 9743 3217 64 | 65.120 % | 183.24/183.33 c | 4925 | 60 167 1004 | 10717 4925 64 | 65.120 % | 183.75/183.84 c | 7488 | 60 167 1004 | 11789 7488 65 | 65.120 % | 184.75/184.82 c | 11332 | 60 167 1004 | 12968 11332 67 | 65.120 % | 186.24/186.34 c | 17098 | 60 167 1004 | 14265 10532 70 | 65.120 % | 188.44/188.54 c | 25747 | 60 167 1004 | 15692 11967 69 | 65.120 % | 191.74/191.87 c | 38723 | 60 167 1004 | 17261 9094 71 | 65.120 % | 197.14/197.25 c | 58184 | 60 167 1004 | 18987 11137 70 | 65.120 % | 206.03/206.17 c | 87376 | 60 167 1004 | 20886 11625 71 | 65.120 % | 219.83/219.99 c | 131165 | 60 167 1004 | 22974 13331 71 | 65.120 % | 237.82/237.92 c | 196849 | 60 167 1004 | 25272 17103 62 | 65.120 % | 269.72/269.84 c | 295376 | 60 167 1004 | 27799 13541 69 | 65.120 % | 323.00/323.14 c | 443165 | 60 167 1004 | 30579 25175 72 | 65.120 % | 418.89/419.06 c | 664848 | 60 167 1004 | 33637 30114 70 | 65.120 % | 557.55/557.76 c | 997373 | 60 167 1004 | 37001 22681 73 | 65.120 % | 779.29/779.54 c | 1496161 | 60 167 1004 | 40701 28735 68 | 65.120 % | 1127.39/1127.70 c | 2244344 | 60 167 1004 | 44771 38477 70 | 65.120 % | 1696.04/1696.53 c | 3366619 | 60 167 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-2656067-1276618366/watcher-2656067-1276618366 -o /tmp/evaluation-result-2656067-1276618366/solver-2656067-1276618366 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656067-1276618366.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 3344 /proc/meminfo: memFree=1642404/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=2568 CPUtime=0 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 285 0 0 0 0 0 0 0 18 0 1 0 37438326 2629632 200 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 642 200 146 303 0 337 0 [startup+0.0483151 s] /proc/loadavg: 0.92 0.98 0.99 3/106 3344 /proc/meminfo: memFree=1642404/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=2696 CPUtime=0.04 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 329 0 0 0 4 0 0 0 20 0 1 0 37438326 2760704 244 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 674 244 147 303 0 369 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2696 [startup+0.101321 s] /proc/loadavg: 0.92 0.98 0.99 3/106 3344 /proc/meminfo: memFree=1642404/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=2952 CPUtime=0.09 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 377 0 0 0 9 0 0 0 20 0 1 0 37438326 3022848 292 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 738 292 147 303 0 433 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2952 [startup+0.301343 s] /proc/loadavg: 0.92 0.98 0.99 3/106 3344 /proc/meminfo: memFree=1642404/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=3476 CPUtime=0.29 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 514 0 0 0 29 0 0 0 20 0 1 0 37438326 3559424 429 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 869 429 147 303 0 564 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3476 [startup+0.701387 s] /proc/loadavg: 0.92 0.98 0.99 3/106 3344 /proc/meminfo: memFree=1642404/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=4260 CPUtime=0.69 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 726 0 0 0 68 1 0 0 20 0 1 0 37438326 4362240 641 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 1065 641 147 303 0 760 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4260 [startup+1.50148 s] /proc/loadavg: 0.92 0.98 0.99 2/107 3345 /proc/meminfo: memFree=1639792/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=5692 CPUtime=1.49 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 1088 0 0 0 147 2 0 0 23 0 1 0 37438326 5828608 1003 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 1423 1003 148 303 0 1118 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5692 [startup+3.10165 s] /proc/loadavg: 0.92 0.98 0.99 2/107 3345 /proc/meminfo: memFree=1637684/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=8552 CPUtime=3.09 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 1791 0 0 0 304 5 0 0 25 0 1 0 37438326 8757248 1706 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 2138 1706 148 303 0 1833 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8552 [startup+6.30101 s] /proc/loadavg: 0.93 0.98 0.99 2/107 3345 /proc/meminfo: memFree=1632352/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=13296 CPUtime=6.29 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 2966 0 0 0 621 8 0 0 25 0 1 0 37438326 13615104 2881 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 3324 2881 148 303 0 3019 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13296 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/107 3345 /proc/meminfo: memFree=1622680/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=22576 CPUtime=12.69 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 5308 0 0 0 1255 14 0 0 25 0 1 0 37438326 23117824 5223 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 5644 5223 148 303 0 5339 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22576 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/107 3345 /proc/meminfo: memFree=1605444/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=38980 CPUtime=25.48 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 9407 0 0 0 2520 28 0 0 25 0 1 0 37438326 39915520 9322 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 9745 9322 148 303 0 9440 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38980 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/107 3347 /proc/meminfo: memFree=1577296/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=67440 CPUtime=51.08 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 16493 0 0 0 5053 55 0 0 25 0 1 0 37438326 69058560 16408 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 16860 16408 148 303 0 16555 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 67440 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 3350 /proc/meminfo: memFree=1518520/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=125060 CPUtime=102.27 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 30913 0 0 0 10120 107 0 0 25 0 1 0 37438326 128061440 30828 1992294400 134512640 135751879 4292403984 18446744073709551615 134611210 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 31265 30828 148 303 0 30960 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 125060 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3352 /proc/meminfo: memFree=1457760/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=186704 CPUtime=162.25 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 46297 0 0 0 16060 165 0 0 25 0 1 0 37438326 191184896 46212 1992294400 134512640 135751879 4292403984 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 46676 46212 148 303 0 46371 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 186704 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3354 /proc/meminfo: memFree=1405060/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=238456 CPUtime=222.23 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 59269 0 0 0 21998 225 0 0 25 0 1 0 37438326 244178944 59184 1992294400 134512640 135751879 4292403984 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 59614 59184 150 303 0 59309 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 238456 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3356 /proc/meminfo: memFree=1350748/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=293636 CPUtime=282.22 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 73021 0 0 0 27937 285 0 0 25 0 1 0 37438326 300683264 72936 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 73409 72936 150 303 0 73104 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 293636 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3356 /proc/meminfo: memFree=1302884/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=340580 CPUtime=342.21 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 84742 0 0 0 33887 334 0 0 25 0 1 0 37438326 348753920 84657 1992294400 134512640 135751879 4292403984 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 85145 84657 150 303 0 84840 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 340580 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3358 /proc/meminfo: memFree=1260724/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=383020 CPUtime=402.18 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 95358 0 0 0 39842 376 0 0 25 0 1 0 37438326 392212480 95273 1992294400 134512640 135751879 4292403984 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 95755 95273 150 303 0 95450 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 383020 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3360 /proc/meminfo: memFree=1217324/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=426212 CPUtime=462.17 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 106148 0 0 0 45796 421 0 0 25 0 1 0 37438326 436441088 106063 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 106553 106063 150 303 0 106248 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 426212 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3362 /proc/meminfo: memFree=1167972/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=475732 CPUtime=522.16 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 118549 0 0 0 51748 468 0 0 25 0 1 0 37438326 487149568 118464 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 118933 118464 150 303 0 118628 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 475732 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3364 /proc/meminfo: memFree=1119240/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=523996 CPUtime=582.14 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 130597 0 0 0 57702 512 0 0 25 0 1 0 37438326 536571904 130512 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 130999 130512 150 303 0 130694 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 523996 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3364 /proc/meminfo: memFree=1072740/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=570132 CPUtime=642.13 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 142129 0 0 0 63658 555 0 0 25 0 1 0 37438326 583815168 142044 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 142533 142044 150 303 0 142228 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 570132 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3372 /proc/meminfo: memFree=884880/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=757620 CPUtime=882.05 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 188977 0 0 0 87470 735 0 0 25 0 1 0 37438326 775802880 188892 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 189405 188892 150 303 0 189100 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 757620 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3372 /proc/meminfo: memFree=841232/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=801524 CPUtime=942.04 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 199961 0 0 0 93422 782 0 0 25 0 1 0 37438326 820760576 199876 1992294400 134512640 135751879 4292403984 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 200381 199876 150 303 0 200076 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 801524 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3374 /proc/meminfo: memFree=797956/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=844364 CPUtime=1002.03 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 210643 0 0 0 99380 823 0 0 25 0 1 0 37438326 864628736 210558 1992294400 134512640 135751879 4292403984 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 211091 210558 150 303 0 210786 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 844364 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3376 /proc/meminfo: memFree=756416/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=886072 CPUtime=1062.01 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 221083 0 0 0 105337 864 0 0 25 0 1 0 37438326 907337728 220998 1992294400 134512640 135751879 4292403984 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 221518 220998 150 303 0 221213 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 886072 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3378 /proc/meminfo: memFree=710040/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=932452 CPUtime=1122 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 232657 0 0 0 111294 906 0 0 25 0 1 0 37438326 954830848 232572 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 233113 232572 150 303 0 232808 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 932452 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3380 /proc/meminfo: memFree=668376/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=974792 CPUtime=1181.98 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 243227 0 0 0 117252 946 0 0 25 0 1 0 37438326 998187008 243142 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 243698 243142 150 303 0 243393 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 974792 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3380 /proc/meminfo: memFree=622992/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1019500 CPUtime=1241.96 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 254399 0 0 0 123208 988 0 0 25 0 1 0 37438326 1043968000 254314 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 254875 254314 150 303 0 254570 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1019500 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3382 /proc/meminfo: memFree=580336/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1061468 CPUtime=1301.96 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 264868 0 0 0 129165 1031 0 0 25 0 1 0 37438326 1086943232 264783 1992294400 134512640 135751879 4292403984 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 265367 264783 150 303 0 265062 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1061468 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3384 /proc/meminfo: memFree=538796/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1103340 CPUtime=1361.93 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 275334 0 0 0 135120 1073 0 0 25 0 1 0 37438326 1129820160 275249 1992294400 134512640 135751879 4292403984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 275835 275249 150 303 0 275530 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1103340 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3386 /proc/meminfo: memFree=500604/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1141296 CPUtime=1421.92 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 284813 0 0 0 141081 1111 0 0 25 0 1 0 37438326 1168687104 284728 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 285324 284728 150 303 0 285019 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1141296 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3388 /proc/meminfo: memFree=459436/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1182840 CPUtime=1481.9 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 295203 0 0 0 147037 1153 0 0 25 0 1 0 37438326 1211228160 295118 1992294400 134512640 135751879 4292403984 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 295710 295118 150 303 0 295405 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1182840 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3388 /proc/meminfo: memFree=420872/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1220812 CPUtime=1541.89 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 304690 0 0 0 152999 1190 0 0 25 0 1 0 37438326 1250111488 304605 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 305203 304605 150 303 0 304898 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1220812 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3390 /proc/meminfo: memFree=384416/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1257664 CPUtime=1601.87 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 313885 0 0 0 158962 1225 0 0 25 0 1 0 37438326 1287847936 313800 1992294400 134512640 135751879 4292403984 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 314416 313800 150 303 0 314111 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1257664 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3392 /proc/meminfo: memFree=342752/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1299088 CPUtime=1661.85 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 324239 0 0 0 164916 1269 0 0 25 0 1 0 37438326 1330266112 324154 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 324772 324154 150 303 0 324467 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1299088 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3394 /proc/meminfo: memFree=302824/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1339068 CPUtime=1721.83 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 334260 0 0 0 170878 1305 0 0 25 0 1 0 37438326 1371205632 334175 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 334767 334175 150 303 0 334462 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1339068 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3396 /proc/meminfo: memFree=263020/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1378272 CPUtime=1781.82 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 344052 0 0 0 176835 1347 0 0 25 0 1 0 37438326 1411350528 343967 1992294400 134512640 135751879 4292403984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 344568 343967 150 303 0 344263 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1378272 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 3396 /proc/meminfo: memFree=251240/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=1389952 CPUtime=1800.03 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4202496 346952 0 0 0 178643 1360 0 0 25 0 1 0 37438326 1423310848 346867 1992294400 134512640 135751879 4292403984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3344/statm: 347488 346867 150 303 0 347183 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1389952 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: 0.99 0.98 0.99 2/108 3397 /proc/meminfo: memFree=1306720/2059040 swapFree=4140260/4192956 [pid=3344] ppid=3342 vsize=0 CPUtime=1800.13 /proc/3344/stat : 3344 (wbo1.4b) R 3342 3344 2877 0 -1 4203524 346952 0 0 0 178643 1370 0 0 25 0 1 0 37438326 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/3344/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.17 CPU user time (s): 1786.43 CPU system time (s): 13.7309 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1389952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.43 system time used= 13.7309 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 346952 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 1740 runsolver used 3.19751 second user time and 8.29674 second system time The end
Begin job on node009 at 2010-06-15 18:12:46 IDJOB=2656067 IDBENCH=2932 IDSOLVER=1161 FILE ID=node009/2656067-1276618366 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_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-2656067-1276618366/watcher-2656067-1276618366 -o /tmp/evaluation-result-2656067-1276618366/solver-2656067-1276618366 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656067-1276618366.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED=800561306 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: 1642932 kB Buffers: 122104 kB Cached: 211492 kB SwapCached: 6532 kB Active: 115800 kB Inactive: 231416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1642932 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 2624 kB Writeback: 0 kB AnonPages: 11708 kB Mapped: 13084 kB Slab: 47084 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182208 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:42:48