Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.16 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
MD5SUM | b690996610ff381ef60353517fe5a0e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 1800.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 64 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1293 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4389 |
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-2656052-1276602049.opb. 0.00/0.00 c Instance file HOME/instance-2656052-1276602049.opb 0.00/0.00 c File size is 7732 bytes. 0.00/0.00 c Highest Coefficient sum: 4389 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 146 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 12 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 146 12 784 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 832 0.00/0.00 o 832 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 146 13 880 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 817 0.00/0.00 o 817 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 | 86 | 146 14 976 | 5000 86 52 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 742 0.00/0.01 o 742 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 178 | 146 15 1072 | 5000 178 54 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 701 0.00/0.01 o 701 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 178 | 146 16 1168 | 5000 178 54 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 338 0.00/0.01 o 338 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 178 | 146 17 1264 | 5000 178 54 | 0.000 % | 0.01/0.01 c =============================================================================== 0.01/0.01 c New solution: 254 0.01/0.01 o 254 0.01/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.01/0.01 c =============================================================================== 0.01/0.01 c | 193 | 146 18 1360 | 5000 193 54 | 0.000 % | 0.01/0.02 c | 293 | 146 18 1360 | 5500 293 51 | 0.005 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 251 0.01/0.03 o 251 0.01/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 422 | 146 19 1456 | 5000 422 49 | 0.005 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c New solution: 220 0.01/0.04 o 220 0.01/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s 0.01/0.04 c =============================================================================== 0.01/0.04 c | 475 | 146 20 1552 | 5000 475 49 | 0.005 % | 0.01/0.05 c | 577 | 146 20 1552 | 5500 577 48 | 0.005 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 207 0.01/0.05 o 207 0.01/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 603 | 146 21 1648 | 5000 603 48 | 0.005 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 198 0.01/0.05 o 198 0.01/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 635 | 146 22 1744 | 5000 635 47 | 0.005 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 190 0.01/0.05 o 190 0.01/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 648 | 146 23 1840 | 5000 648 47 | 0.005 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 137 0.01/0.06 o 137 0.01/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 711 | 146 24 1936 | 5000 711 47 | 0.005 % | 0.01/0.07 c | 811 | 146 24 1936 | 5500 811 47 | 0.005 % | 0.01/0.08 c | 961 | 146 24 1936 | 6050 961 47 | 0.005 % | 0.09/0.10 c | 1186 | 146 24 1936 | 6655 1186 46 | 0.005 % | 0.09/0.14 c | 1523 | 146 24 1936 | 7320 1523 46 | 0.005 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 135 0.09/0.14 o 135 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 1563 | 146 25 2032 | 5000 1563 46 | 0.005 % | 0.09/0.15 c | 1665 | 146 25 2032 | 5500 1665 46 | 0.005 % | 0.09/0.17 c | 1815 | 146 25 2032 | 6050 1815 46 | 0.005 % | 0.09/0.19 c | 2041 | 146 25 2032 | 6655 2041 46 | 0.005 % | 0.19/0.23 c | 2380 | 146 25 2032 | 7320 2380 46 | 0.005 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 121 0.19/0.27 o 121 0.19/0.27 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 2697 | 146 26 2128 | 5000 2697 46 | 0.005 % | 0.19/0.28 c | 2797 | 134 26 2128 | 5500 2460 46 | 8.224 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 116 0.29/0.30 o 116 0.29/0.30 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 2932 | 134 27 2224 | 5000 2595 46 | 8.224 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 115 0.29/0.31 o 115 0.29/0.31 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 3011 | 134 28 2320 | 5000 2674 46 | 8.224 % | 0.29/0.32 c | 3111 | 134 28 2320 | 5500 2774 46 | 8.224 % | 0.29/0.33 c | 3261 | 134 28 2320 | 6050 2924 46 | 8.224 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 95 0.29/0.35 o 95 0.29/0.35 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 3356 | 134 29 2416 | 5000 3019 46 | 8.224 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 93 0.29/0.35 o 93 0.29/0.35 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 3392 | 134 30 2512 | 5000 3055 46 | 8.224 % | 0.29/0.36 c | 3492 | 134 30 2512 | 5500 3155 46 | 8.224 % | 0.29/0.38 c | 3642 | 134 30 2512 | 6050 3305 46 | 8.224 % | 0.39/0.40 c | 3867 | 134 30 2512 | 6655 3530 46 | 8.224 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 53 0.39/0.42 o 53 0.39/0.42 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 3987 | 134 31 2608 | 5000 3650 46 | 8.224 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 49 0.39/0.43 o 49 0.39/0.43 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 4058 | 122 32 2704 | 5000 3721 46 | 8.224 % | 0.39/0.44 c | 4158 | 122 32 2704 | 5500 3821 46 | 16.443 % | 0.39/0.46 c | 4308 | 122 32 2704 | 6050 3971 46 | 16.443 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 46 0.39/0.47 o 46 0.39/0.47 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 4374 | 122 33 2800 | 5000 4037 46 | 16.443 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 44 0.39/0.47 o 44 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 4378 | 122 34 2896 | 5000 4041 46 | 16.443 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 42 0.39/0.47 o 42 0.39/0.47 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 4385 | 122 35 2992 | 5000 4048 46 | 16.443 % | 0.39/0.49 c | 4486 | 122 35 2992 | 5500 4149 46 | 16.443 % | 0.49/0.50 c | 4636 | 122 35 2992 | 6050 4299 46 | 16.443 % | 0.49/0.53 c | 4862 | 122 35 2992 | 6655 4525 46 | 16.443 % | 0.49/0.57 c | 5199 | 122 35 2992 | 7320 4862 46 | 16.443 % | 0.59/0.63 c | 5705 | 122 35 2992 | 8052 5368 46 | 16.443 % | 0.69/0.73 c | 6464 | 122 35 2992 | 8857 6127 46 | 16.443 % | 0.79/0.89 c | 7604 | 122 35 2992 | 9743 7267 45 | 16.443 % | 1.10/1.15 c | 9312 | 122 35 2992 | 10717 8975 45 | 16.443 % | 1.49/1.55 c | 11875 | 122 35 2992 | 11789 6149 45 | 16.443 % | 1.89/1.96 c =============================================================================== 1.89/1.96 c New solution: 37 1.89/1.96 o 37 1.89/1.96 c Elapsed CPU time: 1.92771 s Remaining CPU time: 178.072 s 1.89/1.96 c =============================================================================== 1.89/1.96 c | 15003 | 122 36 3088 | 5000 9277 44 | 16.443 % | 1.89/1.99 c =============================================================================== 1.89/1.99 c New solution: 35 1.89/1.99 o 35 1.89/1.99 c Elapsed CPU time: 1.9547 s Remaining CPU time: 178.045 s 1.89/1.99 c =============================================================================== 1.89/1.99 c | 15004 | 122 37 3184 | 5000 4640 44 | 16.443 % | 1.99/2.00 c | 15105 | 122 37 3184 | 5500 4741 44 | 16.443 % | 1.99/2.02 c | 15255 | 122 37 3184 | 6050 4891 44 | 16.443 % | 1.99/2.05 c | 15481 | 122 37 3184 | 6655 5117 44 | 16.443 % | 2.10/2.10 c | 15818 | 122 37 3184 | 7320 5454 44 | 16.443 % | 2.10/2.16 c | 16325 | 122 37 3184 | 8052 5961 44 | 16.443 % | 2.20/2.27 c | 17084 | 122 37 3184 | 8857 6720 44 | 16.443 % | 2.39/2.44 c | 18223 | 122 37 3184 | 9743 7859 44 | 16.443 % | 2.69/2.70 c | 19931 | 122 37 3184 | 10717 9567 44 | 16.443 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: 31 2.69/2.79 o 31 2.69/2.79 c Elapsed CPU time: 2.75358 s Remaining CPU time: 177.246 s 2.69/2.79 c =============================================================================== 2.69/2.79 c | 20434 | 122 38 3280 | 5000 10070 44 | 16.443 % | 2.79/2.85 c | 20534 | 117 38 3280 | 5500 2603 45 | 24.662 % | 2.79/2.87 c | 20684 | 110 38 3280 | 6050 2753 45 | 24.662 % | 2.79/2.90 c | 20909 | 110 38 3280 | 6655 2978 46 | 24.662 % | 2.89/2.94 c | 21246 | 110 38 3280 | 7320 3315 46 | 24.662 % | 2.99/3.00 c | 21752 | 110 38 3280 | 8052 3821 47 | 24.662 % | 3.10/3.10 c | 22512 | 110 38 3280 | 8857 4581 48 | 24.662 % | 3.20/3.25 c | 23651 | 110 38 3280 | 9743 5720 49 | 24.662 % | 3.39/3.50 c | 25359 | 110 38 3280 | 10717 7428 50 | 24.662 % | 3.90/3.92 c | 27921 | 110 38 3280 | 11789 9990 51 | 24.662 % | 4.59/4.60 c | 31765 | 110 38 3280 | 12968 7904 54 | 24.662 % | 4.89/4.94 c =============================================================================== 4.89/4.94 c New solution: 30 4.89/4.94 o 30 4.89/4.94 c Elapsed CPU time: 4.87226 s Remaining CPU time: 175.128 s 4.89/4.94 c =============================================================================== 4.89/4.94 c | 33831 | 110 39 3376 | 5000 9970 54 | 24.662 % | 4.89/4.97 c =============================================================================== 4.89/4.97 c New solution: 28 4.89/4.97 o 28 4.89/4.97 c Elapsed CPU time: 4.90625 s Remaining CPU time: 175.094 s 4.89/4.97 c =============================================================================== 4.89/4.97 c | 33832 | 110 40 3472 | 5000 4986 54 | 24.662 % | 4.89/4.99 c | 33932 | 110 40 3472 | 5500 2549 54 | 24.662 % | 4.99/5.01 c | 34082 | 110 40 3472 | 6050 2699 54 | 24.662 % | 4.99/5.03 c | 34307 | 110 40 3472 | 6655 2924 54 | 24.662 % | 4.99/5.07 c | 34644 | 110 40 3472 | 7320 3261 53 | 24.662 % | 5.09/5.12 c | 35150 | 110 40 3472 | 8052 3767 53 | 24.662 % | 5.19/5.21 c | 35909 | 110 40 3472 | 8857 4526 53 | 24.662 % | 5.29/5.35 c | 37048 | 110 40 3472 | 9743 5665 53 | 24.662 % | 5.50/5.60 c | 38757 | 110 40 3472 | 10717 7374 53 | 24.662 % | 5.99/6.00 c | 41319 | 110 40 3472 | 11789 9936 53 | 24.662 % | 6.60/6.68 c | 45163 | 110 40 3472 | 12968 7853 55 | 24.662 % | 7.19/7.24 c =============================================================================== 7.19/7.24 c New solution: 25 7.19/7.24 o 25 7.19/7.24 c Elapsed CPU time: 7.13291 s Remaining CPU time: 172.867 s 7.19/7.24 c =============================================================================== 7.19/7.24 c | 48304 | 110 41 3568 | 5000 10994 54 | 24.662 % | 7.19/7.29 c | 48404 | 110 41 3568 | 5500 2849 54 | 24.662 % | 7.29/7.31 c | 48555 | 110 41 3568 | 6050 3000 54 | 24.662 % | 7.29/7.34 c | 48780 | 110 41 3568 | 6655 3225 54 | 24.662 % | 7.29/7.38 c | 49117 | 110 41 3568 | 7320 3562 54 | 24.662 % | 7.39/7.44 c | 49624 | 110 41 3568 | 8052 4069 53 | 24.662 % | 7.48/7.54 c | 50383 | 110 41 3568 | 8857 4828 53 | 24.662 % | 7.59/7.69 c | 51523 | 110 41 3568 | 9743 5968 52 | 24.662 % | 7.89/7.95 c | 53231 | 110 41 3568 | 10717 7676 52 | 24.662 % | 8.29/8.38 c | 55793 | 110 41 3568 | 11789 10238 52 | 24.662 % | 8.99/9.08 c | 59638 | 110 41 3568 | 12968 8153 52 | 24.662 % | 10.09/10.18 c | 65405 | 110 41 3568 | 14265 7400 51 | 24.662 % | 11.79/11.89 c | 74055 | 110 41 3568 | 15692 8884 51 | 24.662 % | 14.29/14.39 c | 87029 | 110 41 3568 | 17261 13977 53 | 24.662 % | 18.59/18.61 c | 106491 | 110 41 3568 | 18987 16103 50 | 24.662 % | 20.80/20.88 c =============================================================================== 20.80/20.88 c New solution: 23 20.80/20.88 o 23 20.80/20.88 c Elapsed CPU time: 20.5919 s Remaining CPU time: 159.408 s 20.80/20.88 c =============================================================================== 20.80/20.88 c | 116926 | 110 42 3664 | 5000 17011 51 | 24.662 % | 20.90/20.99 c | 117026 | 110 42 3664 | 5500 4353 51 | 24.662 % | 20.99/21.02 c | 117176 | 110 42 3664 | 6050 4503 51 | 24.662 % | 20.99/21.05 c | 117402 | 110 42 3664 | 6655 4729 51 | 24.662 % | 20.99/21.09 c | 117739 | 110 42 3664 | 7320 5066 51 | 24.662 % | 21.09/21.16 c | 118245 | 110 42 3664 | 8052 5572 50 | 24.662 % | 21.19/21.26 c | 119004 | 110 42 3664 | 8857 6331 50 | 24.662 % | 21.38/21.42 c | 120143 | 110 42 3664 | 9743 7470 50 | 24.662 % | 21.59/21.66 c | 121851 | 110 42 3664 | 10717 9178 50 | 24.662 % | 21.99/22.07 c | 124414 | 110 42 3664 | 11789 6348 50 | 24.662 % | 22.59/22.65 c | 128259 | 110 42 3664 | 12968 10193 50 | 24.662 % | 23.69/23.72 c | 134025 | 110 42 3664 | 14265 9437 53 | 24.662 % | 25.29/25.37 c | 142674 | 110 42 3664 | 15692 10921 53 | 24.662 % | 27.98/28.07 c | 155648 | 110 42 3664 | 17261 8139 54 | 24.662 % | 31.89/31.99 c =============================================================================== 31.89/31.99 c New solution: 13 31.89/31.99 o 13 31.89/31.99 c Elapsed CPU time: 31.5542 s Remaining CPU time: 148.446 s 31.89/31.99 c =============================================================================== 31.89/31.99 c | 173013 | 110 43 3760 | 5000 16841 54 | 24.662 % | 32.08/32.14 c =============================================================================== 32.08/32.14 c New solution: 11 32.08/32.14 o 11 32.08/32.14 c Elapsed CPU time: 31.6962 s Remaining CPU time: 148.304 s 32.08/32.14 c =============================================================================== 32.08/32.14 c | 173014 | 98 44 3856 | 5000 4208 54 | 24.662 % | 32.08/32.15 c | 173115 | 98 44 3856 | 5500 4309 54 | 32.881 % | 32.08/32.18 c | 173266 | 98 44 3856 | 6050 4460 54 | 32.881 % | 32.18/32.21 c | 173491 | 98 44 3856 | 6655 4685 54 | 32.881 % | 32.18/32.26 c | 173828 | 98 44 3856 | 7320 5022 55 | 32.881 % | 32.28/32.32 c | 174334 | 98 44 3856 | 8052 5528 55 | 32.881 % | 32.38/32.43 c | 175093 | 98 44 3856 | 8857 6287 55 | 32.881 % | 32.58/32.60 c | 176232 | 98 44 3856 | 9743 7426 55 | 32.881 % | 32.78/32.87 c | 177940 | 98 44 3856 | 10717 9134 56 | 32.881 % | 33.28/33.33 c | 180503 | 98 44 3856 | 11789 6299 58 | 32.881 % | 33.88/33.95 c | 184347 | 98 44 3856 | 12968 10143 57 | 32.881 % | 34.98/35.00 c | 190113 | 98 44 3856 | 14265 9381 56 | 32.881 % | 36.48/36.55 c | 198763 | 98 44 3856 | 15692 10855 59 | 32.881 % | 38.98/39.05 c | 211737 | 98 44 3856 | 17261 8056 53 | 32.881 % | 42.79/42.85 c | 231199 | 98 44 3856 | 18987 10181 60 | 32.881 % | 49.58/49.62 c | 260392 | 98 44 3856 | 20886 10770 59 | 32.881 % | 60.97/61.02 c | 304182 | 98 44 3856 | 22974 12622 58 | 32.881 % | 79.17/79.24 c | 369867 | 98 44 3856 | 25272 16836 59 | 32.881 % | 110.66/110.78 c | 468394 | 98 44 3856 | 27799 13809 57 | 32.881 % | 115.26/115.30 c =============================================================================== 115.26/115.30 c New solution: 10 115.26/115.30 o 10 115.26/115.30 c Elapsed CPU time: 114.013 s Remaining CPU time: 65.9873 s 115.26/115.30 c =============================================================================== 115.26/115.30 c | 481377 | 98 45 3952 | 5000 26792 58 | 32.881 % | 115.47/115.56 c | 481477 | 98 45 3952 | 5500 2838 57 | 32.881 % | 115.47/115.58 c | 481628 | 98 45 3952 | 6050 2989 57 | 32.881 % | 115.56/115.61 c | 481853 | 98 45 3952 | 6655 3214 58 | 32.881 % | 115.56/115.65 c | 482190 | 98 45 3952 | 7320 3551 58 | 32.881 % | 115.66/115.71 c | 482696 | 98 45 3952 | 8052 4057 58 | 32.881 % | 115.76/115.81 c | 483455 | 98 45 3952 | 8857 4816 59 | 32.881 % | 115.86/115.96 c | 484595 | 98 45 3952 | 9743 5956 57 | 32.881 % | 116.16/116.20 c | 486304 | 98 45 3952 | 10717 7665 56 | 32.881 % | 116.46/116.56 c | 488866 | 98 45 3952 | 11789 10227 55 | 32.881 % | 117.06/117.14 c | 492711 | 98 45 3952 | 12968 8134 52 | 32.881 % | 118.06/118.10 c | 498477 | 98 45 3952 | 14265 7372 54 | 32.881 % | 119.56/119.68 c | 507126 | 98 45 3952 | 15692 8847 51 | 32.881 % | 121.96/122.00 c | 520100 | 98 45 3952 | 17261 13934 53 | 32.881 % | 126.15/126.22 c | 539561 | 98 45 3952 | 18987 16050 52 | 32.881 % | 132.96/133.07 c | 568753 | 98 45 3952 | 20886 16639 56 | 32.881 % | 143.65/143.75 c | 612542 | 98 45 3952 | 22974 18482 56 | 32.881 % | 161.44/161.55 c | 678226 | 98 45 3952 | 25272 22709 55 | 32.881 % | 181.94/182.05 c There are 48 assigned variables. 48 in cost function. 182.55/182.62 c ============================[ Search Statistics ]============================== 182.55/182.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.62 c =============================================================================== 182.55/182.62 c | 0 | 50 131 688 | 5000 0 nan | 0.000 % | 182.55/182.63 c | 100 | 50 131 688 | 5500 100 48 | 65.758 % | 182.55/182.65 c | 250 | 50 131 688 | 6050 250 50 | 65.758 % | 182.55/182.68 c | 477 | 50 131 688 | 6655 477 51 | 65.758 % | 182.64/182.79 c | 814 | 50 131 688 | 7320 814 52 | 65.758 % | 182.74/182.84 c | 1320 | 50 131 688 | 8052 1320 54 | 65.758 % | 182.83/182.92 c | 2081 | 50 131 688 | 8857 2081 55 | 65.758 % | 182.94/183.05 c | 3221 | 50 131 688 | 9743 3221 54 | 65.758 % | 183.13/183.24 c | 4929 | 50 131 688 | 10717 4929 53 | 65.758 % | 183.44/183.59 c | 7492 | 50 131 688 | 11789 7492 52 | 65.758 % | 184.13/184.28 c | 11336 | 50 131 688 | 12968 11336 53 | 65.758 % | 185.34/185.47 c | 17102 | 50 131 688 | 14265 10554 54 | 65.758 % | 187.04/187.17 c | 25751 | 50 131 688 | 15692 12004 54 | 65.758 % | 189.94/190.00 c | 38725 | 50 131 688 | 17261 9153 55 | 65.758 % | 194.04/194.15 c | 58187 | 50 131 688 | 18987 11228 48 | 65.758 % | 200.63/200.75 c | 87379 | 50 131 688 | 20886 11744 54 | 65.758 % | 212.43/212.59 c | 131168 | 50 131 688 | 22974 13507 55 | 65.758 % | 231.82/231.93 c | 196854 | 50 131 688 | 25272 17371 56 | 65.758 % | 264.61/264.79 c | 295380 | 50 131 688 | 27799 13951 56 | 65.758 % | 319.60/319.74 c | 443169 | 50 131 688 | 30579 25774 56 | 65.758 % | 399.27/399.44 c | 664856 | 50 131 688 | 33637 11275 54 | 65.758 % | 516.63/516.88 c | 997382 | 50 131 688 | 37001 26790 55 | 65.758 % | 721.08/721.39 c | 1496170 | 50 131 688 | 40701 33219 54 | 65.758 % | 1063.67/1064.01 c | 2244352 | 50 131 688 | 44771 13931 54 | 65.758 % | 1629.69/1630.25 c | 3366626 | 50 131 688 | 49248 30977 55 | 65.758 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656052-1276602049/watcher-2656052-1276602049 -o /tmp/evaluation-result-2656052-1276602049/solver-2656052-1276602049 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656052-1276602049.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: 2.02 1.68 1.29 3/105 11441 /proc/meminfo: memFree=1437392/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=2572 CPUtime=0 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 282 0 0 0 0 0 0 0 25 0 1 0 1498405 2633728 199 1992294400 134512640 135751879 4292206160 18446744073709551615 135269054 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 643 199 146 303 0 338 0 [startup+0.016361 s] /proc/loadavg: 2.02 1.68 1.29 3/105 11441 /proc/meminfo: memFree=1437392/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=2572 CPUtime=0.01 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 293 0 0 0 1 0 0 0 25 0 1 0 1498405 2633728 210 1992294400 134512640 135751879 4292206160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 643 210 146 303 0 338 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2572 [startup+0.101369 s] /proc/loadavg: 2.02 1.68 1.29 3/105 11441 /proc/meminfo: memFree=1437392/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=2836 CPUtime=0.09 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 370 0 0 0 9 0 0 0 18 0 1 0 1498405 2904064 287 1992294400 134512640 135751879 4292206160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 709 287 147 303 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2836 [startup+0.301389 s] /proc/loadavg: 2.02 1.68 1.29 3/105 11441 /proc/meminfo: memFree=1437392/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=3488 CPUtime=0.29 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 512 0 0 0 29 0 0 0 18 0 1 0 1498405 3571712 429 1992294400 134512640 135751879 4292206160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 872 429 147 303 0 567 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3488 [startup+0.701432 s] /proc/loadavg: 2.02 1.68 1.29 3/105 11441 /proc/meminfo: memFree=1437392/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=4404 CPUtime=0.69 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 765 0 0 0 69 0 0 0 18 0 1 0 1498405 4509696 682 1992294400 134512640 135751879 4292206160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 1101 682 147 303 0 796 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4404 [startup+1.50151 s] /proc/loadavg: 1.94 1.67 1.29 2/106 11442 /proc/meminfo: memFree=1434532/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=5988 CPUtime=1.49 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 1149 0 0 0 147 2 0 0 19 0 1 0 1498405 6131712 1066 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 1497 1066 148 303 0 1192 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5988 [startup+3.10168 s] /proc/loadavg: 1.94 1.67 1.29 2/106 11442 /proc/meminfo: memFree=1432176/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=9132 CPUtime=3.1 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 1939 0 0 0 305 5 0 0 18 0 1 0 1498405 9351168 1856 1992294400 134512640 135751879 4292206160 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 2283 1856 148 303 0 1978 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 9132 [startup+6.30102 s] /proc/loadavg: 1.94 1.67 1.29 2/106 11442 /proc/meminfo: memFree=1425728/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=15264 CPUtime=6.29 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 3456 0 0 0 621 8 0 0 25 0 1 0 1498405 15630336 3373 1992294400 134512640 135751879 4292206160 18446744073709551615 134611210 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 3816 3373 148 303 0 3511 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15264 [startup+12.7017 s] /proc/loadavg: 1.80 1.65 1.29 2/106 11442 /proc/meminfo: memFree=1414816/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=25536 CPUtime=12.69 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 6021 0 0 0 1252 17 0 0 25 0 1 0 1498405 26148864 5938 1992294400 134512640 135751879 4292206160 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 6384 5938 148 303 0 6079 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25536 [startup+25.501 s] /proc/loadavg: 1.67 1.62 1.28 2/106 11442 /proc/meminfo: memFree=1395596/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=44152 CPUtime=25.48 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 10679 0 0 0 2513 35 0 0 25 0 1 0 1498405 45211648 10596 1992294400 134512640 135751879 4292206160 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 11038 10596 148 303 0 10733 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44152 [startup+51.1007 s] /proc/loadavg: 1.44 1.57 1.27 2/106 11444 /proc/meminfo: memFree=1358520/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=81420 CPUtime=51.07 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 20000 0 0 0 5039 68 0 0 25 0 1 0 1498405 83374080 19917 1992294400 134512640 135751879 4292206160 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 20355 19917 148 303 0 20050 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 81420 [startup+102.308 s] /proc/loadavg: 1.17 1.47 1.26 2/106 11444 /proc/meminfo: memFree=1303836/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=135140 CPUtime=102.26 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 33412 0 0 0 10112 114 0 0 25 0 1 0 1498405 138383360 33329 1992294400 134512640 135751879 4292206160 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 33785 33329 148 303 0 33480 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 135140 [startup+162.301 s] /proc/loadavg: 1.06 1.39 1.24 2/106 11446 /proc/meminfo: memFree=1234396/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=204856 CPUtime=162.25 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 50826 0 0 0 16043 182 0 0 25 0 1 0 1498405 209772544 50743 1992294400 134512640 135751879 4292206160 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 51214 50743 148 303 0 50909 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 204856 [startup+222.301 s] /proc/loadavg: 1.02 1.31 1.22 2/106 11448 /proc/meminfo: memFree=1183556/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=255056 CPUtime=222.23 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 63411 0 0 0 21983 240 0 0 25 0 1 0 1498405 261177344 63328 1992294400 134512640 135751879 4292206160 18446744073709551615 135221296 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 63764 63328 150 303 0 63459 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 255056 [startup+282.301 s] /proc/loadavg: 1.01 1.25 1.20 2/106 11450 /proc/meminfo: memFree=1139164/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=299652 CPUtime=282.2 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 74545 0 0 0 27933 287 0 0 25 0 1 0 1498405 306843648 74462 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 74913 74462 150 303 0 74608 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 299652 [startup+342.301 s] /proc/loadavg: 1.00 1.20 1.19 2/106 11452 /proc/meminfo: memFree=1099608/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=338828 CPUtime=342.19 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 84311 0 0 0 33886 333 0 0 25 0 1 0 1498405 346959872 84228 1992294400 134512640 135751879 4292206160 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 84707 84228 150 303 0 84402 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 338828 [startup+402.301 s] /proc/loadavg: 1.00 1.16 1.17 2/106 11452 /proc/meminfo: memFree=1059432/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=379420 CPUtime=402.17 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 94447 0 0 0 39837 380 0 0 25 0 1 0 1498405 388526080 94364 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 94855 94364 150 303 0 94550 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 379420 [startup+462.301 s] /proc/loadavg: 1.00 1.13 1.16 2/106 11454 /proc/meminfo: memFree=1017272/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=421248 CPUtime=462.15 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 104890 0 0 0 45787 428 0 0 25 0 1 0 1498405 431357952 104807 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 105312 104807 150 303 0 105007 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 421248 [startup+522.301 s] /proc/loadavg: 1.00 1.11 1.15 2/106 11456 /proc/meminfo: memFree=971144/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=467600 CPUtime=522.14 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 116461 0 0 0 51738 476 0 0 25 0 1 0 1498405 478822400 116378 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 116900 116378 150 303 0 116595 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 467600 [startup+582.301 s] /proc/loadavg: 1.00 1.08 1.14 2/106 11458 /proc/meminfo: memFree=926752/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=511500 CPUtime=582.12 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 127444 0 0 0 57691 521 0 0 25 0 1 0 1498405 523776000 127361 1992294400 134512640 135751879 4292206160 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 127875 127361 150 303 0 127570 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 511500 [startup+642.301 s] /proc/loadavg: 1.00 1.07 1.13 2/106 11460 /proc/meminfo: memFree=882732/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=555240 CPUtime=642.11 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 138378 0 0 0 63642 569 0 0 25 0 1 0 1498405 568565760 138295 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 138810 138295 150 303 0 138505 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 555240 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.08 2/106 11466 /proc/meminfo: memFree=728600/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=708900 CPUtime=882.03 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 176810 0 0 0 87467 736 0 0 25 0 1 0 1498405 725913600 176727 1992294400 134512640 135751879 4292206160 18446744073709551615 134616407 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 177225 176727 150 303 0 176920 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 708900 [startup+942.301 s] /proc/loadavg: 1.04 1.03 1.08 2/106 11468 /proc/meminfo: memFree=691648/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=745880 CPUtime=942.01 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 186037 0 0 0 93424 777 0 0 25 0 1 0 1498405 763781120 185954 1992294400 134512640 135751879 4292206160 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 186470 185954 150 303 0 186165 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 745880 [startup+1002.3 s] /proc/loadavg: 1.01 1.02 1.08 2/106 11468 /proc/meminfo: memFree=652340/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=785056 CPUtime=1001.99 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 195804 0 0 0 99381 818 0 0 25 0 1 0 1498405 803897344 195721 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 196264 195721 150 303 0 195959 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 785056 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.07 2/106 11470 /proc/meminfo: memFree=615884/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=821576 CPUtime=1061.98 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 204942 0 0 0 105341 857 0 0 25 0 1 0 1498405 841293824 204859 1992294400 134512640 135751879 4292206160 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 205394 204859 150 303 0 205089 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 821576 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.07 2/106 11472 /proc/meminfo: memFree=581536/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=855948 CPUtime=1121.96 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 213508 0 0 0 111302 894 0 0 25 0 1 0 1498405 876490752 213425 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 213987 213425 150 303 0 213682 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 855948 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.06 2/106 11474 /proc/meminfo: memFree=548428/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=889360 CPUtime=1181.93 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 221854 0 0 0 117260 933 0 0 25 0 1 0 1498405 910704640 221771 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 222340 221771 150 303 0 222035 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 889360 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.06 2/106 11485 /proc/meminfo: memFree=511476/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=925176 CPUtime=1241.9 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 230801 0 0 0 123217 973 0 0 25 0 1 0 1498405 947380224 230718 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 231294 230718 150 303 0 230989 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 925176 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.05 2/106 11485 /proc/meminfo: memFree=477624/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=958848 CPUtime=1301.89 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 239219 0 0 0 129181 1008 0 0 25 0 1 0 1498405 981860352 239136 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 239712 239136 150 303 0 239407 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 958848 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.04 2/106 11487 /proc/meminfo: memFree=446376/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=990280 CPUtime=1361.86 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 247109 0 0 0 135143 1043 0 0 25 0 1 0 1498405 1014046720 247026 1992294400 134512640 135751879 4292206160 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 247570 247026 150 303 0 247265 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 990280 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.04 2/106 11489 /proc/meminfo: memFree=409176/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=1027136 CPUtime=1421.85 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 256320 0 0 0 141103 1082 0 0 25 0 1 0 1498405 1051787264 256237 1992294400 134512640 135751879 4292206160 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 256784 256237 150 303 0 256479 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1027136 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.03 2/106 11491 /proc/meminfo: memFree=373960/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=1062948 CPUtime=1481.83 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 265258 0 0 0 147062 1121 0 0 25 0 1 0 1498405 1088458752 265175 1992294400 134512640 135751879 4292206160 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 265737 265175 150 303 0 265432 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1062948 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.03 2/106 11493 /proc/meminfo: memFree=340480/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=1095868 CPUtime=1541.81 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 273480 0 0 0 153025 1156 0 0 25 0 1 0 1498405 1122168832 273397 1992294400 134512640 135751879 4292206160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 273967 273397 150 303 0 273662 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1095868 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.02 2/106 11493 /proc/meminfo: memFree=310348/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=1126248 CPUtime=1601.79 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 281070 0 0 0 158990 1189 0 0 25 0 1 0 1498405 1153277952 280987 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 281562 280987 150 303 0 281257 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1126248 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.01 2/106 11495 /proc/meminfo: memFree=278480/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=1157800 CPUtime=1661.77 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 288952 0 0 0 164955 1222 0 0 25 0 1 0 1498405 1185587200 288869 1992294400 134512640 135751879 4292206160 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 289450 288869 150 303 0 289145 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1157800 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.01 2/106 11497 /proc/meminfo: memFree=248224/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=1188160 CPUtime=1721.76 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 296549 0 0 0 170921 1255 0 0 25 0 1 0 1498405 1216675840 296466 1992294400 134512640 135751879 4292206160 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 297040 296466 150 303 0 296735 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1188160 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11499 /proc/meminfo: memFree=217348/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=1218652 CPUtime=1781.74 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 304171 0 0 0 176880 1294 0 0 25 0 1 0 1498405 1247899648 304088 1992294400 134512640 135751879 4292206160 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 304663 304088 150 303 0 304358 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1218652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11499 /proc/meminfo: memFree=207924/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=1227876 CPUtime=1800.05 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4202496 306480 0 0 0 178701 1304 0 0 25 0 1 0 1498405 1257345024 306397 1992294400 134512640 135751879 4292206160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11441/statm: 306969 306397 150 303 0 306664 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1227876 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11499 /proc/meminfo: memFree=207924/2059040 swapFree=4192956/4192956 [pid=11441] ppid=11439 vsize=0 CPUtime=1800.15 /proc/11441/stat : 11441 (wbo1.4b) R 11439 11441 11322 0 -1 4203524 306480 0 0 0 178701 1314 0 0 25 0 1 0 1498405 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/11441/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.16 CPU user time (s): 1787.01 CPU system time (s): 13.146 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1227876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.01 system time used= 13.146 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 306480 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 20799 runsolver used 3.09253 second user time and 8.39872 second system time The end
Begin job on node082 at 2010-06-15 13:40:49 IDJOB=2656052 IDBENCH=2908 IDSOLVER=1161 FILE ID=node082/2656052-1276602049 PBS_JOBID= 11172251 Free space on /tmp= 62584 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656052-1276602049/watcher-2656052-1276602049 -o /tmp/evaluation-result-2656052-1276602049/solver-2656052-1276602049 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656052-1276602049.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED=780580629 node082.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.215 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.43 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.215 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1437796 kB Buffers: 55000 kB Cached: 425996 kB SwapCached: 0 kB Active: 201604 kB Inactive: 338752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1437796 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2648 kB Writeback: 0 kB AnonPages: 59296 kB Mapped: 15408 kB Slab: 59068 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182316 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node082 at 2010-06-15 14:10:52