Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b | ? (TO) | 1800.16 | 1800.63 |
| 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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656049-1276615310.opb. 0.00/0.00 c Instance file HOME/instance-2656049-1276615310.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.018997 s Remaining CPU time: 179.981 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.021996 s Remaining CPU time: 179.978 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.023996 s Remaining CPU time: 179.976 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.024996 s Remaining CPU time: 179.975 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.032994 s Remaining CPU time: 179.967 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.054991 s Remaining CPU time: 179.945 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.055991 s Remaining CPU time: 179.944 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 524 | 172 24 2180 | 5000 524 70 | 0.003 % | 0.00/0.06 c | 624 | 172 24 2180 | 5500 624 70 | 0.003 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 633 0.00/0.07 o 633 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 635 | 172 25 2292 | 5000 635 70 | 0.003 % | 0.07/0.08 c =============================================================================== 0.07/0.08 c New solution: 608 0.07/0.08 o 608 0.07/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s 0.07/0.08 c =============================================================================== 0.07/0.08 c | 705 | 172 26 2404 | 5000 705 68 | 0.003 % | 0.07/0.08 c =============================================================================== 0.07/0.08 c New solution: 567 0.07/0.08 o 567 0.07/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s 0.07/0.08 c =============================================================================== 0.07/0.08 c | 719 | 172 27 2516 | 5000 719 69 | 0.003 % | 0.07/0.09 c | 820 | 172 27 2516 | 5500 820 67 | 0.003 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c New solution: 482 0.07/0.09 o 482 0.07/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s 0.07/0.09 c =============================================================================== 0.07/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.17 c =============================================================================== 0.09/0.17 c New solution: 431 0.09/0.17 o 431 0.09/0.17 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s 0.09/0.17 c =============================================================================== 0.09/0.17 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.206968 s Remaining CPU time: 179.793 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.208968 s Remaining CPU time: 179.791 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.275958 s Remaining CPU time: 179.724 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.19/0.30 c =============================================================================== 0.19/0.30 c New solution: 264 0.19/0.30 o 264 0.19/0.30 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s 0.19/0.30 c =============================================================================== 0.19/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.306953 s Remaining CPU time: 179.693 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.307953 s Remaining CPU time: 179.692 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 2506 | 172 37 3636 | 5000 2506 60 | 0.003 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 224 0.29/0.31 o 224 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 | 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.321951 s Remaining CPU time: 179.678 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.41 c =============================================================================== 0.39/0.41 c New solution: 189 0.39/0.41 o 189 0.39/0.41 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s 0.39/0.41 c =============================================================================== 0.39/0.41 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.414936 s Remaining CPU time: 179.585 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.46 c | 3457 | 172 41 4084 | 6050 3457 58 | 0.003 % | 0.50/0.50 c | 3682 | 172 41 4084 | 6655 3682 58 | 0.003 % | 0.50/0.55 c | 4020 | 172 41 4084 | 7320 4020 57 | 0.003 % | 0.60/0.62 c | 4526 | 172 41 4084 | 8052 4526 56 | 0.003 % | 0.69/0.74 c | 5285 | 172 41 4084 | 8857 5285 56 | 0.003 % | 0.89/0.92 c | 6424 | 172 41 4084 | 9743 6424 55 | 0.003 % | 1.19/1.22 c | 8132 | 172 41 4084 | 10717 8132 54 | 0.003 % | 1.59/1.65 c | 10694 | 172 41 4084 | 11789 10694 54 | 0.003 % | 2.29/2.38 c | 14538 | 172 41 4084 | 12968 8616 53 | 0.003 % | 3.59/3.65 c | 20304 | 172 41 4084 | 14265 7881 52 | 0.003 % | 3.69/3.72 c =============================================================================== 3.69/3.72 c New solution: 171 3.69/3.72 o 171 3.69/3.72 c Elapsed CPU time: 3.66344 s Remaining CPU time: 176.337 s 3.69/3.72 c =============================================================================== 3.69/3.72 c | 20613 | 172 42 4196 | 5000 8190 52 | 0.003 % | 3.69/3.76 c | 20713 | 172 42 4196 | 5500 4195 52 | 0.003 % | 3.69/3.78 c | 20864 | 172 42 4196 | 6050 4346 52 | 0.003 % | 3.79/3.82 c | 21090 | 172 42 4196 | 6655 4572 52 | 0.003 % | 3.79/3.88 c | 21429 | 172 42 4196 | 7320 4911 52 | 0.003 % | 3.89/3.95 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.16537 s Remaining CPU time: 175.835 s 4.19/4.22 c =============================================================================== 4.19/4.22 c | 23396 | 172 43 4308 | 5000 6878 52 | 0.003 % | 4.19/4.25 c | 23496 | 172 43 4308 | 5500 3539 52 | 0.003 % | 4.19/4.28 c | 23646 | 172 43 4308 | 6050 3689 52 | 0.003 % | 4.19/4.30 c =============================================================================== 4.19/4.30 c New solution: 133 4.19/4.30 o 133 4.19/4.30 c Elapsed CPU time: 4.24136 s Remaining CPU time: 175.759 s 4.19/4.30 c =============================================================================== 4.19/4.30 c | 23776 | 172 44 4420 | 5000 3819 52 | 0.003 % | 4.30/4.32 c | 23876 | 172 44 4420 | 5500 3919 53 | 0.003 % | 4.30/4.34 c | 24026 | 172 44 4420 | 6050 4069 53 | 0.003 % | 4.30/4.38 c | 24251 | 172 44 4420 | 6655 4294 53 | 0.003 % | 4.40/4.43 c | 24588 | 172 44 4420 | 7320 4631 53 | 0.003 % | 4.49/4.52 c | 25095 | 172 44 4420 | 8052 5138 52 | 0.003 % | 4.49/4.54 c =============================================================================== 4.49/4.54 c New solution: 121 4.49/4.54 o 121 4.49/4.54 c Elapsed CPU time: 4.47832 s Remaining CPU time: 175.522 s 4.49/4.54 c =============================================================================== 4.49/4.54 c | 25192 | 172 45 4532 | 5000 5235 52 | 0.003 % | 4.49/4.57 c | 25294 | 158 45 4532 | 5500 5016 53 | 8.143 % | 4.49/4.59 c | 25444 | 158 45 4532 | 6050 5166 53 | 8.143 % | 4.59/4.64 c | 25669 | 158 45 4532 | 6655 5391 53 | 8.143 % | 4.69/4.70 c | 26006 | 158 45 4532 | 7320 5728 53 | 8.143 % | 4.69/4.74 c =============================================================================== 4.69/4.74 c New solution: 115 4.69/4.74 o 115 4.69/4.74 c Elapsed CPU time: 4.67029 s Remaining CPU time: 175.33 s 4.69/4.74 c =============================================================================== 4.69/4.74 c | 26200 | 158 46 4644 | 5000 5922 53 | 8.143 % | 4.69/4.76 c | 26301 | 158 46 4644 | 5500 3062 53 | 8.143 % | 4.69/4.79 c | 26453 | 158 46 4644 | 6050 3214 54 | 8.143 % | 4.79/4.83 c | 26678 | 158 46 4644 | 6655 3439 54 | 8.143 % | 4.79/4.83 c =============================================================================== 4.79/4.83 c New solution: 111 4.79/4.83 o 111 4.79/4.83 c Elapsed CPU time: 4.76628 s Remaining CPU time: 175.234 s 4.79/4.83 c =============================================================================== 4.79/4.83 c | 26716 | 158 47 4756 | 5000 3477 54 | 8.143 % | 4.79/4.85 c | 26816 | 158 47 4756 | 5500 3577 54 | 8.143 % | 4.79/4.88 c | 26967 | 158 47 4756 | 6050 3728 54 | 8.143 % | 4.89/4.91 c | 27192 | 158 47 4756 | 6655 3953 54 | 8.143 % | 4.89/4.97 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.18 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.13822 s Remaining CPU time: 174.862 s 5.19/5.21 c =============================================================================== 5.19/5.21 c | 28958 | 158 48 4868 | 5000 5719 54 | 8.143 % | 5.19/5.24 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.29/5.30 c | 29433 | 158 48 4868 | 6655 3335 55 | 8.143 % | 5.29/5.36 c | 29770 | 158 48 4868 | 7320 3672 54 | 8.143 % | 5.39/5.45 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.80 c | 32176 | 158 48 4868 | 9743 6078 54 | 8.143 % | 6.09/6.13 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.44002 s Remaining CPU time: 173.56 s 6.49/6.53 c =============================================================================== 6.49/6.53 c | 35783 | 158 49 4980 | 5000 9685 54 | 8.143 % | 6.49/6.57 c | 35883 | 158 49 4980 | 5500 4943 53 | 8.143 % | 6.49/6.60 c | 36033 | 158 49 4980 | 6050 5093 53 | 8.143 % | 6.59/6.64 c | 36258 | 158 49 4980 | 6655 5318 53 | 8.143 % | 6.69/6.70 c | 36596 | 158 49 4980 | 7320 5656 52 | 8.143 % | 6.69/6.73 c =============================================================================== 6.69/6.73 c New solution: 75 6.69/6.73 o 75 6.69/6.73 c Elapsed CPU time: 6.63899 s Remaining CPU time: 173.361 s 6.69/6.73 c =============================================================================== 6.69/6.73 c | 36762 | 158 50 5092 | 5000 5822 52 | 8.143 % | 6.69/6.76 c | 36863 | 158 50 5092 | 5500 3012 52 | 8.143 % | 6.69/6.79 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.77397 s Remaining CPU time: 173.226 s 6.79/6.86 c =============================================================================== 6.79/6.86 c | 37448 | 158 51 5204 | 5000 3597 52 | 8.143 % | 6.79/6.88 c | 37548 | 158 51 5204 | 5500 3697 52 | 8.143 % | 6.89/6.91 c | 37698 | 158 51 5204 | 6050 3847 52 | 8.143 % | 6.89/6.95 c | 37924 | 158 51 5204 | 6655 4073 52 | 8.143 % | 6.99/7.01 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.18/7.25 c | 39526 | 158 51 5204 | 8857 5675 53 | 8.143 % | 7.39/7.48 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.39/8.40 c | 44935 | 158 51 5204 | 11789 5691 52 | 8.143 % | 9.09/9.17 c | 48779 | 158 51 5204 | 12968 9535 52 | 8.143 % | 9.49/9.51 c =============================================================================== 9.49/9.51 c New solution: 70 9.49/9.51 o 70 9.49/9.51 c Elapsed CPU time: 9.38857 s Remaining CPU time: 170.611 s 9.49/9.51 c =============================================================================== 9.49/9.51 c | 50444 | 158 52 5316 | 5000 11200 52 | 8.143 % | 9.49/9.58 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.65 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.75 c =============================================================================== 9.69/9.75 c New solution: 69 9.69/9.75 o 69 9.69/9.75 c Elapsed CPU time: 9.62654 s Remaining CPU time: 170.373 s 9.69/9.75 c =============================================================================== 9.69/9.75 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.91 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.15 c | 53588 | 158 53 5428 | 8857 5944 51 | 8.143 % | 10.29/10.37 c | 54727 | 158 53 5428 | 9743 7083 51 | 8.143 % | 10.68/10.72 c | 56436 | 158 53 5428 | 10717 8792 51 | 8.143 % | 10.90/10.96 c =============================================================================== 10.90/10.96 c New solution: 65 10.90/10.96 o 65 10.90/10.96 c Elapsed CPU time: 10.8194 s Remaining CPU time: 169.181 s 10.90/10.96 c =============================================================================== 10.90/10.96 c | 57581 | 158 54 5540 | 5000 9937 51 | 8.143 % | 11.00/11.01 c | 57683 | 158 54 5540 | 5500 5071 51 | 8.143 % | 11.00/11.05 c | 57833 | 158 54 5540 | 6050 5221 52 | 8.143 % | 11.00/11.09 c | 58060 | 158 54 5540 | 6655 5448 52 | 8.143 % | 11.09/11.11 c =============================================================================== 11.09/11.11 c New solution: 61 11.09/11.11 o 61 11.09/11.11 c Elapsed CPU time: 10.9713 s Remaining CPU time: 169.029 s 11.09/11.11 c =============================================================================== 11.09/11.11 c | 58154 | 158 55 5652 | 5000 5542 52 | 8.143 % | 11.09/11.15 c | 58254 | 144 55 5652 | 5500 2813 53 | 16.282 % | 11.09/11.18 c | 58405 | 144 55 5652 | 6050 2964 53 | 16.282 % | 11.19/11.20 c =============================================================================== 11.19/11.20 c New solution: 59 11.19/11.20 o 59 11.19/11.20 c Elapsed CPU time: 11.0603 s Remaining CPU time: 168.94 s 11.19/11.20 c =============================================================================== 11.19/11.20 c | 58543 | 144 56 5764 | 5000 3102 54 | 16.282 % | 11.19/11.22 c | 58643 | 144 56 5764 | 5500 3202 54 | 16.282 % | 11.19/11.25 c | 58793 | 144 56 5764 | 6050 3352 54 | 16.282 % | 11.19/11.29 c | 59018 | 144 56 5764 | 6655 3577 54 | 16.282 % | 11.29/11.36 c | 59355 | 144 56 5764 | 7320 3914 54 | 16.282 % | 11.39/11.44 c | 59861 | 144 56 5764 | 8052 4420 54 | 16.282 % | 11.48/11.58 c | 60620 | 144 56 5764 | 8857 5179 54 | 16.282 % | 11.79/11.80 c | 61759 | 144 56 5764 | 9743 6318 55 | 16.282 % | 12.09/12.15 c | 63467 | 144 56 5764 | 10717 8026 55 | 16.282 % | 12.69/12.71 c | 66029 | 144 56 5764 | 11789 10588 55 | 16.282 % | 13.48/13.58 c | 69873 | 144 56 5764 | 12968 8505 55 | 16.282 % | 14.99/15.00 c | 75640 | 144 56 5764 | 14265 7758 54 | 16.282 % | 16.79/16.81 c | 84289 | 144 56 5764 | 15692 9237 55 | 16.282 % | 19.98/20.06 c | 97263 | 144 56 5764 | 17261 14328 57 | 16.282 % | 25.39/25.42 c | 116724 | 144 56 5764 | 18987 16457 57 | 16.282 % | 33.48/33.57 c | 145917 | 144 56 5764 | 20886 17063 57 | 16.282 % | 46.78/46.87 c | 189706 | 144 56 5764 | 22974 18932 56 | 16.282 % | 69.19/69.30 c | 255390 | 144 56 5764 | 25272 11446 57 | 16.282 % | 86.47/86.57 c =============================================================================== 86.47/86.57 c New solution: 55 86.47/86.57 o 55 86.47/86.57 c Elapsed CPU time: 85.707 s Remaining CPU time: 94.293 s 86.47/86.57 c =============================================================================== 86.47/86.57 c | 308394 | 144 57 5876 | 5000 20960 58 | 16.282 % | 86.67/86.75 c =============================================================================== 86.67/86.75 c New solution: 53 86.67/86.75 o 53 86.67/86.75 c Elapsed CPU time: 85.8869 s Remaining CPU time: 94.1131 s 86.67/86.75 c =============================================================================== 86.67/86.75 c | 308399 | 144 58 5988 | 5000 2625 57 | 16.282 % | 86.67/86.77 c | 308499 | 144 58 5988 | 5500 2725 57 | 16.282 % | 86.67/86.80 c | 308649 | 144 58 5988 | 6050 2875 57 | 16.282 % | 86.77/86.83 c | 308874 | 144 58 5988 | 6655 3100 57 | 16.282 % | 86.77/86.89 c | 309211 | 144 58 5988 | 7320 3437 57 | 16.282 % | 86.87/86.97 c | 309717 | 144 58 5988 | 8052 3943 57 | 16.282 % | 86.96/87.09 c | 310476 | 144 58 5988 | 8857 4702 57 | 16.282 % | 87.27/87.30 c | 311615 | 144 58 5988 | 9743 5841 56 | 16.282 % | 87.57/87.63 c | 313323 | 144 58 5988 | 10717 7549 56 | 16.282 % | 88.07/88.16 c | 315885 | 144 58 5988 | 11789 10111 56 | 16.282 % | 88.98/89.01 c | 319730 | 144 58 5988 | 12968 8021 56 | 16.282 % | 90.26/90.32 c | 325496 | 144 58 5988 | 14265 7266 56 | 16.282 % | 92.17/92.22 c | 334146 | 144 58 5988 | 15692 8747 56 | 16.282 % | 95.47/95.60 c | 347120 | 144 58 5988 | 17261 13837 55 | 16.282 % | 100.96/101.08 c | 366581 | 144 58 5988 | 18987 15962 55 | 16.282 % | 109.06/109.19 c | 395773 | 144 58 5988 | 20886 16565 55 | 16.282 % | 110.76/110.82 c =============================================================================== 110.76/110.82 c New solution: 52 110.76/110.82 o 52 110.76/110.82 c Elapsed CPU time: 109.687 s Remaining CPU time: 70.3127 s 110.76/110.82 c =============================================================================== 110.76/110.82 c | 400400 | 144 59 6100 | 5000 10721 55 | 16.282 % | 110.76/110.88 c | 400500 | 144 59 6100 | 5500 2781 57 | 16.282 % | 110.87/110.91 c | 400650 | 144 59 6100 | 6050 2931 57 | 16.282 % | 110.87/110.95 c | 400876 | 144 59 6100 | 6655 3157 56 | 16.282 % | 110.97/111.00 c | 401213 | 144 59 6100 | 7320 3494 56 | 16.282 % | 110.97/111.08 c | 401719 | 144 59 6100 | 8052 4000 55 | 16.282 % | 111.16/111.21 c | 402478 | 144 59 6100 | 8857 4759 55 | 16.282 % | 111.36/111.42 c | 403617 | 144 59 6100 | 9743 5898 55 | 16.282 % | 111.66/111.75 c | 405325 | 144 59 6100 | 10717 7606 55 | 16.282 % | 112.07/112.14 c =============================================================================== 112.07/112.14 c New solution: 42 112.07/112.14 o 42 112.07/112.14 c Elapsed CPU time: 110.982 s Remaining CPU time: 69.0179 s 112.07/112.14 c =============================================================================== 112.07/112.14 c | 407261 | 144 60 6212 | 5000 9542 55 | 16.282 % | 112.07/112.19 c | 407361 | 144 60 6212 | 5500 4871 55 | 16.282 % | 112.17/112.22 c | 407511 | 144 60 6212 | 6050 5021 55 | 16.282 % | 112.17/112.26 c | 407736 | 144 60 6212 | 6655 5246 55 | 16.282 % | 112.26/112.31 c | 408073 | 144 60 6212 | 7320 5583 55 | 16.282 % | 112.36/112.41 c | 408579 | 144 60 6212 | 8052 6089 55 | 16.282 % | 112.47/112.56 c | 409338 | 144 60 6212 | 8857 6848 55 | 16.282 % | 112.66/112.77 c | 410477 | 144 60 6212 | 9743 7987 55 | 16.282 % | 112.96/113.10 c | 412185 | 144 60 6212 | 10717 9695 55 | 16.282 % | 113.56/113.62 c | 414748 | 144 60 6212 | 11789 6866 54 | 16.282 % | 114.36/114.41 c | 418592 | 144 60 6212 | 12968 10710 53 | 16.282 % | 115.56/115.66 c | 424358 | 144 60 6212 | 14265 9955 53 | 16.282 % | 117.57/117.61 c | 433007 | 144 60 6212 | 15692 11435 54 | 16.282 % | 120.66/120.78 c | 445981 | 144 60 6212 | 17261 8637 55 | 16.282 % | 125.46/125.56 c | 465442 | 144 60 6212 | 18987 10763 54 | 16.282 % | 133.26/133.34 c | 494634 | 144 60 6212 | 20886 11370 54 | 16.282 % | 145.56/145.67 c | 538423 | 144 60 6212 | 22974 13253 54 | 16.282 % | 165.95/166.09 c | 604107 | 144 60 6212 | 25272 17435 56 | 16.282 % | 180.74/180.88 c =============================================================================== 180.74/180.88 c New solution: 40 180.74/180.88 o 40 180.74/180.88 c Elapsed CPU time: 179.024 s Remaining CPU time: 0.976216 s 180.74/180.88 c =============================================================================== 180.74/180.88 c | 644003 | 144 61 6324 | 5000 16025 57 | 16.282 % | 180.94/181.01 c | 644104 | 144 61 6324 | 5500 4108 55 | 16.282 % | 180.94/181.04 c | 644254 | 144 61 6324 | 6050 4258 55 | 16.282 % | 180.94/181.09 c | 644479 | 144 61 6324 | 6655 4483 55 | 16.282 % | 181.04/181.16 c | 644816 | 144 61 6324 | 7320 4820 55 | 16.282 % | 181.14/181.26 c | 645322 | 144 61 6324 | 8052 5326 55 | 16.282 % | 181.35/181.40 c | 646081 | 144 61 6324 | 8857 6085 56 | 16.282 % | 181.55/181.63 c | 647220 | 144 61 6324 | 9743 7224 56 | 16.282 % | 181.75/181.87 c There are 28 assigned variables. 28 in cost function. 182.35/182.42 c ============================[ Search Statistics ]============================== 182.35/182.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.35/182.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.35/182.42 c =============================================================================== 182.35/182.42 c | 0 | 60 170 1004 | 5000 0 nan | 0.000 % | 182.35/182.44 c | 100 | 60 170 1004 | 5500 100 66 | 65.120 % | 182.35/182.46 c | 250 | 60 170 1004 | 6050 250 68 | 65.120 % | 182.45/182.51 c | 475 | 60 170 1004 | 6655 475 67 | 65.120 % | 182.45/182.57 c | 812 | 60 170 1004 | 7320 812 66 | 65.120 % | 182.55/182.67 c | 1318 | 60 170 1004 | 8052 1318 66 | 65.120 % | 182.65/182.79 c | 2077 | 60 170 1004 | 8857 2077 67 | 65.120 % | 182.85/182.95 c | 3216 | 60 170 1004 | 9743 3216 66 | 65.120 % | 183.14/183.24 c | 4924 | 60 170 1004 | 10717 4924 67 | 65.120 % | 183.65/183.75 c | 7486 | 60 170 1004 | 11789 7486 67 | 65.120 % | 184.44/184.53 c | 11330 | 60 170 1004 | 12968 11330 66 | 65.120 % | 185.75/185.90 c | 17096 | 60 170 1004 | 14265 10532 65 | 65.120 % | 187.74/187.85 c | 25746 | 60 170 1004 | 15692 11968 66 | 65.120 % | 190.65/190.77 c | 38720 | 60 170 1004 | 17261 9094 65 | 65.120 % | 195.25/195.30 c | 58181 | 60 170 1004 | 18987 11136 67 | 65.120 % | 202.94/203.02 c | 87373 | 60 170 1004 | 20886 11611 68 | 65.120 % | 215.74/215.82 c | 131163 | 60 170 1004 | 22974 13314 70 | 65.120 % | 237.13/237.29 c | 196848 | 60 170 1004 | 25272 17067 71 | 65.120 % | 272.22/272.37 c | 295374 | 60 170 1004 | 27799 13499 71 | 65.120 % | 324.91/325.01 c | 443164 | 60 170 1004 | 30579 25188 67 | 65.120 % | 415.18/415.30 c | 664847 | 60 170 1004 | 33637 30152 68 | 65.120 % | 544.66/544.81 c | 997372 | 60 170 1004 | 37001 22732 67 | 65.120 % | 761.59/761.90 c | 1496161 | 60 170 1004 | 40701 28784 73 | 65.120 % | 1125.20/1125.57 c | 2244343 | 60 170 1004 | 44771 38643 69 | 65.120 % | 1748.14/1748.62 c | 3366618 | 60 170 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-2656049-1276615310/watcher-2656049-1276615310 -o /tmp/evaluation-result-2656049-1276615310/solver-2656049-1276615310 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656049-1276615310.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.88 1.94 1.61 3/106 10053 /proc/meminfo: memFree=1511628/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=2576 CPUtime=0 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 2823169 2637824 202 1992294400 134512640 135751879 4289367728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 644 202 146 303 0 339 0 [startup+0.0762971 s] /proc/loadavg: 1.88 1.94 1.61 3/106 10053 /proc/meminfo: memFree=1511628/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=2832 CPUtime=0.07 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 358 0 0 0 7 0 0 0 20 0 1 0 2823169 2899968 274 1992294400 134512640 135751879 4289367728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 708 274 147 303 0 403 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2832 [startup+0.101299 s] /proc/loadavg: 1.88 1.94 1.61 3/106 10053 /proc/meminfo: memFree=1511628/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=2964 CPUtime=0.09 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 380 0 0 0 9 0 0 0 20 0 1 0 2823169 3035136 296 1992294400 134512640 135751879 4289367728 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 741 296 147 303 0 436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2964 [startup+0.30132 s] /proc/loadavg: 1.88 1.94 1.61 3/106 10053 /proc/meminfo: memFree=1511628/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=3492 CPUtime=0.29 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 519 0 0 0 29 0 0 0 20 0 1 0 2823169 3575808 435 1992294400 134512640 135751879 4289367728 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 873 435 147 303 0 568 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3492 [startup+0.701363 s] /proc/loadavg: 1.88 1.94 1.61 3/106 10053 /proc/meminfo: memFree=1511628/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=4276 CPUtime=0.69 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 732 0 0 0 68 1 0 0 20 0 1 0 2823169 4378624 648 1992294400 134512640 135751879 4289367728 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 1069 648 147 303 0 764 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4276 [startup+1.50145 s] /proc/loadavg: 1.88 1.94 1.61 2/107 10054 /proc/meminfo: memFree=1508892/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=5856 CPUtime=1.49 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 1120 0 0 0 147 2 0 0 23 0 1 0 2823169 5996544 1036 1992294400 134512640 135751879 4289367728 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 1464 1036 147 303 0 1159 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5856 [startup+3.10162 s] /proc/loadavg: 1.88 1.94 1.61 2/107 10054 /proc/meminfo: memFree=1506660/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=8580 CPUtime=3.1 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 1784 0 0 0 305 5 0 0 25 0 1 0 2823169 8785920 1700 1992294400 134512640 135751879 4289367728 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 2145 1700 148 303 0 1840 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 8580 [startup+6.30096 s] /proc/loadavg: 1.81 1.92 1.61 2/107 10054 /proc/meminfo: memFree=1501080/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=13928 CPUtime=6.29 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 3124 0 0 0 621 8 0 0 25 0 1 0 2823169 14262272 3040 1992294400 134512640 135751879 4289367728 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 3482 3040 148 303 0 3177 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13928 [startup+12.7006 s] /proc/loadavg: 1.74 1.91 1.60 2/107 10056 /proc/meminfo: memFree=1490540/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=23692 CPUtime=12.69 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 5584 0 0 0 1253 16 0 0 25 0 1 0 2823169 24260608 5500 1992294400 134512640 135751879 4289367728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 5923 5500 148 303 0 5618 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23692 [startup+25.501 s] /proc/loadavg: 1.58 1.86 1.59 2/107 10056 /proc/meminfo: memFree=1473924/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=39804 CPUtime=25.49 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 9586 0 0 0 2518 31 0 0 25 0 1 0 2823169 40759296 9502 1992294400 134512640 135751879 4289367728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 9951 9502 148 303 0 9646 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39804 [startup+51.1007 s] /proc/loadavg: 1.38 1.79 1.58 2/107 10056 /proc/meminfo: memFree=1447512/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=66592 CPUtime=51.08 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 16281 0 0 0 5053 55 0 0 25 0 1 0 2823169 68190208 16197 1992294400 134512640 135751879 4289367728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 16648 16197 148 303 0 16343 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 66592 [startup+102.308 s] /proc/loadavg: 1.16 1.67 1.54 2/107 10058 /proc/meminfo: memFree=1394440/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=118880 CPUtime=102.27 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 29353 0 0 0 10126 101 0 0 25 0 1 0 2823169 121733120 29269 1992294400 134512640 135751879 4289367728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 29720 29269 148 303 0 29415 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 118880 [startup+162.302 s] /proc/loadavg: 1.06 1.54 1.51 2/107 10060 /proc/meminfo: memFree=1327976/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=185932 CPUtime=162.25 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 46092 0 0 0 16060 165 0 0 25 0 1 0 2823169 190394368 46008 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 46483 46008 148 303 0 46178 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 185932 [startup+222.301 s] /proc/loadavg: 1.02 1.44 1.47 2/107 10060 /proc/meminfo: memFree=1272424/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=240608 CPUtime=222.23 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 59782 0 0 0 22002 221 0 0 25 0 1 0 2823169 246382592 59698 1992294400 134512640 135751879 4289367728 18446744073709551615 134604729 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 60152 59698 150 303 0 59847 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 240608 [startup+282.301 s] /proc/loadavg: 1.00 1.36 1.44 2/107 10062 /proc/meminfo: memFree=1220592/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=292464 CPUtime=282.22 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 72756 0 0 0 27949 273 0 0 25 0 1 0 2823169 299483136 72672 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 73116 72672 150 303 0 72811 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 292464 [startup+342.301 s] /proc/loadavg: 1.07 1.31 1.42 2/107 10064 /proc/meminfo: memFree=1173100/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=339488 CPUtime=342.2 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 84508 0 0 0 33895 325 0 0 25 0 1 0 2823169 347635712 84424 1992294400 134512640 135751879 4289367728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 84872 84424 150 303 0 84567 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 339488 [startup+402.301 s] /proc/loadavg: 1.02 1.25 1.39 2/107 10066 /proc/meminfo: memFree=1130568/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=382656 CPUtime=402.19 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 95283 0 0 0 39847 372 0 0 25 0 1 0 2823169 391839744 95199 1992294400 134512640 135751879 4289367728 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 95664 95199 150 303 0 95359 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 382656 [startup+462.301 s] /proc/loadavg: 1.01 1.20 1.36 2/107 10068 /proc/meminfo: memFree=1085928/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=426936 CPUtime=462.17 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 106349 0 0 0 45796 421 0 0 25 0 1 0 2823169 437182464 106265 1992294400 134512640 135751879 4289367728 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 106734 106265 150 303 0 106429 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 426936 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.33 2/107 10068 /proc/meminfo: memFree=1033600/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=479420 CPUtime=522.16 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 119438 0 0 0 51744 472 0 0 25 0 1 0 2823169 490926080 119354 1992294400 134512640 135751879 4289367728 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 119855 119354 150 303 0 119550 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 479420 [startup+582.302 s] /proc/loadavg: 1.00 1.13 1.31 2/107 10070 /proc/meminfo: memFree=985612/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=526872 CPUtime=582.14 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 131314 0 0 0 57698 516 0 0 25 0 1 0 2823169 539516928 131230 1992294400 134512640 135751879 4289367728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 131718 131230 150 303 0 131413 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 526872 [startup+642.302 s] /proc/loadavg: 1.06 1.12 1.29 2/107 10075 /proc/meminfo: memFree=938244/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=573208 CPUtime=642.12 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 142867 0 0 0 63657 555 0 0 25 0 1 0 2823169 586964992 142783 1992294400 134512640 135751879 4289367728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 143302 142783 150 303 0 142997 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 573208 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.05 1.22 2/107 10081 /proc/meminfo: memFree=753608/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=757532 CPUtime=882.05 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 188967 0 0 0 87463 742 0 0 25 0 1 0 2823169 775712768 188883 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 189383 188883 150 303 0 189078 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 757532 [startup+942.302 s] /proc/loadavg: 1.00 1.03 1.20 2/107 10083 /proc/meminfo: memFree=718144/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=794008 CPUtime=942.04 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 198079 0 0 0 93424 780 0 0 25 0 1 0 2823169 813064192 197995 1992294400 134512640 135751879 4289367728 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 198502 197995 150 303 0 198197 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 794008 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.18 2/107 10085 /proc/meminfo: memFree=678216/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=832868 CPUtime=1002.03 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 207766 0 0 0 99381 822 0 0 25 0 1 0 2823169 852856832 207682 1992294400 134512640 135751879 4289367728 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 208217 207682 150 303 0 207912 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 832868 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.17 2/107 10087 /proc/meminfo: memFree=632336/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=879176 CPUtime=1062.01 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 219348 0 0 0 105334 867 0 0 25 0 1 0 2823169 900276224 219264 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 219794 219264 150 303 0 219489 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 879176 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 10087 /proc/meminfo: memFree=589804/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=921312 CPUtime=1122 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 229876 0 0 0 111294 906 0 0 25 0 1 0 2823169 943423488 229792 1992294400 134512640 135751879 4289367728 18446744073709551615 134607166 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 230328 229792 150 303 0 230023 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 921312 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.15 2/107 10089 /proc/meminfo: memFree=551364/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=959684 CPUtime=1181.98 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 239440 0 0 0 117256 942 0 0 25 0 1 0 2823169 982716416 239356 1992294400 134512640 135751879 4289367728 18446744073709551615 134603091 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 239921 239356 150 303 0 239616 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 959684 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 10091 /proc/meminfo: memFree=511064/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=999936 CPUtime=1241.96 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 249529 0 0 0 123215 981 0 0 25 0 1 0 2823169 1023934464 249445 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 249984 249445 150 303 0 249679 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 999936 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 10093 /proc/meminfo: memFree=477336/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1033308 CPUtime=1301.96 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 257874 0 0 0 129180 1016 0 0 25 0 1 0 2823169 1058107392 257790 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 258327 257790 150 303 0 258022 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1033308 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 10095 /proc/meminfo: memFree=440012/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1070856 CPUtime=1361.94 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 267241 0 0 0 135143 1051 0 0 25 0 1 0 2823169 1096556544 267157 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 267714 267157 150 303 0 267409 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1070856 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.10 2/107 10095 /proc/meminfo: memFree=402688/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1107876 CPUtime=1421.93 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 276493 0 0 0 141105 1088 0 0 25 0 1 0 2823169 1134465024 276409 1992294400 134512640 135751879 4289367728 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 276969 276409 150 303 0 276664 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1107876 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10097 /proc/meminfo: memFree=366728/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1144656 CPUtime=1481.9 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 285702 0 0 0 147069 1121 0 0 25 0 1 0 2823169 1172127744 285618 1992294400 134512640 135751879 4289367728 18446744073709551615 134616433 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 286164 285618 150 303 0 285859 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1144656 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 10099 /proc/meminfo: memFree=332752/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1177684 CPUtime=1541.89 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 293946 0 0 0 153035 1154 0 0 25 0 1 0 2823169 1205948416 293862 1992294400 134512640 135751879 4289367728 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 294421 293862 150 303 0 294116 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1177684 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 10101 /proc/meminfo: memFree=292452/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1218396 CPUtime=1601.88 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 304125 0 0 0 158994 1194 0 0 25 0 1 0 2823169 1247637504 304041 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 304599 304041 150 303 0 304294 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1218396 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10103 /proc/meminfo: memFree=254384/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1255860 CPUtime=1661.86 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 313513 0 0 0 164952 1234 0 0 25 0 1 0 2823169 1286000640 313429 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 313965 313429 150 303 0 313660 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1255860 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10103 /proc/meminfo: memFree=219044/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1291408 CPUtime=1721.85 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 322383 0 0 0 170916 1269 0 0 25 0 1 0 2823169 1322401792 322299 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 322852 322299 150 303 0 322547 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1291408 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10105 /proc/meminfo: memFree=184076/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1325908 CPUtime=1781.83 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 331022 0 0 0 176877 1306 0 0 25 0 1 0 2823169 1357729792 330938 1992294400 134512640 135751879 4289367728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 331477 330938 150 303 0 331172 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1325908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10105 /proc/meminfo: memFree=173536/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=1336316 CPUtime=1800.03 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4202496 333628 0 0 0 178686 1317 0 0 25 0 1 0 2823169 1368387584 333544 1992294400 134512640 135751879 4289367728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10053/statm: 334079 333544 150 303 0 333774 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1336316 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 1.06 2/108 10106 /proc/meminfo: memFree=1312840/2059040 swapFree=4192956/4192956 [pid=10053] ppid=10051 vsize=0 CPUtime=1800.14 /proc/10053/stat : 10053 (wbo1.4b) R 10051 10053 10028 0 -1 4203524 333628 0 0 0 178686 1328 0 0 25 0 1 0 2823169 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/10053/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.16 CPU user time (s): 1786.87 CPU system time (s): 13.294 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1336316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.87 system time used= 13.294 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 333628 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 23254 runsolver used 2.92556 second user time and 8.5657 second system time The end
Begin job on node045 at 2010-06-15 17:21:50 IDJOB=2656049 IDBENCH=2921 IDSOLVER=1161 FILE ID=node045/2656049-1276615310 PBS_JOBID= 11172300 Free space on /tmp= 62460 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656049-1276615310/watcher-2656049-1276615310 -o /tmp/evaluation-result-2656049-1276615310/solver-2656049-1276615310 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656049-1276615310.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=1499773138 node045.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.247 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.49 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.247 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1512156 kB Buffers: 76524 kB Cached: 343632 kB SwapCached: 0 kB Active: 190908 kB Inactive: 288464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1512156 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 59220 kB Mapped: 15384 kB Slab: 45792 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181652 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= 62456 MiB End job on node045 at 2010-06-15 17:51:52