Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.18 | 1800.63 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680695-1277458133.opb. 0.00/0.00 c Instance file HOME/instance-2680695-1277458133.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.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 178 | 146 17 1264 | 5000 178 54 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 254 0.00/0.01 o 254 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 193 | 146 18 1360 | 5000 193 54 | 0.000 % | 0.00/0.02 c | 293 | 146 18 1360 | 5500 293 51 | 0.005 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 251 0.02/0.03 o 251 0.02/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 422 | 146 19 1456 | 5000 422 49 | 0.005 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 220 0.02/0.04 o 220 0.02/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 475 | 146 20 1552 | 5000 475 49 | 0.005 % | 0.02/0.05 c | 577 | 146 20 1552 | 5500 577 48 | 0.005 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: 207 0.02/0.05 o 207 0.02/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 603 | 146 21 1648 | 5000 603 48 | 0.005 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 198 0.02/0.06 o 198 0.02/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 635 | 146 22 1744 | 5000 635 47 | 0.005 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 190 0.02/0.06 o 190 0.02/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 648 | 146 23 1840 | 5000 648 47 | 0.005 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 137 0.02/0.06 o 137 0.02/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 711 | 146 24 1936 | 5000 711 47 | 0.005 % | 0.02/0.07 c | 811 | 146 24 1936 | 5500 811 47 | 0.005 % | 0.02/0.09 c | 961 | 146 24 1936 | 6050 961 47 | 0.005 % | 0.09/0.11 c | 1186 | 146 24 1936 | 6655 1186 46 | 0.005 % | 0.09/0.15 c | 1523 | 146 24 1936 | 7320 1523 46 | 0.005 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 135 0.09/0.15 o 135 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 1563 | 146 25 2032 | 5000 1563 46 | 0.005 % | 0.09/0.17 c | 1665 | 146 25 2032 | 5500 1665 46 | 0.005 % | 0.09/0.18 c | 1815 | 146 25 2032 | 6050 1815 46 | 0.005 % | 0.19/0.21 c | 2041 | 146 25 2032 | 6655 2041 46 | 0.005 % | 0.19/0.25 c | 2380 | 146 25 2032 | 7320 2380 46 | 0.005 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 121 0.19/0.28 o 121 0.19/0.28 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 2697 | 146 26 2128 | 5000 2697 46 | 0.005 % | 0.29/0.30 c | 2797 | 134 26 2128 | 5500 2460 46 | 8.224 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 116 0.29/0.32 o 116 0.29/0.32 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 2932 | 134 27 2224 | 5000 2595 46 | 8.224 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 115 0.29/0.33 o 115 0.29/0.33 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 3011 | 134 28 2320 | 5000 2674 46 | 8.224 % | 0.29/0.34 c | 3111 | 134 28 2320 | 5500 2774 46 | 8.224 % | 0.29/0.36 c | 3261 | 134 28 2320 | 6050 2924 46 | 8.224 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 95 0.29/0.37 o 95 0.29/0.37 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 3356 | 134 29 2416 | 5000 3019 46 | 8.224 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 93 0.29/0.37 o 93 0.29/0.37 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 3392 | 134 30 2512 | 5000 3055 46 | 8.224 % | 0.29/0.39 c | 3492 | 134 30 2512 | 5500 3155 46 | 8.224 % | 0.40/0.40 c | 3642 | 134 30 2512 | 6050 3305 46 | 8.224 % | 0.40/0.43 c | 3867 | 134 30 2512 | 6655 3530 46 | 8.224 % | 0.40/0.45 c =============================================================================== 0.40/0.45 c New solution: 53 0.40/0.45 o 53 0.40/0.45 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s 0.40/0.45 c =============================================================================== 0.40/0.45 c | 3987 | 134 31 2608 | 5000 3650 46 | 8.224 % | 0.40/0.46 c =============================================================================== 0.40/0.46 c New solution: 49 0.40/0.46 o 49 0.40/0.46 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s 0.40/0.46 c =============================================================================== 0.40/0.46 c | 4058 | 122 32 2704 | 5000 3721 46 | 8.224 % | 0.40/0.47 c | 4158 | 122 32 2704 | 5500 3821 46 | 16.443 % | 0.40/0.49 c | 4308 | 122 32 2704 | 6050 3971 46 | 16.443 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 46 0.49/0.50 o 46 0.49/0.50 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 4374 | 122 33 2800 | 5000 4037 46 | 16.443 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c New solution: 44 0.49/0.50 o 44 0.49/0.50 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s 0.49/0.50 c =============================================================================== 0.49/0.50 c | 4378 | 122 34 2896 | 5000 4041 46 | 16.443 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c New solution: 42 0.49/0.51 o 42 0.49/0.51 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s 0.49/0.51 c =============================================================================== 0.49/0.51 c | 4385 | 122 35 2992 | 5000 4048 46 | 16.443 % | 0.49/0.52 c | 4486 | 122 35 2992 | 5500 4149 46 | 16.443 % | 0.49/0.54 c | 4636 | 122 35 2992 | 6050 4299 46 | 16.443 % | 0.49/0.57 c | 4862 | 122 35 2992 | 6655 4525 46 | 16.443 % | 0.59/0.61 c | 5199 | 122 35 2992 | 7320 4862 46 | 16.443 % | 0.59/0.68 c | 5705 | 122 35 2992 | 8052 5368 46 | 16.443 % | 0.69/0.78 c | 6464 | 122 35 2992 | 8857 6127 46 | 16.443 % | 0.89/0.95 c | 7604 | 122 35 2992 | 9743 7267 45 | 16.443 % | 1.19/1.22 c | 9312 | 122 35 2992 | 10717 8975 45 | 16.443 % | 1.59/1.65 c | 11875 | 122 35 2992 | 11789 6149 45 | 16.443 % | 1.99/2.08 c =============================================================================== 1.99/2.08 c New solution: 37 1.99/2.08 o 37 1.99/2.08 c Elapsed CPU time: 2.04969 s Remaining CPU time: 177.95 s 1.99/2.08 c =============================================================================== 1.99/2.08 c | 15003 | 122 36 3088 | 5000 9277 44 | 16.443 % | 2.10/2.10 c =============================================================================== 2.10/2.10 c New solution: 35 2.10/2.10 o 35 2.10/2.10 c Elapsed CPU time: 2.06968 s Remaining CPU time: 177.93 s 2.10/2.10 c =============================================================================== 2.10/2.10 c | 15004 | 122 37 3184 | 5000 4640 44 | 16.443 % | 2.10/2.12 c | 15105 | 122 37 3184 | 5500 4741 44 | 16.443 % | 2.10/2.14 c | 15255 | 122 37 3184 | 6050 4891 44 | 16.443 % | 2.10/2.17 c | 15481 | 122 37 3184 | 6655 5117 44 | 16.443 % | 2.19/2.22 c | 15818 | 122 37 3184 | 7320 5454 44 | 16.443 % | 2.19/2.29 c | 16325 | 122 37 3184 | 8052 5961 44 | 16.443 % | 2.39/2.40 c | 17084 | 122 37 3184 | 8857 6720 44 | 16.443 % | 2.49/2.59 c | 18223 | 122 37 3184 | 9743 7859 44 | 16.443 % | 2.79/2.86 c | 19931 | 122 37 3184 | 10717 9567 44 | 16.443 % | 2.89/2.97 c =============================================================================== 2.89/2.97 c New solution: 31 2.89/2.97 o 31 2.89/2.97 c Elapsed CPU time: 2.92355 s Remaining CPU time: 177.076 s 2.89/2.97 c =============================================================================== 2.89/2.97 c | 20434 | 122 38 3280 | 5000 10070 44 | 16.443 % | 3.00/3.02 c | 20534 | 117 38 3280 | 5500 2603 45 | 24.662 % | 3.00/3.03 c | 20684 | 110 38 3280 | 6050 2753 45 | 24.662 % | 3.00/3.06 c | 20909 | 110 38 3280 | 6655 2978 46 | 24.662 % | 3.10/3.11 c | 21246 | 110 38 3280 | 7320 3315 46 | 24.662 % | 3.10/3.18 c | 21752 | 110 38 3280 | 8052 3821 47 | 24.662 % | 3.20/3.28 c | 22512 | 110 38 3280 | 8857 4581 48 | 24.662 % | 3.39/3.45 c | 23651 | 110 38 3280 | 9743 5720 49 | 24.662 % | 3.69/3.71 c | 25359 | 110 38 3280 | 10717 7428 50 | 24.662 % | 4.09/4.15 c | 27921 | 110 38 3280 | 11789 9990 51 | 24.662 % | 4.79/4.88 c | 31765 | 110 38 3280 | 12968 7904 54 | 24.662 % | 5.19/5.24 c =============================================================================== 5.19/5.24 c New solution: 30 5.19/5.24 o 30 5.19/5.24 c Elapsed CPU time: 5.15422 s Remaining CPU time: 174.846 s 5.19/5.24 c =============================================================================== 5.19/5.24 c | 33831 | 110 39 3376 | 5000 9970 54 | 24.662 % | 5.19/5.26 c =============================================================================== 5.19/5.26 c New solution: 28 5.19/5.26 o 28 5.19/5.26 c Elapsed CPU time: 5.17821 s Remaining CPU time: 174.822 s 5.19/5.26 c =============================================================================== 5.19/5.26 c | 33832 | 110 40 3472 | 5000 4986 54 | 24.662 % | 5.19/5.28 c | 33932 | 110 40 3472 | 5500 2549 54 | 24.662 % | 5.29/5.30 c | 34082 | 110 40 3472 | 6050 2699 54 | 24.662 % | 5.29/5.33 c | 34307 | 110 40 3472 | 6655 2924 54 | 24.662 % | 5.29/5.36 c | 34644 | 110 40 3472 | 7320 3261 53 | 24.662 % | 5.40/5.42 c | 35150 | 110 40 3472 | 8052 3767 53 | 24.662 % | 5.50/5.52 c | 35909 | 110 40 3472 | 8857 4526 53 | 24.662 % | 5.59/5.67 c | 37048 | 110 40 3472 | 9743 5665 53 | 24.662 % | 5.89/5.93 c | 38757 | 110 40 3472 | 10717 7374 53 | 24.662 % | 6.29/6.37 c | 41319 | 110 40 3472 | 11789 9936 53 | 24.662 % | 6.99/7.09 c | 45163 | 110 40 3472 | 12968 7853 55 | 24.662 % | 7.59/7.68 c =============================================================================== 7.59/7.68 c New solution: 25 7.59/7.68 o 25 7.59/7.68 c Elapsed CPU time: 7.55985 s Remaining CPU time: 172.44 s 7.59/7.68 c =============================================================================== 7.59/7.68 c | 48304 | 110 41 3568 | 5000 10994 54 | 24.662 % | 7.69/7.72 c | 48404 | 110 41 3568 | 5500 2849 54 | 24.662 % | 7.69/7.74 c | 48555 | 110 41 3568 | 6050 3000 54 | 24.662 % | 7.69/7.77 c | 48780 | 110 41 3568 | 6655 3225 54 | 24.662 % | 7.79/7.81 c | 49117 | 110 41 3568 | 7320 3562 54 | 24.662 % | 7.79/7.88 c | 49624 | 110 41 3568 | 8052 4069 53 | 24.662 % | 7.89/7.98 c | 50383 | 110 41 3568 | 8857 4828 53 | 24.662 % | 8.09/8.15 c | 51523 | 110 41 3568 | 9743 5968 52 | 24.662 % | 8.38/8.43 c | 53231 | 110 41 3568 | 10717 7676 52 | 24.662 % | 8.80/8.89 c | 55793 | 110 41 3568 | 11789 10238 52 | 24.662 % | 9.59/9.61 c | 59638 | 110 41 3568 | 12968 8153 52 | 24.662 % | 10.69/10.77 c | 65405 | 110 41 3568 | 14265 7400 51 | 24.662 % | 12.49/12.57 c | 74055 | 110 41 3568 | 15692 8884 51 | 24.662 % | 15.19/15.21 c | 87029 | 110 41 3568 | 17261 13977 53 | 24.662 % | 19.59/19.66 c | 106491 | 110 41 3568 | 18987 16103 50 | 24.662 % | 21.99/22.03 c =============================================================================== 21.99/22.03 c New solution: 23 21.99/22.03 o 23 21.99/22.03 c Elapsed CPU time: 21.7467 s Remaining CPU time: 158.253 s 21.99/22.03 c =============================================================================== 21.99/22.03 c | 116926 | 110 42 3664 | 5000 17011 51 | 24.662 % | 22.09/22.11 c | 117026 | 110 42 3664 | 5500 4353 51 | 24.662 % | 22.09/22.14 c | 117176 | 110 42 3664 | 6050 4503 51 | 24.662 % | 22.09/22.17 c | 117402 | 110 42 3664 | 6655 4729 51 | 24.662 % | 22.19/22.23 c | 117739 | 110 42 3664 | 7320 5066 51 | 24.662 % | 22.19/22.29 c | 118245 | 110 42 3664 | 8052 5572 50 | 24.662 % | 22.39/22.40 c | 119004 | 110 42 3664 | 8857 6331 50 | 24.662 % | 22.49/22.58 c | 120143 | 110 42 3664 | 9743 7470 50 | 24.662 % | 22.78/22.84 c | 121851 | 110 42 3664 | 10717 9178 50 | 24.662 % | 23.19/23.27 c | 124414 | 110 42 3664 | 11789 6348 50 | 24.662 % | 23.79/23.89 c | 128259 | 110 42 3664 | 12968 10193 50 | 24.662 % | 24.98/25.03 c | 134025 | 110 42 3664 | 14265 9437 53 | 24.662 % | 26.68/26.78 c | 142674 | 110 42 3664 | 15692 10921 53 | 24.662 % | 29.59/29.63 c | 155648 | 110 42 3664 | 17261 8139 54 | 24.662 % | 33.68/33.75 c =============================================================================== 33.68/33.75 c New solution: 13 33.68/33.75 o 13 33.68/33.75 c Elapsed CPU time: 33.3169 s Remaining CPU time: 146.683 s 33.68/33.75 c =============================================================================== 33.68/33.75 c | 173013 | 110 43 3760 | 5000 16841 54 | 24.662 % | 33.78/33.86 c =============================================================================== 33.78/33.86 c New solution: 11 33.78/33.86 o 11 33.78/33.86 c Elapsed CPU time: 33.4239 s Remaining CPU time: 146.576 s 33.78/33.86 c =============================================================================== 33.78/33.86 c | 173014 | 98 44 3856 | 5000 4208 54 | 24.662 % | 33.78/33.88 c | 173115 | 98 44 3856 | 5500 4309 54 | 32.881 % | 33.88/33.90 c | 173266 | 98 44 3856 | 6050 4460 54 | 32.881 % | 33.88/33.94 c | 173491 | 98 44 3856 | 6655 4685 54 | 32.881 % | 33.88/33.99 c | 173828 | 98 44 3856 | 7320 5022 55 | 32.881 % | 33.98/34.06 c | 174334 | 98 44 3856 | 8052 5528 55 | 32.881 % | 34.08/34.17 c | 175093 | 98 44 3856 | 8857 6287 55 | 32.881 % | 34.28/34.36 c | 176232 | 98 44 3856 | 9743 7426 55 | 32.881 % | 34.58/34.66 c | 177940 | 98 44 3856 | 10717 9134 56 | 32.881 % | 35.09/35.14 c | 180503 | 98 44 3856 | 11789 6299 58 | 32.881 % | 35.77/35.81 c | 184347 | 98 44 3856 | 12968 10143 57 | 32.881 % | 36.88/36.92 c | 190113 | 98 44 3856 | 14265 9381 56 | 32.881 % | 38.48/38.54 c | 198763 | 98 44 3856 | 15692 10855 59 | 32.881 % | 41.08/41.15 c | 211737 | 98 44 3856 | 17261 8056 53 | 32.881 % | 45.08/45.19 c | 231199 | 98 44 3856 | 18987 10181 60 | 32.881 % | 52.27/52.31 c | 260392 | 98 44 3856 | 20886 10770 59 | 32.881 % | 64.07/64.17 c | 304182 | 98 44 3856 | 22974 12622 58 | 32.881 % | 82.77/82.88 c | 369867 | 98 44 3856 | 25272 16836 59 | 32.881 % | 115.76/115.82 c | 468394 | 98 44 3856 | 27799 13809 57 | 32.881 % | 120.46/120.50 c =============================================================================== 120.46/120.50 c New solution: 10 120.46/120.50 o 10 120.46/120.50 c Elapsed CPU time: 119.12 s Remaining CPU time: 60.8801 s 120.46/120.50 c =============================================================================== 120.46/120.50 c | 481377 | 98 45 3952 | 5000 26792 58 | 32.881 % | 120.56/120.69 c | 481477 | 98 45 3952 | 5500 2838 57 | 32.881 % | 120.66/120.71 c | 481628 | 98 45 3952 | 6050 2989 57 | 32.881 % | 120.66/120.74 c | 481853 | 98 45 3952 | 6655 3214 58 | 32.881 % | 120.66/120.79 c | 482190 | 98 45 3952 | 7320 3551 58 | 32.881 % | 120.75/120.85 c | 482696 | 98 45 3952 | 8052 4057 58 | 32.881 % | 120.87/120.95 c | 483455 | 98 45 3952 | 8857 4816 59 | 32.881 % | 121.06/121.12 c | 484595 | 98 45 3952 | 9743 5956 57 | 32.881 % | 121.25/121.37 c | 486304 | 98 45 3952 | 10717 7665 56 | 32.881 % | 121.65/121.76 c | 488866 | 98 45 3952 | 11789 10227 55 | 32.881 % | 122.25/122.38 c | 492711 | 98 45 3952 | 12968 8134 52 | 32.881 % | 123.36/123.41 c | 498477 | 98 45 3952 | 14265 7372 54 | 32.881 % | 124.95/125.09 c | 507126 | 98 45 3952 | 15692 8847 51 | 32.881 % | 127.56/127.61 c | 520100 | 98 45 3952 | 17261 13934 53 | 32.881 % | 131.96/132.08 c | 539561 | 98 45 3952 | 18987 16050 52 | 32.881 % | 139.15/139.26 c | 568753 | 98 45 3952 | 20886 16639 56 | 32.881 % | 150.45/150.52 c | 612542 | 98 45 3952 | 22974 18482 56 | 32.881 % | 169.15/169.20 c | 678226 | 98 45 3952 | 25272 22709 55 | 32.881 % | 182.05/182.12 c There are 48 assigned variables. 48 in cost function. 182.55/182.67 c ============================[ Search Statistics ]============================== 182.55/182.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.67 c =============================================================================== 182.55/182.67 c | 0 | 50 130 688 | 5000 0 nan | 0.000 % | 182.55/182.68 c | 100 | 50 130 688 | 5500 100 48 | 65.758 % | 182.65/182.70 c | 250 | 50 130 688 | 6050 250 50 | 65.758 % | 182.65/182.73 c | 477 | 50 130 688 | 6655 477 51 | 65.758 % | 182.74/182.84 c | 814 | 50 130 688 | 7320 814 52 | 65.758 % | 182.74/182.90 c | 1320 | 50 130 688 | 8052 1320 54 | 65.758 % | 182.84/182.98 c | 2081 | 50 130 688 | 8857 2081 55 | 65.758 % | 183.04/183.12 c | 3221 | 50 130 688 | 9743 3221 54 | 65.758 % | 183.24/183.32 c | 4929 | 50 130 688 | 10717 4929 53 | 65.758 % | 183.55/183.69 c | 7492 | 50 130 688 | 11789 7492 52 | 65.758 % | 184.34/184.44 c | 11336 | 50 130 688 | 12968 11336 53 | 65.758 % | 185.54/185.68 c | 17102 | 50 130 688 | 14265 10554 54 | 65.758 % | 187.44/187.52 c | 25751 | 50 130 688 | 15692 12004 54 | 65.758 % | 190.54/190.60 c | 38725 | 50 130 688 | 17261 9153 55 | 65.758 % | 194.84/194.98 c | 58187 | 50 130 688 | 18987 11228 48 | 65.758 % | 201.94/202.07 c | 87379 | 50 130 688 | 20886 11744 54 | 65.758 % | 214.73/214.82 c | 131168 | 50 130 688 | 22974 13507 55 | 65.758 % | 235.24/235.36 c | 196854 | 50 130 688 | 25272 17371 56 | 65.758 % | 270.01/270.18 c | 295380 | 50 130 688 | 27799 13951 56 | 65.758 % | 328.11/328.26 c | 443169 | 50 130 688 | 30579 25774 56 | 65.758 % | 411.99/412.13 c | 664856 | 50 130 688 | 33637 11275 54 | 65.758 % | 535.06/535.26 c | 997382 | 50 130 688 | 37001 26790 55 | 65.758 % | 748.01/748.28 c | 1496170 | 50 130 688 | 40701 33219 54 | 65.758 % | 1101.82/1102.19 c | 2244352 | 50 130 688 | 44771 13931 54 | 65.758 % | 1681.67/1682.15 c | 3366626 | 50 130 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-2680695-1277458133/watcher-2680695-1277458133 -o /tmp/evaluation-result-2680695-1277458133/solver-2680695-1277458133 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680695-1277458133.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 3/106 20504 /proc/meminfo: memFree=1854736/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=2568 CPUtime=0 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 121417178 2629632 194 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 642 194 143 303 0 337 0 [startup+0.0285041 s] /proc/loadavg: 1.00 1.00 0.99 3/106 20504 /proc/meminfo: memFree=1854736/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=2568 CPUtime=0.02 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 299 0 0 0 2 0 0 0 20 0 1 0 121417178 2629632 216 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 642 216 144 303 0 337 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2568 [startup+0.101511 s] /proc/loadavg: 1.00 1.00 0.99 3/106 20504 /proc/meminfo: memFree=1854736/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=2832 CPUtime=0.09 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 360 0 0 0 9 0 0 0 20 0 1 0 121417178 2899968 277 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 708 277 144 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.30153 s] /proc/loadavg: 1.00 1.00 0.99 3/106 20504 /proc/meminfo: memFree=1854736/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=3352 CPUtime=0.29 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 496 0 0 0 29 0 0 0 20 0 1 0 121417178 3432448 413 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 838 413 144 303 0 533 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3352 [startup+0.701568 s] /proc/loadavg: 1.00 1.00 0.99 3/106 20504 /proc/meminfo: memFree=1854736/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=4400 CPUtime=0.69 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 734 0 0 0 68 1 0 0 20 0 1 0 121417178 4505600 651 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 1100 651 144 303 0 795 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4400 [startup+1.50164 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20505 /proc/meminfo: memFree=1852000/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=5860 CPUtime=1.49 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 1106 0 0 0 147 2 0 0 22 0 1 0 121417178 6000640 1023 1992294400 134512640 135752675 4294464224 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 1465 1023 144 303 0 1160 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5860 [startup+3.1018 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20505 /proc/meminfo: memFree=1849768/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=8728 CPUtime=3.1 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 1833 0 0 0 305 5 0 0 25 0 1 0 121417178 8937472 1750 1992294400 134512640 135752675 4294464224 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 2182 1750 145 303 0 1877 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 8728 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 0.99 3/107 20505 /proc/meminfo: memFree=1843816/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=14584 CPUtime=6.29 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 3298 0 0 0 619 10 0 0 25 0 1 0 121417178 14934016 3215 1992294400 134512640 135752675 4294464224 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 3646 3215 145 303 0 3341 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14584 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20505 /proc/meminfo: memFree=1832904/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=24368 CPUtime=12.69 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 5751 0 0 0 1252 17 0 0 25 0 1 0 121417178 24952832 5668 1992294400 134512640 135752675 4294464224 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 6092 5668 145 303 0 5787 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24368 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20505 /proc/meminfo: memFree=1814924/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=42080 CPUtime=25.48 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 10166 0 0 0 2515 33 0 0 25 0 1 0 121417178 43089920 10083 1992294400 134512640 135752675 4294464224 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 10520 10083 145 303 0 10215 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42080 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20507 /proc/meminfo: memFree=1778840/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=78408 CPUtime=51.07 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 19219 0 0 0 5042 65 0 0 25 0 1 0 121417178 80289792 19136 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 19602 19136 145 303 0 19297 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 78408 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20507 /proc/meminfo: memFree=1725272/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=130984 CPUtime=102.27 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 32382 0 0 0 10109 118 0 0 25 0 1 0 121417178 134127616 32299 1992294400 134512640 135752675 4294464224 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 32746 32299 145 303 0 32441 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 130984 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20509 /proc/meminfo: memFree=1659676/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=197152 CPUtime=162.25 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 48897 0 0 0 16039 186 0 0 25 0 1 0 121417178 201883648 48814 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 49288 48814 145 303 0 48983 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 197152 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20511 /proc/meminfo: memFree=1611688/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=244384 CPUtime=222.23 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 60725 0 0 0 21976 247 0 0 25 0 1 0 121417178 250249216 60642 1992294400 134512640 135752675 4294464224 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 61096 60642 146 303 0 60791 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 244384 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20513 /proc/meminfo: memFree=1569156/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=287416 CPUtime=282.22 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 71478 0 0 0 27922 300 0 0 25 0 1 0 121417178 294313984 71395 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 71854 71395 146 303 0 71549 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 287416 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20515 /proc/meminfo: memFree=1530964/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=325024 CPUtime=342.2 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 80851 0 0 0 33875 345 0 0 25 0 1 0 121417178 332824576 80768 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 81256 80768 146 303 0 80951 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 325024 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20515 /proc/meminfo: memFree=1493268/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=362964 CPUtime=402.19 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 90326 0 0 0 39830 389 0 0 25 0 1 0 121417178 371675136 90243 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 90741 90243 146 303 0 90436 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 362964 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20517 /proc/meminfo: memFree=1453464/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=402404 CPUtime=462.17 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 100182 0 0 0 45778 439 0 0 25 0 1 0 121417178 412061696 100099 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 100601 100099 146 303 0 100296 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 402404 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20519 /proc/meminfo: memFree=1409320/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=446852 CPUtime=522.16 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 111285 0 0 0 51730 486 0 0 25 0 1 0 121417178 457576448 111202 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 111713 111202 146 303 0 111408 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 446852 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20521 /proc/meminfo: memFree=1365300/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=490276 CPUtime=582.15 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 122143 0 0 0 57681 534 0 0 25 0 1 0 121417178 502042624 122060 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 122569 122060 146 303 0 122264 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 490276 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20523 /proc/meminfo: memFree=1323388/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=531936 CPUtime=642.14 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 132541 0 0 0 63635 579 0 0 25 0 1 0 121417178 544702464 132458 1992294400 134512640 135752675 4294464224 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 132984 132458 146 303 0 132679 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 531936 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20529 /proc/meminfo: memFree=1171116/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=683964 CPUtime=882.06 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 170550 0 0 0 87454 752 0 0 25 0 1 0 121417178 700379136 170467 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 170991 170467 146 303 0 170686 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 683964 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20531 /proc/meminfo: memFree=1137016/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=718308 CPUtime=942.06 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 179148 0 0 0 93415 791 0 0 25 0 1 0 121417178 735547392 179065 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 179577 179065 146 303 0 179272 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 718308 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20531 /proc/meminfo: memFree=1100064/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=754752 CPUtime=1002.04 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 188252 0 0 0 99370 834 0 0 25 0 1 0 121417178 772866048 188169 1992294400 134512640 135752675 4294464224 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 188688 188169 146 303 0 188383 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 754752 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20533 /proc/meminfo: memFree=1061872/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=793452 CPUtime=1062.03 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 197901 0 0 0 105329 874 0 0 25 0 1 0 121417178 812494848 197818 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 198363 197818 146 303 0 198058 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 793452 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20535 /proc/meminfo: memFree=1028516/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=826504 CPUtime=1122.01 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 206160 0 0 0 111287 914 0 0 25 0 1 0 121417178 846340096 206077 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 206626 206077 146 303 0 206321 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 826504 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20537 /proc/meminfo: memFree=994788/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=860192 CPUtime=1181.99 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 214567 0 0 0 117244 955 0 0 25 0 1 0 121417178 880836608 214484 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 215048 214484 146 303 0 214743 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 860192 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20539 /proc/meminfo: memFree=961184/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=893692 CPUtime=1241.98 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 222924 0 0 0 123202 996 0 0 25 0 1 0 121417178 915140608 222841 1992294400 134512640 135752675 4294464224 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 223423 222841 146 303 0 223118 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 893692 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20539 /proc/meminfo: memFree=926464/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=927840 CPUtime=1301.97 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 231476 0 0 0 129160 1037 0 0 25 0 1 0 121417178 950108160 231393 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 231960 231393 146 303 0 231655 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 927840 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20541 /proc/meminfo: memFree=895836/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=959164 CPUtime=1361.95 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 239319 0 0 0 135120 1075 0 0 25 0 1 0 121417178 982183936 239236 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 239791 239236 146 303 0 239486 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 959164 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20543 /proc/meminfo: memFree=862604/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=991616 CPUtime=1421.94 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 247424 0 0 0 141079 1115 0 0 25 0 1 0 121417178 1015414784 247341 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 247904 247341 146 303 0 247599 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 991616 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20545 /proc/meminfo: memFree=827760/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=1027196 CPUtime=1481.92 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 256305 0 0 0 147037 1155 0 0 25 0 1 0 121417178 1051848704 256222 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 256799 256222 146 303 0 256494 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1027196 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20547 /proc/meminfo: memFree=792544/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=1061588 CPUtime=1541.91 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 264900 0 0 0 152997 1194 0 0 25 0 1 0 121417178 1087066112 264817 1992294400 134512640 135752675 4294464224 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 265397 264817 146 303 0 265092 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1061588 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20547 /proc/meminfo: memFree=762164/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=1092028 CPUtime=1601.89 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 272511 0 0 0 158957 1232 0 0 25 0 1 0 121417178 1118236672 272428 1992294400 134512640 135752675 4294464224 18446744073709551615 134650395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 273007 272428 146 303 0 272702 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1092028 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 3/107 20549 /proc/meminfo: memFree=729056/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=1125000 CPUtime=1661.88 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 280772 0 0 0 164919 1269 0 0 25 0 1 0 121417178 1152000000 280689 1992294400 134512640 135752675 4294464224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 281250 280689 146 303 0 280945 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1125000 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20551 /proc/meminfo: memFree=700164/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=1154480 CPUtime=1721.86 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 288151 0 0 0 170881 1305 0 0 25 0 1 0 121417178 1182187520 288068 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 288620 288068 146 303 0 288315 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1154480 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20553 /proc/meminfo: memFree=670528/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=1183148 CPUtime=1781.85 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 295293 0 0 0 176845 1340 0 0 25 0 1 0 121417178 1211543552 295210 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 295787 295210 146 303 0 295482 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1183148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/107 20553 /proc/meminfo: memFree=660856/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=1192612 CPUtime=1800.04 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4202496 297666 0 0 0 178654 1350 0 0 25 0 1 0 121417178 1221234688 297583 1992294400 134512640 135752675 4294464224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20504/statm: 298153 297583 146 303 0 297848 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1192612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.99 2/108 20554 /proc/meminfo: memFree=1663056/2059040 swapFree=4140248/4192956 [pid=20504] ppid=20502 vsize=0 CPUtime=1800.15 /proc/20504/stat : 20504 (wbo1.4b) R 20502 20504 20171 0 -1 4203524 297666 0 0 0 178654 1361 0 0 25 0 1 0 121417178 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/20504/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.63 CPU time (s): 1800.18 CPU user time (s): 1786.55 CPU system time (s): 13.6279 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 1192612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.55 system time used= 13.6279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 297666 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= 7 involuntary context switches= 1606 runsolver used 2.99454 second user time and 8.49771 second system time The end
Begin job on node004 at 2010-06-25 11:28:53 IDJOB=2680695 IDBENCH=2908 IDSOLVER=1190 FILE ID=node004/2680695-1277458133 PBS_JOBID= 11188153 Free space on /tmp= 62336 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680695-1277458133/watcher-2680695-1277458133 -o /tmp/evaluation-result-2680695-1277458133/solver-2680695-1277458133 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680695-1277458133.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED=1630563863 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1855140 kB Buffers: 33992 kB Cached: 73012 kB SwapCached: 5576 kB Active: 47628 kB Inactive: 72828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855140 kB SwapTotal: 4192956 kB SwapFree: 4140248 kB Dirty: 2612 kB Writeback: 0 kB AnonPages: 12152 kB Mapped: 12040 kB Slab: 61292 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182836 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= 62336 MiB End job on node004 at 2010-06-25 11:58:56