Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -33 | 181.561 | 181.625 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb |
MD5SUM | 2585c1015aa6228da840b6f61adc6732 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2528 |
Sum of products size (including duplicates) | 5056 |
Number of different products | 1264 |
Sum of products size | 2528 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702552-1278570007.opb. 0.00/0.00 c Instance file HOME/instance-2702552-1278570007.opb 0.00/0.00 c File size is 104187 bytes. 0.00/0.01 c Highest Coefficient sum: 22 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1464 | 0.00/0.01 c | Number Clauses: 1264 | 0.00/0.01 c | Number Cardinality: 400 | 0.00/0.01 c | Number PB Constraints: 1264 | 0.01/0.02 c ============================[ Search Statistics ]============================== 0.01/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 200 2928 6098 | 5000 0 nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 200 0.01/0.02 o 200 0.01/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 200 2929 6298 | 5000 0 nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 199 0.01/0.02 o 199 0.01/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 200 2930 6498 | 5000 0 nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 198 0.01/0.02 o 198 0.01/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 1 | 200 2931 6698 | 5000 1 199 | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 197 0.01/0.02 o 197 0.01/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 2 | 200 2932 6898 | 5000 2 198 | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 196 0.01/0.02 o 196 0.01/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 3 | 200 2933 7098 | 5000 3 198 | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 195 0.01/0.02 o 195 0.01/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 3 | 200 2934 7298 | 5000 3 198 | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c New solution: 194 0.01/0.02 o 194 0.01/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.01/0.02 c =============================================================================== 0.01/0.02 c | 3 | 200 2935 7498 | 5000 3 198 | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 193 0.01/0.03 o 193 0.01/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 12 | 200 2936 7698 | 5000 12 196 | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 192 0.01/0.03 o 192 0.01/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 23 | 200 2937 7898 | 5000 23 195 | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 191 0.01/0.03 o 191 0.01/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 28 | 200 2938 8098 | 5000 28 195 | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 190 0.01/0.03 o 190 0.01/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.01/0.03 c =============================================================================== 0.01/0.03 c | 38 | 200 2939 8298 | 5000 38 194 | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 189 0.01/0.03 o 189 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 | 41 | 200 2940 8498 | 5000 41 194 | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c New solution: 188 0.01/0.03 o 188 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 | 45 | 200 2941 8698 | 5000 45 193 | 0.000 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c New solution: 187 0.01/0.04 o 187 0.01/0.04 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.01/0.04 c =============================================================================== 0.01/0.04 c | 100 | 200 2942 8898 | 5000 100 191 | 0.000 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c New solution: 186 0.01/0.04 o 186 0.01/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s 0.01/0.04 c =============================================================================== 0.01/0.04 c | 138 | 200 2943 9098 | 5000 138 190 | 0.000 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c New solution: 185 0.01/0.04 o 185 0.01/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.01/0.04 c =============================================================================== 0.01/0.04 c | 180 | 200 2944 9298 | 5000 180 189 | 0.000 % | 0.01/0.05 c | 280 | 200 2944 9298 | 5500 280 188 | 86.339 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 184 0.01/0.06 o 184 0.01/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 405 | 200 2945 9498 | 5000 405 187 | 86.339 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 183 0.01/0.07 o 183 0.01/0.07 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 434 | 200 2946 9698 | 5000 434 187 | 86.339 % | 0.01/0.08 c | 535 | 200 2946 9698 | 5500 535 187 | 86.339 % | 0.01/0.08 c =============================================================================== 0.01/0.08 c New solution: 182 0.01/0.08 o 182 0.01/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s 0.01/0.08 c =============================================================================== 0.01/0.08 c | 561 | 200 2947 9898 | 5000 561 187 | 86.339 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: 181 0.01/0.09 o 181 0.01/0.09 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 612 | 200 2948 10098 | 5000 612 187 | 86.339 % | 0.09/0.10 c | 713 | 200 2948 10098 | 5500 713 186 | 86.339 % | 0.09/0.11 c | 863 | 200 2948 10098 | 6050 863 186 | 86.339 % | 0.09/0.14 c | 1088 | 200 2948 10098 | 6655 1088 185 | 86.339 % | 0.09/0.18 c | 1426 | 200 2948 10098 | 7320 1426 185 | 86.339 % | 0.19/0.24 c | 1933 | 200 2948 10098 | 8052 1933 184 | 86.339 % | 0.29/0.33 c | 2693 | 200 2948 10098 | 8857 2693 184 | 86.339 % | 0.48/0.55 c | 3833 | 200 2948 10098 | 9743 3833 183 | 86.339 % | 0.89/0.90 c | 5541 | 200 2948 10098 | 10717 5541 183 | 86.339 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c New solution: 180 0.99/1.03 o 180 0.99/1.03 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s 0.99/1.03 c =============================================================================== 0.99/1.03 c | 5971 | 200 2949 10298 | 5000 5971 183 | 86.339 % | 0.99/1.07 c | 6071 | 200 2949 10298 | 5500 6071 183 | 86.339 % | 1.09/1.11 c | 6222 | 200 2949 10298 | 6050 6222 183 | 86.339 % | 1.09/1.16 c | 6448 | 200 2949 10298 | 6655 6448 183 | 86.339 % | 1.18/1.26 c | 6786 | 200 2949 10298 | 7320 6786 183 | 86.339 % | 1.39/1.42 c | 7293 | 200 2949 10298 | 8052 7293 183 | 86.339 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: 179 1.49/1.52 o 179 1.49/1.52 c Elapsed CPU time: 1.48677 s Remaining CPU time: 178.513 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 7624 | 200 2950 10498 | 5000 7624 183 | 86.339 % | 1.49/1.58 c | 7724 | 200 2950 10498 | 5500 3912 182 | 86.339 % | 1.59/1.61 c | 7874 | 200 2950 10498 | 6050 4062 182 | 86.339 % | 1.59/1.66 c | 8099 | 200 2950 10498 | 6655 4287 182 | 86.339 % | 1.69/1.73 c =============================================================================== 1.69/1.73 c New solution: 178 1.69/1.73 o 178 1.69/1.73 c Elapsed CPU time: 1.69574 s Remaining CPU time: 178.304 s 1.69/1.73 c =============================================================================== 1.69/1.73 c | 8397 | 200 2951 10698 | 5000 4585 182 | 86.339 % | 1.69/1.77 c | 8498 | 200 2951 10698 | 5500 4686 182 | 86.339 % | 1.79/1.81 c | 8650 | 200 2951 10698 | 6050 4838 182 | 86.339 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c New solution: 177 1.79/1.83 o 177 1.79/1.83 c Elapsed CPU time: 1.80273 s Remaining CPU time: 178.197 s 1.79/1.83 c =============================================================================== 1.79/1.83 c | 8739 | 200 2952 10898 | 5000 4927 182 | 86.339 % | 1.79/1.87 c | 8841 | 200 2952 10898 | 5500 5029 182 | 86.339 % | 1.89/1.92 c | 8991 | 200 2952 10898 | 6050 5179 182 | 86.339 % | 1.99/2.00 c | 9216 | 200 2952 10898 | 6655 5404 182 | 86.339 % | 2.09/2.13 c | 9554 | 200 2952 10898 | 7320 5742 182 | 86.339 % | 2.19/2.22 c | 10061 | 200 2952 10898 | 8052 6249 181 | 86.339 % | 2.38/2.47 c | 10820 | 200 2952 10898 | 8857 7008 181 | 86.339 % | 2.69/2.73 c | 11959 | 200 2952 10898 | 9743 8147 181 | 86.339 % | 2.99/3.02 c =============================================================================== 2.99/3.02 c New solution: 176 2.99/3.02 o 176 2.99/3.02 c Elapsed CPU time: 2.97355 s Remaining CPU time: 177.026 s 2.99/3.02 c =============================================================================== 2.99/3.02 c | 12802 | 200 2953 11098 | 5000 8990 180 | 86.339 % | 3.09/3.12 c | 12902 | 200 2953 11098 | 5500 4595 179 | 86.339 % | 3.09/3.14 c | 13052 | 200 2953 11098 | 6050 4745 179 | 86.339 % | 3.09/3.18 c | 13277 | 200 2953 11098 | 6655 4970 179 | 86.339 % | 3.20/3.22 c | 13615 | 200 2953 11098 | 7320 5308 179 | 86.339 % | 3.30/3.31 c | 14122 | 200 2953 11098 | 8052 5815 178 | 86.339 % | 3.39/3.49 c | 14881 | 200 2953 11098 | 8857 6574 178 | 86.339 % | 3.49/3.56 c =============================================================================== 3.49/3.56 c New solution: 175 3.49/3.56 o 175 3.49/3.56 c Elapsed CPU time: 3.50647 s Remaining CPU time: 176.494 s 3.49/3.56 c =============================================================================== 3.49/3.56 c | 15313 | 200 2954 11298 | 5000 7006 178 | 86.339 % | 3.59/3.63 c | 15414 | 200 2954 11298 | 5500 3604 178 | 86.339 % | 3.59/3.68 c | 15565 | 200 2954 11298 | 6050 3755 178 | 86.339 % | 3.69/3.73 c | 15791 | 200 2954 11298 | 6655 3981 178 | 86.339 % | 3.79/3.82 c | 16130 | 200 2954 11298 | 7320 4320 178 | 86.339 % | 3.89/3.91 c | 16638 | 200 2954 11298 | 8052 4828 178 | 86.339 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c New solution: 174 3.99/4.02 o 174 3.99/4.02 c Elapsed CPU time: 3.9614 s Remaining CPU time: 176.039 s 3.99/4.02 c =============================================================================== 3.99/4.02 c | 17360 | 200 2955 11498 | 5000 5550 178 | 86.339 % | 3.99/4.07 c | 17462 | 200 2955 11498 | 5500 5652 178 | 86.339 % | 4.09/4.14 c | 17613 | 200 2955 11498 | 6050 5803 178 | 86.339 % | 4.19/4.24 c | 17839 | 200 2955 11498 | 6655 6029 178 | 86.339 % | 4.30/4.38 c | 18177 | 200 2955 11498 | 7320 6367 179 | 86.339 % | 4.49/4.52 c | 18685 | 200 2955 11498 | 8052 6875 179 | 86.339 % | 4.59/4.68 c | 19444 | 200 2955 11498 | 8857 7634 178 | 86.339 % | 4.78/4.89 c | 20583 | 200 2955 11498 | 9743 8773 178 | 86.339 % | 5.19/5.25 c | 22292 | 200 2955 11498 | 10717 10482 177 | 86.339 % | 5.99/6.02 c =============================================================================== 5.99/6.02 c New solution: 173 5.99/6.02 o 173 5.99/6.02 c Elapsed CPU time: 5.9451 s Remaining CPU time: 174.055 s 5.99/6.02 c =============================================================================== 5.99/6.02 c | 23177 | 200 2956 11698 | 5000 11367 177 | 86.339 % | 6.09/6.12 c | 23277 | 200 2956 11698 | 5500 5784 177 | 86.339 % | 6.09/6.18 c | 23428 | 200 2956 11698 | 6050 5935 177 | 86.339 % | 6.19/6.24 c | 23653 | 200 2956 11698 | 6655 6160 177 | 86.339 % | 6.29/6.33 c | 23990 | 200 2956 11698 | 7320 6497 177 | 86.339 % | 6.39/6.45 c | 24497 | 200 2956 11698 | 8052 7004 177 | 86.339 % | 6.78/6.80 c | 25256 | 200 2956 11698 | 8857 7763 177 | 86.339 % | 7.19/7.20 c | 26398 | 200 2956 11698 | 9743 8905 179 | 86.339 % | 7.49/7.55 c =============================================================================== 7.49/7.55 c New solution: 172 7.49/7.55 o 172 7.49/7.55 c Elapsed CPU time: 7.46286 s Remaining CPU time: 172.537 s 7.49/7.55 c =============================================================================== 7.49/7.55 c | 26984 | 200 2957 11898 | 5000 9491 178 | 86.339 % | 7.60/7.60 c | 27085 | 200 2957 11898 | 5500 4847 180 | 86.339 % | 7.60/7.64 c | 27236 | 200 2957 11898 | 6050 4998 180 | 86.339 % | 7.60/7.70 c | 27461 | 200 2957 11898 | 6655 5223 179 | 86.339 % | 7.69/7.79 c | 27798 | 200 2957 11898 | 7320 5560 179 | 86.339 % | 7.89/8.00 c | 28305 | 200 2957 11898 | 8052 6067 179 | 86.339 % | 8.28/8.30 c =============================================================================== 8.28/8.30 c New solution: 171 8.28/8.30 o 171 8.28/8.30 c Elapsed CPU time: 8.20775 s Remaining CPU time: 171.792 s 8.28/8.30 c =============================================================================== 8.28/8.30 c | 28994 | 200 2958 12098 | 5000 6756 178 | 86.339 % | 8.28/8.35 c | 29094 | 200 2958 12098 | 5500 3478 177 | 86.339 % | 8.28/8.39 c | 29246 | 200 2958 12098 | 6050 3630 177 | 86.339 % | 8.39/8.47 c | 29471 | 200 2958 12098 | 6655 3855 177 | 86.339 % | 8.49/8.53 c | 29808 | 200 2958 12098 | 7320 4192 177 | 86.339 % | 8.59/8.65 c | 30314 | 200 2958 12098 | 8052 4698 177 | 86.339 % | 8.79/8.88 c | 31074 | 200 2958 12098 | 8857 5458 177 | 86.339 % | 8.88/8.92 c =============================================================================== 8.88/8.92 c New solution: 170 8.88/8.92 o 170 8.88/8.92 c Elapsed CPU time: 8.81866 s Remaining CPU time: 171.181 s 8.88/8.92 c =============================================================================== 8.88/8.92 c | 31165 | 200 2959 12298 | 5000 5549 177 | 86.339 % | 8.88/8.95 c | 31267 | 200 2959 12298 | 5500 5651 177 | 86.339 % | 8.99/9.00 c | 31418 | 200 2959 12298 | 6050 5802 177 | 86.339 % | 8.99/9.09 c | 31643 | 200 2959 12298 | 6655 6027 176 | 86.339 % | 9.09/9.18 c | 31982 | 200 2959 12298 | 7320 6366 177 | 86.339 % | 9.29/9.30 c | 32489 | 200 2959 12298 | 8052 6873 176 | 86.339 % | 9.48/9.52 c | 33248 | 200 2959 12298 | 8857 7632 176 | 86.339 % | 9.80/9.87 c | 34390 | 200 2959 12298 | 9743 8774 176 | 86.339 % | 10.39/10.48 c | 36099 | 200 2959 12298 | 10717 10483 175 | 86.339 % | 11.29/11.32 c | 38662 | 200 2959 12298 | 11789 6970 173 | 86.339 % | 12.09/12.15 c | 42507 | 200 2959 12298 | 12968 10815 172 | 86.339 % | 14.39/14.45 c | 48274 | 200 2959 12298 | 14265 9381 172 | 86.339 % | 17.49/17.56 c | 56923 | 200 2959 12298 | 15692 10180 171 | 86.339 % | 23.78/23.86 c | 69898 | 200 2959 12298 | 17261 14591 172 | 86.339 % | 31.78/31.86 c | 89359 | 200 2959 12298 | 18987 15355 171 | 86.339 % | 33.58/33.64 c =============================================================================== 33.58/33.64 c New solution: 169 33.58/33.64 o 169 33.58/33.64 c Elapsed CPU time: 33.3169 s Remaining CPU time: 146.683 s 33.58/33.64 c =============================================================================== 33.58/33.64 c | 93360 | 200 2960 12498 | 5000 19356 171 | 86.339 % | 33.99/34.02 c | 93461 | 200 2960 12498 | 5500 4940 171 | 86.339 % | 33.99/34.06 c | 93613 | 200 2960 12498 | 6050 5092 171 | 86.339 % | 34.08/34.13 c | 93839 | 200 2960 12498 | 6655 5318 171 | 86.339 % | 34.18/34.27 c | 94176 | 200 2960 12498 | 7320 5655 171 | 86.339 % | 34.37/34.42 c | 94683 | 200 2960 12498 | 8052 6162 171 | 86.339 % | 34.47/34.57 c | 95443 | 200 2960 12498 | 8857 6922 171 | 86.339 % | 34.68/34.79 c | 96583 | 200 2960 12498 | 9743 8062 171 | 86.339 % | 34.98/35.09 c | 98291 | 200 2960 12498 | 10717 9770 171 | 86.339 % | 35.57/35.69 c =============================================================================== 35.57/35.69 c New solution: 168 35.57/35.69 o 168 35.57/35.69 c Elapsed CPU time: 35.3386 s Remaining CPU time: 144.661 s 35.57/35.69 c =============================================================================== 35.57/35.69 c | 100647 | 200 2961 12698 | 5000 12126 170 | 86.339 % | 35.77/35.88 c | 100747 | 200 2961 12698 | 5500 6163 170 | 86.339 % | 35.88/35.90 c | 100897 | 200 2961 12698 | 6050 6313 170 | 86.339 % | 35.98/36.01 c | 101122 | 200 2961 12698 | 6655 6538 170 | 86.339 % | 36.08/36.13 c | 101459 | 200 2961 12698 | 7320 6875 170 | 86.339 % | 36.28/36.34 c | 101965 | 200 2961 12698 | 8052 7381 170 | 86.339 % | 36.57/36.63 c | 102724 | 200 2961 12698 | 8857 8140 170 | 86.339 % | 37.08/37.13 c | 103864 | 200 2961 12698 | 9743 9280 170 | 86.339 % | 38.18/38.25 c | 105573 | 200 2961 12698 | 10717 10989 170 | 86.339 % | 39.38/39.45 c | 108136 | 200 2961 12698 | 11789 7477 170 | 86.339 % | 40.17/40.29 c | 111980 | 200 2961 12698 | 12968 11321 170 | 86.339 % | 43.37/43.45 c | 117747 | 200 2961 12698 | 14265 9893 170 | 86.339 % | 48.28/48.40 c | 126396 | 200 2961 12698 | 15692 10690 170 | 86.339 % | 53.47/53.52 c | 139371 | 200 2961 12698 | 17261 15102 169 | 86.339 % | 56.77/56.82 c =============================================================================== 56.77/56.82 c New solution: 167 56.77/56.82 o 167 56.77/56.82 c Elapsed CPU time: 56.3084 s Remaining CPU time: 123.692 s 56.77/56.82 c =============================================================================== 56.77/56.82 c | 145387 | 200 2962 12898 | 5000 11773 169 | 86.339 % | 56.97/57.05 c | 145488 | 200 2962 12898 | 5500 5988 169 | 86.339 % | 57.08/57.11 c | 145638 | 200 2962 12898 | 6050 6138 169 | 86.339 % | 57.18/57.23 c | 145863 | 200 2962 12898 | 6655 6363 169 | 86.339 % | 57.37/57.40 c | 146201 | 200 2962 12898 | 7320 6701 170 | 86.339 % | 57.57/57.63 c | 146709 | 200 2962 12898 | 8052 7209 170 | 86.339 % | 57.97/58.05 c | 147470 | 200 2962 12898 | 8857 7970 170 | 86.339 % | 58.37/58.48 c | 148610 | 200 2962 12898 | 9743 9110 170 | 86.339 % | 59.47/59.51 c | 150318 | 200 2962 12898 | 10717 10818 170 | 86.339 % | 60.67/60.73 c | 152880 | 200 2962 12898 | 11789 7307 170 | 86.339 % | 63.46/63.56 c | 156725 | 200 2962 12898 | 12968 11152 170 | 86.339 % | 66.27/66.39 c | 162492 | 200 2962 12898 | 14265 9718 169 | 86.339 % | 70.16/70.28 c | 171142 | 200 2962 12898 | 15692 10521 169 | 86.339 % | 77.17/77.24 c | 184116 | 200 2962 12898 | 17261 14932 169 | 86.339 % | 87.96/88.02 c | 203578 | 200 2962 12898 | 18987 15702 169 | 86.339 % | 109.96/110.04 c | 232771 | 200 2962 12898 | 20886 14268 170 | 86.339 % | 140.34/140.45 c | 276560 | 200 2962 12898 | 22974 11539 169 | 86.339 % | 181.12/181.26 c There are 1264 assigned variables. 0 in cost function. 181.43/181.59 c core #1 181.43/181.59 c #cores: 1 181.43/181.59 c Final Weight: 167 181.43/181.59 o 167 181.43/181.59 s OPTIMUM FOUND 181.43/181.59 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 x80 -x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 x117 -x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 -x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 x171 x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 x194 -x195 -x196 x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 181.43/181.59 c Total CPU time: 180.337 s
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702552-1278570007/watcher-2702552-1278570007 -o /tmp/evaluation-result-2702552-1278570007/solver-2702552-1278570007 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702552-1278570007.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.94 0.97 0.99 3/106 29613 /proc/meminfo: memFree=1621836/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=2824 CPUtime=0 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 333 0 0 0 0 0 0 0 19 0 1 0 25213996 2891776 251 1992294400 134512640 135751879 4290437616 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 706 251 141 303 0 375 0 [startup+0.0213669 s] /proc/loadavg: 0.94 0.97 0.99 3/106 29613 /proc/meminfo: memFree=1621836/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=3252 CPUtime=0.01 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 483 0 0 0 1 0 0 0 19 0 1 0 25213996 3330048 375 1992294400 134512640 135751879 4290437616 18446744073709551615 134524535 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 813 377 145 303 0 508 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3252 [startup+0.101382 s] /proc/loadavg: 0.94 0.97 0.99 3/106 29613 /proc/meminfo: memFree=1621836/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=3768 CPUtime=0.09 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 602 0 0 0 9 0 0 0 20 0 1 0 25213996 3858432 494 1992294400 134512640 135751879 4290437616 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 942 494 147 303 0 637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3768 [startup+0.301419 s] /proc/loadavg: 0.94 0.97 0.99 3/106 29613 /proc/meminfo: memFree=1621836/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=5052 CPUtime=0.29 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 941 0 0 0 28 1 0 0 20 0 1 0 25213996 5173248 833 1992294400 134512640 135751879 4290437616 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 1263 833 147 303 0 958 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5052 [startup+0.701496 s] /proc/loadavg: 0.94 0.97 0.99 3/106 29613 /proc/meminfo: memFree=1621836/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=6856 CPUtime=0.69 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 1402 0 0 0 67 2 0 0 20 0 1 0 25213996 7020544 1294 1992294400 134512640 135751879 4290437616 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 1714 1294 147 303 0 1409 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6856 [startup+1.50165 s] /proc/loadavg: 0.94 0.97 0.99 2/107 29614 /proc/meminfo: memFree=1616372/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=9568 CPUtime=1.49 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 2050 0 0 0 146 3 0 0 23 0 1 0 25213996 9797632 1942 1992294400 134512640 135751879 4290437616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 2392 1942 147 303 0 2087 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9568 [startup+3.10195 s] /proc/loadavg: 0.94 0.97 0.99 2/107 29614 /proc/meminfo: memFree=1613148/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=13944 CPUtime=3.09 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 3144 0 0 0 305 4 0 0 25 0 1 0 25213996 14278656 3036 1992294400 134512640 135751879 4290437616 18446744073709551615 134517456 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 3486 3036 148 303 0 3181 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13944 [startup+6.30157 s] /proc/loadavg: 0.94 0.97 0.99 2/107 29614 /proc/meminfo: memFree=1602484/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=22956 CPUtime=6.29 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 5401 0 0 0 622 7 0 0 25 0 1 0 25213996 23506944 5293 1992294400 134512640 135751879 4290437616 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 5739 5293 148 303 0 5434 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22956 [startup+12.7018 s] /proc/loadavg: 0.95 0.97 0.99 3/107 29614 /proc/meminfo: memFree=1587124/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=38628 CPUtime=12.68 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 9315 0 0 0 1254 14 0 0 25 0 1 0 25213996 39555072 9207 1992294400 134512640 135751879 4290437616 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 9657 9207 148 303 0 9352 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38628 [startup+25.5012 s] /proc/loadavg: 0.96 0.97 0.99 2/107 29614 /proc/meminfo: memFree=1562944/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=61900 CPUtime=25.48 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 15126 0 0 0 2523 25 0 0 25 0 1 0 25213996 63385600 15018 1992294400 134512640 135751879 4290437616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 15475 15018 148 303 0 15170 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 61900 [startup+51.1011 s] /proc/loadavg: 0.97 0.97 0.99 2/107 29616 /proc/meminfo: memFree=1516072/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=109108 CPUtime=51.07 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 26893 0 0 0 5062 45 0 0 25 0 1 0 25213996 111726592 26785 1992294400 134512640 135751879 4290437616 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 27277 26785 148 303 0 26972 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 109108 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29618 /proc/meminfo: memFree=1448120/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=176268 CPUtime=102.26 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 43657 0 0 0 10149 77 0 0 25 0 1 0 25213996 180498432 43549 1992294400 134512640 135751879 4290437616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 44067 43549 148 303 0 43762 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 176268 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29618 /proc/meminfo: memFree=1381780/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=243472 CPUtime=162.23 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 60416 0 0 0 16113 110 0 0 25 0 1 0 25213996 249315328 60308 1992294400 134512640 135751879 4290437616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 60868 60308 148 303 0 60563 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 243472 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29618 /proc/meminfo: memFree=1377192/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=247184 CPUtime=166.24 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 61340 0 0 0 16512 112 0 0 25 0 1 0 25213996 253116416 61232 1992294400 134512640 135751879 4290437616 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 61796 61232 148 303 0 61491 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 247184 [startup+172.708 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29618 /proc/meminfo: memFree=1372232/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=251920 CPUtime=172.63 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 62532 0 0 0 17150 113 0 0 25 0 1 0 25213996 257966080 62424 1992294400 134512640 135751879 4290437616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 62980 62424 148 303 0 62675 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 251920 [startup+175.901 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29620 /proc/meminfo: memFree=1367520/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=256560 CPUtime=175.84 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 63697 0 0 0 17469 115 0 0 25 0 1 0 25213996 262717440 63589 1992294400 134512640 135751879 4290437616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 64140 63589 148 303 0 63835 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 256560 [startup+179.102 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29620 /proc/meminfo: memFree=1364420/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=261296 CPUtime=179.03 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 64887 0 0 0 17786 117 0 0 25 0 1 0 25213996 267567104 64779 1992294400 134512640 135751879 4290437616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 65324 64779 148 303 0 65019 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 261296 [startup+180.702 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29620 /proc/meminfo: memFree=1360948/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=263600 CPUtime=180.63 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 65464 0 0 0 17944 119 0 0 25 0 1 0 25213996 269926400 65356 1992294400 134512640 135751879 4290437616 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 65900 65356 148 303 0 65595 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 263600 [startup+181.101 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29620 /proc/meminfo: memFree=1360948/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=264112 CPUtime=181.02 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 65593 0 0 0 17983 119 0 0 25 0 1 0 25213996 270450688 65485 1992294400 134512640 135751879 4290437616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 66028 65485 148 303 0 65723 0 Current children cumulated CPU time (s) 181.02 Current children cumulated vsize (KiB) 264112 [startup+181.508 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29620 /proc/meminfo: memFree=1359336/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=264632 CPUtime=181.43 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202496 65716 0 0 0 18024 119 0 0 25 0 1 0 25213996 270983168 65608 1992294400 134512640 135751879 4290437616 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29613/statm: 66158 65608 149 303 0 65853 0 Current children cumulated CPU time (s) 181.43 Current children cumulated vsize (KiB) 264632 [startup+181.601 s] /proc/loadavg: 0.99 0.97 0.99 2/107 29620 /proc/meminfo: memFree=1359336/2059040 swapFree=4134964/4192956 [pid=29613] ppid=29611 vsize=0 CPUtime=181.53 /proc/29613/stat : 29613 (wbo1.4b) R 29611 29613 26724 0 -1 4202500 65723 0 0 0 18033 120 0 0 25 0 1 0 25213996 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29613/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 181.53 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 181.625 CPU time (s): 181.561 CPU user time (s): 180.337 CPU system time (s): 1.22481 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 264632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.337 system time used= 1.22481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65723 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= 2182 runsolver used 0.25796 second user time and 0.91886 second system time The end
Begin job on node009 at 2010-07-08 08:20:07 IDJOB=2702552 IDBENCH=48211 IDSOLVER=1161 FILE ID=node009/2702552-1278570007 PBS_JOBID= 11239574 Free space on /tmp= 62552 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702552-1278570007/watcher-2702552-1278570007 -o /tmp/evaluation-result-2702552-1278570007/solver-2702552-1278570007 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702552-1278570007.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732 RANDOM SEED=1957569960 node009.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.262 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.52 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.262 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1622736 kB Buffers: 99856 kB Cached: 232416 kB SwapCached: 12672 kB Active: 205912 kB Inactive: 159228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1622736 kB SwapTotal: 4192956 kB SwapFree: 4134964 kB Dirty: 3028 kB Writeback: 0 kB AnonPages: 29244 kB Mapped: 8452 kB Slab: 49176 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 199440 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702552-1278570007.opb Free space on /tmp at the end= 62552 MiB End job on node009 at 2010-07-08 08:23:09