Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b (fixed) | ? (TO) | 1800.22 | 1800.72 |
| 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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702553-1278570013.opb. 0.00/0.00 c Instance file HOME/instance-2702553-1278570013.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.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2928 6098 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 0 0.00/0.02 o 0 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2929 6298 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -1 0.00/0.02 o -1 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2930 6498 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -2 0.00/0.02 o -2 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 200 2931 6698 | 5000 1 199 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -3 0.00/0.02 o -3 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 2 | 200 2932 6898 | 5000 2 198 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -4 0.00/0.02 o -4 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 3 | 200 2933 7098 | 5000 3 198 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -5 0.00/0.02 o -5 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 3 | 200 2934 7298 | 5000 3 198 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -6 0.00/0.02 o -6 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 3 | 200 2935 7498 | 5000 3 198 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -7 0.00/0.03 o -7 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 12 | 200 2936 7698 | 5000 12 196 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -8 0.00/0.03 o -8 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 23 | 200 2937 7898 | 5000 23 195 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -9 0.00/0.03 o -9 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 28 | 200 2938 8098 | 5000 28 195 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -10 0.00/0.03 o -10 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 38 | 200 2939 8298 | 5000 38 194 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -11 0.00/0.03 o -11 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 41 | 200 2940 8498 | 5000 41 194 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -12 0.00/0.03 o -12 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 45 | 200 2941 8698 | 5000 45 193 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -13 0.00/0.04 o -13 0.00/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 100 | 200 2942 8898 | 5000 100 191 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -14 0.00/0.04 o -14 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 138 | 200 2943 9098 | 5000 138 190 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -15 0.00/0.05 o -15 0.00/0.05 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 180 | 200 2944 9298 | 5000 180 189 | 0.000 % | 0.00/0.05 c | 280 | 200 2944 9298 | 5500 280 188 | 86.339 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -16 0.00/0.06 o -16 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 405 | 200 2945 9498 | 5000 405 187 | 86.339 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: -17 0.06/0.07 o -17 0.06/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 434 | 200 2946 9698 | 5000 434 187 | 86.339 % | 0.06/0.08 c | 535 | 200 2946 9698 | 5500 535 187 | 86.339 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -18 0.06/0.08 o -18 0.06/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 561 | 200 2947 9898 | 5000 561 187 | 86.339 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: -19 0.06/0.09 o -19 0.06/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.06/0.09 c =============================================================================== 0.06/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.34 c | 2693 | 200 2948 10098 | 8857 2693 184 | 86.339 % | 0.49/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 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c New solution: -20 1.00/1.03 o -20 1.00/1.03 c Elapsed CPU time: 1.01285 s Remaining CPU time: 178.987 s 1.00/1.03 c =============================================================================== 1.00/1.03 c | 5971 | 200 2949 10298 | 5000 5971 183 | 86.339 % | 1.00/1.07 c | 6071 | 200 2949 10298 | 5500 6071 183 | 86.339 % | 1.10/1.11 c | 6222 | 200 2949 10298 | 6050 6222 183 | 86.339 % | 1.10/1.16 c | 6448 | 200 2949 10298 | 6655 6448 183 | 86.339 % | 1.19/1.26 c | 6786 | 200 2949 10298 | 7320 6786 183 | 86.339 % | 1.39/1.43 c | 7293 | 200 2949 10298 | 8052 7293 183 | 86.339 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c New solution: -21 1.49/1.52 o -21 1.49/1.52 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s 1.49/1.52 c =============================================================================== 1.49/1.52 c | 7624 | 200 2950 10498 | 5000 7624 183 | 86.339 % | 1.49/1.57 c | 7724 | 200 2950 10498 | 5500 3912 182 | 86.339 % | 1.60/1.60 c | 7874 | 200 2950 10498 | 6050 4062 182 | 86.339 % | 1.60/1.65 c | 8099 | 200 2950 10498 | 6655 4287 182 | 86.339 % | 1.69/1.72 c =============================================================================== 1.69/1.72 c New solution: -22 1.69/1.72 o -22 1.69/1.72 c Elapsed CPU time: 1.68974 s Remaining CPU time: 178.31 s 1.69/1.72 c =============================================================================== 1.69/1.72 c | 8397 | 200 2951 10698 | 5000 4585 182 | 86.339 % | 1.69/1.76 c | 8498 | 200 2951 10698 | 5500 4686 182 | 86.339 % | 1.79/1.80 c | 8650 | 200 2951 10698 | 6050 4838 182 | 86.339 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c New solution: -23 1.79/1.83 o -23 1.79/1.83 c Elapsed CPU time: 1.79573 s Remaining CPU time: 178.204 s 1.79/1.83 c =============================================================================== 1.79/1.83 c | 8739 | 200 2952 10898 | 5000 4927 182 | 86.339 % | 1.79/1.86 c | 8841 | 200 2952 10898 | 5500 5029 182 | 86.339 % | 1.89/1.91 c | 8991 | 200 2952 10898 | 6050 5179 182 | 86.339 % | 1.89/2.00 c | 9216 | 200 2952 10898 | 6655 5404 182 | 86.339 % | 2.10/2.12 c | 9554 | 200 2952 10898 | 7320 5742 182 | 86.339 % | 2.20/2.22 c | 10061 | 200 2952 10898 | 8052 6249 181 | 86.339 % | 2.39/2.47 c | 10820 | 200 2952 10898 | 8857 7008 181 | 86.339 % | 2.69/2.72 c | 11959 | 200 2952 10898 | 9743 8147 181 | 86.339 % | 2.99/3.02 c =============================================================================== 2.99/3.02 c New solution: -24 2.99/3.02 o -24 2.99/3.02 c Elapsed CPU time: 2.97655 s Remaining CPU time: 177.023 s 2.99/3.02 c =============================================================================== 2.99/3.02 c | 12802 | 200 2953 11098 | 5000 8990 180 | 86.339 % | 2.99/3.09 c | 12902 | 200 2953 11098 | 5500 4595 179 | 86.339 % | 3.09/3.11 c | 13052 | 200 2953 11098 | 6050 4745 179 | 86.339 % | 3.09/3.15 c | 13277 | 200 2953 11098 | 6655 4970 179 | 86.339 % | 3.09/3.19 c | 13615 | 200 2953 11098 | 7320 5308 179 | 86.339 % | 3.19/3.29 c | 14122 | 200 2953 11098 | 8052 5815 178 | 86.339 % | 3.39/3.46 c | 14881 | 200 2953 11098 | 8857 6574 178 | 86.339 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c New solution: -25 3.49/3.54 o -25 3.49/3.54 c Elapsed CPU time: 3.48647 s Remaining CPU time: 176.514 s 3.49/3.54 c =============================================================================== 3.49/3.54 c | 15313 | 200 2954 11298 | 5000 7006 178 | 86.339 % | 3.49/3.59 c | 15414 | 200 2954 11298 | 5500 3604 178 | 86.339 % | 3.59/3.64 c | 15565 | 200 2954 11298 | 6050 3755 178 | 86.339 % | 3.59/3.69 c | 15791 | 200 2954 11298 | 6655 3981 178 | 86.339 % | 3.69/3.78 c | 16130 | 200 2954 11298 | 7320 4320 178 | 86.339 % | 3.79/3.87 c | 16638 | 200 2954 11298 | 8052 4828 178 | 86.339 % | 3.89/3.98 c =============================================================================== 3.89/3.98 c New solution: -26 3.89/3.98 o -26 3.89/3.98 c Elapsed CPU time: 3.9274 s Remaining CPU time: 176.073 s 3.89/3.98 c =============================================================================== 3.89/3.98 c | 17360 | 200 2955 11498 | 5000 5550 178 | 86.339 % | 3.99/4.03 c | 17462 | 200 2955 11498 | 5500 5652 178 | 86.339 % | 4.09/4.10 c | 17613 | 200 2955 11498 | 6050 5803 178 | 86.339 % | 4.19/4.20 c | 17839 | 200 2955 11498 | 6655 6029 178 | 86.339 % | 4.30/4.34 c | 18177 | 200 2955 11498 | 7320 6367 179 | 86.339 % | 4.40/4.48 c | 18685 | 200 2955 11498 | 8052 6875 179 | 86.339 % | 4.59/4.64 c | 19444 | 200 2955 11498 | 8857 7634 178 | 86.339 % | 4.79/4.85 c | 20583 | 200 2955 11498 | 9743 8773 178 | 86.339 % | 5.19/5.21 c | 22292 | 200 2955 11498 | 10717 10482 177 | 86.339 % | 5.89/5.98 c =============================================================================== 5.89/5.98 c New solution: -27 5.89/5.98 o -27 5.89/5.98 c Elapsed CPU time: 5.9081 s Remaining CPU time: 174.092 s 5.89/5.98 c =============================================================================== 5.89/5.98 c | 23177 | 200 2956 11698 | 5000 11367 177 | 86.339 % | 5.99/6.07 c | 23277 | 200 2956 11698 | 5500 5784 177 | 86.339 % | 6.09/6.12 c | 23428 | 200 2956 11698 | 6050 5935 177 | 86.339 % | 6.09/6.18 c | 23653 | 200 2956 11698 | 6655 6160 177 | 86.339 % | 6.19/6.28 c | 23990 | 200 2956 11698 | 7320 6497 177 | 86.339 % | 6.29/6.39 c | 24497 | 200 2956 11698 | 8052 7004 177 | 86.339 % | 6.69/6.75 c | 25256 | 200 2956 11698 | 8857 7763 177 | 86.339 % | 7.08/7.16 c | 26398 | 200 2956 11698 | 9743 8905 179 | 86.339 % | 7.49/7.50 c =============================================================================== 7.49/7.50 c New solution: -28 7.49/7.50 o -28 7.49/7.50 c Elapsed CPU time: 7.40887 s Remaining CPU time: 172.591 s 7.49/7.50 c =============================================================================== 7.49/7.50 c | 26984 | 200 2957 11898 | 5000 9491 178 | 86.339 % | 7.49/7.55 c | 27085 | 200 2957 11898 | 5500 4847 180 | 86.339 % | 7.49/7.58 c | 27236 | 200 2957 11898 | 6050 4998 180 | 86.339 % | 7.59/7.64 c | 27461 | 200 2957 11898 | 6655 5223 179 | 86.339 % | 7.69/7.73 c | 27798 | 200 2957 11898 | 7320 5560 179 | 86.339 % | 7.89/7.95 c | 28305 | 200 2957 11898 | 8052 6067 179 | 86.339 % | 8.19/8.25 c =============================================================================== 8.19/8.25 c New solution: -29 8.19/8.25 o -29 8.19/8.25 c Elapsed CPU time: 8.14976 s Remaining CPU time: 171.85 s 8.19/8.25 c =============================================================================== 8.19/8.25 c | 28994 | 200 2958 12098 | 5000 6756 178 | 86.339 % | 8.19/8.30 c | 29094 | 200 2958 12098 | 5500 3478 177 | 86.339 % | 8.29/8.34 c | 29246 | 200 2958 12098 | 6050 3630 177 | 86.339 % | 8.39/8.42 c | 29471 | 200 2958 12098 | 6655 3855 177 | 86.339 % | 8.39/8.48 c | 29808 | 200 2958 12098 | 7320 4192 177 | 86.339 % | 8.49/8.60 c | 30314 | 200 2958 12098 | 8052 4698 177 | 86.339 % | 8.80/8.83 c | 31074 | 200 2958 12098 | 8857 5458 177 | 86.339 % | 8.80/8.87 c =============================================================================== 8.80/8.87 c New solution: -30 8.80/8.87 o -30 8.80/8.87 c Elapsed CPU time: 8.75867 s Remaining CPU time: 171.241 s 8.80/8.87 c =============================================================================== 8.80/8.87 c | 31165 | 200 2959 12298 | 5000 5549 177 | 86.339 % | 8.89/8.91 c | 31267 | 200 2959 12298 | 5500 5651 177 | 86.339 % | 8.89/8.95 c | 31418 | 200 2959 12298 | 6050 5802 177 | 86.339 % | 8.99/9.04 c | 31643 | 200 2959 12298 | 6655 6027 176 | 86.339 % | 9.09/9.13 c | 31982 | 200 2959 12298 | 7320 6366 177 | 86.339 % | 9.19/9.25 c | 32489 | 200 2959 12298 | 8052 6873 176 | 86.339 % | 9.39/9.48 c | 33248 | 200 2959 12298 | 8857 7632 176 | 86.339 % | 9.80/9.82 c | 34390 | 200 2959 12298 | 9743 8774 176 | 86.339 % | 10.39/10.44 c | 36099 | 200 2959 12298 | 10717 10483 175 | 86.339 % | 11.19/11.23 c | 38662 | 200 2959 12298 | 11789 6970 173 | 86.339 % | 11.99/12.06 c | 42507 | 200 2959 12298 | 12968 10815 172 | 86.339 % | 14.29/14.31 c | 48274 | 200 2959 12298 | 14265 9381 172 | 86.339 % | 17.28/17.39 c | 56923 | 200 2959 12298 | 15692 10180 171 | 86.339 % | 23.58/23.67 c | 69898 | 200 2959 12298 | 17261 14591 172 | 86.339 % | 31.37/31.42 c | 89359 | 200 2959 12298 | 18987 15355 171 | 86.339 % | 33.07/33.19 c =============================================================================== 33.07/33.19 c New solution: -31 33.07/33.19 o -31 33.07/33.19 c Elapsed CPU time: 32.847 s Remaining CPU time: 147.153 s 33.07/33.19 c =============================================================================== 33.07/33.19 c | 93360 | 200 2960 12498 | 5000 19356 171 | 86.339 % | 33.37/33.47 c | 93461 | 200 2960 12498 | 5500 4940 171 | 86.339 % | 33.47/33.51 c | 93613 | 200 2960 12498 | 6050 5092 171 | 86.339 % | 33.47/33.58 c | 93839 | 200 2960 12498 | 6655 5318 171 | 86.339 % | 33.68/33.72 c | 94176 | 200 2960 12498 | 7320 5655 171 | 86.339 % | 33.78/33.87 c | 94683 | 200 2960 12498 | 8052 6162 171 | 86.339 % | 33.98/34.02 c | 95443 | 200 2960 12498 | 8857 6922 171 | 86.339 % | 34.17/34.24 c | 96583 | 200 2960 12498 | 9743 8062 171 | 86.339 % | 34.48/34.54 c | 98291 | 200 2960 12498 | 10717 9770 171 | 86.339 % | 35.09/35.14 c =============================================================================== 35.09/35.14 c New solution: -32 35.09/35.14 o -32 35.09/35.14 c Elapsed CPU time: 34.7537 s Remaining CPU time: 145.246 s 35.09/35.14 c =============================================================================== 35.09/35.14 c | 100647 | 200 2961 12698 | 5000 12126 170 | 86.339 % | 35.18/35.28 c | 100747 | 200 2961 12698 | 5500 6163 170 | 86.339 % | 35.28/35.30 c | 100897 | 200 2961 12698 | 6050 6313 170 | 86.339 % | 35.38/35.41 c | 101122 | 200 2961 12698 | 6655 6538 170 | 86.339 % | 35.47/35.53 c | 101459 | 200 2961 12698 | 7320 6875 170 | 86.339 % | 35.67/35.74 c | 101965 | 200 2961 12698 | 8052 7381 170 | 86.339 % | 35.97/36.04 c | 102724 | 200 2961 12698 | 8857 8140 170 | 86.339 % | 36.47/36.53 c | 103864 | 200 2961 12698 | 9743 9280 170 | 86.339 % | 37.57/37.66 c | 105573 | 200 2961 12698 | 10717 10989 170 | 86.339 % | 38.77/38.81 c | 108136 | 200 2961 12698 | 11789 7477 170 | 86.339 % | 39.58/39.64 c | 111980 | 200 2961 12698 | 12968 11321 170 | 86.339 % | 42.67/42.79 c | 117747 | 200 2961 12698 | 14265 9893 170 | 86.339 % | 47.67/47.73 c | 126396 | 200 2961 12698 | 15692 10690 170 | 86.339 % | 52.78/52.81 c | 139371 | 200 2961 12698 | 17261 15102 169 | 86.339 % | 55.97/56.03 c =============================================================================== 55.97/56.03 c New solution: -33 55.97/56.03 o -33 55.97/56.03 c Elapsed CPU time: 55.4976 s Remaining CPU time: 124.502 s 55.97/56.03 c =============================================================================== 55.97/56.03 c | 145387 | 200 2962 12898 | 5000 11773 169 | 86.339 % | 56.07/56.18 c | 145488 | 200 2962 12898 | 5500 5988 169 | 86.339 % | 56.17/56.24 c | 145638 | 200 2962 12898 | 6050 6138 169 | 86.339 % | 56.27/56.36 c | 145863 | 200 2962 12898 | 6655 6363 169 | 86.339 % | 56.47/56.53 c | 146201 | 200 2962 12898 | 7320 6701 170 | 86.339 % | 56.67/56.76 c | 146709 | 200 2962 12898 | 8052 7209 170 | 86.339 % | 57.07/57.18 c | 147470 | 200 2962 12898 | 8857 7970 170 | 86.339 % | 57.57/57.61 c | 148610 | 200 2962 12898 | 9743 9110 170 | 86.339 % | 58.57/58.64 c | 150318 | 200 2962 12898 | 10717 10818 170 | 86.339 % | 59.77/59.83 c | 152880 | 200 2962 12898 | 11789 7307 170 | 86.339 % | 62.57/62.67 c | 156725 | 200 2962 12898 | 12968 11152 170 | 86.339 % | 65.36/65.44 c | 162492 | 200 2962 12898 | 14265 9718 169 | 86.339 % | 69.18/69.24 c | 171142 | 200 2962 12898 | 15692 10521 169 | 86.339 % | 76.06/76.18 c | 184116 | 200 2962 12898 | 17261 14932 169 | 86.339 % | 86.76/86.89 c | 203578 | 200 2962 12898 | 18987 15702 169 | 86.339 % | 108.55/108.69 c | 232771 | 200 2962 12898 | 20886 14268 170 | 86.339 % | 138.84/138.95 c | 276560 | 200 2962 12898 | 22974 11539 169 | 86.339 % | 181.14/181.29 c There are 1264 assigned variables. 0 in cost function. 181.73/181.87 c core #1 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -199 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #2 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -198 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #3 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -197 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #4 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -196 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #5 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -195 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #6 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -194 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #7 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -193 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #8 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -192 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #9 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -191 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #10 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -190 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #11 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -189 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #12 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -188 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #13 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -187 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #14 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -186 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #15 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -185 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #16 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -184 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #17 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -183 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #18 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -182 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #19 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -181 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #20 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -180 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #21 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -179 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #22 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -178 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #23 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -177 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #24 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -176 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #25 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -175 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #26 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -174 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #27 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -173 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #28 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -172 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #29 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -171 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #30 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -170 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #31 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -169 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #32 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -168 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #33 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -167 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #34 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -166 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #35 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -165 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #36 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -164 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #37 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -163 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #38 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -162 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #39 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -161 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #40 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -160 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #41 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -159 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #42 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -158 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #43 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -157 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #44 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c Core size: 3 Core Weight: 1 Total Weight: -156 181.73/181.87 c 181.73/181.87 c 181.73/181.87 c core #45 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -155 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #46 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -154 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #47 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -153 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #48 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -152 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #49 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -151 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #50 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -150 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #51 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -149 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #52 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -148 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #53 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -147 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #54 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -146 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #55 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -145 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #56 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -144 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #57 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -143 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #58 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -142 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c core #59 181.73/181.88 c 181.73/181.88 c 181.73/181.88 c Core size: 3 Core Weight: 1 Total Weight: -141 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #60 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -140 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #61 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -139 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #62 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -138 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #63 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -137 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #64 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -136 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #65 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -135 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #66 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -134 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #67 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -133 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #68 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -132 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #69 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -131 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #70 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -130 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #71 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -129 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #72 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -128 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #73 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -127 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #74 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -126 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #75 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -125 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #76 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -124 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #77 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -123 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #78 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -122 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #79 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -121 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #80 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -120 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #81 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -119 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #82 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -118 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #83 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -117 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #84 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -116 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #85 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -115 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #86 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -114 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #87 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -113 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #88 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -112 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #89 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -111 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #90 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -110 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #91 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -109 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #92 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 3 Core Weight: 1 Total Weight: -108 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #93 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 11 Core Weight: 1 Total Weight: -107 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #94 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 7 Core Weight: 1 Total Weight: -106 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #95 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 7 Core Weight: 1 Total Weight: -105 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #96 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 7 Core Weight: 1 Total Weight: -104 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #97 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 7 Core Weight: 1 Total Weight: -103 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #98 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 7 Core Weight: 1 Total Weight: -102 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #99 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 11 Core Weight: 1 Total Weight: -101 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #100 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 22 Core Weight: 1 Total Weight: -100 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c core #101 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c Core size: 18 Core Weight: 1 Total Weight: -99 181.93/182.07 c 181.93/182.07 c 181.93/182.07 c ============================[ Search Statistics ]============================== 181.93/182.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.07 c =============================================================================== 181.93/182.07 c | 0 | 436 2863 10000 | 5000 0 nan | 0.000 % | 181.93/182.07 c =============================================================================== 181.93/182.08 c core #102 181.93/182.08 c 181.93/182.08 c 181.93/182.08 c Core size: 14 Core Weight: 1 Total Weight: -98 181.93/182.08 c 181.93/182.08 c 181.93/182.08 c ============================[ Search Statistics ]============================== 181.93/182.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.08 c =============================================================================== 181.93/182.08 c | 0 | 444 2864 10016 | 5000 0 nan | 0.000 % | 181.93/182.08 c =============================================================================== 181.93/182.09 c core #103 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c Core size: 14 Core Weight: 1 Total Weight: -97 181.93/182.09 c 181.93/182.09 c 181.93/182.09 c ============================[ Search Statistics ]============================== 181.93/182.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.09 c =============================================================================== 181.93/182.09 c | 0 | 452 2865 10032 | 5000 0 nan | 0.000 % | 181.93/182.09 c =============================================================================== 181.93/182.10 c core #104 181.93/182.10 c 181.93/182.10 c 181.93/182.10 c Core size: 22 Core Weight: 1 Total Weight: -96 181.93/182.10 c 181.93/182.10 c 181.93/182.10 c ============================[ Search Statistics ]============================== 181.93/182.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.10 c =============================================================================== 181.93/182.10 c | 0 | 466 2866 10060 | 5000 0 nan | 0.000 % | 182.03/182.10 c =============================================================================== 182.03/182.11 c core #105 182.03/182.11 c 182.03/182.11 c 182.03/182.11 c Core size: 14 Core Weight: 1 Total Weight: -95 182.03/182.11 c 182.03/182.11 c 182.03/182.11 c ============================[ Search Statistics ]============================== 182.03/182.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.11 c =============================================================================== 182.03/182.11 c | 0 | 474 2867 10076 | 5000 0 nan | 0.000 % | 182.03/182.11 c =============================================================================== 182.03/182.12 c core #106 182.03/182.12 c 182.03/182.12 c 182.03/182.12 c Core size: 22 Core Weight: 1 Total Weight: -94 182.03/182.12 c 182.03/182.12 c 182.03/182.12 c ============================[ Search Statistics ]============================== 182.03/182.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.12 c =============================================================================== 182.03/182.12 c | 0 | 488 2868 10104 | 5000 0 nan | 0.000 % | 182.03/182.12 c =============================================================================== 182.03/182.13 c core #107 182.03/182.13 c 182.03/182.13 c 182.03/182.13 c Core size: 14 Core Weight: 1 Total Weight: -93 182.03/182.13 c 182.03/182.13 c 182.03/182.13 c ============================[ Search Statistics ]============================== 182.03/182.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.13 c =============================================================================== 182.03/182.13 c | 0 | 496 2869 10120 | 5000 0 nan | 0.000 % | 182.03/182.13 c =============================================================================== 182.03/182.14 c core #108 182.03/182.14 c 182.03/182.14 c 182.03/182.14 c Core size: 16 Core Weight: 1 Total Weight: -92 182.03/182.14 c 182.03/182.14 c 182.03/182.14 c ============================[ Search Statistics ]============================== 182.03/182.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.14 c =============================================================================== 182.03/182.14 c | 0 | 506 2870 10140 | 5000 0 nan | 0.000 % | 182.03/182.14 c =============================================================================== 182.03/182.15 c core #109 182.03/182.15 c 182.03/182.15 c 182.03/182.15 c Core size: 25 Core Weight: 1 Total Weight: -91 182.03/182.15 c 182.03/182.15 c 182.03/182.15 c ============================[ Search Statistics ]============================== 182.03/182.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.15 c =============================================================================== 182.03/182.15 c | 0 | 521 2871 10170 | 5000 0 nan | 0.000 % | 182.03/182.15 c =============================================================================== 182.03/182.16 c core #110 182.03/182.16 c 182.03/182.16 c 182.03/182.16 c Core size: 10 Core Weight: 1 Total Weight: -90 182.03/182.16 c 182.03/182.16 c 182.03/182.16 c ============================[ Search Statistics ]============================== 182.03/182.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.16 c =============================================================================== 182.03/182.16 c | 0 | 527 2872 10182 | 5000 0 nan | 0.000 % | 182.03/182.17 c =============================================================================== 182.03/182.17 c core #111 182.03/182.17 c 182.03/182.17 c 182.03/182.17 c Core size: 22 Core Weight: 1 Total Weight: -89 182.03/182.17 c 182.03/182.17 c 182.03/182.17 c ============================[ Search Statistics ]============================== 182.03/182.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.17 c =============================================================================== 182.03/182.17 c | 0 | 539 2873 10206 | 5000 0 nan | 0.000 % | 182.03/182.18 c =============================================================================== 182.03/182.19 c core #112 182.03/182.19 c 182.03/182.19 c 182.03/182.19 c Core size: 14 Core Weight: 1 Total Weight: -88 182.03/182.19 c 182.03/182.19 c 182.03/182.19 c ============================[ Search Statistics ]============================== 182.03/182.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.19 c =============================================================================== 182.03/182.19 c | 0 | 547 2874 10222 | 5000 0 nan | 0.000 % | 182.03/182.19 c =============================================================================== 182.13/182.20 c core #113 182.13/182.20 c 182.13/182.20 c 182.13/182.20 c Core size: 32 Core Weight: 1 Total Weight: -87 182.13/182.20 c 182.13/182.20 c 182.13/182.20 c ============================[ Search Statistics ]============================== 182.13/182.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.20 c =============================================================================== 182.13/182.20 c | 0 | 570 2875 10268 | 5000 0 nan | 0.000 % | 182.13/182.20 c =============================================================================== 182.13/182.21 c core #114 182.13/182.21 c 182.13/182.21 c 182.13/182.21 c Core size: 25 Core Weight: 1 Total Weight: -86 182.13/182.21 c 182.13/182.21 c 182.13/182.21 c ============================[ Search Statistics ]============================== 182.13/182.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.21 c =============================================================================== 182.13/182.21 c | 0 | 583 2876 10294 | 5000 0 nan | 0.000 % | 182.13/182.22 c =============================================================================== 182.13/182.23 c core #115 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c Core size: 41 Core Weight: 1 Total Weight: -85 182.13/182.23 c 182.13/182.23 c 182.13/182.23 c ============================[ Search Statistics ]============================== 182.13/182.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.23 c =============================================================================== 182.13/182.23 c | 0 | 617 2877 10362 | 5000 0 nan | 0.000 % | 182.13/182.26 c | 100 | 617 2877 10362 | 5500 100 15 | 67.198 % | 182.13/182.27 c =============================================================================== 182.13/182.28 c core #116 182.13/182.28 c 182.13/182.28 c 182.13/182.28 c Core size: 101 Core Weight: 1 Total Weight: -84 182.13/182.28 c 182.13/182.28 c 182.13/182.28 c ============================[ Search Statistics ]============================== 182.13/182.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.28 c =============================================================================== 182.13/182.28 c | 0 | 711 2878 10550 | 5000 0 nan | 0.000 % | 182.23/182.31 c | 101 | 711 2878 10550 | 5500 101 41 | 64.000 % | 182.23/182.35 c | 251 | 711 2878 10550 | 6050 251 41 | 64.000 % | 182.33/182.40 c | 476 | 711 2878 10550 | 6655 476 40 | 64.000 % | 182.33/182.48 c | 813 | 711 2878 10550 | 7320 813 34 | 64.000 % | 182.44/182.59 c =============================================================================== 182.54/182.61 c core #117 182.54/182.61 c 182.54/182.61 c 182.54/182.61 c Core size: 129 Core Weight: 1 Total Weight: -83 182.54/182.61 c 182.54/182.61 c 182.54/182.61 c ============================[ Search Statistics ]============================== 182.54/182.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.54/182.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.54/182.61 c =============================================================================== 182.54/182.61 c | 0 | 827 2879 10782 | 5000 0 nan | 0.000 % | 182.54/182.64 c | 100 | 827 2879 10782 | 5500 100 41 | 60.450 % | 182.54/182.66 c | 250 | 827 2879 10782 | 6050 250 32 | 60.450 % | 182.64/182.71 c | 477 | 827 2879 10782 | 6655 477 36 | 60.450 % | 182.64/182.79 c | 814 | 827 2879 10782 | 7320 814 38 | 60.450 % | 182.84/182.90 c | 1320 | 827 2879 10782 | 8052 1320 36 | 60.450 % | 183.03/183.10 c | 2079 | 827 2879 10782 | 8857 2079 36 | 60.450 % | 183.33/183.42 c | 3218 | 827 2879 10782 | 9743 3218 36 | 60.450 % | 183.73/183.82 c =============================================================================== 183.73/183.88 c core #118 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c Core size: 148 Core Weight: 1 Total Weight: -82 183.73/183.88 c 183.73/183.88 c 183.73/183.88 c ============================[ Search Statistics ]============================== 183.73/183.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.88 c =============================================================================== 183.73/183.88 c | 0 | 968 2880 11064 | 5000 0 nan | 0.000 % | 183.83/183.91 c | 105 | 968 2880 11064 | 5500 105 91 | 56.631 % | 183.83/183.94 c | 257 | 968 2880 11064 | 6050 257 55 | 56.631 % | 183.83/183.98 c | 486 | 968 2880 11064 | 6655 486 42 | 56.631 % | 183.94/184.04 c | 823 | 968 2880 11064 | 7320 823 38 | 56.631 % | 184.04/184.16 c | 1329 | 968 2880 11064 | 8052 1329 38 | 56.631 % | 184.23/184.31 c | 2088 | 968 2880 11064 | 8857 2088 42 | 56.631 % | 184.43/184.58 c | 3231 | 968 2880 11064 | 9743 3231 45 | 56.631 % | 184.94/185.08 c | 4940 | 968 2880 11064 | 10717 4940 45 | 56.631 % | 185.93/186.06 c | 7504 | 968 2880 11064 | 11789 7504 46 | 56.631 % | 187.43/187.56 c | 11349 | 967 2880 11064 | 12968 11056 46 | 56.676 % | 187.63/187.76 c =============================================================================== 187.83/187.92 c core #119 187.83/187.92 c 187.83/187.92 c 187.83/187.92 c Core size: 137 Core Weight: 1 Total Weight: -81 187.83/187.92 c 187.83/187.92 c 187.83/187.92 c ============================[ Search Statistics ]============================== 187.83/187.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.83/187.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.83/187.92 c =============================================================================== 187.83/187.92 c | 0 | 1091 2881 11310 | 5000 0 nan | 0.000 % | 187.83/187.94 c | 101 | 1091 2881 11310 | 5500 101 45 | 53.673 % | 187.83/187.97 c | 254 | 1091 2881 11310 | 6050 254 48 | 53.673 % | 187.94/188.00 c | 482 | 1091 2881 11310 | 6655 482 42 | 53.673 % | 187.94/188.05 c | 819 | 1091 2881 11310 | 7320 819 44 | 53.673 % | 188.04/188.14 c | 1326 | 1091 2881 11310 | 8052 1326 45 | 53.673 % | 188.23/188.30 c | 2085 | 1091 2881 11310 | 8857 2085 49 | 53.673 % | 188.53/188.60 c | 3226 | 1091 2881 11310 | 9743 3226 48 | 53.673 % | 188.94/189.00 c | 4935 | 1091 2881 11310 | 10717 4935 46 | 53.673 % | 189.83/189.91 c | 7499 | 1091 2881 11310 | 11789 7499 48 | 53.673 % | 191.73/191.81 c | 11343 | 1091 2881 11310 | 12968 11343 52 | 53.673 % | 194.13/194.28 c | 17111 | 1091 2881 11310 | 14265 9909 54 | 53.673 % | 197.73/197.83 c | 25761 | 1091 2881 11310 | 15692 10705 54 | 53.673 % | 204.03/204.13 c | 38736 | 1091 2881 11310 | 17261 15139 58 | 53.673 % | 214.83/214.98 c | 58198 | 1091 2881 11310 | 18987 15867 74 | 53.673 % | 229.12/229.20 c =============================================================================== 230.42/230.52 c core #120 230.42/230.52 c 230.42/230.52 c 230.42/230.52 c Core size: 178 Core Weight: 1 Total Weight: -80 230.42/230.52 c 230.42/230.52 c 230.42/230.52 c ============================[ Search Statistics ]============================== 230.42/230.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.42/230.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.42/230.52 c =============================================================================== 230.42/230.52 c | 0 | 1242 2882 11612 | 5000 0 nan | 0.000 % | 230.42/230.57 c | 101 | 1242 2882 11612 | 5500 101 61 | 50.439 % | 230.42/230.58 c | 251 | 1242 2882 11612 | 6050 251 53 | 50.439 % | 230.52/230.61 c | 477 | 1242 2882 11612 | 6655 477 53 | 50.439 % | 230.52/230.69 c | 814 | 1242 2882 11612 | 7320 814 61 | 50.439 % | 230.72/230.82 c | 1321 | 1242 2882 11612 | 8052 1321 68 | 50.439 % | 230.93/231.02 c | 2080 | 1242 2882 11612 | 8857 2080 73 | 50.439 % | 231.22/231.36 c | 3221 | 1242 2882 11612 | 9743 3221 83 | 50.439 % | 231.82/231.91 c | 4929 | 1242 2882 11612 | 10717 4929 86 | 50.439 % | 232.62/232.79 c | 7491 | 1242 2882 11612 | 11789 7491 91 | 50.439 % | 234.42/234.56 c | 11339 | 1242 2882 11612 | 12968 11339 100 | 50.439 % | 238.02/238.15 c | 17106 | 1242 2882 11612 | 14265 9895 102 | 50.439 % | 244.81/244.97 c | 25755 | 1242 2882 11612 | 15692 10686 108 | 50.439 % | 255.12/255.23 c | 38731 | 1242 2882 11612 | 17261 15038 125 | 50.439 % | 266.81/266.92 c | 58193 | 1242 2882 11612 | 18987 15826 127 | 50.439 % | 296.60/296.71 c | 87387 | 1242 2882 11612 | 20886 14415 188 | 50.439 % | 333.59/333.73 c | 131182 | 1242 2882 11612 | 22974 13314 117 | 50.439 % | 404.58/404.77 c | 196866 | 1242 2882 11612 | 25272 17739 178 | 50.439 % | 485.15/485.30 c | 295393 | 1242 2882 11612 | 27799 19850 123 | 50.439 % | 668.30/668.53 c | 443183 | 1242 2882 11612 | 30579 29186 122 | 50.439 % | 950.43/950.75 c | 664869 | 1242 2882 11612 | 33637 14760 123 | 50.439 % | 1355.22/1355.65 c | 997394 | 1228 2882 11612 | 37001 15787 104 | 50.998 % | 1473.28/1473.76 c =============================================================================== 1497.58/1498.03 c core #121 1497.58/1498.03 c 1497.58/1498.03 c 1497.58/1498.03 c Core size: 187 Core Weight: 1 Total Weight: -79 1497.58/1498.03 c 1497.58/1498.03 c 1497.58/1498.03 c ============================[ Search Statistics ]============================== 1497.58/1498.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1497.58/1498.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1497.58/1498.03 c =============================================================================== 1497.58/1498.03 c | 0 | 1418 2883 11964 | 5000 0 nan | 0.000 % | 1497.69/1498.19 c | 100 | 1418 2883 11964 | 5500 100 148 | 47.129 % | 1497.79/1498.24 c | 250 | 1418 2883 11964 | 6050 250 96 | 47.129 % | 1497.88/1498.31 c | 475 | 1418 2883 11964 | 6655 475 85 | 47.129 % | 1497.88/1498.39 c | 814 | 1418 2883 11964 | 7320 814 73 | 47.129 % | 1498.08/1498.54 c | 1321 | 1418 2883 11964 | 8052 1321 90 | 47.129 % | 1498.28/1498.74 c | 2082 | 1418 2883 11964 | 8857 2082 114 | 47.129 % | 1498.58/1499.05 c | 3222 | 1418 2883 11964 | 9743 3222 122 | 47.129 % | 1499.08/1499.54 c | 4931 | 1418 2883 11964 | 10717 4931 123 | 47.129 % | 1500.08/1500.54 c | 7495 | 1418 2883 11964 | 11789 7495 118 | 47.129 % | 1502.09/1502.52 c | 11339 | 1418 2883 11964 | 12968 11339 133 | 47.129 % | 1506.28/1506.80 c | 17105 | 1418 2883 11964 | 14265 9905 148 | 47.129 % | 1514.98/1515.48 c | 25755 | 1418 2883 11964 | 15692 10757 153 | 47.129 % | 1529.77/1530.22 c | 38733 | 1418 2883 11964 | 17261 15203 173 | 47.129 % | 1549.97/1550.48 c | 58197 | 1418 2883 11964 | 18987 15976 169 | 47.129 % | 1575.86/1576.34 c | 87389 | 1418 2883 11964 | 20886 14450 167 | 47.129 % | 1621.35/1621.85 c | 131179 | 1418 2883 11964 | 22974 13637 152 | 47.129 % | 1694.23/1694.73 c | 196864 | 1418 2883 11964 | 25272 17928 165 | 47.129 % | 1783.19/1783.72 c | 295390 | 1418 2883 11964 | 27799 20219 158 | 47.129 % |
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-2702553-1278570013/watcher-2702553-1278570013 -o /tmp/evaluation-result-2702553-1278570013/solver-2702553-1278570013 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702553-1278570013.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 0.92 2/106 3025 /proc/meminfo: memFree=1767844/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=2960 CPUtime=0 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 552447 3031040 257 1992294400 134512640 135752675 4289222672 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 740 257 139 303 0 409 0 [startup+0.0704949 s] /proc/loadavg: 1.00 1.00 0.92 2/106 3025 /proc/meminfo: memFree=1767844/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=3384 CPUtime=0.06 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 533 0 0 0 6 0 0 0 20 0 1 0 552447 3465216 426 1992294400 134512640 135752675 4289222672 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 846 426 145 303 0 541 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3384 [startup+0.101498 s] /proc/loadavg: 1.00 1.00 0.92 2/106 3025 /proc/meminfo: memFree=1767844/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=3644 CPUtime=0.09 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 598 0 0 0 9 0 0 0 20 0 1 0 552447 3731456 491 1992294400 134512640 135752675 4289222672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 911 491 145 303 0 606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3644 [startup+0.301524 s] /proc/loadavg: 1.00 1.00 0.92 2/106 3025 /proc/meminfo: memFree=1767844/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=5056 CPUtime=0.29 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 938 0 0 0 28 1 0 0 20 0 1 0 552447 5177344 831 1992294400 134512640 135752675 4289222672 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 1264 831 145 303 0 959 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5056 [startup+0.701574 s] /proc/loadavg: 1.00 1.00 0.92 2/106 3025 /proc/meminfo: memFree=1767844/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=6860 CPUtime=0.69 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 1397 0 0 0 68 1 0 0 21 0 1 0 552447 7024640 1290 1992294400 134512640 135752675 4289222672 18446744073709551615 134517411 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 1715 1290 145 303 0 1410 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6860 [startup+1.50167 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3026 /proc/meminfo: memFree=1762256/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=9444 CPUtime=1.49 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 2044 0 0 0 147 2 0 0 23 0 1 0 552447 9670656 1937 1992294400 134512640 135752675 4289222672 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 2361 1937 145 303 0 2056 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9444 [startup+3.10088 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3026 /proc/meminfo: memFree=1758784/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=14076 CPUtime=3.09 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 3180 0 0 0 305 4 0 0 25 0 1 0 552447 14413824 3073 1992294400 134512640 135752675 4289222672 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 3519 3073 145 303 0 3214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14076 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3027 /proc/meminfo: memFree=1748120/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=23088 CPUtime=6.29 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 5435 0 0 0 621 8 0 0 25 0 1 0 552447 23642112 5328 1992294400 134512640 135752675 4289222672 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 5772 5328 145 303 0 5467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23088 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3027 /proc/meminfo: memFree=1732496/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=38888 CPUtime=12.69 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 9370 0 0 0 1255 14 0 0 25 0 1 0 552447 39821312 9263 1992294400 134512640 135752675 4289222672 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 9722 9263 145 303 0 9417 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38888 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3027 /proc/meminfo: memFree=1708316/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=62264 CPUtime=25.48 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 15210 0 0 0 2522 26 0 0 25 0 1 0 552447 63758336 15103 1992294400 134512640 135752675 4289222672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 15566 15103 145 303 0 15261 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62264 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3028 /proc/meminfo: memFree=1660700/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=110316 CPUtime=51.07 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 27170 0 0 0 5060 47 0 0 25 0 1 0 552447 112963584 27063 1992294400 134512640 135752675 4289222672 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 27579 27063 145 303 0 27274 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 110316 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3029 /proc/meminfo: memFree=1591012/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=178832 CPUtime=102.26 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 44269 0 0 0 10145 81 0 0 25 0 1 0 552447 183123968 44162 1992294400 134512640 135752675 4289222672 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 44708 44162 145 303 0 44403 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 178832 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3031 /proc/meminfo: memFree=1525044/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=245268 CPUtime=162.24 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 60879 0 0 0 16112 112 0 0 25 0 1 0 552447 251154432 60772 1992294400 134512640 135752675 4289222672 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 61317 60772 145 303 0 61012 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 245268 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3032 /proc/meminfo: memFree=1494044/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=275180 CPUtime=222.23 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 68480 0 0 0 22068 155 0 0 25 0 1 0 552447 281784320 68373 1992294400 134512640 135752675 4289222672 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 68795 68373 146 303 0 68490 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 275180 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3034 /proc/meminfo: memFree=1449652/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=319872 CPUtime=282.21 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 79636 0 0 0 28026 195 0 0 25 0 1 0 552447 327548928 79529 1992294400 134512640 135752675 4289222672 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 79968 79529 146 303 0 79663 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 319872 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3035 /proc/meminfo: memFree=1405012/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=364152 CPUtime=342.19 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 90676 0 0 0 33991 228 0 0 25 0 1 0 552447 372891648 90569 1992294400 134512640 135752675 4289222672 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 91038 90569 146 303 0 90733 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 364152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3037 /proc/meminfo: memFree=1361240/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=408276 CPUtime=402.18 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 101705 0 0 0 39962 256 0 0 25 0 1 0 552447 418074624 101598 1992294400 134512640 135752675 4289222672 18446744073709551615 134612012 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 102069 101598 146 303 0 101764 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 408276 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3039 /proc/meminfo: memFree=1316228/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=452732 CPUtime=462.16 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 112800 0 0 0 45923 293 0 0 25 0 1 0 552447 463597568 112693 1992294400 134512640 135752675 4289222672 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 113183 112693 146 303 0 112878 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 452732 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3040 /proc/meminfo: memFree=1284112/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=484908 CPUtime=522.15 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 120829 0 0 0 51892 323 0 0 25 0 1 0 552447 496545792 120722 1992294400 134512640 135752675 4289222672 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 121227 120722 146 303 0 120922 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 484908 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3042 /proc/meminfo: memFree=1249516/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=519524 CPUtime=582.13 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 129453 0 0 0 57865 348 0 0 25 0 1 0 552447 531992576 129346 1992294400 134512640 135752675 4289222672 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 129881 129346 146 303 0 129576 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 519524 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3043 /proc/meminfo: memFree=1208844/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=559924 CPUtime=642.12 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 139522 0 0 0 63835 377 0 0 25 0 1 0 552447 573362176 139415 1992294400 134512640 135752675 4289222672 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 139981 139415 146 303 0 139676 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 559924 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3050 /proc/meminfo: memFree=1075668/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=692952 CPUtime=882.05 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 172749 0 0 0 87717 488 0 0 25 0 1 0 552447 709582848 172642 1992294400 134512640 135752675 4289222672 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 173238 172642 146 303 0 172933 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 692952 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3051 /proc/meminfo: memFree=1037352/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=731276 CPUtime=942.03 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 182341 0 0 0 93687 516 0 0 25 0 1 0 552447 748826624 182234 1992294400 134512640 135752675 4289222672 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 182819 182234 146 303 0 182514 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 731276 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3053 /proc/meminfo: memFree=1001020/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=767292 CPUtime=1002.02 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 191312 0 0 0 99657 545 0 0 25 0 1 0 552447 785707008 191205 1992294400 134512640 135752675 4289222672 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 191823 191205 146 303 0 191518 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 767292 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3055 /proc/meminfo: memFree=969772/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=798888 CPUtime=1062 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 199188 0 0 0 105629 571 0 0 25 0 1 0 552447 818061312 199081 1992294400 134512640 135752675 4289222672 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 199722 199081 146 303 0 199417 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 798888 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3056 /proc/meminfo: memFree=939392/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=829032 CPUtime=1121.98 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 206695 0 0 0 111604 594 0 0 25 0 1 0 552447 848928768 206588 1992294400 134512640 135752675 4289222672 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 207258 206588 146 303 0 206953 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 829032 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3058 /proc/meminfo: memFree=906656/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=862404 CPUtime=1181.96 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 215005 0 0 0 117575 621 0 0 25 0 1 0 552447 883101696 214898 1992294400 134512640 135752675 4289222672 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 215601 214898 146 303 0 215296 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 862404 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3059 /proc/meminfo: memFree=876028/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=892468 CPUtime=1241.95 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 222489 0 0 0 123549 646 0 0 25 0 1 0 552447 913887232 222382 1992294400 134512640 135752675 4289222672 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 223117 222382 146 303 0 222812 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 892468 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3061 /proc/meminfo: memFree=847880/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=920204 CPUtime=1301.95 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 229422 0 0 0 129525 670 0 0 25 0 1 0 552447 942288896 229315 1992294400 134512640 135752675 4289222672 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 230051 229315 146 303 0 229746 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 920204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3063 /proc/meminfo: memFree=811920/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=956480 CPUtime=1361.92 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 238466 0 0 0 135491 701 0 0 25 0 1 0 552447 979435520 238359 1992294400 134512640 135752675 4289222672 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 239120 238359 146 303 0 238815 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 956480 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3064 /proc/meminfo: memFree=780424/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=987764 CPUtime=1421.91 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 246276 0 0 0 141465 726 0 0 25 0 1 0 552447 1011470336 246169 1992294400 134512640 135752675 4289222672 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 246941 246169 146 303 0 246636 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 987764 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3066 /proc/meminfo: memFree=735660/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=1033464 CPUtime=1481.89 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 257709 0 0 0 147440 749 0 0 25 0 1 0 552447 1058267136 257602 1992294400 134512640 135752675 4289222672 18446744073709551615 134516560 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 258366 257602 146 303 0 258061 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1033464 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3067 /proc/meminfo: memFree=728468/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=1038196 CPUtime=1541.87 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 259253 0 0 0 153417 770 0 0 25 0 1 0 552447 1063112704 259108 1992294400 134512640 135752675 4289222672 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 259549 259108 146 303 0 259244 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1038196 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3069 /proc/meminfo: memFree=707760/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=1059208 CPUtime=1601.85 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 264512 0 0 0 159384 801 0 0 25 0 1 0 552447 1084628992 264367 1992294400 134512640 135752675 4289222672 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 264802 264367 146 303 0 264497 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1059208 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3071 /proc/meminfo: memFree=671676/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=1095000 CPUtime=1661.83 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 273446 0 0 0 165353 830 0 0 25 0 1 0 552447 1121280000 273301 1992294400 134512640 135752675 4289222672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 273750 273301 146 303 0 273445 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1095000 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3072 /proc/meminfo: memFree=632988/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=1134256 CPUtime=1721.82 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 283241 0 0 0 171321 861 0 0 25 0 1 0 552447 1161478144 283096 1992294400 134512640 135752675 4289222672 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 283564 283096 146 303 0 283259 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1134256 [startup+1782.3 s] /proc/loadavg: 1.10 1.03 0.93 2/107 3077 /proc/meminfo: memFree=588472/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=1177452 CPUtime=1781.79 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 294058 0 0 0 177284 895 0 0 25 0 1 0 552447 1205710848 293913 1992294400 134512640 135752675 4289222672 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 294363 293913 146 303 0 294058 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1177452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.07 1.03 0.93 2/107 3077 /proc/meminfo: memFree=577684/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=1188096 CPUtime=1800.1 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4202496 296694 0 0 0 179106 904 0 0 25 0 1 0 552447 1216610304 296549 1992294400 134512640 135752675 4289222672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3025/statm: 297024 296549 146 303 0 296719 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1188096 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.07 1.03 0.93 2/107 3077 /proc/meminfo: memFree=577684/2059040 swapFree=4192956/4192956 [pid=3025] ppid=3023 vsize=0 CPUtime=1800.2 /proc/3025/stat : 3025 (wbo1.4b) R 3023 3025 2340 0 -1 4203524 296694 0 0 0 179106 914 0 0 25 0 1 0 552447 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/3025/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.22 CPU user time (s): 1791.07 CPU system time (s): 9.15161 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 1188096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.07 system time used= 9.15161 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 296694 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= 17 involuntary context switches= 2644 runsolver used 3.2945 second user time and 8.20575 second system time The end
Begin job on node033 at 2010-07-08 08:20:13 IDJOB=2702553 IDBENCH=48211 IDSOLVER=1190 FILE ID=node033/2702553-1278570013 PBS_JOBID= 11239586 Free space on /tmp= 62512 MiB SOLVER NAME= wbo 1.4b (fixed) 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-2702553-1278570013/watcher-2702553-1278570013 -o /tmp/evaluation-result-2702553-1278570013/solver-2702553-1278570013 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702553-1278570013.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732 RANDOM SEED=810260680 node033.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.224 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.44 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.224 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: 1768612 kB Buffers: 44088 kB Cached: 140244 kB SwapCached: 0 kB Active: 81244 kB Inactive: 162208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1768612 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2692 kB Writeback: 0 kB AnonPages: 59204 kB Mapped: 14440 kB Slab: 24992 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179480 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-2702553-1278570013.opb Free space on /tmp at the end= 62508 MiB End job on node033 at 2010-07-08 08:50:16