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 (fixed) | ? (TO) | 1800.17 | 1800.64 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 1792.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 32 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| 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-2680691-1277458365.opb. 0.00/0.00 c Instance file HOME/instance-2680691-1277458365.opb 0.00/0.00 c File size is 13239 bytes. 0.00/0.00 c Highest Coefficient sum: 6162 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: 198 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 16 | 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 | 198 16 1364 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1039 0.00/0.00 o 1039 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 198 17 1492 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 198 17 1492 | 5500 100 92 | 0.003 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 904 0.00/0.01 o 904 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 100 | 198 18 1620 | 5000 100 92 | 0.003 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 901 0.00/0.01 o 901 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 128 | 198 19 1748 | 5000 128 88 | 0.003 % | 0.00/0.02 c | 228 | 198 19 1748 | 5500 228 86 | 0.003 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 874 0.00/0.03 o 874 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 275 | 198 20 1876 | 5000 275 85 | 0.003 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 590 0.00/0.03 o 590 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 | 275 | 198 21 2004 | 5000 275 85 | 0.003 % | 0.00/0.04 c | 376 | 198 21 2004 | 5500 376 78 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 502 0.00/0.04 o 502 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 376 | 198 22 2132 | 5000 376 78 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 369 0.00/0.04 o 369 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 376 | 198 23 2260 | 5000 376 78 | 0.003 % | 0.00/0.05 c | 476 | 198 23 2260 | 5500 476 78 | 0.003 % | 0.06/0.07 c | 626 | 198 23 2260 | 6050 626 75 | 0.003 % | 0.09/0.10 c | 851 | 198 23 2260 | 6655 851 71 | 0.003 % | 0.09/0.15 c | 1189 | 198 23 2260 | 7320 1189 69 | 0.003 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 363 0.09/0.16 o 363 0.09/0.16 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 1325 | 198 24 2388 | 5000 1325 68 | 0.003 % | 0.09/0.18 c | 1426 | 198 24 2388 | 5500 1426 67 | 0.003 % | 0.09/0.20 c | 1576 | 198 24 2388 | 6050 1576 68 | 0.003 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 358 0.19/0.23 o 358 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1789 | 198 25 2516 | 5000 1789 67 | 0.003 % | 0.19/0.24 c | 1889 | 198 25 2516 | 5500 1889 67 | 0.003 % | 0.19/0.27 c | 2039 | 198 25 2516 | 6050 2039 66 | 0.003 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 229 0.19/0.27 o 229 0.19/0.27 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 2068 | 198 26 2644 | 5000 2068 66 | 0.003 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 225 0.19/0.27 o 225 0.19/0.27 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 2089 | 198 27 2772 | 5000 2089 66 | 0.003 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 223 0.19/0.28 o 223 0.19/0.28 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 2123 | 198 28 2900 | 5000 2123 66 | 0.003 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 219 0.19/0.29 o 219 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 2209 | 198 29 3028 | 5000 2209 66 | 0.003 % | 0.29/0.31 c | 2309 | 198 29 3028 | 5500 2309 66 | 0.003 % | 0.29/0.33 c | 2459 | 198 29 3028 | 6050 2459 65 | 0.003 % | 0.29/0.36 c | 2685 | 198 29 3028 | 6655 2685 65 | 0.003 % | 0.39/0.41 c | 3024 | 198 29 3028 | 7320 3024 64 | 0.003 % | 0.39/0.48 c | 3530 | 198 29 3028 | 8052 3530 63 | 0.003 % | 0.59/0.60 c | 4289 | 198 29 3028 | 8857 4289 62 | 0.003 % | 0.69/0.78 c | 5428 | 198 29 3028 | 9743 5428 61 | 0.003 % | 0.99/1.07 c | 7136 | 198 29 3028 | 10717 7136 61 | 0.003 % | 1.49/1.55 c | 9699 | 198 29 3028 | 11789 9699 61 | 0.003 % | 2.20/2.29 c | 13544 | 198 29 3028 | 12968 7617 60 | 0.003 % | 3.50/3.53 c | 19310 | 198 29 3028 | 14265 6872 61 | 0.003 % | 5.39/5.44 c | 27960 | 198 29 3028 | 15692 8358 61 | 0.003 % | 6.50/6.54 c =============================================================================== 6.50/6.54 c New solution: 216 6.50/6.54 o 216 6.50/6.54 c Elapsed CPU time: 6.45402 s Remaining CPU time: 173.546 s 6.50/6.54 c =============================================================================== 6.50/6.54 c | 32697 | 198 30 3156 | 5000 13095 61 | 0.003 % | 6.50/6.59 c =============================================================================== 6.50/6.59 c New solution: 206 6.50/6.59 o 206 6.50/6.59 c Elapsed CPU time: 6.50901 s Remaining CPU time: 173.491 s 6.50/6.59 c =============================================================================== 6.50/6.59 c | 32737 | 198 31 3284 | 5000 3314 62 | 0.003 % | 6.60/6.61 c | 32838 | 198 31 3284 | 5500 3415 62 | 0.003 % | 6.60/6.63 c | 32988 | 198 31 3284 | 6050 3565 62 | 0.003 % | 6.60/6.65 c =============================================================================== 6.60/6.65 c New solution: 189 6.60/6.65 o 189 6.60/6.65 c Elapsed CPU time: 6.57 s Remaining CPU time: 173.43 s 6.60/6.65 c =============================================================================== 6.60/6.65 c | 33093 | 198 32 3412 | 5000 3670 62 | 0.003 % | 6.60/6.67 c | 33193 | 198 32 3412 | 5500 3770 62 | 0.003 % | 6.69/6.70 c | 33343 | 198 32 3412 | 6050 3920 61 | 0.003 % | 6.69/6.74 c | 33569 | 198 32 3412 | 6655 4146 61 | 0.003 % | 6.79/6.81 c | 33907 | 198 32 3412 | 7320 4484 61 | 0.003 % | 6.79/6.87 c =============================================================================== 6.79/6.87 c New solution: 184 6.79/6.87 o 184 6.79/6.87 c Elapsed CPU time: 6.78097 s Remaining CPU time: 173.219 s 6.79/6.87 c =============================================================================== 6.79/6.87 c | 34251 | 198 33 3540 | 5000 4828 61 | 0.003 % | 6.79/6.89 c | 34355 | 198 33 3540 | 5500 4932 61 | 0.003 % | 6.88/6.92 c | 34505 | 198 33 3540 | 6050 5082 61 | 0.003 % | 6.88/6.96 c | 34730 | 198 33 3540 | 6655 5307 60 | 0.003 % | 6.99/7.02 c | 35067 | 198 33 3540 | 7320 5644 60 | 0.003 % | 7.09/7.12 c | 35573 | 198 33 3540 | 8052 6150 60 | 0.003 % | 7.19/7.26 c | 36332 | 198 33 3540 | 8857 6909 60 | 0.003 % | 7.39/7.48 c | 37471 | 198 33 3540 | 9743 8048 60 | 0.003 % | 7.79/7.80 c | 39179 | 198 33 3540 | 10717 9756 59 | 0.003 % | 8.29/8.33 c | 41741 | 198 33 3540 | 11789 6918 58 | 0.003 % | 9.09/9.14 c | 45586 | 198 33 3540 | 12968 10763 59 | 0.003 % | 10.39/10.49 c | 51352 | 198 33 3540 | 14265 10020 59 | 0.003 % | 12.19/12.28 c =============================================================================== 12.19/12.28 c New solution: 183 12.19/12.28 o 183 12.19/12.28 c Elapsed CPU time: 12.1382 s Remaining CPU time: 167.862 s 12.19/12.28 c =============================================================================== 12.19/12.28 c | 58402 | 198 34 3668 | 5000 9903 59 | 0.003 % | 12.28/12.32 c | 58502 | 198 34 3668 | 5500 5052 59 | 0.003 % | 12.28/12.34 c | 58654 | 198 34 3668 | 6050 5204 59 | 0.003 % | 12.28/12.38 c =============================================================================== 12.28/12.38 c New solution: 180 12.28/12.38 o 180 12.28/12.38 c Elapsed CPU time: 12.2361 s Remaining CPU time: 167.764 s 12.28/12.38 c =============================================================================== 12.28/12.38 c | 58813 | 198 35 3796 | 5000 5363 59 | 0.003 % | 12.28/12.38 c =============================================================================== 12.28/12.38 c New solution: 178 12.28/12.38 o 178 12.28/12.38 c Elapsed CPU time: 12.2441 s Remaining CPU time: 167.756 s 12.28/12.38 c =============================================================================== 12.28/12.38 c | 58821 | 198 36 3924 | 5000 2690 59 | 0.003 % | 12.39/12.40 c | 58921 | 198 36 3924 | 5500 2790 59 | 0.003 % | 12.39/12.43 c | 59071 | 198 36 3924 | 6050 2940 59 | 0.003 % | 12.39/12.47 c | 59296 | 198 36 3924 | 6655 3165 59 | 0.003 % | 12.49/12.52 c | 59634 | 198 36 3924 | 7320 3503 59 | 0.003 % | 12.49/12.59 c | 60141 | 198 36 3924 | 8052 4010 58 | 0.003 % | 12.69/12.72 c | 60900 | 198 36 3924 | 8857 4769 58 | 0.003 % | 12.89/12.92 c | 62039 | 198 36 3924 | 9743 5908 58 | 0.003 % | 13.19/13.23 c | 63747 | 198 36 3924 | 10717 7616 58 | 0.003 % | 13.69/13.75 c | 66309 | 198 36 3924 | 11789 10178 59 | 0.003 % | 14.49/14.59 c | 70153 | 198 36 3924 | 12968 8098 59 | 0.003 % | 15.78/15.82 c =============================================================================== 15.78/15.82 c New solution: 174 15.78/15.82 o 174 15.78/15.82 c Elapsed CPU time: 15.6436 s Remaining CPU time: 164.356 s 15.78/15.82 c =============================================================================== 15.78/15.82 c | 75562 | 198 37 4052 | 5000 6997 64 | 0.003 % | 15.78/15.85 c | 75662 | 198 37 4052 | 5500 3599 66 | 0.003 % | 15.78/15.85 c =============================================================================== 15.78/15.85 c New solution: 172 15.78/15.85 o 172 15.78/15.85 c Elapsed CPU time: 15.6746 s Remaining CPU time: 164.325 s 15.78/15.85 c =============================================================================== 15.78/15.85 c | 75683 | 198 38 4180 | 5000 3620 66 | 0.003 % | 15.78/15.87 c | 75783 | 198 38 4180 | 5500 3720 66 | 0.003 % | 15.78/15.89 c | 75933 | 198 38 4180 | 6050 3870 66 | 0.003 % | 15.89/15.93 c | 76159 | 198 38 4180 | 6655 4096 65 | 0.003 % | 15.89/15.99 c | 76496 | 198 38 4180 | 7320 4433 65 | 0.003 % | 15.99/16.00 c =============================================================================== 15.99/16.00 c New solution: 169 15.99/16.00 o 169 15.99/16.00 c Elapsed CPU time: 15.8216 s Remaining CPU time: 164.178 s 15.99/16.00 c =============================================================================== 15.99/16.00 c | 76566 | 198 39 4308 | 5000 4503 65 | 0.003 % | 15.99/16.02 c | 76668 | 198 39 4308 | 5500 4605 65 | 0.003 % | 15.99/16.05 c | 76818 | 198 39 4308 | 6050 4755 64 | 0.003 % | 15.99/16.09 c | 77043 | 198 39 4308 | 6655 4980 65 | 0.003 % | 16.09/16.15 c | 77380 | 198 39 4308 | 7320 5317 65 | 0.003 % | 16.19/16.24 c | 77886 | 198 39 4308 | 8052 5823 64 | 0.003 % | 16.29/16.38 c | 78646 | 198 39 4308 | 8857 6583 64 | 0.003 % | 16.58/16.60 c | 79786 | 198 39 4308 | 9743 7723 63 | 0.003 % | 16.89/16.92 c | 81494 | 198 39 4308 | 10717 9431 62 | 0.003 % | 17.38/17.42 c | 84058 | 198 39 4308 | 11789 6606 61 | 0.003 % | 18.19/18.25 c | 87902 | 198 39 4308 | 12968 10450 61 | 0.003 % | 18.49/18.51 c =============================================================================== 18.49/18.51 c New solution: 145 18.49/18.51 o 145 18.49/18.51 c Elapsed CPU time: 18.3032 s Remaining CPU time: 161.697 s 18.49/18.51 c =============================================================================== 18.49/18.51 c | 89013 | 198 40 4436 | 5000 11561 61 | 0.003 % | 18.49/18.55 c =============================================================================== 18.49/18.55 c New solution: 138 18.49/18.55 o 138 18.49/18.55 c Elapsed CPU time: 18.3482 s Remaining CPU time: 161.652 s 18.49/18.55 c =============================================================================== 18.49/18.55 c | 89105 | 198 41 4564 | 5000 2983 61 | 0.003 % | 18.49/18.57 c | 89205 | 198 41 4564 | 5500 3083 61 | 0.003 % | 18.59/18.60 c | 89355 | 198 41 4564 | 6050 3233 61 | 0.003 % | 18.59/18.64 c | 89582 | 198 41 4564 | 6655 3460 60 | 0.003 % | 18.59/18.70 c | 89922 | 198 41 4564 | 7320 3800 60 | 0.003 % | 18.69/18.79 c | 90430 | 198 41 4564 | 8052 4308 60 | 0.003 % | 18.89/18.92 c | 91189 | 198 41 4564 | 8857 5067 59 | 0.003 % | 19.09/19.15 c | 92328 | 198 41 4564 | 9743 6206 60 | 0.003 % | 19.48/19.50 c | 94036 | 198 41 4564 | 10717 7914 60 | 0.003 % | 19.99/20.06 c | 96598 | 198 41 4564 | 11789 10476 60 | 0.003 % | 20.89/20.92 c | 100442 | 198 41 4564 | 12968 8401 60 | 0.003 % | 21.69/21.74 c =============================================================================== 21.69/21.74 c New solution: 128 21.69/21.74 o 128 21.69/21.74 c Elapsed CPU time: 21.4977 s Remaining CPU time: 158.502 s 21.69/21.74 c =============================================================================== 21.69/21.74 c | 103880 | 198 42 4692 | 5000 11839 60 | 0.003 % | 21.79/21.80 c | 103981 | 182 42 4692 | 5500 3038 63 | 8.083 % | 21.79/21.83 c | 104131 | 182 42 4692 | 6050 3188 63 | 8.083 % | 21.79/21.87 c | 104356 | 182 42 4692 | 6655 3413 63 | 8.083 % | 21.79/21.88 c =============================================================================== 21.79/21.88 c New solution: 114 21.79/21.88 o 114 21.79/21.88 c Elapsed CPU time: 21.6297 s Remaining CPU time: 158.37 s 21.79/21.88 c =============================================================================== 21.79/21.88 c | 104400 | 182 43 4820 | 5000 3457 63 | 8.083 % | 21.79/21.90 c | 104500 | 182 43 4820 | 5500 3557 63 | 8.083 % | 21.89/21.92 c | 104651 | 182 43 4820 | 6050 3708 63 | 8.083 % | 21.89/21.96 c | 104876 | 182 43 4820 | 6655 3933 63 | 8.083 % | 22.00/22.02 c | 105213 | 182 43 4820 | 7320 4270 63 | 8.083 % | 22.09/22.11 c | 105719 | 182 43 4820 | 8052 4776 63 | 8.083 % | 22.19/22.26 c | 106478 | 182 43 4820 | 8857 5535 63 | 8.083 % | 22.38/22.49 c | 107617 | 182 43 4820 | 9743 6674 63 | 8.083 % | 22.79/22.87 c | 109326 | 182 43 4820 | 10717 8383 63 | 8.083 % | 23.48/23.50 c | 111889 | 182 43 4820 | 11789 5547 63 | 8.083 % | 23.78/23.84 c =============================================================================== 23.78/23.84 c New solution: 113 23.78/23.84 o 113 23.78/23.84 c Elapsed CPU time: 23.5664 s Remaining CPU time: 156.434 s 23.78/23.84 c =============================================================================== 23.78/23.84 c | 113520 | 182 44 4948 | 5000 7178 63 | 8.083 % | 23.78/23.88 c | 113620 | 182 44 4948 | 5500 3689 62 | 8.083 % | 23.88/23.90 c | 113771 | 182 44 4948 | 6050 3840 62 | 8.083 % | 23.88/23.95 c | 113997 | 182 44 4948 | 6655 4066 62 | 8.083 % | 23.99/24.01 c | 114334 | 182 44 4948 | 7320 4403 62 | 8.083 % | 24.09/24.12 c | 114843 | 182 44 4948 | 8052 4912 62 | 8.083 % | 24.19/24.27 c | 115602 | 182 44 4948 | 8857 5671 62 | 8.083 % | 24.49/24.52 c | 116741 | 182 44 4948 | 9743 6810 62 | 8.083 % | 24.79/24.87 c | 118449 | 182 44 4948 | 10717 8518 62 | 8.083 % | 25.39/25.47 c | 121011 | 182 44 4948 | 11789 5687 63 | 8.083 % | 26.29/26.35 c =============================================================================== 26.29/26.35 c New solution: 97 26.29/26.35 o 97 26.29/26.35 c Elapsed CPU time: 26.041 s Remaining CPU time: 153.959 s 26.29/26.35 c =============================================================================== 26.29/26.35 c | 124846 | 182 45 5076 | 5000 9522 63 | 8.083 % | 26.29/26.37 c =============================================================================== 26.29/26.37 c New solution: 95 26.29/26.37 o 95 26.29/26.37 c Elapsed CPU time: 26.059 s Remaining CPU time: 153.941 s 26.29/26.37 c =============================================================================== 26.29/26.37 c | 124850 | 182 46 5204 | 5000 4765 63 | 8.083 % | 26.29/26.38 c =============================================================================== 26.29/26.38 c New solution: 93 26.29/26.38 o 93 26.29/26.38 c Elapsed CPU time: 26.07 s Remaining CPU time: 153.93 s 26.29/26.38 c =============================================================================== 26.29/26.38 c | 124889 | 182 47 5332 | 5000 4804 63 | 8.083 % | 26.29/26.39 c =============================================================================== 26.29/26.39 c New solution: 92 26.29/26.39 o 92 26.29/26.39 c Elapsed CPU time: 26.078 s Remaining CPU time: 153.922 s 26.29/26.39 c =============================================================================== 26.29/26.39 c | 124929 | 182 48 5460 | 5000 4844 63 | 8.083 % | 26.40/26.41 c | 125030 | 182 48 5460 | 5500 4945 63 | 8.083 % | 26.40/26.44 c | 125180 | 182 48 5460 | 6050 5095 62 | 8.083 % | 26.40/26.49 c | 125405 | 182 48 5460 | 6655 5320 62 | 8.083 % | 26.49/26.56 c | 125742 | 182 48 5460 | 7320 5657 62 | 8.083 % | 26.59/26.66 c | 126249 | 182 48 5460 | 8052 6164 62 | 8.083 % | 26.79/26.82 c | 127008 | 182 48 5460 | 8857 6923 62 | 8.083 % | 26.98/27.06 c | 128147 | 182 48 5460 | 9743 8062 62 | 8.083 % | 27.39/27.44 c | 129855 | 182 48 5460 | 10717 9770 61 | 8.083 % | 27.98/28.01 c | 132417 | 182 48 5460 | 11789 6945 60 | 8.083 % | 28.88/28.94 c | 136261 | 182 48 5460 | 12968 10789 59 | 8.083 % | 30.38/30.42 c | 142027 | 182 48 5460 | 14265 10038 59 | 8.083 % | 32.58/32.64 c | 150676 | 182 48 5460 | 15692 11509 60 | 8.083 % | 36.08/36.10 c | 163650 | 182 48 5460 | 17261 8722 61 | 8.083 % | 41.78/41.83 c | 183112 | 182 48 5460 | 18987 10863 63 | 8.083 % | 44.08/44.18 c =============================================================================== 44.08/44.18 c New solution: 91 44.08/44.18 o 91 44.08/44.18 c Elapsed CPU time: 43.6664 s Remaining CPU time: 136.334 s 44.08/44.18 c =============================================================================== 44.08/44.18 c | 191290 | 182 49 5588 | 5000 19041 62 | 8.083 % | 44.18/44.28 c | 191391 | 182 49 5588 | 5500 4862 60 | 8.083 % | 44.28/44.31 c | 191543 | 182 49 5588 | 6050 5014 60 | 8.083 % | 44.28/44.36 c | 191768 | 182 49 5588 | 6655 5239 60 | 8.083 % | 44.38/44.43 c | 192105 | 182 49 5588 | 7320 5576 60 | 8.083 % | 44.48/44.54 c | 192612 | 182 49 5588 | 8052 6083 60 | 8.083 % | 44.68/44.70 c | 193371 | 182 49 5588 | 8857 6842 60 | 8.083 % | 44.88/44.96 c | 194510 | 182 49 5588 | 9743 7981 61 | 8.083 % | 45.28/45.35 c | 196218 | 182 49 5588 | 10717 9689 61 | 8.083 % | 45.38/45.42 c =============================================================================== 45.38/45.42 c New solution: 52 45.38/45.42 o 52 45.38/45.42 c Elapsed CPU time: 44.8982 s Remaining CPU time: 135.102 s 45.38/45.42 c =============================================================================== 45.38/45.42 c | 196485 | 182 50 5716 | 5000 9956 61 | 8.083 % | 45.38/45.47 c | 196590 | 166 50 5716 | 5500 4880 62 | 16.164 % | 45.48/45.51 c | 196740 | 166 50 5716 | 6050 5030 62 | 16.164 % | 45.48/45.56 c | 196965 | 166 50 5716 | 6655 5255 62 | 16.164 % | 45.58/45.63 c | 197302 | 166 50 5716 | 7320 5592 62 | 16.164 % | 45.68/45.75 c | 197809 | 166 50 5716 | 8052 6099 62 | 16.164 % | 45.88/45.91 c | 198568 | 166 50 5716 | 8857 6858 63 | 16.164 % | 46.09/46.17 c | 199707 | 166 50 5716 | 9743 7997 63 | 16.164 % | 46.48/46.59 c | 201415 | 166 50 5716 | 10717 9705 63 | 16.164 % | 47.18/47.24 c | 203977 | 166 50 5716 | 11789 6865 65 | 16.164 % | 48.17/48.21 c | 207821 | 166 50 5716 | 12968 10709 65 | 16.164 % | 49.77/49.84 c | 213587 | 166 50 5716 | 14265 9958 64 | 16.164 % | 52.08/52.17 c | 222236 | 166 50 5716 | 15692 11433 63 | 16.164 % | 55.98/56.03 c | 235210 | 166 50 5716 | 17261 8639 63 | 16.164 % | 61.49/61.57 c | 254671 | 166 50 5716 | 18987 10755 64 | 16.164 % | 70.28/70.37 c | 283865 | 166 50 5716 | 20886 11349 64 | 16.164 % | 84.58/84.64 c | 327654 | 166 50 5716 | 22974 13201 65 | 16.164 % | 107.07/107.14 c | 393338 | 166 50 5716 | 25272 18326 65 | 16.164 % | 142.86/142.94 c | 491865 | 166 50 5716 | 27799 17421 67 | 16.164 % | 181.65/181.70 c There are 32 assigned variables. 32 in cost function. 182.15/182.22 c ============================[ Search Statistics ]============================== 182.15/182.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.15/182.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.15/182.22 c =============================================================================== 182.15/182.22 c | 0 | 70 177 1300 | 5000 0 nan | 0.000 % | 182.15/182.24 c | 100 | 70 177 1300 | 5500 100 71 | 64.649 % | 182.15/182.27 c | 252 | 70 177 1300 | 6050 252 73 | 64.649 % | 182.25/182.32 c | 478 | 70 177 1300 | 6655 478 70 | 64.649 % | 182.35/182.40 c | 815 | 70 177 1300 | 7320 815 67 | 64.649 % | 182.45/182.50 c | 1321 | 70 177 1300 | 8052 1321 66 | 64.649 % | 182.55/182.61 c | 2080 | 70 177 1300 | 8857 2080 68 | 64.649 % | 182.75/182.80 c | 3219 | 70 177 1300 | 9743 3219 68 | 64.649 % | 182.95/183.08 c | 4927 | 70 177 1300 | 10717 4927 67 | 64.649 % | 183.44/183.58 c | 7490 | 70 177 1300 | 11789 7490 67 | 64.649 % | 184.35/184.48 c | 11334 | 70 177 1300 | 12968 11334 68 | 64.649 % | 185.54/185.70 c | 17100 | 70 177 1300 | 14265 10528 68 | 64.649 % | 187.55/187.65 c | 25749 | 70 177 1300 | 15692 11953 69 | 64.649 % | 190.44/190.55 c | 38723 | 70 177 1300 | 17261 9068 68 | 64.649 % | 194.95/195.09 c | 58184 | 70 177 1300 | 18987 11093 68 | 64.649 % | 201.74/201.80 c | 87377 | 70 177 1300 | 20886 11544 66 | 64.649 % | 213.04/213.10 c | 131166 | 70 177 1300 | 22974 13205 70 | 64.649 % | 232.04/232.14 c | 196850 | 70 177 1300 | 25272 16879 68 | 64.649 % | 260.33/260.44 c | 295376 | 70 177 1300 | 27799 13184 72 | 64.649 % | 317.91/318.08 c | 443166 | 70 177 1300 | 30579 24655 74 | 64.649 % | 404.70/404.89 c | 664849 | 70 177 1300 | 33637 29437 70 | 64.649 % | 547.65/547.85 c | 997374 | 70 177 1300 | 37001 21702 73 | 64.649 % | 783.19/783.46 c | 1496162 | 70 177 1300 | 40701 27368 78 | 64.649 % | 1161.89/1162.25 c | 2244345 | 70 177 1300 | 44771 36606 77 | 64.649 % | 1772.63/1773.12 c | 3366619 | 70 177 1300 | 49248 18716 75 | 64.649 % |
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-2680691-1277458365/watcher-2680691-1277458365 -o /tmp/evaluation-result-2680691-1277458365/solver-2680691-1277458365 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680691-1277458365.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.04 0.99 0.91 3/106 27922 /proc/meminfo: memFree=1853120/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=2572 CPUtime=0 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 287 0 0 0 0 0 0 0 18 0 1 0 87128749 2633728 201 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 643 201 143 303 0 338 0 [startup+0.0712871 s] /proc/loadavg: 1.04 0.99 0.91 3/106 27922 /proc/meminfo: memFree=1853120/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=2828 CPUtime=0.06 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 352 0 0 0 6 0 0 0 18 0 1 0 87128749 2895872 266 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 707 266 144 303 0 402 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2828 [startup+0.10129 s] /proc/loadavg: 1.04 0.99 0.91 3/106 27922 /proc/meminfo: memFree=1853120/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=2828 CPUtime=0.09 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 373 0 0 0 9 0 0 0 18 0 1 0 87128749 2895872 287 1992294400 134512640 135752675 4294727760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 707 287 144 303 0 402 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2828 [startup+0.30131 s] /proc/loadavg: 1.04 0.99 0.91 3/106 27922 /proc/meminfo: memFree=1853120/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=3484 CPUtime=0.29 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 512 0 0 0 29 0 0 0 18 0 1 0 87128749 3567616 426 1992294400 134512640 135752675 4294727760 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 871 426 144 303 0 566 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3484 [startup+0.701351 s] /proc/loadavg: 1.04 0.99 0.91 3/106 27922 /proc/meminfo: memFree=1853120/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=4404 CPUtime=0.69 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 746 0 0 0 68 1 0 0 18 0 1 0 87128749 4509696 660 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 1101 660 144 303 0 796 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4404 [startup+1.50143 s] /proc/loadavg: 1.04 0.99 0.91 2/107 27923 /proc/meminfo: memFree=1850384/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=5964 CPUtime=1.49 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 1147 0 0 0 147 2 0 0 19 0 1 0 87128749 6107136 1061 1992294400 134512640 135752675 4294727760 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 1491 1061 144 303 0 1186 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5964 [startup+3.10159 s] /proc/loadavg: 1.04 0.99 0.91 2/107 27923 /proc/meminfo: memFree=1848028/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=8824 CPUtime=3.09 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 1867 0 0 0 305 4 0 0 23 0 1 0 87128749 9035776 1781 1992294400 134512640 135752675 4294727760 18446744073709551615 134611976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 2206 1781 145 303 0 1901 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8824 [startup+6.30092 s] /proc/loadavg: 1.04 0.99 0.91 2/107 27923 /proc/meminfo: memFree=1842572/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=13780 CPUtime=6.29 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 3105 0 0 0 622 7 0 0 25 0 1 0 87128749 14110720 3019 1992294400 134512640 135752675 4294727760 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 3445 3019 145 303 0 3140 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13780 [startup+12.7016 s] /proc/loadavg: 1.04 0.99 0.91 2/107 27923 /proc/meminfo: memFree=1832404/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=23688 CPUtime=12.69 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 5583 0 0 0 1255 14 0 0 25 0 1 0 87128749 24256512 5497 1992294400 134512640 135752675 4294727760 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 5922 5497 145 303 0 5617 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23688 [startup+25.5009 s] /proc/loadavg: 1.03 0.99 0.91 2/107 27925 /proc/meminfo: memFree=1810828/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=44524 CPUtime=25.49 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 10793 0 0 0 2519 30 0 0 25 0 1 0 87128749 45592576 10707 1992294400 134512640 135752675 4294727760 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 11131 10707 145 303 0 10826 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44524 [startup+51.1005 s] /proc/loadavg: 1.02 0.99 0.91 2/107 27925 /proc/meminfo: memFree=1777844/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=77684 CPUtime=51.08 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 19056 0 0 0 5051 57 0 0 25 0 1 0 87128749 79548416 18970 1992294400 134512640 135752675 4294727760 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 19421 18970 145 303 0 19116 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77684 [startup+102.308 s] /proc/loadavg: 1.01 0.99 0.91 2/107 27927 /proc/meminfo: memFree=1721672/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=133004 CPUtime=102.27 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 32890 0 0 0 10122 105 0 0 25 0 1 0 87128749 136196096 32804 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 33251 32804 145 303 0 32946 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 133004 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27927 /proc/meminfo: memFree=1665624/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=189556 CPUtime=162.25 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 46996 0 0 0 16072 153 0 0 25 0 1 0 87128749 194105344 46910 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 47389 46910 145 303 0 47084 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 189556 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27929 /proc/meminfo: memFree=1611064/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=243440 CPUtime=222.23 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 60533 0 0 0 22013 210 0 0 25 0 1 0 87128749 249282560 60419 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 60860 60419 146 303 0 60555 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 243440 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27931 /proc/meminfo: memFree=1554396/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=300480 CPUtime=282.22 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 74779 0 0 0 27960 262 0 0 25 0 1 0 87128749 307691520 74665 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 75120 74665 146 303 0 74815 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 300480 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27933 /proc/meminfo: memFree=1505912/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=348280 CPUtime=342.2 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 86729 0 0 0 33915 305 0 0 25 0 1 0 87128749 356638720 86615 1992294400 134512640 135752675 4294727760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 87070 86615 146 303 0 86765 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 348280 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27935 /proc/meminfo: memFree=1458668/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=396104 CPUtime=402.19 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 98644 0 0 0 39869 350 0 0 25 0 1 0 87128749 405610496 98530 1992294400 134512640 135752675 4294727760 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 99026 98530 146 303 0 98721 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 396104 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27935 /proc/meminfo: memFree=1408572/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=445640 CPUtime=462.18 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 111042 0 0 0 45819 399 0 0 25 0 1 0 87128749 456335360 110928 1992294400 134512640 135752675 4294727760 18446744073709551615 134637930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 111410 110928 146 303 0 111105 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 445640 [startup+522.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27937 /proc/meminfo: memFree=1356740/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=497696 CPUtime=522.16 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 124052 0 0 0 51770 446 0 0 25 0 1 0 87128749 509640704 123938 1992294400 134512640 135752675 4294727760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 124424 123938 146 303 0 124119 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 497696 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27939 /proc/meminfo: memFree=1308008/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=546304 CPUtime=582.14 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 136169 0 0 0 57725 489 0 0 25 0 1 0 87128749 559415296 136055 1992294400 134512640 135752675 4294727760 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 136576 136055 146 303 0 136271 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 546304 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27941 /proc/meminfo: memFree=1260516/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=593076 CPUtime=642.13 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 147879 0 0 0 63682 531 0 0 25 0 1 0 87128749 607309824 147765 1992294400 134512640 135752675 4294727760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 148269 147765 146 303 0 147964 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 593076 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27947 /proc/meminfo: memFree=1076872/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=776480 CPUtime=882.06 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 193708 0 0 0 87509 697 0 0 25 0 1 0 87128749 795115520 193594 1992294400 134512640 135752675 4294727760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 194120 193594 146 303 0 193815 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 776480 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27949 /proc/meminfo: memFree=1036324/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=817840 CPUtime=942.05 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 204039 0 0 0 93468 737 0 0 25 0 1 0 87128749 837468160 203925 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 204460 203925 146 303 0 204155 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 817840 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27951 /proc/meminfo: memFree=989700/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=863708 CPUtime=1002.04 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 215484 0 0 0 99425 779 0 0 25 0 1 0 87128749 884436992 215370 1992294400 134512640 135752675 4294727760 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 215927 215370 146 303 0 215622 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 863708 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27951 /proc/meminfo: memFree=948408/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=905048 CPUtime=1062.02 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 225826 0 0 0 105383 819 0 0 25 0 1 0 87128749 926769152 225712 1992294400 134512640 135752675 4294727760 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 226262 225712 146 303 0 225957 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 905048 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27953 /proc/meminfo: memFree=904388/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=949068 CPUtime=1122 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 236822 0 0 0 111338 862 0 0 25 0 1 0 87128749 971845632 236708 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 237267 236708 146 303 0 236962 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 949068 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27955 /proc/meminfo: memFree=860120/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=993020 CPUtime=1181.99 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 247786 0 0 0 117295 904 0 0 25 0 1 0 87128749 1016852480 247672 1992294400 134512640 135752675 4294727760 18446744073709551615 134638342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 248255 247672 146 303 0 247950 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 993020 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27957 /proc/meminfo: memFree=821308/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1031644 CPUtime=1241.97 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 257432 0 0 0 123257 940 0 0 25 0 1 0 87128749 1056403456 257318 1992294400 134512640 135752675 4294727760 18446744073709551615 134611707 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 257911 257318 146 303 0 257606 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1031644 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27959 /proc/meminfo: memFree=781380/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1071112 CPUtime=1301.97 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 267322 0 0 0 129221 976 0 0 25 0 1 0 87128749 1096818688 267208 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 267778 267208 146 303 0 267473 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1071112 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27959 /proc/meminfo: memFree=739592/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1113356 CPUtime=1361.95 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 277847 0 0 0 135182 1013 0 0 25 0 1 0 87128749 1140076544 277733 1992294400 134512640 135752675 4294727760 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 278339 277733 146 303 0 278034 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1113356 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27961 /proc/meminfo: memFree=698300/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1154064 CPUtime=1421.94 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 288031 0 0 0 141142 1052 0 0 25 0 1 0 87128749 1181761536 287917 1992294400 134512640 135752675 4294727760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 288516 287917 146 303 0 288211 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1154064 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27963 /proc/meminfo: memFree=658000/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1195152 CPUtime=1481.91 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 298316 0 0 0 147101 1090 0 0 25 0 1 0 87128749 1223835648 298202 1992294400 134512640 135752675 4294727760 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 298788 298202 146 303 0 298483 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1195152 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27965 /proc/meminfo: memFree=612988/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1239276 CPUtime=1541.9 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 309335 0 0 0 153062 1128 0 0 25 0 1 0 87128749 1269018624 309221 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 309819 309221 146 303 0 309514 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1239276 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27967 /proc/meminfo: memFree=573804/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1278648 CPUtime=1601.88 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 319179 0 0 0 159024 1164 0 0 25 0 1 0 87128749 1309335552 319065 1992294400 134512640 135752675 4294727760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 319662 319065 146 303 0 319357 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1278648 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27967 /proc/meminfo: memFree=534124/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1318116 CPUtime=1661.87 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 329027 0 0 0 164989 1198 0 0 25 0 1 0 87128749 1349750784 328913 1992294400 134512640 135752675 4294727760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 329529 328913 146 303 0 329224 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1318116 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27978 /proc/meminfo: memFree=491344/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1361160 CPUtime=1721.84 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 339796 0 0 0 170946 1238 0 0 25 0 1 0 87128749 1393827840 339682 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 340290 339682 146 303 0 339985 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1361160 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27980 /proc/meminfo: memFree=449060/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1402872 CPUtime=1781.82 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 350221 0 0 0 176906 1276 0 0 25 0 1 0 87128749 1436540928 350107 1992294400 134512640 135752675 4294727760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 350718 350107 146 303 0 350413 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1402872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 27980 /proc/meminfo: memFree=436412/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=1415280 CPUtime=1800.03 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4202496 353324 0 0 0 178714 1289 0 0 25 0 1 0 87128749 1449246720 353210 1992294400 134512640 135752675 4294727760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27922/statm: 353820 353210 146 303 0 353515 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1415280 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 0.99 0.91 2/108 27981 /proc/meminfo: memFree=1446880/2059040 swapFree=4140428/4192956 [pid=27922] ppid=27920 vsize=0 CPUtime=1800.13 /proc/27922/stat : 27922 (wbo1.4b) R 27920 27922 27500 0 -1 4203524 353324 0 0 0 178714 1299 0 0 25 0 1 0 87128749 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27922/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.17 CPU user time (s): 1787.15 CPU system time (s): 13.026 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1415280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.15 system time used= 13.026 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 353324 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= 8 involuntary context switches= 1975 runsolver used 3.00954 second user time and 8.47471 second system time The end
Begin job on node045 at 2010-06-25 11:32:46 IDJOB=2680691 IDBENCH=2920 IDSOLVER=1190 FILE ID=node045/2680691-1277458365 PBS_JOBID= 11188122 Free space on /tmp= 62508 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680691-1277458365/watcher-2680691-1277458365 -o /tmp/evaluation-result-2680691-1277458365/solver-2680691-1277458365 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680691-1277458365.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=808469326 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: 1853648 kB Buffers: 31056 kB Cached: 72304 kB SwapCached: 5348 kB Active: 53544 kB Inactive: 62820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853648 kB SwapTotal: 4192956 kB SwapFree: 4140428 kB Dirty: 2608 kB Writeback: 0 kB AnonPages: 11536 kB Mapped: 11932 kB Slab: 67012 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182428 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= 62508 MiB End job on node045 at 2010-06-25 12:02:48