Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1791.86 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
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-2680692-1277458387.opb. 0.00/0.00 c Instance file HOME/instance-2680692-1277458387.opb 0.00/0.00 c File size is 10372 bytes. 0.00/0.00 c Highest Coefficient sum: 5104 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 172 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 14 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 172 14 1060 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1159 0.00/0.00 o 1159 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 172 15 1172 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 172 15 1172 | 5500 100 71 | 0.003 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 954 0.00/0.01 o 954 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 140 | 172 16 1284 | 5000 140 74 | 0.003 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 907 0.00/0.01 o 907 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 165 | 172 17 1396 | 5000 165 72 | 0.003 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 900 0.00/0.02 o 900 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 182 | 172 18 1508 | 5000 182 72 | 0.003 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 864 0.00/0.02 o 864 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 197 | 172 19 1620 | 5000 197 71 | 0.003 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 783 0.00/0.02 o 783 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 214 | 172 20 1732 | 5000 214 70 | 0.003 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 781 0.00/0.02 o 781 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 220 | 172 21 1844 | 5000 220 69 | 0.003 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 747 0.00/0.03 o 747 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 290 | 172 22 1956 | 5000 290 70 | 0.003 % | 0.00/0.04 c | 391 | 172 22 1956 | 5500 391 71 | 0.003 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 720 0.00/0.05 o 720 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 523 | 172 23 2068 | 5000 523 70 | 0.003 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 712 0.00/0.05 o 712 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 524 | 172 24 2180 | 5000 524 70 | 0.003 % | 0.05/0.06 c | 624 | 172 24 2180 | 5500 624 70 | 0.003 % | 0.05/0.07 c =============================================================================== 0.05/0.07 c New solution: 633 0.05/0.07 o 633 0.05/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.05/0.07 c =============================================================================== 0.05/0.07 c | 635 | 172 25 2292 | 5000 635 70 | 0.003 % | 0.05/0.08 c =============================================================================== 0.05/0.08 c New solution: 608 0.05/0.08 o 608 0.05/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.05/0.08 c =============================================================================== 0.05/0.08 c | 705 | 172 26 2404 | 5000 705 68 | 0.003 % | 0.05/0.08 c =============================================================================== 0.05/0.08 c New solution: 567 0.05/0.08 o 567 0.05/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.05/0.08 c =============================================================================== 0.05/0.08 c | 719 | 172 27 2516 | 5000 719 69 | 0.003 % | 0.05/0.09 c | 820 | 172 27 2516 | 5500 820 67 | 0.003 % | 0.05/0.09 c =============================================================================== 0.05/0.09 c New solution: 482 0.05/0.09 o 482 0.05/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s 0.05/0.09 c =============================================================================== 0.05/0.09 c | 843 | 172 28 2628 | 5000 843 67 | 0.003 % | 0.09/0.10 c | 944 | 172 28 2628 | 5500 944 65 | 0.003 % | 0.09/0.12 c | 1094 | 172 28 2628 | 6050 1094 64 | 0.003 % | 0.09/0.15 c | 1320 | 172 28 2628 | 6655 1320 63 | 0.003 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 479 0.09/0.15 o 479 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 1353 | 172 29 2740 | 5000 1353 62 | 0.003 % | 0.09/0.17 c | 1453 | 172 29 2740 | 5500 1453 61 | 0.003 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 431 0.09/0.18 o 431 0.09/0.18 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 1521 | 172 30 2852 | 5000 1521 61 | 0.003 % | 0.09/0.19 c | 1621 | 172 30 2852 | 5500 1621 61 | 0.003 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 424 0.19/0.20 o 424 0.19/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 1717 | 172 31 2964 | 5000 1717 61 | 0.003 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 414 0.19/0.21 o 414 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1791 | 172 32 3076 | 5000 1791 61 | 0.003 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 380 0.19/0.21 o 380 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1801 | 172 33 3188 | 5000 1801 61 | 0.003 % | 0.19/0.22 c | 1902 | 172 33 3188 | 5500 1902 60 | 0.003 % | 0.19/0.24 c | 2052 | 172 33 3188 | 6050 2052 60 | 0.003 % | 0.19/0.28 c | 2277 | 172 33 3188 | 6655 2277 60 | 0.003 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 340 0.19/0.28 o 340 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 2290 | 172 34 3300 | 5000 2290 60 | 0.003 % | 0.19/0.29 c | 2391 | 172 34 3300 | 5500 2391 60 | 0.003 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 264 0.29/0.30 o 264 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 | 2401 | 172 35 3412 | 5000 2401 60 | 0.003 % | 0.29/0.31 c | 2501 | 172 35 3412 | 5500 2501 60 | 0.003 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 260 0.29/0.31 o 260 0.29/0.31 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 2503 | 172 36 3524 | 5000 2503 60 | 0.003 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 226 0.29/0.31 o 226 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 2506 | 172 37 3636 | 5000 2506 60 | 0.003 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 224 0.29/0.32 o 224 0.29/0.32 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 2512 | 172 38 3748 | 5000 2512 60 | 0.003 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 212 0.29/0.33 o 212 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 2596 | 172 39 3860 | 5000 2596 60 | 0.003 % | 0.29/0.34 c | 2697 | 172 39 3860 | 5500 2697 60 | 0.003 % | 0.29/0.37 c | 2849 | 172 39 3860 | 6050 2849 59 | 0.003 % | 0.39/0.40 c | 3075 | 172 39 3860 | 6655 3075 59 | 0.003 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 189 0.39/0.42 o 189 0.39/0.42 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 3172 | 172 40 3972 | 5000 3172 59 | 0.003 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: 182 0.39/0.42 o 182 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 3207 | 172 41 4084 | 5000 3207 59 | 0.003 % | 0.39/0.44 c | 3307 | 172 41 4084 | 5500 3307 59 | 0.003 % | 0.39/0.47 c | 3457 | 172 41 4084 | 6050 3457 58 | 0.003 % | 0.49/0.50 c | 3682 | 172 41 4084 | 6655 3682 58 | 0.003 % | 0.49/0.55 c | 4020 | 172 41 4084 | 7320 4020 57 | 0.003 % | 0.59/0.63 c | 4526 | 172 41 4084 | 8052 4526 56 | 0.003 % | 0.69/0.75 c | 5285 | 172 41 4084 | 8857 5285 56 | 0.003 % | 0.89/0.93 c | 6424 | 172 41 4084 | 9743 6424 55 | 0.003 % | 1.19/1.23 c | 8132 | 172 41 4084 | 10717 8132 54 | 0.003 % | 1.59/1.66 c | 10694 | 172 41 4084 | 11789 10694 54 | 0.003 % | 2.29/2.39 c | 14538 | 172 41 4084 | 12968 8616 53 | 0.003 % | 3.59/3.64 c | 20304 | 172 41 4084 | 14265 7881 52 | 0.003 % | 3.69/3.71 c =============================================================================== 3.69/3.71 c New solution: 171 3.69/3.71 o 171 3.69/3.71 c Elapsed CPU time: 3.66444 s Remaining CPU time: 176.336 s 3.69/3.71 c =============================================================================== 3.69/3.71 c | 20613 | 172 42 4196 | 5000 8190 52 | 0.003 % | 3.69/3.75 c | 20713 | 172 42 4196 | 5500 4195 52 | 0.003 % | 3.69/3.77 c | 20864 | 172 42 4196 | 6050 4346 52 | 0.003 % | 3.79/3.81 c | 21090 | 172 42 4196 | 6655 4572 52 | 0.003 % | 3.79/3.87 c | 21429 | 172 42 4196 | 7320 4911 52 | 0.003 % | 3.89/3.94 c | 21935 | 172 42 4196 | 8052 5417 52 | 0.003 % | 3.99/4.09 c | 22694 | 172 42 4196 | 8857 6176 52 | 0.003 % | 4.19/4.22 c =============================================================================== 4.19/4.22 c New solution: 150 4.19/4.22 o 150 4.19/4.22 c Elapsed CPU time: 4.16137 s Remaining CPU time: 175.839 s 4.19/4.22 c =============================================================================== 4.19/4.22 c | 23396 | 172 43 4308 | 5000 6878 52 | 0.003 % | 4.19/4.24 c | 23496 | 172 43 4308 | 5500 3539 52 | 0.003 % | 4.19/4.27 c | 23646 | 172 43 4308 | 6050 3689 52 | 0.003 % | 4.19/4.29 c =============================================================================== 4.19/4.29 c New solution: 133 4.19/4.29 o 133 4.19/4.29 c Elapsed CPU time: 4.23436 s Remaining CPU time: 175.766 s 4.19/4.29 c =============================================================================== 4.19/4.29 c | 23776 | 172 44 4420 | 5000 3819 52 | 0.003 % | 4.29/4.31 c | 23876 | 172 44 4420 | 5500 3919 53 | 0.003 % | 4.29/4.33 c | 24026 | 172 44 4420 | 6050 4069 53 | 0.003 % | 4.29/4.37 c | 24251 | 172 44 4420 | 6655 4294 53 | 0.003 % | 4.40/4.42 c | 24588 | 172 44 4420 | 7320 4631 53 | 0.003 % | 4.49/4.51 c | 25095 | 172 44 4420 | 8052 5138 52 | 0.003 % | 4.49/4.53 c =============================================================================== 4.49/4.53 c New solution: 121 4.49/4.53 o 121 4.49/4.53 c Elapsed CPU time: 4.46832 s Remaining CPU time: 175.532 s 4.49/4.53 c =============================================================================== 4.49/4.53 c | 25192 | 172 45 4532 | 5000 5235 52 | 0.003 % | 4.49/4.56 c | 25294 | 158 45 4532 | 5500 5016 53 | 8.143 % | 4.49/4.58 c | 25444 | 158 45 4532 | 6050 5166 53 | 8.143 % | 4.59/4.63 c | 25669 | 158 45 4532 | 6655 5391 53 | 8.143 % | 4.59/4.69 c | 26006 | 158 45 4532 | 7320 5728 53 | 8.143 % | 4.69/4.73 c =============================================================================== 4.69/4.73 c New solution: 115 4.69/4.73 o 115 4.69/4.73 c Elapsed CPU time: 4.66229 s Remaining CPU time: 175.338 s 4.69/4.73 c =============================================================================== 4.69/4.73 c | 26200 | 158 46 4644 | 5000 5922 53 | 8.143 % | 4.69/4.75 c | 26301 | 158 46 4644 | 5500 3062 53 | 8.143 % | 4.69/4.78 c | 26453 | 158 46 4644 | 6050 3214 54 | 8.143 % | 4.79/4.82 c | 26678 | 158 46 4644 | 6655 3439 54 | 8.143 % | 4.79/4.82 c =============================================================================== 4.79/4.82 c New solution: 111 4.79/4.82 o 111 4.79/4.82 c Elapsed CPU time: 4.75628 s Remaining CPU time: 175.244 s 4.79/4.82 c =============================================================================== 4.79/4.82 c | 26716 | 158 47 4756 | 5000 3477 54 | 8.143 % | 4.79/4.84 c | 26816 | 158 47 4756 | 5500 3577 54 | 8.143 % | 4.79/4.87 c | 26967 | 158 47 4756 | 6050 3728 54 | 8.143 % | 4.89/4.90 c | 27192 | 158 47 4756 | 6655 3953 54 | 8.143 % | 4.89/4.96 c | 27530 | 158 47 4756 | 7320 4291 54 | 8.143 % | 4.99/5.05 c | 28037 | 158 47 4756 | 8052 4798 54 | 8.143 % | 5.09/5.17 c | 28797 | 158 47 4756 | 8857 5558 54 | 8.143 % | 5.19/5.21 c =============================================================================== 5.19/5.21 c New solution: 109 5.19/5.21 o 109 5.19/5.21 c Elapsed CPU time: 5.13622 s Remaining CPU time: 174.864 s 5.19/5.21 c =============================================================================== 5.19/5.21 c | 28958 | 158 48 4868 | 5000 5719 54 | 8.143 % | 5.19/5.23 c | 29058 | 158 48 4868 | 5500 2960 55 | 8.143 % | 5.19/5.26 c | 29208 | 158 48 4868 | 6050 3110 55 | 8.143 % | 5.19/5.29 c | 29433 | 158 48 4868 | 6655 3335 55 | 8.143 % | 5.29/5.35 c | 29770 | 158 48 4868 | 7320 3672 54 | 8.143 % | 5.40/5.44 c | 30278 | 158 48 4868 | 8052 4180 55 | 8.143 % | 5.49/5.58 c | 31037 | 158 48 4868 | 8857 4939 54 | 8.143 % | 5.69/5.79 c | 32176 | 158 48 4868 | 9743 6078 54 | 8.143 % | 6.09/6.12 c | 33884 | 158 48 4868 | 10717 7786 54 | 8.143 % | 6.49/6.53 c =============================================================================== 6.49/6.53 c New solution: 88 6.49/6.53 o 88 6.49/6.53 c Elapsed CPU time: 6.42902 s Remaining CPU time: 173.571 s 6.49/6.53 c =============================================================================== 6.49/6.53 c | 35783 | 158 49 4980 | 5000 9685 54 | 8.143 % | 6.49/6.56 c | 35883 | 158 49 4980 | 5500 4943 53 | 8.143 % | 6.49/6.59 c | 36033 | 158 49 4980 | 6050 5093 53 | 8.143 % | 6.59/6.63 c | 36258 | 158 49 4980 | 6655 5318 53 | 8.143 % | 6.59/6.69 c | 36596 | 158 49 4980 | 7320 5656 52 | 8.143 % | 6.69/6.72 c =============================================================================== 6.69/6.72 c New solution: 75 6.69/6.72 o 75 6.69/6.72 c Elapsed CPU time: 6.62299 s Remaining CPU time: 173.377 s 6.69/6.72 c =============================================================================== 6.69/6.72 c | 36762 | 158 50 5092 | 5000 5822 52 | 8.143 % | 6.69/6.75 c | 36863 | 158 50 5092 | 5500 3012 52 | 8.143 % | 6.69/6.78 c | 37013 | 158 50 5092 | 6050 3162 52 | 8.143 % | 6.79/6.82 c | 37239 | 158 50 5092 | 6655 3388 52 | 8.143 % | 6.79/6.86 c =============================================================================== 6.79/6.86 c New solution: 71 6.79/6.86 o 71 6.79/6.86 c Elapsed CPU time: 6.75597 s Remaining CPU time: 173.244 s 6.79/6.86 c =============================================================================== 6.79/6.86 c | 37448 | 158 51 5204 | 5000 3597 52 | 8.143 % | 6.79/6.87 c | 37548 | 158 51 5204 | 5500 3697 52 | 8.143 % | 6.89/6.90 c | 37698 | 158 51 5204 | 6050 3847 52 | 8.143 % | 6.89/6.94 c | 37924 | 158 51 5204 | 6655 4073 52 | 8.143 % | 6.99/7.00 c | 38261 | 158 51 5204 | 7320 4410 52 | 8.143 % | 7.09/7.10 c | 38767 | 158 51 5204 | 8052 4916 52 | 8.143 % | 7.19/7.25 c | 39526 | 158 51 5204 | 8857 5675 53 | 8.143 % | 7.39/7.47 c | 40665 | 158 51 5204 | 9743 6814 52 | 8.143 % | 7.79/7.83 c | 42373 | 158 51 5204 | 10717 8522 52 | 8.143 % | 8.38/8.41 c | 44935 | 158 51 5204 | 11789 5691 52 | 8.143 % | 9.09/9.18 c | 48779 | 158 51 5204 | 12968 9535 52 | 8.143 % | 9.49/9.53 c =============================================================================== 9.49/9.53 c New solution: 70 9.49/9.53 o 70 9.49/9.53 c Elapsed CPU time: 9.39757 s Remaining CPU time: 170.602 s 9.49/9.53 c =============================================================================== 9.49/9.53 c | 50444 | 158 52 5316 | 5000 11200 52 | 8.143 % | 9.49/9.59 c | 50544 | 158 52 5316 | 5500 2900 51 | 8.143 % | 9.59/9.61 c | 50694 | 158 52 5316 | 6050 3050 51 | 8.143 % | 9.59/9.66 c | 50919 | 158 52 5316 | 6655 3275 51 | 8.143 % | 9.69/9.71 c | 51256 | 158 52 5316 | 7320 3612 51 | 8.143 % | 9.69/9.76 c =============================================================================== 9.69/9.76 c New solution: 69 9.69/9.76 o 69 9.69/9.76 c Elapsed CPU time: 9.61854 s Remaining CPU time: 170.381 s 9.69/9.76 c =============================================================================== 9.69/9.76 c | 51511 | 158 53 5428 | 5000 3867 51 | 8.143 % | 9.69/9.78 c | 51611 | 158 53 5428 | 5500 3967 51 | 8.143 % | 9.80/9.81 c | 51761 | 158 53 5428 | 6050 4117 51 | 8.143 % | 9.80/9.85 c | 51986 | 158 53 5428 | 6655 4342 51 | 8.143 % | 9.90/9.92 c | 52323 | 158 53 5428 | 7320 4679 51 | 8.143 % | 9.99/10.01 c | 52829 | 158 53 5428 | 8052 5185 51 | 8.143 % | 10.09/10.16 c | 53588 | 158 53 5428 | 8857 5944 51 | 8.143 % | 10.28/10.38 c | 54727 | 158 53 5428 | 9743 7083 51 | 8.143 % | 10.69/10.73 c | 56436 | 158 53 5428 | 10717 8792 51 | 8.143 % | 10.90/10.98 c =============================================================================== 10.90/10.98 c New solution: 65 10.90/10.98 o 65 10.90/10.98 c Elapsed CPU time: 10.8254 s Remaining CPU time: 169.175 s 10.90/10.98 c =============================================================================== 10.90/10.98 c | 57581 | 158 54 5540 | 5000 9937 51 | 8.143 % | 11.00/11.02 c | 57683 | 158 54 5540 | 5500 5071 51 | 8.143 % | 11.00/11.06 c | 57833 | 158 54 5540 | 6050 5221 52 | 8.143 % | 11.09/11.11 c | 58060 | 158 54 5540 | 6655 5448 52 | 8.143 % | 11.09/11.13 c =============================================================================== 11.09/11.13 c New solution: 61 11.09/11.13 o 61 11.09/11.13 c Elapsed CPU time: 10.9723 s Remaining CPU time: 169.028 s 11.09/11.13 c =============================================================================== 11.09/11.13 c | 58154 | 158 55 5652 | 5000 5542 52 | 8.143 % | 11.09/11.16 c | 58254 | 144 55 5652 | 5500 2813 53 | 16.282 % | 11.09/11.19 c | 58405 | 144 55 5652 | 6050 2964 53 | 16.282 % | 11.19/11.22 c =============================================================================== 11.19/11.22 c New solution: 59 11.19/11.22 o 59 11.19/11.22 c Elapsed CPU time: 11.0603 s Remaining CPU time: 168.94 s 11.19/11.22 c =============================================================================== 11.19/11.22 c | 58543 | 144 56 5764 | 5000 3102 54 | 16.282 % | 11.19/11.24 c | 58643 | 144 56 5764 | 5500 3202 54 | 16.282 % | 11.19/11.26 c | 58793 | 144 56 5764 | 6050 3352 54 | 16.282 % | 11.28/11.30 c | 59018 | 144 56 5764 | 6655 3577 54 | 16.282 % | 11.28/11.37 c | 59355 | 144 56 5764 | 7320 3914 54 | 16.282 % | 11.39/11.46 c | 59861 | 144 56 5764 | 8052 4420 54 | 16.282 % | 11.59/11.60 c | 60620 | 144 56 5764 | 8857 5179 54 | 16.282 % | 11.79/11.82 c | 61759 | 144 56 5764 | 9743 6318 55 | 16.282 % | 12.10/12.17 c | 63467 | 144 56 5764 | 10717 8026 55 | 16.282 % | 12.68/12.74 c | 66029 | 144 56 5764 | 11789 10588 55 | 16.282 % | 13.59/13.61 c | 69873 | 144 56 5764 | 12968 8505 55 | 16.282 % | 14.99/15.03 c | 75640 | 144 56 5764 | 14265 7758 54 | 16.282 % | 16.79/16.83 c | 84289 | 144 56 5764 | 15692 9237 55 | 16.282 % | 19.99/20.08 c | 97263 | 144 56 5764 | 17261 14328 57 | 16.282 % | 25.38/25.40 c | 116724 | 144 56 5764 | 18987 16457 57 | 16.282 % | 33.38/33.47 c | 145917 | 144 56 5764 | 20886 17063 57 | 16.282 % | 46.67/46.70 c | 189706 | 144 56 5764 | 22974 18932 56 | 16.282 % | 68.87/68.96 c | 255390 | 144 56 5764 | 25272 11446 57 | 16.282 % | 86.16/86.26 c =============================================================================== 86.16/86.26 c New solution: 55 86.16/86.26 o 55 86.16/86.26 c Elapsed CPU time: 85.369 s Remaining CPU time: 94.631 s 86.16/86.26 c =============================================================================== 86.16/86.26 c | 308394 | 144 57 5876 | 5000 20960 58 | 16.282 % | 86.26/86.39 c =============================================================================== 86.26/86.39 c New solution: 53 86.26/86.39 o 53 86.26/86.39 c Elapsed CPU time: 85.501 s Remaining CPU time: 94.499 s 86.26/86.39 c =============================================================================== 86.26/86.39 c | 308399 | 144 58 5988 | 5000 2625 57 | 16.282 % | 86.36/86.41 c | 308499 | 144 58 5988 | 5500 2725 57 | 16.282 % | 86.36/86.43 c | 308649 | 144 58 5988 | 6050 2875 57 | 16.282 % | 86.36/86.47 c | 308874 | 144 58 5988 | 6655 3100 57 | 16.282 % | 86.46/86.53 c | 309211 | 144 58 5988 | 7320 3437 57 | 16.282 % | 86.56/86.61 c | 309717 | 144 58 5988 | 8052 3943 57 | 16.282 % | 86.66/86.73 c | 310476 | 144 58 5988 | 8857 4702 57 | 16.282 % | 86.87/86.94 c | 311615 | 144 58 5988 | 9743 5841 56 | 16.282 % | 87.17/87.27 c | 313323 | 144 58 5988 | 10717 7549 56 | 16.282 % | 87.76/87.81 c | 315885 | 144 58 5988 | 11789 10111 56 | 16.282 % | 88.56/88.66 c | 319730 | 144 58 5988 | 12968 8021 56 | 16.282 % | 89.86/89.99 c | 325496 | 144 58 5988 | 14265 7266 56 | 16.282 % | 91.86/91.90 c | 334146 | 144 58 5988 | 15692 8747 56 | 16.282 % | 95.26/95.31 c | 347120 | 144 58 5988 | 17261 13837 55 | 16.282 % | 100.76/100.87 c | 366581 | 144 58 5988 | 18987 15962 55 | 16.282 % | 108.96/109.00 c | 395773 | 144 58 5988 | 20886 16565 55 | 16.282 % | 110.56/110.61 c =============================================================================== 110.56/110.61 c New solution: 52 110.56/110.61 o 52 110.56/110.61 c Elapsed CPU time: 109.476 s Remaining CPU time: 70.5236 s 110.56/110.61 c =============================================================================== 110.56/110.61 c | 400400 | 144 59 6100 | 5000 10721 55 | 16.282 % | 110.56/110.66 c | 400500 | 144 59 6100 | 5500 2781 57 | 16.282 % | 110.56/110.68 c | 400650 | 144 59 6100 | 6050 2931 57 | 16.282 % | 110.66/110.72 c | 400876 | 144 59 6100 | 6655 3157 56 | 16.282 % | 110.66/110.78 c | 401213 | 144 59 6100 | 7320 3494 56 | 16.282 % | 110.76/110.86 c | 401719 | 144 59 6100 | 8052 4000 55 | 16.282 % | 110.86/110.99 c | 402478 | 144 59 6100 | 8857 4759 55 | 16.282 % | 111.15/111.20 c | 403617 | 144 59 6100 | 9743 5898 55 | 16.282 % | 111.46/111.53 c | 405325 | 144 59 6100 | 10717 7606 55 | 16.282 % | 111.86/111.93 c =============================================================================== 111.86/111.93 c New solution: 42 111.86/111.93 o 42 111.86/111.93 c Elapsed CPU time: 110.786 s Remaining CPU time: 69.2138 s 111.86/111.93 c =============================================================================== 111.86/111.93 c | 407261 | 144 60 6212 | 5000 9542 55 | 16.282 % | 111.86/111.97 c | 407361 | 144 60 6212 | 5500 4871 55 | 16.282 % | 111.96/112.00 c | 407511 | 144 60 6212 | 6050 5021 55 | 16.282 % | 111.96/112.04 c | 407736 | 144 60 6212 | 6655 5246 55 | 16.282 % | 112.06/112.10 c | 408073 | 144 60 6212 | 7320 5583 55 | 16.282 % | 112.06/112.20 c | 408579 | 144 60 6212 | 8052 6089 55 | 16.282 % | 112.26/112.35 c | 409338 | 144 60 6212 | 8857 6848 55 | 16.282 % | 112.46/112.56 c | 410477 | 144 60 6212 | 9743 7987 55 | 16.282 % | 112.76/112.89 c | 412185 | 144 60 6212 | 10717 9695 55 | 16.282 % | 113.36/113.42 c | 414748 | 144 60 6212 | 11789 6866 54 | 16.282 % | 114.16/114.22 c | 418592 | 144 60 6212 | 12968 10710 53 | 16.282 % | 115.36/115.47 c | 424358 | 144 60 6212 | 14265 9955 53 | 16.282 % | 117.35/117.43 c | 433007 | 144 60 6212 | 15692 11435 54 | 16.282 % | 120.46/120.59 c | 445981 | 144 60 6212 | 17261 8637 55 | 16.282 % | 125.37/125.41 c | 465442 | 144 60 6212 | 18987 10763 54 | 16.282 % | 133.15/133.24 c | 494634 | 144 60 6212 | 20886 11370 54 | 16.282 % | 145.55/145.62 c | 538423 | 144 60 6212 | 22974 13253 54 | 16.282 % | 166.14/166.21 c | 604107 | 144 60 6212 | 25272 17435 56 | 16.282 % | 181.03/181.14 c =============================================================================== 181.03/181.14 c New solution: 40 181.03/181.14 o 40 181.03/181.14 c Elapsed CPU time: 179.27 s Remaining CPU time: 0.730254 s 181.03/181.14 c =============================================================================== 181.03/181.14 c | 644003 | 144 61 6324 | 5000 16025 57 | 16.282 % | 181.13/181.23 c | 644104 | 144 61 6324 | 5500 4108 55 | 16.282 % | 181.13/181.26 c | 644254 | 144 61 6324 | 6050 4258 55 | 16.282 % | 181.23/181.31 c | 644479 | 144 61 6324 | 6655 4483 55 | 16.282 % | 181.23/181.38 c | 644816 | 144 61 6324 | 7320 4820 55 | 16.282 % | 181.34/181.48 c | 645322 | 144 61 6324 | 8052 5326 55 | 16.282 % | 181.54/181.63 c | 646081 | 144 61 6324 | 8857 6085 56 | 16.282 % | 181.74/181.86 c | 647220 | 144 61 6324 | 9743 7224 56 | 16.282 % | 181.74/181.88 c There are 28 assigned variables. 28 in cost function. 182.34/182.44 c ============================[ Search Statistics ]============================== 182.34/182.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.44 c =============================================================================== 182.34/182.44 c | 0 | 60 169 1004 | 5000 0 nan | 0.000 % | 182.34/182.45 c | 100 | 60 169 1004 | 5500 100 66 | 65.120 % | 182.34/182.48 c | 250 | 60 169 1004 | 6050 250 68 | 65.120 % | 182.44/182.52 c | 475 | 60 169 1004 | 6655 475 67 | 65.120 % | 182.44/182.58 c | 812 | 60 169 1004 | 7320 812 66 | 65.120 % | 182.54/182.68 c | 1318 | 60 169 1004 | 8052 1318 66 | 65.120 % | 182.74/182.80 c | 2077 | 60 169 1004 | 8857 2077 67 | 65.120 % | 182.84/182.96 c | 3216 | 60 169 1004 | 9743 3216 66 | 65.120 % | 183.13/183.26 c | 4924 | 60 169 1004 | 10717 4924 67 | 65.120 % | 183.64/183.76 c | 7486 | 60 169 1004 | 11789 7486 67 | 65.120 % | 184.44/184.55 c | 11330 | 60 169 1004 | 12968 11330 66 | 65.120 % | 185.84/185.91 c | 17096 | 60 169 1004 | 14265 10532 65 | 65.120 % | 187.73/187.85 c | 25746 | 60 169 1004 | 15692 11968 66 | 65.120 % | 190.63/190.77 c | 38720 | 60 169 1004 | 17261 9094 65 | 65.120 % | 195.23/195.32 c | 58181 | 60 169 1004 | 18987 11136 67 | 65.120 % | 203.03/203.11 c | 87373 | 60 169 1004 | 20886 11611 68 | 65.120 % | 215.92/216.07 c | 131163 | 60 169 1004 | 22974 13314 70 | 65.120 % | 237.62/237.72 c | 196848 | 60 169 1004 | 25272 17067 71 | 65.120 % | 273.11/273.26 c | 295374 | 60 169 1004 | 27799 13499 71 | 65.120 % | 326.29/326.48 c | 443164 | 60 169 1004 | 30579 25188 67 | 65.120 % | 417.36/417.50 c | 664847 | 60 169 1004 | 33637 30152 68 | 65.120 % | 547.12/547.35 c | 997372 | 60 169 1004 | 37001 22732 67 | 65.120 % | 764.04/764.30 c | 1496161 | 60 169 1004 | 40701 28784 73 | 65.120 % | 1125.93/1126.31 c | 2244343 | 60 169 1004 | 44771 38643 69 | 65.120 % | 1741.12/1741.71 c | 3366618 | 60 169 1004 | 49248 21704 68 | 65.120 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680692-1277458387/watcher-2680692-1277458387 -o /tmp/evaluation-result-2680692-1277458387/solver-2680692-1277458387 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680692-1277458387.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.96 1.00 0.97 3/106 22560 /proc/meminfo: memFree=1856376/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=2572 CPUtime=0 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 283 0 0 0 0 0 0 0 25 0 1 0 121440254 2633728 198 1992294400 134512640 135752675 4289508640 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 643 198 143 303 0 338 0 [startup+0.0594731 s] /proc/loadavg: 0.96 1.00 0.97 3/106 22560 /proc/meminfo: memFree=1856376/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=2700 CPUtime=0.05 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 340 0 0 0 5 0 0 0 25 0 1 0 121440254 2764800 255 1992294400 134512640 135752675 4289508640 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 675 255 144 303 0 370 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2700 [startup+0.101479 s] /proc/loadavg: 0.96 1.00 0.97 3/106 22560 /proc/meminfo: memFree=1856376/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=2960 CPUtime=0.09 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 377 0 0 0 9 0 0 0 25 0 1 0 121440254 3031040 292 1992294400 134512640 135752675 4289508640 18446744073709551615 134638100 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 740 292 144 303 0 435 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2960 [startup+0.300505 s] /proc/loadavg: 0.96 1.00 0.97 3/106 22560 /proc/meminfo: memFree=1856376/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=3488 CPUtime=0.29 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 512 0 0 0 29 0 0 0 25 0 1 0 121440254 3571712 427 1992294400 134512640 135752675 4289508640 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 872 427 144 303 0 567 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3488 [startup+0.700557 s] /proc/loadavg: 0.96 1.00 0.97 3/106 22560 /proc/meminfo: memFree=1856376/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=4272 CPUtime=0.69 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 726 0 0 0 68 1 0 0 25 0 1 0 121440254 4374528 641 1992294400 134512640 135752675 4289508640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 1068 641 144 303 0 763 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4272 [startup+1.50066 s] /proc/loadavg: 0.96 1.00 0.97 2/107 22561 /proc/meminfo: memFree=1853640/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=5856 CPUtime=1.49 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 1112 0 0 0 146 3 0 0 25 0 1 0 121440254 5996544 1027 1992294400 134512640 135752675 4289508640 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 1464 1027 144 303 0 1159 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5856 [startup+3.10087 s] /proc/loadavg: 0.96 1.00 0.97 2/107 22561 /proc/meminfo: memFree=1851284/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=8460 CPUtime=3.09 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 1778 0 0 0 305 4 0 0 25 0 1 0 121440254 8663040 1693 1992294400 134512640 135752675 4289508640 18446744073709551615 134605356 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 2115 1693 145 303 0 1810 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8460 [startup+6.30029 s] /proc/loadavg: 0.96 1.00 0.97 2/107 22561 /proc/meminfo: memFree=1845828/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=13932 CPUtime=6.29 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 3121 0 0 0 620 9 0 0 25 0 1 0 121440254 14266368 3036 1992294400 134512640 135752675 4289508640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 3483 3036 145 303 0 3178 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13932 [startup+12.7011 s] /proc/loadavg: 0.96 1.00 0.97 2/107 22561 /proc/meminfo: memFree=1835412/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=23684 CPUtime=12.68 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 5571 0 0 0 1251 17 0 0 25 0 1 0 121440254 24252416 5486 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 5921 5486 145 303 0 5616 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23684 [startup+25.5008 s] /proc/loadavg: 0.97 1.00 0.97 2/107 22561 /proc/meminfo: memFree=1818672/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=39696 CPUtime=25.48 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 9586 0 0 0 2516 32 0 0 25 0 1 0 121440254 40648704 9501 1992294400 134512640 135752675 4289508640 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 9924 9501 145 303 0 9619 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39696 [startup+51.1012 s] /proc/loadavg: 0.98 1.00 0.97 2/107 22561 /proc/meminfo: memFree=1792012/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=66680 CPUtime=51.07 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 16311 0 0 0 5052 55 0 0 25 0 1 0 121440254 68280320 16226 1992294400 134512640 135752675 4289508640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 16670 16226 145 303 0 16365 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 66680 [startup+102.308 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22563 /proc/meminfo: memFree=1738816/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=119172 CPUtime=102.27 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 29419 0 0 0 10125 102 0 0 25 0 1 0 121440254 122032128 29334 1992294400 134512640 135752675 4289508640 18446744073709551615 134611594 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 29793 29334 145 303 0 29488 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 119172 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22565 /proc/meminfo: memFree=1672848/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=185724 CPUtime=162.25 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 46059 0 0 0 16058 167 0 0 25 0 1 0 121440254 190181376 45974 1992294400 134512640 135752675 4289508640 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 46431 45974 145 303 0 46126 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 185724 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22565 /proc/meminfo: memFree=1617544/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=240192 CPUtime=222.23 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 59696 0 0 0 21996 227 0 0 25 0 1 0 121440254 245956608 59611 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 60048 59611 146 303 0 59743 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 240192 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22567 /proc/meminfo: memFree=1566456/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=291780 CPUtime=282.2 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 72552 0 0 0 27936 284 0 0 25 0 1 0 121440254 298782720 72467 1992294400 134512640 135752675 4289508640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 72945 72467 146 303 0 72640 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 291780 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22569 /proc/meminfo: memFree=1518716/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=338676 CPUtime=342.19 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 84300 0 0 0 33881 338 0 0 25 0 1 0 121440254 346804224 84215 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 84669 84215 146 303 0 84364 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 338676 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22571 /proc/meminfo: memFree=1477052/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=380712 CPUtime=402.16 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 94774 0 0 0 39833 383 0 0 25 0 1 0 121440254 389849088 94689 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 95178 94689 146 303 0 94873 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 380712 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22573 /proc/meminfo: memFree=1432040/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=425372 CPUtime=462.15 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 105932 0 0 0 45785 430 0 0 25 0 1 0 121440254 435580928 105847 1992294400 134512640 135752675 4289508640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 106343 105847 146 303 0 106038 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 425372 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22573 /proc/meminfo: memFree=1379960/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=477692 CPUtime=522.12 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 119022 0 0 0 51731 481 0 0 25 0 1 0 121440254 489156608 118937 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 119423 118937 146 303 0 119118 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 477692 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22575 /proc/meminfo: memFree=1332344/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=525020 CPUtime=582.1 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 130848 0 0 0 57685 525 0 0 25 0 1 0 121440254 537620480 130763 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 131255 130763 146 303 0 130950 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 525020 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22577 /proc/meminfo: memFree=1285224/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=571604 CPUtime=642.09 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 142493 0 0 0 63638 571 0 0 25 0 1 0 121440254 585322496 142408 1992294400 134512640 135752675 4289508640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 142901 142408 146 303 0 142596 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 571604 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22583 /proc/meminfo: memFree=1100712/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=755672 CPUtime=882.01 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 188500 0 0 0 87455 746 0 0 25 0 1 0 121440254 773808128 188415 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 188918 188415 146 303 0 188613 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 755672 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22585 /proc/meminfo: memFree=1064132/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=792428 CPUtime=941.98 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 197663 0 0 0 93415 783 0 0 25 0 1 0 121440254 811446272 197578 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 198107 197578 146 303 0 197802 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 792428 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22587 /proc/meminfo: memFree=1024204/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=832040 CPUtime=1001.97 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 207561 0 0 0 99372 825 0 0 25 0 1 0 121440254 852008960 207476 1992294400 134512640 135752675 4289508640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 208010 207476 146 303 0 207705 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 832040 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22589 /proc/meminfo: memFree=978448/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=878256 CPUtime=1061.94 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 219114 0 0 0 105329 865 0 0 25 0 1 0 121440254 899334144 219029 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 219564 219029 146 303 0 219259 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 878256 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22589 /proc/meminfo: memFree=935420/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=920724 CPUtime=1121.93 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 229739 0 0 0 111285 908 0 0 25 0 1 0 121440254 942821376 229654 1992294400 134512640 135752675 4289508640 18446744073709551615 134611609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 230181 229654 146 303 0 229876 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 920724 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22591 /proc/meminfo: memFree=896484/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=959652 CPUtime=1181.91 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 239431 0 0 0 117246 945 0 0 25 0 1 0 121440254 982683648 239346 1992294400 134512640 135752675 4289508640 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 239913 239346 146 303 0 239608 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 959652 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22593 /proc/meminfo: memFree=855688/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1000348 CPUtime=1241.89 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 249609 0 0 0 123201 988 0 0 25 0 1 0 121440254 1024356352 249524 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 250087 249524 146 303 0 249782 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1000348 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22595 /proc/meminfo: memFree=821340/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1034208 CPUtime=1301.88 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 258084 0 0 0 129162 1026 0 0 25 0 1 0 121440254 1059028992 257999 1992294400 134512640 135752675 4289508640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 258552 257999 146 303 0 258247 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1034208 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22597 /proc/meminfo: memFree=784016/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1071844 CPUtime=1361.85 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 267470 0 0 0 135123 1062 0 0 25 0 1 0 121440254 1097568256 267385 1992294400 134512640 135752675 4289508640 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 267961 267385 146 303 0 267656 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1071844 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22597 /proc/meminfo: memFree=746320/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1109024 CPUtime=1421.84 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 276790 0 0 0 141087 1097 0 0 25 0 1 0 121440254 1135640576 276705 1992294400 134512640 135752675 4289508640 18446744073709551615 134650395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 277256 276705 146 303 0 276951 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1109024 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22599 /proc/meminfo: memFree=707508/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1148296 CPUtime=1481.81 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 286601 0 0 0 147043 1138 0 0 25 0 1 0 121440254 1175855104 286516 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 287074 286516 146 303 0 286769 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1148296 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22601 /proc/meminfo: memFree=672912/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1182480 CPUtime=1541.79 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 295130 0 0 0 153007 1172 0 0 25 0 1 0 121440254 1210859520 295045 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 295620 295045 146 303 0 295315 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1182480 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.97 2/107 22603 /proc/meminfo: memFree=634472/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1221084 CPUtime=1601.77 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 304795 0 0 0 158968 1209 0 0 25 0 1 0 121440254 1250390016 304710 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 305271 304710 146 303 0 304966 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1221084 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 0.98 2/107 22605 /proc/meminfo: memFree=597024/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1257964 CPUtime=1661.76 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 314022 0 0 0 164929 1247 0 0 25 0 1 0 121440254 1288155136 313937 1992294400 134512640 135752675 4289508640 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 314491 313937 146 303 0 314186 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1257964 [startup+1722.3 s] /proc/loadavg: 1.01 1.00 0.98 2/107 22614 /proc/meminfo: memFree=559824/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1295832 CPUtime=1721.73 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 323488 0 0 0 170884 1289 0 0 25 0 1 0 121440254 1326931968 323403 1992294400 134512640 135752675 4289508640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 323958 323403 146 303 0 323653 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1295832 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 22616 /proc/meminfo: memFree=526096/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1328760 CPUtime=1781.71 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 331707 0 0 0 176848 1323 0 0 25 0 1 0 121440254 1360650240 331622 1992294400 134512640 135752675 4289508640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 332190 331622 146 303 0 331885 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1328760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.98 2/107 22618 /proc/meminfo: memFree=514936/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=1339616 CPUtime=1800.02 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4202496 334437 0 0 0 178668 1334 0 0 25 0 1 0 121440254 1371766784 334352 1992294400 134512640 135752675 4289508640 18446744073709551615 134611707 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22560/statm: 334904 334352 146 303 0 334599 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1339616 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 0.98 2/107 22618 /proc/meminfo: memFree=514936/2059040 swapFree=4139492/4192956 [pid=22560] ppid=22558 vsize=0 CPUtime=1800.12 /proc/22560/stat : 22560 (wbo1.4b) R 22558 22560 22192 0 -1 4203524 334437 0 0 0 178668 1344 0 0 25 0 1 0 121440254 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/22560/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.75 CPU time (s): 1800.16 CPU user time (s): 1786.68 CPU system time (s): 13.476 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 1339616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.68 system time used= 13.476 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 334437 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= 3 involuntary context switches= 2850 runsolver used 2.89656 second user time and 8.60269 second system time The end
Begin job on node013 at 2010-06-25 11:33:08 IDJOB=2680692 IDBENCH=2921 IDSOLVER=1190 FILE ID=node013/2680692-1277458387 PBS_JOBID= 11188145 Free space on /tmp= 62404 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680692-1277458387/watcher-2680692-1277458387 -o /tmp/evaluation-result-2680692-1277458387/solver-2680692-1277458387 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680692-1277458387.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=1748227679 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1856656 kB Buffers: 29548 kB Cached: 70860 kB SwapCached: 5972 kB Active: 24008 kB Inactive: 89936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1856656 kB SwapTotal: 4192956 kB SwapFree: 4139492 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 12216 kB Mapped: 11928 kB Slab: 66016 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182736 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= 62400 MiB End job on node013 at 2010-06-25 12:03:10