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.21 | 1800.82 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_3.opb |
| MD5SUM | 60cf9918356073587dd2c65f46896dfb |
| 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 | -50 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -49 |
| 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 | 20 |
| 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) | 2488 |
| Sum of products size (including duplicates) | 4976 |
| Number of different products | 1244 |
| Sum of products size | 2488 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702477-1278568335.opb. 0.00/0.00 c Instance file HOME/instance-2702477-1278568335.opb 0.00/0.00 c File size is 102565 bytes. 0.00/0.01 c Highest Coefficient sum: 20 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: 1444 | 0.00/0.01 c | Number Clauses: 1244 | 0.00/0.01 c | Number Cardinality: 400 | 0.00/0.01 c | Number PB Constraints: 1244 | 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 2888 6010 | 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 2889 6210 | 5000 0 nan | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: -1 0.02/0.02 o -1 0.02/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 0 | 200 2890 6410 | 5000 0 nan | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: -2 0.02/0.02 o -2 0.02/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 0 | 200 2891 6610 | 5000 0 nan | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: -3 0.02/0.02 o -3 0.02/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 0 | 200 2892 6810 | 5000 0 nan | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: -4 0.02/0.02 o -4 0.02/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 0 | 200 2893 7010 | 5000 0 nan | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: -5 0.02/0.02 o -5 0.02/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 1 | 200 2894 7210 | 5000 1 196 | 0.000 % | 0.02/0.02 c =============================================================================== 0.02/0.02 c New solution: -6 0.02/0.02 o -6 0.02/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.02/0.02 c =============================================================================== 0.02/0.02 c | 1 | 200 2895 7410 | 5000 1 196 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -7 0.02/0.03 o -7 0.02/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 1 | 200 2896 7610 | 5000 1 196 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -8 0.02/0.03 o -8 0.02/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 3 | 200 2897 7810 | 5000 3 194 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -9 0.02/0.03 o -9 0.02/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 4 | 200 2898 8010 | 5000 4 194 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -10 0.02/0.03 o -10 0.02/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 18 | 200 2899 8210 | 5000 18 192 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -11 0.02/0.03 o -11 0.02/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 26 | 200 2900 8410 | 5000 26 192 | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: -12 0.02/0.03 o -12 0.02/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 34 | 200 2901 8610 | 5000 34 191 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: -13 0.02/0.04 o -13 0.02/0.04 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 66 | 200 2902 8810 | 5000 66 190 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: -14 0.02/0.04 o -14 0.02/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 102 | 200 2903 9010 | 5000 102 190 | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: -15 0.02/0.04 o -15 0.02/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 127 | 200 2904 9210 | 5000 127 190 | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: -16 0.02/0.05 o -16 0.02/0.05 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 148 | 200 2905 9410 | 5000 148 189 | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: -17 0.02/0.05 o -17 0.02/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 196 | 200 2906 9610 | 5000 196 189 | 0.000 % | 0.02/0.06 c | 297 | 200 2906 9610 | 5500 297 188 | 86.150 % | 0.02/0.08 c | 447 | 200 2906 9610 | 6050 447 187 | 86.150 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c New solution: -18 0.02/0.09 o -18 0.02/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.02/0.09 c =============================================================================== 0.02/0.09 c | 546 | 200 2907 9810 | 5000 546 187 | 86.150 % | 0.09/0.10 c | 650 | 200 2907 9810 | 5500 650 187 | 86.150 % | 0.09/0.13 c | 801 | 200 2907 9810 | 6050 801 187 | 86.150 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: -19 0.09/0.14 o -19 0.09/0.14 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 902 | 200 2908 10010 | 5000 902 187 | 86.150 % | 0.09/0.16 c | 1002 | 200 2908 10010 | 5500 1002 187 | 86.150 % | 0.09/0.18 c | 1152 | 200 2908 10010 | 6050 1152 187 | 86.150 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -20 0.09/0.18 o -20 0.09/0.18 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 1189 | 200 2909 10210 | 5000 1189 187 | 86.150 % | 0.09/0.19 c | 1289 | 200 2909 10210 | 5500 1289 186 | 86.150 % | 0.19/0.21 c | 1439 | 200 2909 10210 | 6050 1439 186 | 86.150 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -21 0.19/0.22 o -21 0.19/0.22 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1456 | 200 2910 10410 | 5000 1456 186 | 86.150 % | 0.19/0.23 c | 1556 | 200 2910 10410 | 5500 1556 186 | 86.150 % | 0.19/0.26 c | 1707 | 200 2910 10410 | 6050 1707 186 | 86.150 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -22 0.19/0.27 o -22 0.19/0.27 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 1779 | 200 2911 10610 | 5000 1779 186 | 86.150 % | 0.19/0.29 c | 1882 | 200 2911 10610 | 5500 1882 186 | 86.150 % | 0.29/0.31 c | 2034 | 200 2911 10610 | 6050 2034 185 | 86.150 % | 0.29/0.34 c | 2259 | 200 2911 10610 | 6655 2259 185 | 86.150 % | 0.29/0.39 c | 2597 | 200 2911 10610 | 7320 2597 184 | 86.150 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: -23 0.39/0.42 o -23 0.39/0.42 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 2727 | 200 2912 10810 | 5000 2727 184 | 86.150 % | 0.39/0.44 c | 2827 | 200 2912 10810 | 5500 2827 184 | 86.150 % | 0.39/0.47 c | 2978 | 200 2912 10810 | 6050 2978 184 | 86.150 % | 0.49/0.51 c | 3203 | 200 2912 10810 | 6655 3203 183 | 86.150 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: -24 0.49/0.53 o -24 0.49/0.53 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 3349 | 200 2913 11010 | 5000 3349 183 | 86.150 % | 0.49/0.55 c | 3450 | 200 2913 11010 | 5500 3450 183 | 86.150 % | 0.49/0.58 c | 3601 | 200 2913 11010 | 6050 3601 183 | 86.150 % | 0.59/0.62 c | 3826 | 200 2913 11010 | 6655 3826 183 | 86.150 % | 0.59/0.69 c | 4163 | 200 2913 11010 | 7320 4163 183 | 86.150 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: -25 0.69/0.76 o -25 0.69/0.76 c Elapsed CPU time: 0.734888 s Remaining CPU time: 179.265 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 4507 | 200 2914 11210 | 5000 4507 183 | 86.150 % | 0.69/0.78 c | 4607 | 200 2914 11210 | 5500 4607 183 | 86.150 % | 0.79/0.80 c | 4758 | 200 2914 11210 | 6050 4758 183 | 86.150 % | 0.79/0.83 c | 4984 | 200 2914 11210 | 6655 4984 183 | 86.150 % | 0.79/0.89 c | 5321 | 200 2914 11210 | 7320 5321 183 | 86.150 % | 1.00/1.03 c | 5829 | 200 2914 11210 | 8052 5829 182 | 86.150 % | 1.19/1.22 c | 6589 | 200 2914 11210 | 8857 6589 183 | 86.150 % | 1.39/1.49 c | 7729 | 200 2914 11210 | 9743 7729 183 | 86.150 % | 1.59/1.60 c =============================================================================== 1.59/1.60 c New solution: -26 1.59/1.60 o -26 1.59/1.60 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s 1.59/1.60 c =============================================================================== 1.59/1.60 c | 8427 | 200 2915 11410 | 5000 8427 182 | 86.150 % | 1.59/1.68 c | 8527 | 200 2915 11410 | 5500 4314 182 | 86.150 % | 1.69/1.71 c | 8678 | 200 2915 11410 | 6050 4465 182 | 86.150 % | 1.69/1.74 c | 8903 | 200 2915 11410 | 6655 4690 181 | 86.150 % | 1.79/1.80 c | 9241 | 200 2915 11410 | 7320 5028 181 | 86.150 % | 1.89/1.91 c | 9748 | 200 2915 11410 | 8052 5535 182 | 86.150 % | 1.99/2.07 c | 10509 | 200 2915 11410 | 8857 6296 182 | 86.150 % | 2.19/2.23 c | 11650 | 200 2915 11410 | 9743 7437 181 | 86.150 % | 2.49/2.52 c | 13358 | 200 2915 11410 | 10717 9145 180 | 86.150 % | 2.99/3.02 c | 15921 | 200 2915 11410 | 11789 11708 180 | 86.150 % | 4.19/4.24 c | 19765 | 200 2915 11410 | 12968 8946 176 | 86.150 % | 5.99/6.01 c | 25532 | 200 2915 11410 | 14265 7519 177 | 86.150 % | 8.49/8.51 c | 34181 | 200 2915 11410 | 15692 8327 177 | 86.150 % | 11.39/11.46 c | 47156 | 200 2915 11410 | 17261 12745 176 | 86.150 % | 15.39/15.44 c =============================================================================== 15.39/15.44 c New solution: -27 15.39/15.44 o -27 15.39/15.44 c Elapsed CPU time: 15.2077 s Remaining CPU time: 164.792 s 15.39/15.44 c =============================================================================== 15.39/15.44 c | 64952 | 200 2916 11610 | 5000 11859 176 | 86.150 % | 15.48/15.54 c | 65053 | 200 2916 11610 | 5500 6031 176 | 86.150 % | 15.48/15.57 c | 65203 | 200 2916 11610 | 6050 6181 176 | 86.150 % | 15.58/15.62 c | 65429 | 200 2916 11610 | 6655 6407 176 | 86.150 % | 15.69/15.71 c | 65767 | 200 2916 11610 | 7320 6745 176 | 86.150 % | 15.69/15.79 c =============================================================================== 15.69/15.79 c New solution: -28 15.69/15.79 o -28 15.69/15.79 c Elapsed CPU time: 15.5516 s Remaining CPU time: 164.448 s 15.69/15.79 c =============================================================================== 15.69/15.79 c | 66259 | 200 2917 11810 | 5000 7237 175 | 86.150 % | 15.79/15.83 c | 66359 | 200 2917 11810 | 5500 3719 175 | 86.150 % | 15.79/15.86 c | 66510 | 200 2917 11810 | 6050 3870 175 | 86.150 % | 15.88/15.91 c | 66735 | 200 2917 11810 | 6655 4095 175 | 86.150 % | 15.88/15.92 c =============================================================================== 15.88/15.92 c New solution: -29 15.88/15.92 o -29 15.88/15.92 c Elapsed CPU time: 15.6826 s Remaining CPU time: 164.317 s 15.88/15.92 c =============================================================================== 15.88/15.92 c | 66852 | 200 2918 12010 | 5000 4212 175 | 86.150 % | 15.88/15.95 c | 66952 | 200 2918 12010 | 5500 4312 175 | 86.150 % | 15.88/15.98 c | 67102 | 200 2918 12010 | 6050 4462 175 | 86.150 % | 15.99/16.04 c | 67329 | 200 2918 12010 | 6655 4689 176 | 86.150 % | 16.09/16.12 c | 67667 | 200 2918 12010 | 7320 5027 176 | 86.150 % | 16.18/16.28 c | 68174 | 200 2918 12010 | 8052 5534 176 | 86.150 % | 16.49/16.54 c | 68933 | 200 2918 12010 | 8857 6293 176 | 86.150 % | 16.68/16.78 c | 70073 | 200 2918 12010 | 9743 7433 176 | 86.150 % | 17.19/17.25 c | 71783 | 200 2918 12010 | 10717 9143 175 | 86.150 % | 18.39/18.47 c | 74346 | 200 2918 12010 | 11789 11706 175 | 86.150 % | 20.08/20.13 c | 78190 | 200 2918 12010 | 12968 8947 173 | 86.150 % | 20.48/20.59 c =============================================================================== 20.48/20.59 c New solution: -30 20.48/20.59 o -30 20.48/20.59 c Elapsed CPU time: 20.3049 s Remaining CPU time: 159.695 s 20.48/20.59 c =============================================================================== 20.48/20.59 c | 79050 | 200 2919 12210 | 5000 9807 173 | 86.150 % | 20.59/20.65 c | 79151 | 200 2919 12210 | 5500 5005 172 | 86.150 % | 20.59/20.69 c | 79301 | 200 2919 12210 | 6050 5155 172 | 86.150 % | 20.68/20.75 c | 79526 | 200 2919 12210 | 6655 5380 172 | 86.150 % | 20.89/20.95 c | 79865 | 200 2919 12210 | 7320 5719 173 | 86.150 % | 21.08/21.11 c | 80371 | 200 2919 12210 | 8052 6225 173 | 86.150 % | 21.28/21.31 c | 81131 | 200 2919 12210 | 8857 6985 173 | 86.150 % | 21.58/21.67 c | 82270 | 200 2919 12210 | 9743 8124 172 | 86.150 % | 22.08/22.16 c =============================================================================== 22.08/22.16 c New solution: -31 22.08/22.16 o -31 22.08/22.16 c Elapsed CPU time: 21.8517 s Remaining CPU time: 158.148 s 22.08/22.16 c =============================================================================== 22.08/22.16 c | 83641 | 200 2920 12410 | 5000 9495 172 | 86.150 % | 22.19/22.22 c | 83741 | 200 2920 12410 | 5500 4848 172 | 86.150 % | 22.19/22.28 c | 83892 | 200 2920 12410 | 6050 4999 172 | 86.150 % | 22.29/22.39 c | 84117 | 200 2920 12410 | 6655 5224 172 | 86.150 % | 22.48/22.54 c | 84455 | 200 2920 12410 | 7320 5562 173 | 86.150 % | 22.68/22.77 c | 84961 | 200 2920 12410 | 8052 6068 173 | 86.150 % | 22.99/23.04 c | 85722 | 200 2920 12410 | 8857 6829 173 | 86.150 % | 23.58/23.65 c | 86861 | 200 2920 12410 | 9743 7968 173 | 86.150 % | 24.19/24.22 c | 88569 | 200 2920 12410 | 10717 9676 173 | 86.150 % | 25.08/25.19 c =============================================================================== 25.08/25.19 c New solution: -32 25.08/25.19 o -32 25.08/25.19 c Elapsed CPU time: 24.8512 s Remaining CPU time: 155.149 s 25.08/25.19 c =============================================================================== 25.08/25.19 c | 90889 | 200 2921 12610 | 5000 11996 172 | 86.150 % | 25.20/25.25 c | 90989 | 200 2921 12610 | 5500 6098 172 | 86.150 % | 25.20/25.29 c | 91140 | 200 2921 12610 | 6050 6249 172 | 86.150 % | 25.29/25.39 c | 91366 | 200 2921 12610 | 6655 6475 172 | 86.150 % | 25.48/25.53 c | 91704 | 200 2921 12610 | 7320 6813 172 | 86.150 % | 25.68/25.80 c | 92211 | 200 2921 12610 | 8052 7320 172 | 86.150 % | 26.29/26.32 c | 92971 | 200 2921 12610 | 8857 8080 172 | 86.150 % | 26.78/26.84 c | 94111 | 200 2921 12610 | 9743 9220 172 | 86.150 % | 27.68/27.75 c | 95821 | 200 2921 12610 | 10717 10930 171 | 86.150 % | 28.68/28.72 c | 98383 | 200 2921 12610 | 11789 7429 170 | 86.150 % | 30.98/31.09 c | 102229 | 200 2921 12610 | 12968 11275 170 | 86.150 % | 34.09/34.15 c | 107995 | 200 2921 12610 | 14265 9851 170 | 86.150 % | 37.58/37.69 c | 116644 | 200 2921 12610 | 15692 10661 170 | 86.150 % | 39.68/39.70 c =============================================================================== 39.68/39.70 c New solution: -33 39.68/39.70 o -33 39.68/39.70 c Elapsed CPU time: 39.244 s Remaining CPU time: 140.756 s 39.68/39.70 c =============================================================================== 39.68/39.70 c | 123877 | 200 2922 12810 | 5000 9341 170 | 86.150 % | 39.78/39.80 c | 123977 | 200 2922 12810 | 5500 4771 170 | 86.150 % | 39.78/39.84 c | 124129 | 200 2922 12810 | 6050 4923 169 | 86.150 % | 39.88/39.92 c | 124355 | 200 2922 12810 | 6655 5149 169 | 86.150 % | 39.97/40.04 c | 124692 | 200 2922 12810 | 7320 5486 170 | 86.150 % | 40.18/40.22 c | 125198 | 200 2922 12810 | 8052 5992 170 | 86.150 % | 40.48/40.53 c | 125959 | 200 2922 12810 | 8857 6753 170 | 86.150 % | 40.88/40.99 c | 127098 | 200 2922 12810 | 9743 7892 170 | 86.150 % | 41.88/41.99 c | 128808 | 200 2922 12810 | 10717 9602 170 | 86.150 % | 43.08/43.19 c | 131371 | 200 2922 12810 | 11789 6101 170 | 86.150 % | 44.17/44.24 c | 135215 | 200 2922 12810 | 12968 9945 170 | 86.150 % | 45.18/45.24 c =============================================================================== 45.18/45.24 c New solution: -34 45.18/45.24 o -34 45.18/45.24 c Elapsed CPU time: 44.7342 s Remaining CPU time: 135.266 s 45.18/45.24 c =============================================================================== 45.18/45.24 c | 137186 | 200 2923 13010 | 5000 11916 170 | 86.150 % | 45.28/45.32 c | 137286 | 200 2923 13010 | 5500 6058 170 | 86.150 % | 45.28/45.38 c | 137438 | 200 2923 13010 | 6050 6210 170 | 86.150 % | 45.38/45.45 c | 137664 | 200 2923 13010 | 6655 6436 170 | 86.150 % | 45.47/45.56 c | 138003 | 200 2923 13010 | 7320 6775 170 | 86.150 % | 45.57/45.61 c =============================================================================== 45.57/45.61 c New solution: -35 45.57/45.61 o -35 45.57/45.61 c Elapsed CPU time: 45.0941 s Remaining CPU time: 134.906 s 45.57/45.61 c =============================================================================== 45.57/45.61 c | 138201 | 200 2924 13210 | 5000 6973 170 | 86.150 % | 45.57/45.66 c | 138301 | 200 2924 13210 | 5500 3587 171 | 86.150 % | 45.67/45.73 c | 138452 | 200 2924 13210 | 6050 3738 171 | 86.150 % | 45.78/45.84 c | 138677 | 200 2924 13210 | 6655 3963 172 | 86.150 % | 45.88/45.99 c | 139015 | 200 2924 13210 | 7320 4301 172 | 86.150 % | 46.08/46.18 c | 139522 | 200 2924 13210 | 8052 4808 172 | 86.150 % | 46.27/46.38 c | 140283 | 200 2924 13210 | 8857 5569 171 | 86.150 % | 46.68/46.70 c | 141423 | 200 2924 13210 | 9743 6709 171 | 86.150 % | 47.18/47.20 c | 143131 | 200 2924 13210 | 10717 8417 170 | 86.150 % | 48.18/48.26 c | 145693 | 200 2924 13210 | 11789 10979 170 | 86.150 % | 49.68/49.79 c | 149537 | 200 2924 13210 | 12968 8223 170 | 86.150 % | 52.27/52.31 c | 155304 | 200 2924 13210 | 14265 13990 169 | 86.150 % | 57.57/57.63 c | 163955 | 200 2924 13210 | 15692 14803 168 | 86.150 % | 63.67/63.73 c | 176930 | 200 2924 13210 | 17261 10678 168 | 86.150 % | 73.76/73.87 c | 196393 | 200 2924 13210 | 18987 11467 168 | 86.150 % | 85.86/85.95 c | 225586 | 200 2924 13210 | 20886 20263 168 | 86.150 % | 111.96/112.02 c | 269378 | 200 2924 13210 | 22974 17601 168 | 86.150 % | 153.95/154.08 c | 335063 | 200 2924 13210 | 25272 15224 168 | 86.150 % | 181.33/181.46 c There are 1244 assigned variables. 0 in cost function. 182.03/182.10 c core #1 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -199 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #2 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -198 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #3 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -197 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #4 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -196 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #5 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -195 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #6 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -194 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #7 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -193 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #8 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -192 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #9 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -191 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #10 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -190 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #11 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -189 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #12 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -188 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #13 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -187 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #14 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -186 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #15 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -185 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #16 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -184 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #17 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -183 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #18 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -182 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #19 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -181 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #20 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -180 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #21 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -179 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #22 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -178 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #23 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -177 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #24 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -176 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #25 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -175 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #26 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -174 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #27 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -173 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #28 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -172 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #29 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -171 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #30 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -170 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #31 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -169 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #32 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -168 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #33 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -167 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #34 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -166 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #35 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -165 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #36 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -164 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #37 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -163 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #38 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -162 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #39 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -161 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #40 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -160 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #41 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -159 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #42 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -158 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #43 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -157 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #44 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -156 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #45 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -155 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #46 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -154 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #47 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -153 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #48 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -152 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #49 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -151 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #50 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -150 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #51 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -149 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #52 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -148 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #53 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -147 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #54 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -146 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #55 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -145 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #56 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -144 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #57 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -143 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #58 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -142 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c core #59 182.03/182.10 c 182.03/182.10 c 182.03/182.10 c Core size: 3 Core Weight: 1 Total Weight: -141 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #60 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -140 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #61 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -139 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #62 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -138 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #63 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -137 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #64 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -136 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #65 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -135 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #66 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -134 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #67 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -133 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #68 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -132 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #69 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -131 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #70 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -130 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #71 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -129 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #72 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -128 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #73 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -127 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #74 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -126 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #75 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -125 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #76 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -124 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #77 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -123 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #78 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -122 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #79 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -121 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #80 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -120 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #81 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -119 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #82 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -118 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #83 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -117 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #84 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -116 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #85 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -115 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #86 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -114 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #87 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -113 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #88 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -112 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #89 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -111 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #90 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -110 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #91 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -109 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #92 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -108 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #93 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 3 Core Weight: 1 Total Weight: -107 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #94 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 7 Core Weight: 1 Total Weight: -106 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #95 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 7 Core Weight: 1 Total Weight: -105 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #96 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 7 Core Weight: 1 Total Weight: -104 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #97 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 7 Core Weight: 1 Total Weight: -103 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #98 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 19 Core Weight: 1 Total Weight: -102 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #99 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 15 Core Weight: 1 Total Weight: -101 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #100 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 10 Core Weight: 1 Total Weight: -100 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c core #101 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c Core size: 10 Core Weight: 1 Total Weight: -99 182.23/182.30 c 182.23/182.30 c 182.23/182.30 c ============================[ Search Statistics ]============================== 182.23/182.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.31 c =============================================================================== 182.23/182.31 c | 0 | 430 2825 10348 | 5000 0 nan | 0.000 % | 182.23/182.31 c =============================================================================== 182.23/182.31 c core #102 182.23/182.31 c 182.23/182.31 c 182.23/182.31 c Core size: 19 Core Weight: 1 Total Weight: -98 182.23/182.31 c 182.23/182.31 c 182.23/182.31 c ============================[ Search Statistics ]============================== 182.23/182.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.31 c =============================================================================== 182.23/182.31 c | 0 | 441 2826 10370 | 5000 0 nan | 0.000 % | 182.23/182.31 c =============================================================================== 182.23/182.32 c core #103 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 12 Core Weight: 1 Total Weight: -97 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c ============================[ Search Statistics ]============================== 182.23/182.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.32 c =============================================================================== 182.23/182.32 c | 0 | 449 2827 10386 | 5000 0 nan | 0.000 % | 182.23/182.32 c =============================================================================== 182.23/182.33 c core #104 182.23/182.33 c 182.23/182.33 c 182.23/182.33 c Core size: 18 Core Weight: 1 Total Weight: -96 182.23/182.33 c 182.23/182.33 c 182.23/182.33 c ============================[ Search Statistics ]============================== 182.23/182.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.33 c =============================================================================== 182.23/182.33 c | 0 | 461 2828 10410 | 5000 0 nan | 0.000 % | 182.23/182.33 c =============================================================================== 182.23/182.34 c core #105 182.23/182.34 c 182.23/182.34 c 182.23/182.34 c Core size: 16 Core Weight: 1 Total Weight: -95 182.23/182.34 c 182.23/182.34 c 182.23/182.34 c ============================[ Search Statistics ]============================== 182.23/182.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.34 c =============================================================================== 182.23/182.34 c | 0 | 471 2829 10430 | 5000 0 nan | 0.000 % | 182.23/182.34 c =============================================================================== 182.23/182.35 c core #106 182.23/182.35 c 182.23/182.35 c 182.23/182.35 c Core size: 14 Core Weight: 1 Total Weight: -94 182.23/182.35 c 182.23/182.35 c 182.23/182.35 c ============================[ Search Statistics ]============================== 182.23/182.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.35 c =============================================================================== 182.23/182.35 c | 0 | 479 2830 10446 | 5000 0 nan | 0.000 % | 182.23/182.36 c =============================================================================== 182.23/182.36 c core #107 182.23/182.36 c 182.23/182.36 c 182.23/182.36 c Core size: 14 Core Weight: 1 Total Weight: -93 182.23/182.36 c 182.23/182.36 c 182.23/182.36 c ============================[ Search Statistics ]============================== 182.23/182.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.36 c =============================================================================== 182.23/182.36 c | 0 | 487 2831 10462 | 5000 0 nan | 0.000 % | 182.23/182.37 c =============================================================================== 182.23/182.38 c core #108 182.23/182.38 c 182.23/182.38 c 182.23/182.38 c Core size: 18 Core Weight: 1 Total Weight: -92 182.23/182.38 c 182.23/182.38 c 182.23/182.38 c ============================[ Search Statistics ]============================== 182.23/182.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.38 c =============================================================================== 182.23/182.38 c | 0 | 497 2832 10482 | 5000 0 nan | 0.000 % | 182.23/182.38 c =============================================================================== 182.23/182.39 c core #109 182.23/182.39 c 182.23/182.39 c 182.23/182.39 c Core size: 18 Core Weight: 1 Total Weight: -91 182.23/182.39 c 182.23/182.39 c 182.23/182.39 c ============================[ Search Statistics ]============================== 182.23/182.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.39 c =============================================================================== 182.23/182.39 c | 0 | 509 2833 10506 | 5000 0 nan | 0.000 % | 182.23/182.39 c =============================================================================== 182.33/182.40 c core #110 182.33/182.40 c 182.33/182.40 c 182.33/182.40 c Core size: 24 Core Weight: 1 Total Weight: -90 182.33/182.40 c 182.33/182.40 c 182.33/182.40 c ============================[ Search Statistics ]============================== 182.33/182.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.40 c =============================================================================== 182.33/182.40 c | 0 | 523 2834 10534 | 5000 0 nan | 0.000 % | 182.33/182.40 c =============================================================================== 182.33/182.41 c core #111 182.33/182.41 c 182.33/182.41 c 182.33/182.41 c Core size: 16 Core Weight: 1 Total Weight: -89 182.33/182.41 c 182.33/182.41 c 182.33/182.41 c ============================[ Search Statistics ]============================== 182.33/182.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.41 c =============================================================================== 182.33/182.41 c | 0 | 533 2835 10554 | 5000 0 nan | 0.000 % | 182.33/182.42 c =============================================================================== 182.33/182.42 c core #112 182.33/182.42 c 182.33/182.42 c 182.33/182.42 c Core size: 24 Core Weight: 1 Total Weight: -88 182.33/182.42 c 182.33/182.42 c 182.33/182.42 c ============================[ Search Statistics ]============================== 182.33/182.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.42 c =============================================================================== 182.33/182.42 c | 0 | 547 2836 10582 | 5000 0 nan | 0.000 % | 182.33/182.43 c =============================================================================== 182.33/182.44 c core #113 182.33/182.44 c 182.33/182.44 c 182.33/182.44 c Core size: 20 Core Weight: 1 Total Weight: -87 182.33/182.44 c 182.33/182.44 c 182.33/182.44 c ============================[ Search Statistics ]============================== 182.33/182.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.44 c =============================================================================== 182.33/182.44 c | 0 | 561 2837 10610 | 5000 0 nan | 0.000 % | 182.33/182.44 c =============================================================================== 182.33/182.45 c core #114 182.33/182.45 c 182.33/182.45 c 182.33/182.45 c Core size: 31 Core Weight: 1 Total Weight: -86 182.33/182.45 c 182.33/182.45 c 182.33/182.45 c ============================[ Search Statistics ]============================== 182.33/182.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.45 c =============================================================================== 182.33/182.45 c | 0 | 584 2838 10656 | 5000 0 nan | 0.000 % | 182.33/182.45 c =============================================================================== 182.33/182.46 c core #115 182.33/182.46 c 182.33/182.46 c 182.33/182.46 c Core size: 45 Core Weight: 1 Total Weight: -85 182.33/182.46 c 182.33/182.46 c 182.33/182.46 c ============================[ Search Statistics ]============================== 182.33/182.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.46 c =============================================================================== 182.33/182.46 c | 0 | 615 2839 10718 | 5000 0 nan | 0.000 % | 182.33/182.49 c | 100 | 615 2839 10718 | 5500 100 12 | 66.918 % | 182.33/182.49 c =============================================================================== 182.44/182.50 c core #116 182.44/182.50 c 182.44/182.50 c 182.44/182.50 c Core size: 53 Core Weight: 1 Total Weight: -84 182.44/182.50 c 182.44/182.50 c 182.44/182.50 c ============================[ Search Statistics ]============================== 182.44/182.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.50 c =============================================================================== 182.44/182.50 c | 0 | 662 2840 10812 | 5000 0 nan | 0.000 % | 182.44/182.53 c | 101 | 662 2840 10812 | 5500 101 26 | 65.268 % | 182.44/182.56 c | 253 | 662 2840 10812 | 6050 253 25 | 65.268 % | 182.54/182.62 c | 478 | 662 2840 10812 | 6655 478 30 | 65.268 % | 182.63/182.70 c | 816 | 662 2840 10812 | 7320 816 31 | 65.268 % | 182.73/182.84 c | 1323 | 662 2840 10812 | 8052 1323 33 | 65.268 % | 182.93/183.04 c | 2084 | 662 2840 10812 | 8857 2084 32 | 65.268 % | 183.03/183.17 c =============================================================================== 183.13/183.21 c core #117 183.13/183.21 c 183.13/183.21 c 183.13/183.21 c Core size: 139 Core Weight: 1 Total Weight: -83 183.13/183.21 c 183.13/183.21 c 183.13/183.21 c ============================[ Search Statistics ]============================== 183.13/183.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.21 c =============================================================================== 183.13/183.21 c | 0 | 798 2841 11084 | 5000 0 nan | 0.000 % | 183.13/183.23 c | 102 | 798 2841 11084 | 5500 102 14 | 60.921 % | 183.13/183.26 c | 262 | 798 2841 11084 | 6050 262 20 | 60.921 % | 183.23/183.31 c =============================================================================== 183.23/183.32 c core #118 183.23/183.32 c 183.23/183.32 c 183.23/183.32 c Core size: 77 Core Weight: 1 Total Weight: -82 183.23/183.32 c 183.23/183.32 c 183.23/183.32 c ============================[ Search Statistics ]============================== 183.23/183.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.32 c =============================================================================== 183.23/183.32 c | 0 | 867 2842 11222 | 5000 0 nan | 0.000 % | 183.23/183.36 c | 102 | 867 2842 11222 | 5500 102 57 | 58.929 % | 183.23/183.38 c | 252 | 867 2842 11222 | 6050 252 51 | 58.929 % | 183.33/183.43 c | 477 | 867 2842 11222 | 6655 477 39 | 58.929 % | 183.42/183.52 c | 816 | 867 2842 11222 | 7320 816 40 | 58.929 % | 183.54/183.65 c | 1323 | 867 2842 11222 | 8052 1323 38 | 58.929 % | 183.73/183.87 c | 2085 | 867 2842 11222 | 8857 2085 37 | 58.929 % | 184.02/184.11 c =============================================================================== 184.02/184.15 c core #119 184.02/184.15 c 184.02/184.15 c 184.02/184.15 c Core size: 115 Core Weight: 1 Total Weight: -81 184.02/184.15 c 184.02/184.15 c 184.02/184.15 c ============================[ Search Statistics ]============================== 184.02/184.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.02/184.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.02/184.15 c =============================================================================== 184.02/184.15 c | 0 | 972 2843 11432 | 5000 0 nan | 0.000 % | 184.02/184.18 c | 103 | 972 2843 11432 | 5500 103 46 | 56.137 % | 184.02/184.19 c | 254 | 972 2843 11432 | 6050 254 39 | 56.137 % | 184.13/184.23 c | 481 | 972 2843 11432 | 6655 481 42 | 56.137 % | 184.23/184.31 c | 819 | 972 2843 11432 | 7320 819 48 | 56.137 % | 184.33/184.41 c | 1325 | 972 2843 11432 | 8052 1325 48 | 56.137 % | 184.43/184.60 c | 2086 | 972 2843 11432 | 8857 2086 47 | 56.137 % | 184.73/184.89 c | 3225 | 972 2843 11432 | 9743 3225 46 | 56.137 % | 185.43/185.55 c | 4933 | 972 2843 11432 | 10717 4933 50 | 56.137 % | 186.33/186.49 c | 7495 | 972 2843 11432 | 11789 7495 54 | 56.137 % | 187.93/188.06 c =============================================================================== 188.12/188.22 c core #120 188.12/188.22 c 188.12/188.22 c 188.12/188.22 c Core size: 169 Core Weight: 1 Total Weight: -80 188.12/188.22 c 188.12/188.22 c 188.12/188.22 c ============================[ Search Statistics ]============================== 188.12/188.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.12/188.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.12/188.22 c =============================================================================== 188.12/188.22 c | 0 | 1117 2844 11722 | 5000 0 nan | 0.000 % | 188.12/188.25 c | 103 | 1117 2844 11722 | 5500 103 48 | 52.690 % | 188.12/188.27 c | 253 | 1117 2844 11722 | 6050 253 35 | 52.690 % | 188.23/188.31 c | 479 | 1117 2844 11722 | 6655 479 44 | 52.690 % | 188.23/188.36 c | 816 | 1117 2844 11722 | 7320 816 41 | 52.690 % | 188.33/188.45 c | 1324 | 1117 2844 11722 | 8052 1324 41 | 52.690 % | 188.53/188.61 c | 2083 | 1117 2844 11722 | 8857 2083 45 | 52.690 % | 188.73/188.88 c | 3226 | 1117 2844 11722 | 9743 3226 48 | 52.690 % | 189.13/189.29 c | 4938 | 1117 2844 11722 | 10717 4938 53 | 52.690 % | 189.93/190.06 c | 7501 | 1117 2844 11722 | 11789 7501 53 | 52.690 % | 191.43/191.55 c | 11345 | 1117 2844 11722 | 12968 11345 57 | 52.690 % | 194.03/194.10 c | 17113 | 1117 2844 11722 | 14265 9895 65 | 52.690 % | 198.12/198.24 c | 25765 | 1117 2844 11722 | 15692 10739 59 | 52.690 % | 205.43/205.55 c | 38745 | 1117 2844 11722 | 17261 15113 74 | 52.690 % | 218.21/218.30 c | 58207 | 1117 2844 11722 | 18987 15884 81 | 52.690 % | 227.63/227.77 c =============================================================================== 229.12/229.24 c core #121 229.12/229.24 c 229.12/229.24 c 229.12/229.24 c Core size: 135 Core Weight: 1 Total Weight: -79 229.12/229.24 c 229.12/229.24 c 229.12/229.24 c ============================[ Search Statistics ]============================== 229.12/229.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.12/229.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.12/229.24 c =============================================================================== 229.12/229.24 c | 0 | 1250 2845 11988 | 5000 0 nan | 0.000 % | 229.12/229.29 c | 100 | 1250 2845 11988 | 5500 100 89 | 49.880 % | 229.22/229.32 c | 252 | 1250 2845 11988 | 6050 252 90 | 49.880 % | 229.22/229.37 c | 479 | 1250 2845 11988 | 6655 479 67 | 49.880 % | 229.31/229.43 c | 818 | 1250 2845 11988 | 7320 818 53 | 49.880 % | 229.41/229.55 c | 1324 | 1250 2845 11988 | 8052 1324 57 | 49.880 % | 229.62/229.75 c | 2083 | 1250 2845 11988 | 8857 2083 59 | 49.880 % | 229.92/230.02 c | 3223 | 1250 2845 11988 | 9743 3223 59 | 49.880 % | 230.42/230.53 c | 4936 | 1250 2845 11988 | 10717 4936 60 | 49.880 % | 231.51/231.62 c | 7500 | 1250 2845 11988 | 11789 7500 65 | 49.880 % | 233.41/233.54 c | 11347 | 1250 2845 11988 | 12968 11347 71 | 49.880 % | 237.52/237.66 c | 17113 | 1250 2845 11988 | 14265 9919 78 | 49.880 % | 243.11/243.23 c | 25763 | 1250 2845 11988 | 15692 10663 86 | 49.880 % | 252.51/252.69 c | 38737 | 1250 2845 11988 | 17261 15036 99 | 49.880 % | 267.80/267.93 c | 58198 | 1250 2845 11988 | 18987 15764 102 | 49.880 % | 285.39/285.58 c | 87390 | 1250 2845 11988 | 20886 14283 81 | 49.880 % | 318.89/319.01 c | 131179 | 1250 2845 11988 | 22974 13344 80 | 49.880 % | 376.26/376.42 c | 196869 | 1250 2845 11988 | 25272 17897 98 | 49.880 % | 478.93/479.15 c | 295395 | 1250 2845 11988 | 27799 19545 122 | 49.880 % | 637.78/638.03 c | 443184 | 1250 2845 11988 | 30579 26914 103 | 49.880 % | 783.32/783.65 c =============================================================================== 795.51/795.83 c core #122 795.51/795.83 c 795.51/795.83 c 795.51/795.83 c Core size: 108 Core Weight: 1 Total Weight: -78 795.51/795.83 c 795.51/795.83 c 795.51/795.83 c ============================[ Search Statistics ]============================== 795.51/795.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 795.51/795.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 795.51/795.83 c =============================================================================== 795.51/795.83 c | 0 | 1355 2846 12198 | 5000 0 nan | 0.000 % | 795.61/795.90 c | 101 | 1355 2846 12198 | 5500 101 49 | 47.865 % | 795.61/795.94 c | 251 | 1355 2846 12198 | 6050 251 36 | 47.865 % | 795.72/796.05 c | 479 | 1355 2846 12198 | 6655 479 51 | 47.865 % | 795.81/796.12 c | 818 | 1355 2846 12198 | 7320 818 57 | 47.865 % | 795.91/796.24 c | 1325 | 1355 2846 12198 | 8052 1325 67 | 47.865 % | 796.12/796.46 c | 2085 | 1355 2846 12198 | 8857 2085 77 | 47.865 % | 796.51/796.82 c | 3228 | 1355 2846 12198 | 9743 3228 91 | 47.865 % | 797.01/797.31 c | 4937 | 1355 2846 12198 | 10717 4937 87 | 47.865 % | 797.91/798.24 c | 7499 | 1355 2846 12198 | 11789 7499 89 | 47.865 % | 800.01/800.35 c | 11343 | 1355 2846 12198 | 12968 11343 104 | 47.865 % | 804.01/804.37 c | 17112 | 1355 2846 12198 | 14265 9966 125 | 47.865 % | 812.21/812.53 c | 25763 | 1355 2846 12198 | 15692 10785 136 | 47.865 % | 822.41/822.75 c | 38739 | 1355 2846 12198 | 17261 15241 127 | 47.865 % | 840.30/840.68 c | 58201 | 1355 2846 12198 | 18987 16189 120 | 47.865 % | 867.89/868.24 c | 87395 | 1355 2846 12198 | 20886 14894 114 | 47.865 % | 921.77/922.12 c | 131185 | 1355 2846 12198 | 22974 14121 131 | 47.865 % | 987.64/988.03 c | 196870 | 1355 2846 12198 | 25272 18881 120 | 47.865 % | 1096.22/1096.65 c | 295397 | 1355 2846 12198 | 27799 19883 150 | 47.865 % | 1285.45/1286.00 c | 443186 | 1355 2846 12198 | 30579 23764 171 | 47.865 % | 1598.75/1599.32 c | 664876 | 1355 2846 12198 | 33637 20955 151 | 47.865 % |
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-2702477-1278568335/watcher-2702477-1278568335 -o /tmp/evaluation-result-2702477-1278568335/solver-2702477-1278568335 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702477-1278568335.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.99 0.98 0.99 3/106 29920 /proc/meminfo: memFree=1771212/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=2956 CPUtime=0 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 336 0 0 0 0 0 0 0 20 0 1 0 25040826 3026944 254 1992294400 134512640 135752675 4291433024 18446744073709551615 134574293 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 739 254 139 303 0 408 0 [startup+0.0243529 s] /proc/loadavg: 0.99 0.98 0.99 3/106 29920 /proc/meminfo: memFree=1771212/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=3256 CPUtime=0.02 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 482 0 0 0 2 0 0 0 20 0 1 0 25040826 3334144 374 1992294400 134512640 135752675 4291433024 18446744073709551615 134599220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 814 374 143 303 0 509 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3256 [startup+0.101367 s] /proc/loadavg: 0.99 0.98 0.99 3/106 29920 /proc/meminfo: memFree=1771212/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=3644 CPUtime=0.09 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 577 0 0 0 9 0 0 0 20 0 1 0 25040826 3731456 469 1992294400 134512640 135752675 4291433024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 911 469 145 303 0 606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3644 [startup+0.301402 s] /proc/loadavg: 0.99 0.98 0.99 3/106 29920 /proc/meminfo: memFree=1771212/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=4804 CPUtime=0.29 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 859 0 0 0 28 1 0 0 20 0 1 0 25040826 4919296 751 1992294400 134512640 135752675 4291433024 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 1201 751 145 303 0 896 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4804 [startup+0.700476 s] /proc/loadavg: 0.99 0.98 0.99 3/106 29920 /proc/meminfo: memFree=1771212/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=6600 CPUtime=0.69 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 1334 0 0 0 67 2 0 0 20 0 1 0 25040826 6758400 1226 1992294400 134512640 135752675 4291433024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 1650 1226 145 303 0 1345 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6600 [startup+1.50062 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29921 /proc/meminfo: memFree=1765872/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=9692 CPUtime=1.49 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 2089 0 0 0 145 4 0 0 22 0 1 0 25040826 9924608 1981 1992294400 134512640 135752675 4291433024 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 2423 1981 145 303 0 2118 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9692 [startup+3.10091 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29921 /proc/meminfo: memFree=1761532/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=16668 CPUtime=3.09 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 3822 0 0 0 303 6 0 0 25 0 1 0 25040826 17068032 3714 1992294400 134512640 135752675 4291433024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 4167 3714 145 303 0 3862 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16668 [startup+6.30049 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29921 /proc/meminfo: memFree=1751116/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=25008 CPUtime=6.29 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 5907 0 0 0 619 10 0 0 25 0 1 0 25040826 25608192 5799 1992294400 134512640 135752675 4291433024 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 6252 5799 145 303 0 5947 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25008 [startup+12.7007 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29921 /proc/meminfo: memFree=1730408/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=44596 CPUtime=12.68 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 10823 0 0 0 1250 18 0 0 25 0 1 0 25040826 45666304 10715 1992294400 134512640 135752675 4291433024 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 11149 10715 145 303 0 10844 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44596 [startup+25.502 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29921 /proc/meminfo: memFree=1697052/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=76796 CPUtime=25.48 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 18845 0 0 0 2515 33 0 0 25 0 1 0 25040826 78639104 18737 1992294400 134512640 135752675 4291433024 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 19199 18737 145 303 0 18894 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76796 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29921 /proc/meminfo: memFree=1650552/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=124200 CPUtime=51.07 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 30681 0 0 0 5051 56 0 0 25 0 1 0 25040826 127180800 30573 1992294400 134512640 135752675 4291433024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 31050 30573 145 303 0 30745 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 124200 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29923 /proc/meminfo: memFree=1577020/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=196236 CPUtime=102.27 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 48639 0 0 0 10137 90 0 0 25 0 1 0 25040826 200945664 48531 1992294400 134512640 135752675 4291433024 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 49059 48531 145 303 0 48754 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 196236 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29925 /proc/meminfo: memFree=1501380/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=273484 CPUtime=162.24 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 67934 0 0 0 16098 126 0 0 25 0 1 0 25040826 280047616 67826 1992294400 134512640 135752675 4291433024 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 68371 67826 145 303 0 68066 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 273484 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29927 /proc/meminfo: memFree=1460212/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=312384 CPUtime=222.22 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 77760 0 0 0 22052 170 0 0 25 0 1 0 25040826 319881216 77652 1992294400 134512640 135752675 4291433024 18446744073709551615 134650420 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 78096 77652 146 303 0 77791 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 312384 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29929 /proc/meminfo: memFree=1425740/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=346912 CPUtime=282.2 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 86393 0 0 0 28009 211 0 0 25 0 1 0 25040826 355237888 86285 1992294400 134512640 135752675 4291433024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 86728 86285 146 303 0 86423 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 346912 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29929 /proc/meminfo: memFree=1393748/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=378832 CPUtime=342.17 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 94318 0 0 0 33974 243 0 0 25 0 1 0 25040826 387923968 94210 1992294400 134512640 135752675 4291433024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 94708 94211 146 303 0 94403 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 378832 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29931 /proc/meminfo: memFree=1360268/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=412456 CPUtime=402.15 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 102697 0 0 0 39937 278 0 0 25 0 1 0 25040826 422354944 102589 1992294400 134512640 135752675 4291433024 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 103114 102589 146 303 0 102809 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 412456 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29933 /proc/meminfo: memFree=1329144/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=443516 CPUtime=462.14 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 110428 0 0 0 45909 305 0 0 25 0 1 0 25040826 454160384 110320 1992294400 134512640 135752675 4291433024 18446744073709551615 134611771 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 110879 110320 146 303 0 110574 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 443516 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29935 /proc/meminfo: memFree=1301740/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=471256 CPUtime=522.12 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 117327 0 0 0 51879 333 0 0 25 0 1 0 25040826 482566144 117219 1992294400 134512640 135752675 4291433024 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 117814 117219 146 303 0 117509 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 471256 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29946 /proc/meminfo: memFree=1268260/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=504444 CPUtime=582.09 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 125602 0 0 0 57842 367 0 0 25 0 1 0 25040826 516550656 125494 1992294400 134512640 135752675 4291433024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 126111 125494 146 303 0 125806 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 504444 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29946 /proc/meminfo: memFree=1236392/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=535788 CPUtime=642.07 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 133446 0 0 0 63813 394 0 0 25 0 1 0 25040826 548646912 133338 1992294400 134512640 135752675 4291433024 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 133947 133338 146 303 0 133642 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 535788 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29954 /proc/meminfo: memFree=1130620/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=640596 CPUtime=881.98 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 159871 0 0 0 87698 500 0 0 25 0 1 0 25040826 655970304 159731 1992294400 134512640 135752675 4291433024 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 160149 159731 146 303 0 159844 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 640596 [startup+942.301 s] /proc/loadavg: 1.05 1.00 1.00 2/107 29954 /proc/meminfo: memFree=1101976/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=669532 CPUtime=941.96 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 167069 0 0 0 93674 522 0 0 25 0 1 0 25040826 685600768 166929 1992294400 134512640 135752675 4291433024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 167383 166929 146 303 0 167078 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 669532 [startup+1002.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 29956 /proc/meminfo: memFree=1066264/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=704924 CPUtime=1001.94 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 175879 0 0 0 99638 556 0 0 25 0 1 0 25040826 721842176 175739 1992294400 134512640 135752675 4291433024 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 176231 175739 146 303 0 175926 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 704924 [startup+1062.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 29958 /proc/meminfo: memFree=1033404/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=738120 CPUtime=1061.92 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 184186 0 0 0 105604 588 0 0 25 0 1 0 25040826 755834880 184046 1992294400 134512640 135752675 4291433024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 184530 184046 146 303 0 184225 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 738120 [startup+1122.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 29960 /proc/meminfo: memFree=996204/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=775084 CPUtime=1121.9 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 193396 0 0 0 111576 614 0 0 25 0 1 0 25040826 793686016 193256 1992294400 134512640 135752675 4291433024 18446744073709551615 134605256 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 193771 193256 146 303 0 193466 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 775084 [startup+1182.3 s] /proc/loadavg: 1.06 1.04 1.00 2/107 29962 /proc/meminfo: memFree=963716/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=807672 CPUtime=1181.88 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 201498 0 0 0 117545 643 0 0 25 0 1 0 25040826 827056128 201358 1992294400 134512640 135752675 4291433024 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 201918 201358 146 303 0 201613 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 807672 [startup+1242.3 s] /proc/loadavg: 1.06 1.04 1.00 2/107 29962 /proc/meminfo: memFree=932096/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=838872 CPUtime=1241.86 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 209308 0 0 0 123515 671 0 0 25 0 1 0 25040826 859004928 209168 1992294400 134512640 135752675 4291433024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 209718 209168 146 303 0 209413 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 838872 [startup+1302.3 s] /proc/loadavg: 1.13 1.06 1.01 2/107 29964 /proc/meminfo: memFree=904072/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=866496 CPUtime=1301.85 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 216202 0 0 0 129493 692 0 0 25 0 1 0 25040826 887291904 216062 1992294400 134512640 135752675 4291433024 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 216624 216062 146 303 0 216319 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 866496 [startup+1362.3 s] /proc/loadavg: 1.12 1.07 1.00 2/107 29966 /proc/meminfo: memFree=870220/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=901068 CPUtime=1361.82 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 224784 0 0 0 135464 718 0 0 25 0 1 0 25040826 922693632 224644 1992294400 134512640 135752675 4291433024 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 225267 224644 146 303 0 224962 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 901068 [startup+1422.31 s] /proc/loadavg: 1.11 1.07 1.00 2/107 29968 /proc/meminfo: memFree=833516/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=937152 CPUtime=1421.81 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 233807 0 0 0 141436 745 0 0 25 0 1 0 25040826 959643648 233667 1992294400 134512640 135752675 4291433024 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 234288 233667 146 303 0 233983 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 937152 [startup+1482.3 s] /proc/loadavg: 1.04 1.05 1.00 2/107 29970 /proc/meminfo: memFree=798548/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=972364 CPUtime=1481.77 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 242575 0 0 0 147410 767 0 0 25 0 1 0 25040826 995700736 242435 1992294400 134512640 135752675 4291433024 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 243091 242435 146 303 0 242786 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 972364 [startup+1542.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 29970 /proc/meminfo: memFree=755644/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=1015208 CPUtime=1541.76 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 253257 0 0 0 153385 791 0 0 25 0 1 0 25040826 1039572992 253117 1992294400 134512640 135752675 4291433024 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 253802 253117 146 303 0 253497 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1015208 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 29972 /proc/meminfo: memFree=727372/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=1043948 CPUtime=1601.74 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 260416 0 0 0 159361 813 0 0 25 0 1 0 25040826 1069002752 260276 1992294400 134512640 135752675 4291433024 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 260987 260277 146 303 0 260682 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1043948 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 29977 /proc/meminfo: memFree=694016/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=1076520 CPUtime=1661.72 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 268555 0 0 0 165333 839 0 0 25 0 1 0 25040826 1102356480 268415 1992294400 134512640 135752675 4291433024 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 269130 268415 146 303 0 268825 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1076520 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 29979 /proc/meminfo: memFree=658800/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=1111960 CPUtime=1721.7 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 277435 0 0 0 171305 865 0 0 25 0 1 0 25040826 1138647040 277295 1992294400 134512640 135752675 4291433024 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 277990 277295 146 303 0 277685 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1111960 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 29981 /proc/meminfo: memFree=622840/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=1147664 CPUtime=1781.68 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 286318 0 0 0 177277 891 0 0 25 0 1 0 25040826 1175207936 286178 1992294400 134512640 135752675 4291433024 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 286916 286178 146 303 0 286611 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1147664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.01 1.00 2/107 29981 /proc/meminfo: memFree=611184/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=1159016 CPUtime=1800.09 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4202496 289161 0 0 0 179108 901 0 0 25 0 1 0 25040826 1186832384 289021 1992294400 134512640 135752675 4291433024 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29920/statm: 289754 289021 146 303 0 289449 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1159016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.01 1.00 2/107 29981 /proc/meminfo: memFree=611184/2059040 swapFree=4080076/4192956 [pid=29920] ppid=29918 vsize=0 CPUtime=1800.18 /proc/29920/stat : 29920 (wbo1.4b) R 29918 29920 29511 0 -1 4203524 289161 0 0 0 179108 910 0 0 25 0 1 0 25040826 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29920/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.82 CPU time (s): 1800.21 CPU user time (s): 1791.08 CPU system time (s): 9.12161 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 1159016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.08 system time used= 9.12161 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289161 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= 15 involuntary context switches= 1599 runsolver used 2.93555 second user time and 8.5717 second system time The end
Begin job on node044 at 2010-07-08 07:52:15 IDJOB=2702477 IDBENCH=48173 IDSOLVER=1190 FILE ID=node044/2702477-1278568335 PBS_JOBID= 11239548 Free space on /tmp= 62524 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_3.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-2702477-1278568335/watcher-2702477-1278568335 -o /tmp/evaluation-result-2702477-1278568335/solver-2702477-1278568335 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702477-1278568335.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb RANDOM SEED=1704519847 node044.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.267 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.53 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.267 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1772112 kB Buffers: 43528 kB Cached: 109476 kB SwapCached: 67804 kB Active: 103364 kB Inactive: 119876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1772112 kB SwapTotal: 4192956 kB SwapFree: 4080076 kB Dirty: 2652 kB Writeback: 0 kB AnonPages: 12420 kB Mapped: 8448 kB Slab: 41548 kB PageTables: 4228 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183440 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-2702477-1278568335.opb Free space on /tmp at the end= 62524 MiB End job on node044 at 2010-07-08 08:22:18