Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.19 | 1800.74 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656048-1276615023.opb. 0.00/0.00 c Instance file HOME/instance-2656048-1276615023.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.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 198 17 1492 | 5000 0 nan | 0.000 % | 0.01/0.01 c | 100 | 198 17 1492 | 5500 100 92 | 0.003 % | 0.01/0.01 c =============================================================================== 0.01/0.01 c New solution: 904 0.01/0.01 o 904 0.01/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.01/0.01 c =============================================================================== 0.01/0.01 c | 100 | 198 18 1620 | 5000 100 92 | 0.003 % | 0.01/0.01 c =============================================================================== 0.01/0.01 c New solution: 901 0.01/0.01 o 901 0.01/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.01/0.01 c =============================================================================== 0.01/0.01 c | 128 | 198 19 1748 | 5000 128 88 | 0.003 % | 0.01/0.02 c | 228 | 198 19 1748 | 5500 228 86 | 0.003 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 874 0.01/0.03 o 874 0.01/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 275 | 198 20 1876 | 5000 275 85 | 0.003 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 590 0.01/0.03 o 590 0.01/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 275 | 198 21 2004 | 5000 275 85 | 0.003 % | 0.01/0.04 c | 376 | 198 21 2004 | 5500 376 78 | 0.003 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c New solution: 502 0.01/0.04 o 502 0.01/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.01/0.04 c =============================================================================== 0.01/0.04 c | 376 | 198 22 2132 | 5000 376 78 | 0.003 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c New solution: 369 0.01/0.04 o 369 0.01/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.01/0.04 c =============================================================================== 0.01/0.04 c | 376 | 198 23 2260 | 5000 376 78 | 0.003 % | 0.01/0.05 c | 476 | 198 23 2260 | 5500 476 78 | 0.003 % | 0.01/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.14 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.162975 s Remaining CPU time: 179.837 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.19 c | 1576 | 198 24 2388 | 6050 1576 68 | 0.003 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 358 0.19/0.22 o 358 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s 0.19/0.22 c =============================================================================== 0.19/0.22 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.26 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.266959 s Remaining CPU time: 179.733 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.270958 s Remaining CPU time: 179.729 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.275958 s Remaining CPU time: 179.724 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.286956 s Remaining CPU time: 179.713 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 2209 | 198 29 3028 | 5000 2209 66 | 0.003 % | 0.29/0.30 c | 2309 | 198 29 3028 | 5500 2309 66 | 0.003 % | 0.29/0.32 c | 2459 | 198 29 3028 | 6050 2459 65 | 0.003 % | 0.29/0.35 c | 2685 | 198 29 3028 | 6655 2685 65 | 0.003 % | 0.39/0.40 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.49/0.59 c | 4289 | 198 29 3028 | 8857 4289 62 | 0.003 % | 0.69/0.78 c | 5428 | 198 29 3028 | 9743 5428 61 | 0.003 % | 1.00/1.06 c | 7136 | 198 29 3028 | 10717 7136 61 | 0.003 % | 1.49/1.54 c | 9699 | 198 29 3028 | 11789 9699 61 | 0.003 % | 2.20/2.27 c | 13544 | 198 29 3028 | 12968 7617 60 | 0.003 % | 3.49/3.53 c | 19310 | 198 29 3028 | 14265 6872 61 | 0.003 % | 5.40/5.45 c | 27960 | 198 29 3028 | 15692 8358 61 | 0.003 % | 6.50/6.53 c =============================================================================== 6.50/6.53 c New solution: 216 6.50/6.53 o 216 6.50/6.53 c Elapsed CPU time: 6.45902 s Remaining CPU time: 173.541 s 6.50/6.53 c =============================================================================== 6.50/6.53 c | 32697 | 198 30 3156 | 5000 13095 61 | 0.003 % | 6.60/6.61 c =============================================================================== 6.60/6.61 c New solution: 206 6.60/6.61 o 206 6.60/6.61 c Elapsed CPU time: 6.53501 s Remaining CPU time: 173.465 s 6.60/6.61 c =============================================================================== 6.60/6.61 c | 32737 | 198 31 3284 | 5000 3314 62 | 0.003 % | 6.60/6.62 c | 32838 | 198 31 3284 | 5500 3415 62 | 0.003 % | 6.60/6.65 c | 32988 | 198 31 3284 | 6050 3565 62 | 0.003 % | 6.60/6.67 c =============================================================================== 6.60/6.67 c New solution: 189 6.60/6.67 o 189 6.60/6.67 c Elapsed CPU time: 6.597 s Remaining CPU time: 173.403 s 6.60/6.67 c =============================================================================== 6.60/6.67 c | 33093 | 198 32 3412 | 5000 3670 62 | 0.003 % | 6.60/6.69 c | 33193 | 198 32 3412 | 5500 3770 62 | 0.003 % | 6.69/6.72 c | 33343 | 198 32 3412 | 6050 3920 61 | 0.003 % | 6.69/6.76 c | 33569 | 198 32 3412 | 6655 4146 61 | 0.003 % | 6.79/6.82 c | 33907 | 198 32 3412 | 7320 4484 61 | 0.003 % | 6.79/6.88 c =============================================================================== 6.79/6.88 c New solution: 184 6.79/6.88 o 184 6.79/6.88 c Elapsed CPU time: 6.80497 s Remaining CPU time: 173.195 s 6.79/6.88 c =============================================================================== 6.79/6.88 c | 34251 | 198 33 3540 | 5000 4828 61 | 0.003 % | 6.89/6.90 c | 34355 | 198 33 3540 | 5500 4932 61 | 0.003 % | 6.89/6.93 c | 34505 | 198 33 3540 | 6050 5082 61 | 0.003 % | 6.89/6.97 c | 34730 | 198 33 3540 | 6655 5307 60 | 0.003 % | 6.99/7.04 c | 35067 | 198 33 3540 | 7320 5644 60 | 0.003 % | 7.09/7.13 c | 35573 | 198 33 3540 | 8052 6150 60 | 0.003 % | 7.19/7.27 c | 36332 | 198 33 3540 | 8857 6909 60 | 0.003 % | 7.39/7.49 c | 37471 | 198 33 3540 | 9743 8048 60 | 0.003 % | 7.79/7.81 c | 39179 | 198 33 3540 | 10717 9756 59 | 0.003 % | 8.28/8.33 c | 41741 | 198 33 3540 | 11789 6918 58 | 0.003 % | 9.08/9.14 c | 45586 | 198 33 3540 | 12968 10763 59 | 0.003 % | 10.49/10.50 c | 51352 | 198 33 3540 | 14265 10020 59 | 0.003 % | 12.29/12.30 c =============================================================================== 12.29/12.30 c New solution: 183 12.29/12.30 o 183 12.29/12.30 c Elapsed CPU time: 12.1502 s Remaining CPU time: 167.85 s 12.29/12.30 c =============================================================================== 12.29/12.30 c | 58402 | 198 34 3668 | 5000 9903 59 | 0.003 % | 12.29/12.35 c | 58502 | 198 34 3668 | 5500 5052 59 | 0.003 % | 12.29/12.38 c | 58654 | 198 34 3668 | 6050 5204 59 | 0.003 % | 12.39/12.41 c =============================================================================== 12.39/12.41 c New solution: 180 12.39/12.41 o 180 12.39/12.41 c Elapsed CPU time: 12.2551 s Remaining CPU time: 167.745 s 12.39/12.41 c =============================================================================== 12.39/12.41 c | 58813 | 198 35 3796 | 5000 5363 59 | 0.003 % | 12.39/12.42 c =============================================================================== 12.39/12.42 c New solution: 178 12.39/12.42 o 178 12.39/12.42 c Elapsed CPU time: 12.2651 s Remaining CPU time: 167.735 s 12.39/12.42 c =============================================================================== 12.39/12.42 c | 58821 | 198 36 3924 | 5000 2690 59 | 0.003 % | 12.39/12.44 c | 58921 | 198 36 3924 | 5500 2790 59 | 0.003 % | 12.39/12.46 c | 59071 | 198 36 3924 | 6050 2940 59 | 0.003 % | 12.49/12.50 c | 59296 | 198 36 3924 | 6655 3165 59 | 0.003 % | 12.49/12.55 c | 59634 | 198 36 3924 | 7320 3503 59 | 0.003 % | 12.59/12.62 c | 60141 | 198 36 3924 | 8052 4010 58 | 0.003 % | 12.69/12.75 c | 60900 | 198 36 3924 | 8857 4769 58 | 0.003 % | 12.89/12.95 c | 62039 | 198 36 3924 | 9743 5908 58 | 0.003 % | 13.19/13.26 c | 63747 | 198 36 3924 | 10717 7616 58 | 0.003 % | 13.69/13.77 c | 66309 | 198 36 3924 | 11789 10178 59 | 0.003 % | 14.59/14.61 c | 70153 | 198 36 3924 | 12968 8098 59 | 0.003 % | 15.79/15.84 c =============================================================================== 15.79/15.84 c New solution: 174 15.79/15.84 o 174 15.79/15.84 c Elapsed CPU time: 15.6286 s Remaining CPU time: 164.371 s 15.79/15.84 c =============================================================================== 15.79/15.84 c | 75562 | 198 37 4052 | 5000 6997 64 | 0.003 % | 15.79/15.87 c | 75662 | 198 37 4052 | 5500 3599 66 | 0.003 % | 15.79/15.88 c =============================================================================== 15.79/15.88 c New solution: 172 15.79/15.88 o 172 15.79/15.88 c Elapsed CPU time: 15.6616 s Remaining CPU time: 164.338 s 15.79/15.88 c =============================================================================== 15.79/15.88 c | 75683 | 198 38 4180 | 5000 3620 66 | 0.003 % | 15.79/15.89 c | 75783 | 198 38 4180 | 5500 3720 66 | 0.003 % | 15.88/15.92 c | 75933 | 198 38 4180 | 6050 3870 66 | 0.003 % | 15.88/15.95 c | 76159 | 198 38 4180 | 6655 4096 65 | 0.003 % | 15.99/16.01 c | 76496 | 198 38 4180 | 7320 4433 65 | 0.003 % | 15.99/16.02 c =============================================================================== 15.99/16.02 c New solution: 169 15.99/16.02 o 169 15.99/16.02 c Elapsed CPU time: 15.8016 s Remaining CPU time: 164.198 s 15.99/16.02 c =============================================================================== 15.99/16.02 c | 76566 | 198 39 4308 | 5000 4503 65 | 0.003 % | 15.99/16.04 c | 76668 | 198 39 4308 | 5500 4605 65 | 0.003 % | 15.99/16.07 c | 76818 | 198 39 4308 | 6050 4755 64 | 0.003 % | 16.09/16.11 c | 77043 | 198 39 4308 | 6655 4980 65 | 0.003 % | 16.09/16.17 c | 77380 | 198 39 4308 | 7320 5317 65 | 0.003 % | 16.19/16.26 c | 77886 | 198 39 4308 | 8052 5823 64 | 0.003 % | 16.29/16.40 c | 78646 | 198 39 4308 | 8857 6583 64 | 0.003 % | 16.58/16.62 c | 79786 | 198 39 4308 | 9743 7723 63 | 0.003 % | 16.89/16.93 c | 81494 | 198 39 4308 | 10717 9431 62 | 0.003 % | 17.38/17.44 c | 84058 | 198 39 4308 | 11789 6606 61 | 0.003 % | 18.19/18.26 c | 87902 | 198 39 4308 | 12968 10450 61 | 0.003 % | 18.48/18.51 c =============================================================================== 18.48/18.51 c New solution: 145 18.48/18.51 o 145 18.48/18.51 c Elapsed CPU time: 18.2572 s Remaining CPU time: 161.743 s 18.48/18.51 c =============================================================================== 18.48/18.51 c | 89013 | 198 40 4436 | 5000 11561 61 | 0.003 % | 18.48/18.57 c =============================================================================== 18.48/18.57 c New solution: 138 18.48/18.57 o 138 18.48/18.57 c Elapsed CPU time: 18.3112 s Remaining CPU time: 161.689 s 18.48/18.57 c =============================================================================== 18.48/18.57 c | 89105 | 198 41 4564 | 5000 2983 61 | 0.003 % | 18.48/18.59 c | 89205 | 198 41 4564 | 5500 3083 61 | 0.003 % | 18.59/18.61 c | 89355 | 198 41 4564 | 6050 3233 61 | 0.003 % | 18.59/18.65 c | 89582 | 198 41 4564 | 6655 3460 60 | 0.003 % | 18.69/18.71 c | 89922 | 198 41 4564 | 7320 3800 60 | 0.003 % | 18.78/18.80 c | 90430 | 198 41 4564 | 8052 4308 60 | 0.003 % | 18.89/18.93 c | 91189 | 198 41 4564 | 8857 5067 59 | 0.003 % | 19.09/19.16 c | 92328 | 198 41 4564 | 9743 6206 60 | 0.003 % | 19.48/19.51 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.4327 s Remaining CPU time: 158.567 s 21.69/21.74 c =============================================================================== 21.69/21.74 c | 103880 | 198 42 4692 | 5000 11839 60 | 0.003 % | 21.79/21.81 c | 103981 | 182 42 4692 | 5500 3038 63 | 8.083 % | 21.79/21.84 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.5777 s Remaining CPU time: 158.422 s 21.79/21.88 c =============================================================================== 21.79/21.88 c | 104400 | 182 43 4820 | 5000 3457 63 | 8.083 % | 21.89/21.90 c | 104500 | 182 43 4820 | 5500 3557 63 | 8.083 % | 21.89/21.93 c | 104651 | 182 43 4820 | 6050 3708 63 | 8.083 % | 21.89/21.97 c | 104876 | 182 43 4820 | 6655 3933 63 | 8.083 % | 21.99/22.03 c | 105213 | 182 43 4820 | 7320 4270 63 | 8.083 % | 22.08/22.12 c | 105719 | 182 43 4820 | 8052 4776 63 | 8.083 % | 22.18/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.38/23.49 c | 111889 | 182 43 4820 | 11789 5547 63 | 8.083 % | 23.79/23.83 c =============================================================================== 23.79/23.83 c New solution: 113 23.79/23.83 o 113 23.79/23.83 c Elapsed CPU time: 23.5044 s Remaining CPU time: 156.496 s 23.79/23.83 c =============================================================================== 23.79/23.83 c | 113520 | 182 44 4948 | 5000 7178 63 | 8.083 % | 23.79/23.87 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.94 c | 113997 | 182 44 4948 | 6655 4066 62 | 8.083 % | 23.98/24.01 c | 114334 | 182 44 4948 | 7320 4403 62 | 8.083 % | 24.09/24.11 c | 114843 | 182 44 4948 | 8052 4912 62 | 8.083 % | 24.19/24.26 c | 115602 | 182 44 4948 | 8857 5671 62 | 8.083 % | 24.48/24.51 c | 116741 | 182 44 4948 | 9743 6810 62 | 8.083 % | 24.79/24.86 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.34 c =============================================================================== 26.29/26.34 c New solution: 97 26.29/26.34 o 97 26.29/26.34 c Elapsed CPU time: 25.991 s Remaining CPU time: 154.009 s 26.29/26.34 c =============================================================================== 26.29/26.34 c | 124846 | 182 45 5076 | 5000 9522 63 | 8.083 % | 26.29/26.36 c =============================================================================== 26.29/26.36 c New solution: 95 26.29/26.36 o 95 26.29/26.36 c Elapsed CPU time: 26.015 s Remaining CPU time: 153.985 s 26.29/26.36 c =============================================================================== 26.29/26.36 c | 124850 | 182 46 5204 | 5000 4765 63 | 8.083 % | 26.29/26.37 c =============================================================================== 26.29/26.37 c New solution: 93 26.29/26.37 o 93 26.29/26.37 c Elapsed CPU time: 26.025 s Remaining CPU time: 153.975 s 26.29/26.37 c =============================================================================== 26.29/26.37 c | 124889 | 182 47 5332 | 5000 4804 63 | 8.083 % | 26.29/26.38 c =============================================================================== 26.29/26.38 c New solution: 92 26.29/26.38 o 92 26.29/26.38 c Elapsed CPU time: 26.034 s Remaining CPU time: 153.966 s 26.29/26.38 c =============================================================================== 26.29/26.38 c | 124929 | 182 48 5460 | 5000 4844 63 | 8.083 % | 26.29/26.40 c | 125030 | 182 48 5460 | 5500 4945 63 | 8.083 % | 26.39/26.43 c | 125180 | 182 48 5460 | 6050 5095 62 | 8.083 % | 26.39/26.48 c | 125405 | 182 48 5460 | 6655 5320 62 | 8.083 % | 26.48/26.55 c | 125742 | 182 48 5460 | 7320 5657 62 | 8.083 % | 26.58/26.65 c | 126249 | 182 48 5460 | 8052 6164 62 | 8.083 % | 26.78/26.80 c | 127008 | 182 48 5460 | 8857 6923 62 | 8.083 % | 26.98/27.04 c | 128147 | 182 48 5460 | 9743 8062 62 | 8.083 % | 27.39/27.42 c | 129855 | 182 48 5460 | 10717 9770 61 | 8.083 % | 27.98/28.00 c | 132417 | 182 48 5460 | 11789 6945 60 | 8.083 % | 28.88/28.93 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.67 c | 150676 | 182 48 5460 | 15692 11509 60 | 8.083 % | 36.08/36.12 c | 163650 | 182 48 5460 | 17261 8722 61 | 8.083 % | 41.79/41.84 c | 183112 | 182 48 5460 | 18987 10863 63 | 8.083 % | 44.08/44.14 c =============================================================================== 44.08/44.14 c New solution: 91 44.08/44.14 o 91 44.08/44.14 c Elapsed CPU time: 43.5844 s Remaining CPU time: 136.416 s 44.08/44.14 c =============================================================================== 44.08/44.14 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.35 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.53 c | 192612 | 182 49 5588 | 8052 6083 60 | 8.083 % | 44.58/44.69 c | 193371 | 182 49 5588 | 8857 6842 60 | 8.083 % | 44.88/44.95 c | 194510 | 182 49 5588 | 9743 7981 61 | 8.083 % | 45.28/45.34 c | 196218 | 182 49 5588 | 10717 9689 61 | 8.083 % | 45.38/45.41 c =============================================================================== 45.38/45.41 c New solution: 52 45.38/45.41 o 52 45.38/45.41 c Elapsed CPU time: 44.8342 s Remaining CPU time: 135.166 s 45.38/45.41 c =============================================================================== 45.38/45.41 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.47/45.50 c | 196740 | 166 50 5716 | 6050 5030 62 | 16.164 % | 45.47/45.55 c | 196965 | 166 50 5716 | 6655 5255 62 | 16.164 % | 45.58/45.62 c | 197302 | 166 50 5716 | 7320 5592 62 | 16.164 % | 45.68/45.74 c | 197809 | 166 50 5716 | 8052 6099 62 | 16.164 % | 45.88/45.90 c | 198568 | 166 50 5716 | 8857 6858 63 | 16.164 % | 46.08/46.15 c | 199707 | 166 50 5716 | 9743 7997 63 | 16.164 % | 46.47/46.57 c | 201415 | 166 50 5716 | 10717 9705 63 | 16.164 % | 47.18/47.22 c | 203977 | 166 50 5716 | 11789 6865 65 | 16.164 % | 48.08/48.17 c | 207821 | 166 50 5716 | 12968 10709 65 | 16.164 % | 49.78/49.82 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.47/61.56 c | 254671 | 166 50 5716 | 18987 10755 64 | 16.164 % | 70.28/70.34 c | 283865 | 166 50 5716 | 20886 11349 64 | 16.164 % | 84.57/84.64 c | 327654 | 166 50 5716 | 22974 13201 65 | 16.164 % | 106.85/106.95 c | 393338 | 166 50 5716 | 25272 18326 65 | 16.164 % | 142.55/142.61 c | 491865 | 166 50 5716 | 27799 17421 67 | 16.164 % | 181.74/181.80 c There are 32 assigned variables. 32 in cost function. 182.24/182.32 c ============================[ Search Statistics ]============================== 182.24/182.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.32 c =============================================================================== 182.24/182.32 c | 0 | 70 178 1300 | 5000 0 nan | 0.000 % | 182.24/182.34 c | 100 | 70 178 1300 | 5500 100 71 | 64.649 % | 182.24/182.37 c | 252 | 70 178 1300 | 6050 252 73 | 64.649 % | 182.33/182.42 c | 478 | 70 178 1300 | 6655 478 70 | 64.649 % | 182.44/182.50 c | 815 | 70 178 1300 | 7320 815 67 | 64.649 % | 182.44/182.60 c | 1321 | 70 178 1300 | 8052 1321 66 | 64.649 % | 182.64/182.71 c | 2080 | 70 178 1300 | 8857 2080 68 | 64.649 % | 182.84/182.90 c | 3219 | 70 178 1300 | 9743 3219 68 | 64.649 % | 183.04/183.18 c | 4927 | 70 178 1300 | 10717 4927 67 | 64.649 % | 183.55/183.68 c | 7490 | 70 178 1300 | 11789 7490 67 | 64.649 % | 184.43/184.57 c | 11334 | 70 178 1300 | 12968 11334 68 | 64.649 % | 185.63/185.79 c | 17100 | 70 178 1300 | 14265 10528 68 | 64.649 % | 187.64/187.75 c | 25749 | 70 178 1300 | 15692 11953 69 | 64.649 % | 190.53/190.67 c | 38723 | 70 178 1300 | 17261 9068 68 | 64.649 % | 195.02/195.18 c | 58184 | 70 178 1300 | 18987 11093 68 | 64.649 % | 201.82/201.90 c | 87377 | 70 178 1300 | 20886 11544 66 | 64.649 % | 213.12/213.24 c | 131166 | 70 178 1300 | 22974 13205 70 | 64.649 % | 232.21/232.31 c | 196850 | 70 178 1300 | 25272 16879 68 | 64.649 % | 260.51/260.65 c | 295376 | 70 178 1300 | 27799 13184 72 | 64.649 % | 317.49/317.61 c | 443166 | 70 178 1300 | 30579 24655 74 | 64.649 % | 403.86/404.09 c | 664849 | 70 178 1300 | 33637 29437 70 | 64.649 % | 546.62/546.88 c | 997374 | 70 178 1300 | 37001 21702 73 | 64.649 % | 783.14/783.46 c | 1496162 | 70 178 1300 | 40701 27368 78 | 64.649 % | 1165.83/1166.24 c | 2244345 | 70 178 1300 | 44771 36606 77 | 64.649 % | 1784.75/1785.39 c | 3366619 | 70 178 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-2656048-1276615023/watcher-2656048-1276615023 -o /tmp/evaluation-result-2656048-1276615023/solver-2656048-1276615023 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656048-1276615023.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10423 /proc/meminfo: memFree=1768220/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=2576 CPUtime=0 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 289 0 0 0 0 0 0 0 20 0 1 0 2794380 2637824 204 1992294400 134512640 135751879 4294645392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 644 204 146 303 0 339 0 [startup+0.0136349 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10423 /proc/meminfo: memFree=1768220/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=2576 CPUtime=0.01 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 296 0 0 0 1 0 0 0 20 0 1 0 2794380 2637824 211 1992294400 134512640 135751879 4294645392 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 644 212 147 303 0 339 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2576 [startup+0.101644 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10423 /proc/meminfo: memFree=1768220/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=2832 CPUtime=0.09 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 376 0 0 0 9 0 0 0 20 0 1 0 2794380 2899968 291 1992294400 134512640 135751879 4294645392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 708 291 147 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.301668 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10423 /proc/meminfo: memFree=1768220/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=3488 CPUtime=0.29 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 516 0 0 0 29 0 0 0 20 0 1 0 2794380 3571712 431 1992294400 134512640 135751879 4294645392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 872 431 147 303 0 567 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3488 [startup+0.700711 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10423 /proc/meminfo: memFree=1768220/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=4408 CPUtime=0.69 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 750 0 0 0 68 1 0 0 20 0 1 0 2794380 4513792 665 1992294400 134512640 135751879 4294645392 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 1102 665 147 303 0 797 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4408 [startup+1.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10424 /proc/meminfo: memFree=1765360/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=5968 CPUtime=1.49 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 1155 0 0 0 147 2 0 0 22 0 1 0 2794380 6111232 1070 1992294400 134512640 135751879 4294645392 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 1492 1070 147 303 0 1187 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5968 [startup+3.10097 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10424 /proc/meminfo: memFree=1763004/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=8828 CPUtime=3.09 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 1876 0 0 0 305 4 0 0 25 0 1 0 2794380 9039872 1791 1992294400 134512640 135751879 4294645392 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 2207 1791 148 303 0 1902 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8828 [startup+6.30132 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10424 /proc/meminfo: memFree=1757548/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=13784 CPUtime=6.29 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 3108 0 0 0 622 7 0 0 25 0 1 0 2794380 14114816 3023 1992294400 134512640 135751879 4294645392 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 3446 3023 148 303 0 3141 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13784 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10424 /proc/meminfo: memFree=1747380/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=23692 CPUtime=12.69 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 5570 0 0 0 1254 15 0 0 25 0 1 0 2794380 24260608 5485 1992294400 134512640 135751879 4294645392 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 5923 5485 148 303 0 5618 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23692 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10426 /proc/meminfo: memFree=1725680/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=44656 CPUtime=25.49 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 10799 0 0 0 2515 34 0 0 25 0 1 0 2794380 45727744 10714 1992294400 134512640 135751879 4294645392 18446744073709551615 134611119 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 11164 10714 148 303 0 10859 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44656 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10426 /proc/meminfo: memFree=1692696/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=77688 CPUtime=51.08 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 19058 0 0 0 5046 62 0 0 25 0 1 0 2794380 79552512 18973 1992294400 134512640 135751879 4294645392 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 19422 18973 148 303 0 19117 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77688 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10428 /proc/meminfo: memFree=1636524/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=133136 CPUtime=102.27 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 32929 0 0 0 10118 109 0 0 25 0 1 0 2794380 136331264 32844 1992294400 134512640 135751879 4294645392 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 33284 32844 148 303 0 32979 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 133136 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10428 /proc/meminfo: memFree=1580228/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=189944 CPUtime=162.24 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 47100 0 0 0 16064 160 0 0 25 0 1 0 2794380 194502656 47015 1992294400 134512640 135751879 4294645392 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 47486 47015 148 303 0 47181 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 189944 [startup+222.302 s] /proc/loadavg: 1.07 1.03 1.01 2/107 10430 /proc/meminfo: memFree=1526040/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=243344 CPUtime=222.22 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 60519 0 0 0 22001 221 0 0 25 0 1 0 2794380 249184256 60406 1992294400 134512640 135751879 4294645392 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 60836 60406 150 303 0 60531 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 243344 [startup+282.301 s] /proc/loadavg: 1.06 1.03 1.01 2/107 10432 /proc/meminfo: memFree=1469000/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=300784 CPUtime=282.2 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 74839 0 0 0 27944 276 0 0 25 0 1 0 2794380 308002816 74726 1992294400 134512640 135751879 4294645392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 75196 74726 150 303 0 74891 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 300784 [startup+342.301 s] /proc/loadavg: 1.13 1.05 1.01 2/107 10434 /proc/meminfo: memFree=1420516/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=348716 CPUtime=342.18 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 86838 0 0 0 33891 327 0 0 25 0 1 0 2794380 357085184 86725 1992294400 134512640 135751879 4294645392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 87179 86725 150 303 0 86874 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 348716 [startup+402.302 s] /proc/loadavg: 1.12 1.06 1.01 2/107 10436 /proc/meminfo: memFree=1373024/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=396672 CPUtime=402.16 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 98783 0 0 0 39844 372 0 0 25 0 1 0 2794380 406192128 98670 1992294400 134512640 135751879 4294645392 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 99168 98670 150 303 0 98863 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 396672 [startup+462.301 s] /proc/loadavg: 1.11 1.06 1.01 2/107 10436 /proc/meminfo: memFree=1322556/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=446772 CPUtime=462.14 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 111310 0 0 0 45796 418 0 0 25 0 1 0 2794380 457494528 111197 1992294400 134512640 135751879 4294645392 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 111693 111197 150 303 0 111388 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 446772 [startup+522.301 s] /proc/loadavg: 1.10 1.06 1.01 2/107 10438 /proc/meminfo: memFree=1270848/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=498492 CPUtime=522.12 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 124230 0 0 0 51747 465 0 0 25 0 1 0 2794380 510455808 124117 1992294400 134512640 135751879 4294645392 18446744073709551615 134604779 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 124623 124117 150 303 0 124318 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 498492 [startup+582.301 s] /proc/loadavg: 1.09 1.07 1.01 2/107 10440 /proc/meminfo: memFree=1222116/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=547096 CPUtime=582.11 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 136370 0 0 0 57701 510 0 0 25 0 1 0 2794380 560226304 136257 1992294400 134512640 135751879 4294645392 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 136774 136257 150 303 0 136469 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 547096 [startup+642.3 s] /proc/loadavg: 1.08 1.07 1.01 2/107 10442 /proc/meminfo: memFree=1174624/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=593824 CPUtime=642.09 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 148060 0 0 0 63656 553 0 0 25 0 1 0 2794380 608075776 147947 1992294400 134512640 135751879 4294645392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 148456 147947 150 303 0 148151 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 593824 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.07 1.08 1.01 2/107 10448 /proc/meminfo: memFree=992096/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=776220 CPUtime=882.01 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 193632 0 0 0 87472 729 0 0 25 0 1 0 2794380 794849280 193519 1992294400 134512640 135751879 4294645392 18446744073709551615 134605633 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 194055 193519 150 303 0 193750 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 776220 [startup+942.301 s] /proc/loadavg: 1.02 1.06 1.01 2/107 10453 /proc/meminfo: memFree=950680/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=816788 CPUtime=941.99 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 203791 0 0 0 93432 767 0 0 25 0 1 0 2794380 836390912 203678 1992294400 134512640 135751879 4294645392 18446744073709551615 134602805 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 204197 203678 150 303 0 203892 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 816788 [startup+1002.3 s] /proc/loadavg: 1.15 1.08 1.01 2/107 10455 /proc/meminfo: memFree=906412/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=861336 CPUtime=1001.98 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 214908 0 0 0 99389 809 0 0 25 0 1 0 2794380 882008064 214795 1992294400 134512640 135751879 4294645392 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 215334 214795 150 303 0 215029 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 861336 [startup+1062.3 s] /proc/loadavg: 1.26 1.11 1.02 2/107 10455 /proc/meminfo: memFree=863880/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=903864 CPUtime=1061.96 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 225531 0 0 0 105349 847 0 0 25 0 1 0 2794380 925556736 225418 1992294400 134512640 135751879 4294645392 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 225966 225418 150 303 0 225661 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 903864 [startup+1122.3 s] /proc/loadavg: 1.09 1.09 1.02 2/107 10457 /proc/meminfo: memFree=820356/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=947092 CPUtime=1121.94 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 236326 0 0 0 111305 889 0 0 25 0 1 0 2794380 969822208 236213 1992294400 134512640 135751879 4294645392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 236773 236213 150 303 0 236468 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 947092 [startup+1182.3 s] /proc/loadavg: 1.03 1.07 1.01 2/107 10459 /proc/meminfo: memFree=776832/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=991044 CPUtime=1181.92 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 247291 0 0 0 117261 931 0 0 25 0 1 0 2794380 1014829056 247178 1992294400 134512640 135751879 4294645392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 247761 247178 150 303 0 247456 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 991044 [startup+1242.3 s] /proc/loadavg: 1.01 1.05 1.00 2/107 10461 /proc/meminfo: memFree=738268/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1029212 CPUtime=1241.91 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 256821 0 0 0 123225 966 0 0 25 0 1 0 2794380 1053913088 256708 1992294400 134512640 135751879 4294645392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 257303 256708 150 303 0 256998 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1029212 [startup+1302.3 s] /proc/loadavg: 1.00 1.04 1.00 2/107 10463 /proc/meminfo: memFree=699580/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1067552 CPUtime=1301.9 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 266422 0 0 0 129187 1003 0 0 25 0 1 0 2794380 1093173248 266309 1992294400 134512640 135751879 4294645392 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 266888 266309 150 303 0 266583 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1067552 [startup+1362.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 10463 /proc/meminfo: memFree=660644/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1107288 CPUtime=1361.87 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 276348 0 0 0 135144 1043 0 0 25 0 1 0 2794380 1133862912 276235 1992294400 134512640 135751879 4294645392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 276822 276235 150 303 0 276517 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1107288 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10465 /proc/meminfo: memFree=617120/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1149976 CPUtime=1421.86 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 287019 0 0 0 141101 1085 0 0 25 0 1 0 2794380 1177575424 286906 1992294400 134512640 135751879 4294645392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 287494 286906 150 303 0 287189 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1149976 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10467 /proc/meminfo: memFree=577068/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1190140 CPUtime=1481.83 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 297074 0 0 0 147062 1121 0 0 25 0 1 0 2794380 1218703360 296961 1992294400 134512640 135751879 4294645392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 297535 296961 150 303 0 297230 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1190140 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10469 /proc/meminfo: memFree=535776/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1231492 CPUtime=1541.82 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 307381 0 0 0 153020 1162 0 0 25 0 1 0 2794380 1261047808 307268 1992294400 134512640 135751879 4294645392 18446744073709551615 134616409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 307873 307268 150 303 0 307568 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1231492 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10471 /proc/meminfo: memFree=494112/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1273504 CPUtime=1601.8 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 317884 0 0 0 158980 1200 0 0 25 0 1 0 2794380 1304068096 317771 1992294400 134512640 135751879 4294645392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 318376 317771 150 303 0 318071 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1273504 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10471 /proc/meminfo: memFree=453688/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1313236 CPUtime=1661.79 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 327838 0 0 0 164941 1238 0 0 25 0 1 0 2794380 1344753664 327725 1992294400 134512640 135751879 4294645392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 328309 327725 150 303 0 328004 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1313236 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10473 /proc/meminfo: memFree=414628/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1352584 CPUtime=1721.76 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 337644 0 0 0 170904 1272 0 0 25 0 1 0 2794380 1385046016 337531 1992294400 134512640 135751879 4294645392 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 338146 337531 150 303 0 337841 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1352584 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10475 /proc/meminfo: memFree=373832/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1392712 CPUtime=1781.75 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 347686 0 0 0 176868 1307 0 0 25 0 1 0 2794380 1426137088 347573 1992294400 134512640 135751879 4294645392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 348178 347573 150 303 0 347873 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1392712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10475 /proc/meminfo: memFree=360564/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=1405780 CPUtime=1800.05 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4202496 350966 0 0 0 178685 1320 0 0 25 0 1 0 2794380 1439518720 350853 1992294400 134512640 135751879 4294645392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10423/statm: 351445 350853 150 303 0 351140 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1405780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10475 /proc/meminfo: memFree=360564/2059040 swapFree=4192956/4192956 [pid=10423] ppid=10421 vsize=0 CPUtime=1800.15 /proc/10423/stat : 10423 (wbo1.4b) R 10421 10423 9772 0 -1 4203524 350966 0 0 0 178685 1330 0 0 25 0 1 0 2794380 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/10423/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.19 CPU user time (s): 1786.85 CPU system time (s): 13.334 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 1405780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.85 system time used= 13.334 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 350966 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 3269 runsolver used 3.2875 second user time and 8.20475 second system time The end
Begin job on node047 at 2010-06-15 17:17:04 IDJOB=2656048 IDBENCH=2920 IDSOLVER=1161 FILE ID=node047/2656048-1276615023 PBS_JOBID= 11172261 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b 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-2656048-1276615023/watcher-2656048-1276615023 -o /tmp/evaluation-result-2656048-1276615023/solver-2656048-1276615023 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656048-1276615023.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=1460636119 node047.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.244 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.48 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.244 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1768624 kB Buffers: 34580 kB Cached: 132400 kB SwapCached: 0 kB Active: 109836 kB Inactive: 116556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1768624 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 59344 kB Mapped: 15412 kB Slab: 42168 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180912 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= 62540 MiB End job on node047 at 2010-06-15 17:47:06