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.19 | 1800.83 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_2.opb |
| MD5SUM | 5255c8da63867fe6fe080ca048384827 |
| 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.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -48 |
| 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 | 19 |
| 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) | 2492 |
| Sum of products size (including duplicates) | 4984 |
| Number of different products | 1246 |
| Sum of products size | 2492 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702501-1278568585.opb. 0.00/0.00 c Instance file HOME/instance-2702501-1278568585.opb 0.00/0.00 c File size is 102705 bytes. 0.00/0.01 c Highest Coefficient sum: 19 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: 1446 | 0.00/0.01 c | Number Clauses: 1246 | 0.00/0.01 c | Number Cardinality: 400 | 0.00/0.01 c | Number PB Constraints: 1246 | 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 2892 5946 | 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.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2893 6146 | 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.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2894 6346 | 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.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 200 2895 6546 | 5000 0 nan | 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.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 200 2896 6746 | 5000 1 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.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 200 2897 6946 | 5000 1 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.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 2 | 200 2898 7146 | 5000 2 197 | 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.024996 s Remaining CPU time: 179.975 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 2 | 200 2899 7346 | 5000 2 197 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -7 0.00/0.02 o -7 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 2900 7546 | 5000 2 197 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -8 0.00/0.02 o -8 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 | 5 | 200 2901 7746 | 5000 5 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.027995 s Remaining CPU time: 179.972 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 7 | 200 2902 7946 | 5000 7 194 | 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.028995 s Remaining CPU time: 179.971 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 8 | 200 2903 8146 | 5000 8 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.029995 s Remaining CPU time: 179.97 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 9 | 200 2904 8346 | 5000 9 193 | 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.030995 s Remaining CPU time: 179.969 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 9 | 200 2905 8546 | 5000 9 193 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -13 0.00/0.03 o -13 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 | 17 | 200 2906 8746 | 5000 17 191 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -14 0.00/0.03 o -14 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 | 22 | 200 2907 8946 | 5000 22 190 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -15 0.00/0.03 o -15 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 34 | 200 2908 9146 | 5000 34 189 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: -16 0.00/0.03 o -16 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 36 | 200 2909 9346 | 5000 36 189 | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c New solution: -17 0.03/0.04 o -17 0.03/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.03/0.04 c =============================================================================== 0.03/0.04 c | 41 | 200 2910 9546 | 5000 41 189 | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c New solution: -18 0.03/0.04 o -18 0.03/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.03/0.04 c =============================================================================== 0.03/0.04 c | 63 | 200 2911 9746 | 5000 63 187 | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c New solution: -19 0.03/0.04 o -19 0.03/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.03/0.04 c =============================================================================== 0.03/0.04 c | 81 | 200 2912 9946 | 5000 81 186 | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c New solution: -20 0.03/0.04 o -20 0.03/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.03/0.04 c =============================================================================== 0.03/0.04 c | 127 | 200 2913 10146 | 5000 127 185 | 0.000 % | 0.03/0.05 c | 227 | 200 2913 10146 | 5500 227 183 | 86.169 % | 0.03/0.07 c | 377 | 200 2913 10146 | 6050 377 182 | 86.169 % | 0.03/0.09 c | 602 | 200 2913 10146 | 6655 602 182 | 86.169 % | 0.09/0.13 c | 941 | 200 2913 10146 | 7320 941 183 | 86.169 % | 0.19/0.20 c | 1449 | 200 2913 10146 | 8052 1449 183 | 86.169 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: -21 0.19/0.20 o -21 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 1500 | 200 2914 10346 | 5000 1500 183 | 86.169 % | 0.19/0.23 c | 1601 | 200 2914 10346 | 5500 1601 183 | 86.169 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -22 0.19/0.26 o -22 0.19/0.26 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 1739 | 200 2915 10546 | 5000 1739 183 | 86.169 % | 0.19/0.27 c | 1839 | 200 2915 10546 | 5500 1839 183 | 86.169 % | 0.19/0.29 c | 1990 | 200 2915 10546 | 6050 1990 182 | 86.169 % | 0.29/0.33 c | 2217 | 200 2915 10546 | 6655 2217 182 | 86.169 % | 0.39/0.42 c | 2554 | 200 2915 10546 | 7320 2554 182 | 86.169 % | 0.49/0.50 c | 3062 | 200 2915 10546 | 8052 3062 182 | 86.169 % | 0.59/0.68 c | 3822 | 200 2915 10546 | 8857 3822 182 | 86.169 % | 0.89/1.00 c | 4962 | 200 2915 10546 | 9743 4962 182 | 86.169 % | 1.39/1.46 c | 6672 | 200 2915 10546 | 10717 6672 181 | 86.169 % | 2.19/2.28 c | 9235 | 200 2915 10546 | 11789 9235 181 | 86.169 % | 2.49/2.59 c =============================================================================== 2.49/2.59 c New solution: -23 2.49/2.59 o -23 2.49/2.59 c Elapsed CPU time: 2.56261 s Remaining CPU time: 177.437 s 2.49/2.59 c =============================================================================== 2.49/2.59 c | 11213 | 200 2916 10746 | 5000 11213 180 | 86.169 % | 2.59/2.67 c | 11316 | 200 2916 10746 | 5500 5710 180 | 86.169 % | 2.69/2.72 c | 11466 | 200 2916 10746 | 6050 5860 180 | 86.169 % | 2.69/2.76 c | 11693 | 200 2916 10746 | 6655 6087 180 | 86.169 % | 2.69/2.79 c | 12031 | 200 2916 10746 | 7320 6425 180 | 86.169 % | 2.89/2.94 c | 12538 | 200 2916 10746 | 8052 6932 181 | 86.169 % | 3.20/3.23 c | 13298 | 200 2916 10746 | 8857 7692 180 | 86.169 % | 3.49/3.56 c =============================================================================== 3.49/3.56 c New solution: -24 3.49/3.56 o -24 3.49/3.56 c Elapsed CPU time: 3.52446 s Remaining CPU time: 176.476 s 3.49/3.56 c =============================================================================== 3.49/3.56 c | 14399 | 200 2917 10946 | 5000 8793 180 | 86.169 % | 3.59/3.63 c | 14500 | 200 2917 10946 | 5500 4498 181 | 86.169 % | 3.59/3.66 c | 14652 | 200 2917 10946 | 6050 4650 181 | 86.169 % | 3.59/3.69 c | 14878 | 200 2917 10946 | 6655 4876 180 | 86.169 % | 3.69/3.74 c | 15217 | 200 2917 10946 | 7320 5215 180 | 86.169 % | 3.69/3.75 c =============================================================================== 3.69/3.75 c New solution: -25 3.69/3.75 o -25 3.69/3.75 c Elapsed CPU time: 3.71344 s Remaining CPU time: 176.287 s 3.69/3.75 c =============================================================================== 3.69/3.75 c | 15304 | 200 2918 11146 | 5000 5302 180 | 86.169 % | 3.69/3.78 c | 15404 | 200 2918 11146 | 5500 5402 180 | 86.169 % | 3.79/3.82 c | 15556 | 200 2918 11146 | 6050 5554 180 | 86.169 % | 3.79/3.87 c | 15781 | 200 2918 11146 | 6655 5779 180 | 86.169 % | 3.89/3.93 c | 16118 | 200 2918 11146 | 7320 6116 180 | 86.169 % | 3.99/4.05 c | 16624 | 200 2918 11146 | 8052 6622 180 | 86.169 % | 4.19/4.24 c | 17384 | 200 2918 11146 | 8857 7382 180 | 86.169 % | 4.30/4.40 c =============================================================================== 4.30/4.40 c New solution: -26 4.30/4.40 o -26 4.30/4.40 c Elapsed CPU time: 4.35334 s Remaining CPU time: 175.647 s 4.30/4.40 c =============================================================================== 4.30/4.40 c | 18260 | 200 2919 11346 | 5000 8258 179 | 86.169 % | 4.39/4.45 c | 18360 | 200 2919 11346 | 5500 4229 178 | 86.169 % | 4.39/4.48 c | 18510 | 200 2919 11346 | 6050 4379 178 | 86.169 % | 4.49/4.51 c | 18736 | 200 2919 11346 | 6655 4605 178 | 86.169 % | 4.49/4.57 c | 19075 | 200 2919 11346 | 7320 4944 178 | 86.169 % | 4.59/4.68 c | 19582 | 200 2919 11346 | 8052 5451 178 | 86.169 % | 4.69/4.71 c =============================================================================== 4.69/4.71 c New solution: -27 4.69/4.71 o -27 4.69/4.71 c Elapsed CPU time: 4.65529 s Remaining CPU time: 175.345 s 4.69/4.71 c =============================================================================== 4.69/4.71 c | 19702 | 200 2920 11546 | 5000 5571 178 | 86.169 % | 4.69/4.73 c | 19802 | 200 2920 11546 | 5500 5671 178 | 86.169 % | 4.69/4.77 c | 19954 | 200 2920 11546 | 6050 5823 178 | 86.169 % | 4.79/4.82 c | 20180 | 200 2920 11546 | 6655 6049 178 | 86.169 % | 4.89/4.90 c | 20517 | 200 2920 11546 | 7320 6386 178 | 86.169 % | 4.99/5.03 c | 21024 | 200 2920 11546 | 8052 6893 178 | 86.169 % | 5.19/5.26 c | 21785 | 200 2920 11546 | 8857 7654 178 | 86.169 % | 5.59/5.68 c | 22925 | 200 2920 11546 | 9743 8794 178 | 86.169 % | 5.69/5.75 c =============================================================================== 5.69/5.75 c New solution: -28 5.69/5.75 o -28 5.69/5.75 c Elapsed CPU time: 5.68914 s Remaining CPU time: 174.311 s 5.69/5.75 c =============================================================================== 5.69/5.75 c | 23251 | 200 2921 11746 | 5000 9120 178 | 86.169 % | 5.79/5.81 c | 23351 | 200 2921 11746 | 5500 4660 178 | 86.169 % | 5.79/5.85 c | 23501 | 200 2921 11746 | 6050 4810 178 | 86.169 % | 5.89/5.90 c | 23727 | 200 2921 11746 | 6655 5036 178 | 86.169 % | 5.99/6.00 c | 24066 | 200 2921 11746 | 7320 5375 178 | 86.169 % | 6.09/6.13 c | 24573 | 200 2921 11746 | 8052 5882 177 | 86.169 % | 6.29/6.32 c | 25332 | 200 2921 11746 | 8857 6641 177 | 86.169 % | 6.60/6.69 c | 26472 | 200 2921 11746 | 9743 7781 177 | 86.169 % | 7.09/7.14 c | 28180 | 200 2921 11746 | 10717 9489 176 | 86.169 % | 7.09/7.17 c =============================================================================== 7.09/7.17 c New solution: -29 7.09/7.17 o -29 7.09/7.17 c Elapsed CPU time: 7.09092 s Remaining CPU time: 172.909 s 7.09/7.17 c =============================================================================== 7.09/7.17 c | 28279 | 200 2922 11946 | 5000 9588 176 | 86.169 % | 7.18/7.21 c | 28379 | 200 2922 11946 | 5500 4894 175 | 86.169 % | 7.18/7.26 c | 28529 | 200 2922 11946 | 6050 5044 175 | 86.169 % | 7.29/7.37 c | 28755 | 200 2922 11946 | 6655 5270 175 | 86.169 % | 7.39/7.49 c | 29092 | 200 2922 11946 | 7320 5607 175 | 86.169 % | 7.70/7.78 c | 29598 | 200 2922 11946 | 8052 6113 175 | 86.169 % | 7.99/8.03 c | 30357 | 200 2922 11946 | 8857 6872 175 | 86.169 % | 8.39/8.47 c | 31498 | 200 2922 11946 | 9743 8013 175 | 86.169 % | 9.28/9.36 c | 33206 | 200 2922 11946 | 10717 9721 175 | 86.169 % | 10.49/10.54 c | 35769 | 200 2922 11946 | 11789 6216 175 | 86.169 % | 11.59/11.61 c | 39614 | 200 2922 11946 | 12968 10061 174 | 86.169 % | 13.09/13.10 c | 45380 | 200 2922 11946 | 14265 8632 173 | 86.169 % | 15.29/15.39 c | 54029 | 200 2922 11946 | 15692 9441 173 | 86.169 % | 21.09/21.11 c | 67005 | 200 2922 11946 | 17261 13861 173 | 86.169 % | 26.08/26.14 c | 86467 | 200 2922 11946 | 18987 14644 172 | 86.169 % | 39.38/39.49 c | 115661 | 200 2922 11946 | 20886 13232 173 | 86.169 % | 55.28/55.35 c =============================================================================== 55.28/55.35 c New solution: -30 55.28/55.35 o -30 55.28/55.35 c Elapsed CPU time: 54.8607 s Remaining CPU time: 125.139 s 55.28/55.35 c =============================================================================== 55.28/55.35 c | 152205 | 200 2923 12146 | 5000 14866 172 | 86.169 % | 55.37/55.47 c | 152305 | 200 2923 12146 | 5500 3817 172 | 86.169 % | 55.47/55.50 c | 152455 | 200 2923 12146 | 6050 3967 172 | 86.169 % | 55.47/55.54 c | 152681 | 200 2923 12146 | 6655 4193 172 | 86.169 % | 55.47/55.59 c | 153021 | 200 2923 12146 | 7320 4533 172 | 86.169 % | 55.57/55.69 c | 153527 | 200 2923 12146 | 8052 5039 173 | 86.169 % | 55.77/55.85 c | 154287 | 200 2923 12146 | 8857 5799 173 | 86.169 % | 55.98/56.05 c | 155427 | 200 2923 12146 | 9743 6939 173 | 86.169 % | 56.38/56.41 c | 157135 | 200 2923 12146 | 10717 8647 172 | 86.169 % | 56.88/56.90 c | 159700 | 200 2923 12146 | 11789 11212 172 | 86.169 % | 57.57/57.68 c | 163544 | 200 2923 12146 | 12968 8455 172 | 86.169 % | 58.67/58.79 c =============================================================================== 58.67/58.79 c New solution: -31 58.67/58.79 o -31 58.67/58.79 c Elapsed CPU time: 58.2591 s Remaining CPU time: 121.741 s 58.67/58.79 c =============================================================================== 58.67/58.79 c | 167353 | 200 2924 12346 | 5000 12264 172 | 86.169 % | 58.77/58.87 c | 167454 | 200 2924 12346 | 5500 6233 172 | 86.169 % | 58.87/58.91 c | 167604 | 200 2924 12346 | 6050 6383 172 | 86.169 % | 58.87/58.98 c | 167830 | 200 2924 12346 | 6655 6609 172 | 86.169 % | 58.97/59.07 c | 168167 | 200 2924 12346 | 7320 6946 172 | 86.169 % | 59.17/59.21 c | 168674 | 200 2924 12346 | 8052 7453 173 | 86.169 % | 59.38/59.42 c | 169433 | 200 2924 12346 | 8857 8212 173 | 86.169 % | 59.48/59.52 c =============================================================================== 59.48/59.52 c New solution: -32 59.48/59.52 o -32 59.48/59.52 c Elapsed CPU time: 58.98 s Remaining CPU time: 121.02 s 59.48/59.52 c =============================================================================== 59.48/59.52 c | 169754 | 200 2925 12546 | 5000 8533 173 | 86.169 % | 59.48/59.57 c | 169856 | 200 2925 12546 | 5500 4369 174 | 86.169 % | 59.58/59.60 c | 170007 | 200 2925 12546 | 6050 4520 175 | 86.169 % | 59.58/59.66 c | 170232 | 200 2925 12546 | 6655 4745 176 | 86.169 % | 59.67/59.74 c | 170569 | 200 2925 12546 | 7320 5082 176 | 86.169 % | 59.77/59.86 c | 171076 | 200 2925 12546 | 8052 5589 176 | 86.169 % | 59.97/60.03 c | 171835 | 200 2925 12546 | 8857 6348 176 | 86.169 % | 60.17/60.28 c | 172975 | 200 2925 12546 | 9743 7488 175 | 86.169 % | 60.67/60.74 c | 174686 | 200 2925 12546 | 10717 9199 175 | 86.169 % | 61.48/61.56 c | 177248 | 200 2925 12546 | 11789 11761 174 | 86.169 % | 62.27/62.31 c | 181093 | 200 2925 12546 | 12968 9003 171 | 86.169 % | 63.57/63.63 c | 186860 | 200 2925 12546 | 14265 7579 170 | 86.169 % | 65.67/65.71 c | 195511 | 200 2925 12546 | 15692 8390 171 | 86.169 % | 70.76/70.83 c | 208486 | 200 2925 12546 | 17261 12811 171 | 86.169 % | 79.26/79.34 c | 227948 | 200 2925 12546 | 18987 13596 171 | 86.169 % | 92.36/92.48 c | 257140 | 200 2925 12546 | 20886 12187 170 | 86.169 % | 111.45/111.56 c | 300929 | 200 2925 12546 | 22974 21098 170 | 86.169 % | 138.85/139.00 c | 366613 | 200 2925 12546 | 25272 18660 170 | 86.169 % | 163.04/163.15 c =============================================================================== 163.04/163.15 c New solution: -33 163.04/163.15 o -33 163.04/163.15 c Elapsed CPU time: 161.717 s Remaining CPU time: 18.2826 s 163.04/163.15 c =============================================================================== 163.04/163.15 c | 433074 | 200 2926 12746 | 5000 21764 169 | 86.169 % | 163.23/163.33 c | 433174 | 200 2926 12746 | 5500 5415 170 | 86.169 % | 163.23/163.37 c | 433325 | 200 2926 12746 | 6050 5566 170 | 86.169 % | 163.33/163.48 c | 433552 | 200 2926 12746 | 6655 5793 171 | 86.169 % | 163.53/163.65 c | 433890 | 200 2926 12746 | 7320 6131 172 | 86.169 % | 163.75/163.80 c | 434396 | 200 2926 12746 | 8052 6637 173 | 86.169 % | 164.04/164.10 c | 435155 | 200 2926 12746 | 8857 7396 173 | 86.169 % | 164.44/164.52 c | 436296 | 200 2926 12746 | 9743 8537 175 | 86.169 % | 165.04/165.13 c | 438004 | 200 2926 12746 | 10717 10245 174 | 86.169 % | 165.84/165.91 c | 440566 | 200 2926 12746 | 11789 6740 174 | 86.169 % | 166.94/167.01 c | 444410 | 200 2926 12746 | 12968 10584 172 | 86.169 % | 168.33/168.40 c | 450179 | 200 2926 12746 | 14265 9162 169 | 86.169 % | 171.44/171.58 c | 458828 | 200 2926 12746 | 15692 9974 169 | 86.169 % | 176.33/176.43 c | 471802 | 200 2926 12746 | 17261 14395 169 | 86.169 % | 181.44/181.59 c There are 1246 assigned variables. 0 in cost function. 182.23/182.32 c core #1 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -199 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #2 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -198 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #3 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -197 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #4 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -196 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #5 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -195 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #6 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -194 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #7 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -193 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #8 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -192 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #9 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -191 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #10 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -190 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #11 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -189 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #12 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -188 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #13 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -187 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #14 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -186 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #15 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -185 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #16 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -184 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #17 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -183 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #18 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -182 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #19 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -181 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #20 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -180 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #21 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -179 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #22 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -178 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #23 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -177 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #24 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -176 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #25 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -175 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #26 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -174 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #27 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -173 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #28 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -172 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #29 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -171 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #30 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -170 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #31 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -169 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #32 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -168 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #33 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -167 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #34 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -166 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #35 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -165 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #36 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -164 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #37 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -163 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #38 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -162 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #39 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -161 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #40 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -160 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #41 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -159 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #42 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -158 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #43 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -157 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #44 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -156 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #45 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -155 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #46 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -154 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #47 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -153 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #48 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -152 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #49 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -151 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #50 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -150 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #51 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -149 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #52 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -148 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #53 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -147 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #54 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -146 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #55 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -145 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #56 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -144 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #57 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -143 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #58 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -142 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c core #59 182.23/182.32 c 182.23/182.32 c 182.23/182.32 c Core size: 3 Core Weight: 1 Total Weight: -141 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #60 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -140 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #61 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -139 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #62 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -138 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #63 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -137 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #64 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -136 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #65 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -135 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #66 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -134 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #67 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -133 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #68 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -132 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #69 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -131 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #70 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -130 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #71 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -129 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #72 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -128 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #73 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -127 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #74 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -126 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #75 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -125 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #76 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -124 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #77 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -123 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #78 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -122 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #79 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -121 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #80 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -120 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #81 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -119 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #82 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -118 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #83 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -117 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #84 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -116 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #85 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -115 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #86 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -114 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #87 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -113 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c core #88 182.43/182.50 c 182.43/182.50 c 182.43/182.50 c Core size: 3 Core Weight: 1 Total Weight: -112 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #89 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 3 Core Weight: 1 Total Weight: -111 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #90 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 3 Core Weight: 1 Total Weight: -110 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #91 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 3 Core Weight: 1 Total Weight: -109 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #92 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 7 Core Weight: 1 Total Weight: -108 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #93 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 7 Core Weight: 1 Total Weight: -107 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #94 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 6 Core Weight: 1 Total Weight: -106 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #95 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 7 Core Weight: 1 Total Weight: -105 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #96 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 7 Core Weight: 1 Total Weight: -104 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #97 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 11 Core Weight: 1 Total Weight: -103 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #98 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 11 Core Weight: 1 Total Weight: -102 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #99 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 19 Core Weight: 1 Total Weight: -101 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #100 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 15 Core Weight: 1 Total Weight: -100 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c core #101 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 10 Core Weight: 1 Total Weight: -99 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c ============================[ Search Statistics ]============================== 182.43/182.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.51 c =============================================================================== 182.43/182.51 c | 0 | 436 2827 9964 | 5000 0 nan | 0.000 % | 182.43/182.51 c =============================================================================== 182.43/182.51 c core #102 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c Core size: 14 Core Weight: 1 Total Weight: -98 182.43/182.51 c 182.43/182.51 c 182.43/182.51 c ============================[ Search Statistics ]============================== 182.43/182.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.51 c =============================================================================== 182.43/182.51 c | 0 | 444 2828 9980 | 5000 0 nan | 0.000 % | 182.43/182.51 c =============================================================================== 182.43/182.52 c core #103 182.43/182.52 c 182.43/182.52 c 182.43/182.52 c Core size: 10 Core Weight: 1 Total Weight: -97 182.43/182.52 c 182.43/182.52 c 182.43/182.52 c ============================[ Search Statistics ]============================== 182.43/182.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.52 c =============================================================================== 182.43/182.52 c | 0 | 450 2829 9992 | 5000 0 nan | 0.000 % | 182.43/182.52 c =============================================================================== 182.43/182.53 c core #104 182.43/182.53 c 182.43/182.53 c 182.43/182.53 c Core size: 16 Core Weight: 1 Total Weight: -96 182.43/182.53 c 182.43/182.53 c 182.43/182.53 c ============================[ Search Statistics ]============================== 182.43/182.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.53 c =============================================================================== 182.43/182.53 c | 0 | 460 2830 10012 | 5000 0 nan | 0.000 % | 182.43/182.53 c =============================================================================== 182.43/182.54 c core #105 182.43/182.54 c 182.43/182.54 c 182.43/182.54 c Core size: 12 Core Weight: 1 Total Weight: -95 182.43/182.54 c 182.43/182.54 c 182.43/182.54 c ============================[ Search Statistics ]============================== 182.43/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.54 c =============================================================================== 182.43/182.54 c | 0 | 468 2831 10028 | 5000 0 nan | 0.000 % | 182.43/182.54 c =============================================================================== 182.43/182.55 c core #106 182.43/182.55 c 182.43/182.55 c 182.43/182.55 c Core size: 23 Core Weight: 1 Total Weight: -94 182.43/182.55 c 182.43/182.55 c 182.43/182.55 c ============================[ Search Statistics ]============================== 182.43/182.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.55 c =============================================================================== 182.43/182.55 c | 0 | 486 2832 10064 | 5000 0 nan | 0.000 % | 182.43/182.55 c =============================================================================== 182.43/182.56 c core #107 182.43/182.56 c 182.43/182.56 c 182.43/182.56 c Core size: 14 Core Weight: 1 Total Weight: -93 182.43/182.56 c 182.43/182.56 c 182.43/182.56 c ============================[ Search Statistics ]============================== 182.43/182.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.56 c =============================================================================== 182.43/182.56 c | 0 | 494 2833 10080 | 5000 0 nan | 0.000 % | 182.43/182.56 c =============================================================================== 182.43/182.57 c core #108 182.43/182.57 c 182.43/182.57 c 182.43/182.57 c Core size: 16 Core Weight: 1 Total Weight: -92 182.43/182.57 c 182.43/182.57 c 182.43/182.57 c ============================[ Search Statistics ]============================== 182.43/182.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.57 c =============================================================================== 182.43/182.57 c | 0 | 504 2834 10100 | 5000 0 nan | 0.000 % | 182.43/182.58 c =============================================================================== 182.43/182.58 c core #109 182.43/182.58 c 182.43/182.58 c 182.43/182.58 c Core size: 39 Core Weight: 1 Total Weight: -91 182.43/182.58 c 182.43/182.58 c 182.43/182.58 c ============================[ Search Statistics ]============================== 182.43/182.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.58 c =============================================================================== 182.43/182.58 c | 0 | 538 2835 10168 | 5000 0 nan | 0.000 % | 182.43/182.59 c =============================================================================== 182.43/182.59 c core #110 182.43/182.59 c 182.43/182.59 c 182.43/182.59 c Core size: 18 Core Weight: 1 Total Weight: -90 182.43/182.59 c 182.43/182.59 c 182.43/182.59 c ============================[ Search Statistics ]============================== 182.43/182.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.59 c =============================================================================== 182.43/182.59 c | 0 | 550 2836 10192 | 5000 0 nan | 0.000 % | 182.43/182.60 c =============================================================================== 182.53/182.61 c core #111 182.53/182.61 c 182.53/182.61 c 182.53/182.61 c Core size: 22 Core Weight: 1 Total Weight: -89 182.53/182.61 c 182.53/182.61 c 182.53/182.61 c ============================[ Search Statistics ]============================== 182.53/182.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.61 c =============================================================================== 182.53/182.61 c | 0 | 562 2837 10216 | 5000 0 nan | 0.000 % | 182.53/182.61 c =============================================================================== 182.53/182.62 c core #112 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c Core size: 41 Core Weight: 1 Total Weight: -88 182.53/182.62 c 182.53/182.62 c 182.53/182.62 c ============================[ Search Statistics ]============================== 182.53/182.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.62 c =============================================================================== 182.53/182.62 c | 0 | 583 2838 10258 | 5000 0 nan | 0.000 % | 182.53/182.62 c =============================================================================== 182.53/182.63 c core #113 182.53/182.63 c 182.53/182.63 c 182.53/182.63 c Core size: 23 Core Weight: 1 Total Weight: -87 182.53/182.63 c 182.53/182.63 c 182.53/182.63 c ============================[ Search Statistics ]============================== 182.53/182.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.63 c =============================================================================== 182.53/182.63 c | 0 | 597 2839 10286 | 5000 0 nan | 0.000 % | 182.53/182.63 c =============================================================================== 182.53/182.64 c core #114 182.53/182.64 c 182.53/182.64 c 182.53/182.64 c Core size: 43 Core Weight: 1 Total Weight: -86 182.53/182.64 c 182.53/182.64 c 182.53/182.64 c ============================[ Search Statistics ]============================== 182.53/182.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.64 c =============================================================================== 182.53/182.64 c | 0 | 619 2840 10330 | 5000 0 nan | 0.000 % | 182.53/182.64 c =============================================================================== 182.53/182.65 c core #115 182.53/182.65 c 182.53/182.65 c 182.53/182.65 c Core size: 25 Core Weight: 1 Total Weight: -85 182.53/182.65 c 182.53/182.65 c 182.53/182.65 c ============================[ Search Statistics ]============================== 182.53/182.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.65 c =============================================================================== 182.53/182.65 c | 0 | 635 2841 10362 | 5000 0 nan | 0.000 % | 182.53/182.67 c =============================================================================== 182.53/182.68 c core #116 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c Core size: 66 Core Weight: 1 Total Weight: -84 182.53/182.68 c 182.53/182.68 c 182.53/182.68 c ============================[ Search Statistics ]============================== 182.53/182.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.68 c =============================================================================== 182.53/182.68 c | 0 | 700 2842 10492 | 5000 0 nan | 0.000 % | 182.62/182.71 c | 102 | 700 2842 10492 | 5500 102 12 | 64.029 % | 182.62/182.74 c | 253 | 700 2842 10492 | 6050 253 16 | 64.029 % | 182.62/182.78 c =============================================================================== 182.62/182.79 c core #117 182.62/182.79 c 182.62/182.79 c 182.62/182.79 c Core size: 72 Core Weight: 1 Total Weight: -83 182.62/182.79 c 182.62/182.79 c 182.62/182.79 c ============================[ Search Statistics ]============================== 182.62/182.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.62/182.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.62/182.79 c =============================================================================== 182.62/182.79 c | 0 | 751 2843 10594 | 5000 0 nan | 0.000 % | 182.73/182.82 c | 100 | 751 2843 10594 | 5500 100 37 | 62.394 % | 182.73/182.85 c | 250 | 751 2843 10594 | 6050 250 36 | 62.394 % | 182.83/182.90 c | 475 | 751 2843 10594 | 6655 475 38 | 62.394 % | 182.83/182.96 c | 812 | 751 2843 10594 | 7320 812 40 | 62.394 % | 182.93/183.06 c | 1322 | 751 2843 10594 | 8052 1322 39 | 62.394 % | 183.23/183.30 c | 2082 | 751 2843 10594 | 8857 2082 41 | 62.394 % | 183.54/183.65 c | 3222 | 751 2843 10594 | 9743 3222 41 | 62.394 % | 183.93/184.01 c =============================================================================== 183.93/184.07 c core #118 183.93/184.07 c 183.93/184.07 c 183.93/184.07 c Core size: 136 Core Weight: 1 Total Weight: -82 183.93/184.07 c 183.93/184.07 c 183.93/184.07 c ============================[ Search Statistics ]============================== 183.93/184.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.07 c =============================================================================== 183.93/184.07 c | 0 | 874 2844 10840 | 5000 0 nan | 0.000 % | 183.93/184.09 c | 101 | 874 2844 10840 | 5500 101 25 | 58.774 % | 184.03/184.11 c | 252 | 874 2844 10840 | 6050 252 26 | 58.774 % | 184.03/184.14 c | 478 | 874 2844 10840 | 6655 478 29 | 58.774 % | 184.03/184.18 c | 815 | 874 2844 10840 | 7320 815 30 | 58.774 % | 184.12/184.28 c | 1321 | 874 2844 10840 | 8052 1321 32 | 58.774 % | 184.33/184.45 c | 2080 | 874 2844 10840 | 8857 2080 34 | 58.774 % | 184.53/184.68 c | 3221 | 874 2844 10840 | 9743 3221 34 | 58.774 % | 185.03/185.13 c | 4932 | 874 2844 10840 | 10717 4932 35 | 58.774 % | 185.23/185.31 c =============================================================================== 185.23/185.38 c core #119 185.23/185.38 c 185.23/185.38 c 185.23/185.38 c Core size: 156 Core Weight: 1 Total Weight: -81 185.23/185.38 c 185.23/185.38 c 185.23/185.38 c ============================[ Search Statistics ]============================== 185.23/185.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.38 c =============================================================================== 185.23/185.38 c | 0 | 988 2845 11068 | 5000 0 nan | 0.000 % | 185.33/185.41 c | 101 | 988 2845 11068 | 5500 101 51 | 55.774 % | 185.33/185.42 c | 251 | 988 2845 11068 | 6050 251 39 | 55.774 % | 185.33/185.46 c | 476 | 988 2845 11068 | 6655 476 45 | 55.774 % | 185.43/185.50 c | 813 | 988 2845 11068 | 7320 813 48 | 55.774 % | 185.52/185.61 c | 1320 | 988 2845 11068 | 8052 1320 57 | 55.774 % | 185.73/185.84 c | 2079 | 988 2845 11068 | 8857 2079 66 | 55.774 % | 186.03/186.15 c | 3218 | 988 2845 11068 | 9743 3218 66 | 55.774 % | 186.43/186.58 c | 4933 | 988 2845 11068 | 10717 4933 61 | 55.774 % | 187.12/187.24 c | 7496 | 988 2845 11068 | 11789 7496 56 | 55.774 % | 188.43/188.59 c | 11340 | 988 2845 11068 | 12968 11340 52 | 55.774 % | 191.13/191.21 c | 17108 | 988 2845 11068 | 14265 9946 47 | 55.774 % | 195.63/195.79 c | 25763 | 988 2845 11068 | 15692 10771 54 | 55.774 % | 199.52/199.63 c =============================================================================== 200.03/200.12 c core #120 200.03/200.12 c 200.03/200.12 c 200.03/200.12 c Core size: 140 Core Weight: 1 Total Weight: -80 200.03/200.12 c 200.03/200.12 c 200.03/200.12 c ============================[ Search Statistics ]============================== 200.03/200.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.03/200.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.03/200.12 c =============================================================================== 200.03/200.12 c | 0 | 1113 2846 11318 | 5000 0 nan | 0.000 % | 200.03/200.15 c | 101 | 1113 2846 11318 | 5500 101 48 | 52.819 % | 200.03/200.17 c | 253 | 1113 2846 11318 | 6050 253 37 | 52.819 % | 200.03/200.20 c | 480 | 1113 2846 11318 | 6655 480 39 | 52.819 % | 200.13/200.25 c | 818 | 1113 2846 11318 | 7320 818 49 | 52.819 % | 200.22/200.35 c | 1324 | 1113 2846 11318 | 8052 1324 46 | 52.819 % | 200.32/200.48 c | 2084 | 1113 2846 11318 | 8857 2084 64 | 52.819 % | 200.62/200.71 c | 3225 | 1113 2846 11318 | 9743 3225 65 | 52.819 % | 200.92/201.09 c | 4935 | 1113 2846 11318 | 10717 4935 60 | 52.819 % | 201.83/201.97 c | 7498 | 1113 2846 11318 | 11789 7498 64 | 52.819 % | 203.33/203.47 c | 11345 | 1113 2846 11318 | 12968 11345 65 | 52.819 % | 205.82/205.96 c | 17112 | 1113 2846 11318 | 14265 9936 69 | 52.819 % | 209.62/209.74 c | 25763 | 1113 2846 11318 | 15692 10727 66 | 52.819 % | 214.82/214.97 c =============================================================================== 215.43/215.52 c core #121 215.43/215.52 c 215.43/215.52 c 215.43/215.52 c Core size: 151 Core Weight: 1 Total Weight: -79 215.43/215.52 c 215.43/215.52 c 215.43/215.52 c ============================[ Search Statistics ]============================== 215.43/215.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.43/215.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.43/215.52 c =============================================================================== 215.43/215.52 c | 0 | 1229 2847 11550 | 5000 0 nan | 0.000 % | 215.43/215.55 c | 101 | 1229 2847 11550 | 5500 101 52 | 50.343 % | 215.43/215.58 c | 251 | 1229 2847 11550 | 6050 251 42 | 50.343 % | 215.53/215.61 c | 476 | 1229 2847 11550 | 6655 476 44 | 50.343 % | 215.53/215.67 c | 814 | 1229 2847 11550 | 7320 814 58 | 50.343 % | 215.62/215.76 c | 1321 | 1229 2847 11550 | 8052 1321 67 | 50.343 % | 215.81/215.93 c | 2080 | 1229 2847 11550 | 8857 2080 82 | 50.343 % | 216.12/216.27 c | 3221 | 1229 2847 11550 | 9743 3221 95 | 50.343 % | 216.72/216.88 c | 4930 | 1229 2847 11550 | 10717 4930 107 | 50.343 % | 217.82/217.97 c | 7492 | 1229 2847 11550 | 11789 7492 115 | 50.343 % | 220.32/220.40 c | 11337 | 1229 2847 11550 | 12968 11337 113 | 50.343 % | 224.61/224.74 c | 17103 | 1229 2847 11550 | 14265 9874 112 | 50.343 % | 230.01/230.16 c | 25753 | 1229 2847 11550 | 15692 10635 117 | 50.343 % | 242.92/243.06 c | 38730 | 1229 2847 11550 | 17261 15001 134 | 50.343 % | 262.50/262.68 c | 58196 | 1229 2847 11550 | 18987 15798 127 | 50.343 % | 284.98/285.16 c | 87391 | 1229 2847 11550 | 20886 14296 114 | 50.343 % | 317.27/317.43 c | 131181 | 1229 2847 11550 | 22974 13548 108 | 50.343 % | 384.44/384.64 c | 196867 | 1229 2847 11550 | 25272 18101 120 | 50.343 % | 473.81/474.00 c | 295398 | 1229 2847 11550 | 27799 22467 120 | 50.343 % | 620.56/620.83 c | 443188 | 1229 2847 11550 | 30579 18852 122 | 50.343 % | 860.58/860.90 c | 664871 | 1229 2847 11550 | 33637 21035 94 | 50.343 % | 1188.87/1189.38 c =============================================================================== 1214.06/1214.57 c core #122 1214.06/1214.57 c 1214.06/1214.57 c 1214.06/1214.57 c Core size: 163 Core Weight: 1 Total Weight: -78 1214.06/1214.57 c 1214.06/1214.57 c 1214.06/1214.57 c ============================[ Search Statistics ]============================== 1214.06/1214.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1214.06/1214.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1214.06/1214.57 c =============================================================================== 1214.06/1214.57 c | 0 | 1389 2848 11870 | 5000 0 nan | 0.000 % | 1214.16/1214.68 c | 101 | 1389 2848 11870 | 5500 101 67 | 47.287 % | 1214.26/1214.70 c | 252 | 1389 2848 11870 | 6050 252 44 | 47.287 % | 1214.26/1214.78 c | 480 | 1389 2848 11870 | 6655 480 47 | 47.287 % | 1214.36/1214.85 c | 818 | 1389 2848 11870 | 7320 818 54 | 47.287 % | 1214.56/1215.01 c | 1325 | 1389 2848 11870 | 8052 1325 71 | 47.287 % | 1214.66/1215.15 c | 2087 | 1389 2848 11870 | 8857 2087 90 | 47.287 % | 1214.97/1215.43 c | 3227 | 1389 2848 11870 | 9743 3227 94 | 47.287 % | 1215.35/1215.88 c | 4935 | 1389 2848 11870 | 10717 4935 98 | 47.287 % | 1216.56/1217.02 c | 7497 | 1389 2848 11870 | 11789 7497 119 | 47.287 % | 1219.06/1219.50 c | 11341 | 1389 2848 11870 | 12968 11341 130 | 47.287 % | 1222.46/1222.96 c | 17108 | 1389 2848 11870 | 14265 9931 147 | 47.287 % | 1229.05/1229.51 c | 25760 | 1389 2848 11870 | 15692 10796 169 | 47.287 % | 1237.75/1238.29 c | 38737 | 1389 2848 11870 | 17261 15218 145 | 47.287 % | 1257.34/1257.84 c | 58213 | 1389 2848 11870 | 18987 16085 171 | 47.287 % | 1286.73/1287.20 c | 87408 | 1389 2848 11870 | 20886 14721 182 | 47.287 % | 1326.32/1326.86 c | 131204 | 1389 2848 11870 | 22974 14118 152 | 47.287 % | 1390.69/1391.23 c | 196891 | 1389 2848 11870 | 25272 18957 135 | 47.287 % | 1493.66/1494.25 c | 295417 | 1389 2848 11870 | 27799 19825 147 | 47.287 % | 1684.30/1684.91 c | 443208 | 1389 2848 11870 | 30579 17020 137 | 47.287 % |
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-2702501-1278568585/watcher-2702501-1278568585 -o /tmp/evaluation-result-2702501-1278568585/solver-2702501-1278568585 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702501-1278568585.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.93 1.03 1.00 2/105 29128 /proc/meminfo: memFree=1826644/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=2964 CPUtime=0 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 342 0 0 0 0 0 0 0 25 0 1 0 25067004 3035136 260 1992294400 134512640 135752675 4293360112 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 741 260 140 303 0 410 0 [startup+0.0394419 s] /proc/loadavg: 0.93 1.03 1.00 2/105 29128 /proc/meminfo: memFree=1826644/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=3264 CPUtime=0.03 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 486 0 0 0 3 0 0 0 18 0 1 0 25067004 3342336 378 1992294400 134512640 135752675 4293360112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 816 378 144 303 0 511 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3264 [startup+0.100454 s] /proc/loadavg: 0.93 1.03 1.00 2/105 29128 /proc/meminfo: memFree=1826644/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=3648 CPUtime=0.09 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 583 0 0 0 9 0 0 0 18 0 1 0 25067004 3735552 475 1992294400 134512640 135752675 4293360112 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 912 476 145 303 0 607 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3648 [startup+0.300492 s] /proc/loadavg: 0.93 1.03 1.00 2/105 29128 /proc/meminfo: memFree=1826644/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=4804 CPUtime=0.29 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 877 0 0 0 29 0 0 0 18 0 1 0 25067004 4919296 769 1992294400 134512640 135752675 4293360112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 1201 769 145 303 0 896 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4804 [startup+0.700569 s] /proc/loadavg: 0.93 1.03 1.00 2/105 29128 /proc/meminfo: memFree=1826644/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=6356 CPUtime=0.69 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 1271 0 0 0 68 1 0 0 18 0 1 0 25067004 6508544 1163 1992294400 134512640 135752675 4293360112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 1589 1163 145 303 0 1284 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6356 [startup+1.50072 s] /proc/loadavg: 0.93 1.03 1.00 2/106 29131 /proc/meminfo: memFree=1822048/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=8936 CPUtime=1.49 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 1892 0 0 0 147 2 0 0 20 0 1 0 25067004 9150464 1785 1992294400 134512640 135752675 4293360112 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 2234 1786 145 303 0 1929 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8936 [startup+3.10102 s] /proc/loadavg: 0.93 1.03 1.00 2/106 29131 /proc/meminfo: memFree=1818700/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=14112 CPUtime=3.09 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 3200 0 0 0 305 4 0 0 25 0 1 0 25067004 14450688 3092 1992294400 134512640 135752675 4293360112 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 3528 3092 145 303 0 3223 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14112 [startup+6.30064 s] /proc/loadavg: 0.93 1.03 1.00 2/106 29131 /proc/meminfo: memFree=1807416/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=23988 CPUtime=6.29 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 5677 0 0 0 622 7 0 0 22 0 1 0 25067004 24563712 5569 1992294400 134512640 135752675 4293360112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 5997 5569 145 303 0 5692 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23988 [startup+12.7009 s] /proc/loadavg: 0.94 1.03 1.00 2/106 29131 /proc/meminfo: memFree=1792040/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=38560 CPUtime=12.68 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 9301 0 0 0 1257 11 0 0 25 0 1 0 25067004 39485440 9193 1992294400 134512640 135752675 4293360112 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 9640 9193 145 303 0 9335 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38560 [startup+25.5003 s] /proc/loadavg: 0.95 1.03 1.00 2/106 29131 /proc/meminfo: memFree=1759304/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=70844 CPUtime=25.48 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 17369 0 0 0 2524 24 0 0 25 0 1 0 25067004 72544256 17261 1992294400 134512640 135752675 4293360112 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 17711 17261 145 303 0 17406 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 70844 [startup+51.1002 s] /proc/loadavg: 0.97 1.03 1.00 2/106 29131 /proc/meminfo: memFree=1712184/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=117664 CPUtime=51.07 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 29037 0 0 0 5063 44 0 0 25 0 1 0 25067004 120487936 28929 1992294400 134512640 135752675 4293360112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 29416 28929 145 303 0 29111 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 117664 [startup+102.308 s] /proc/loadavg: 0.98 1.02 1.00 2/106 29133 /proc/meminfo: memFree=1609760/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=219004 CPUtime=102.26 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 54351 0 0 0 10139 87 0 0 25 0 1 0 25067004 224260096 54243 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 54751 54243 145 303 0 54446 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 219004 [startup+162.301 s] /proc/loadavg: 0.99 1.01 1.00 2/106 29135 /proc/meminfo: memFree=1491836/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=337636 CPUtime=162.23 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 83976 0 0 0 16086 137 0 0 25 0 1 0 25067004 345739264 83868 1992294400 134512640 135752675 4293360112 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 84409 83868 145 303 0 84104 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 337636 [startup+222.302 s] /proc/loadavg: 0.99 1.01 1.00 2/106 29135 /proc/meminfo: memFree=1440748/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=387152 CPUtime=222.21 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 96472 0 0 0 22040 181 0 0 25 0 1 0 25067004 396443648 96364 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 96788 96364 146 303 0 96483 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 387152 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29146 /proc/meminfo: memFree=1398952/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=429328 CPUtime=282.17 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 106988 0 0 0 28005 212 0 0 25 0 1 0 25067004 439631872 106880 1992294400 134512640 135752675 4293360112 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 107332 106880 146 303 0 107027 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 429328 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29148 /proc/meminfo: memFree=1359280/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=468732 CPUtime=342.15 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 116807 0 0 0 33964 251 0 0 25 0 1 0 25067004 479981568 116699 1992294400 134512640 135752675 4293360112 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 117183 116699 146 303 0 116878 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 468732 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29150 /proc/meminfo: memFree=1327040/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=501476 CPUtime=402.14 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 124955 0 0 0 39933 281 0 0 25 0 1 0 25067004 513511424 124847 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 125369 124847 146 303 0 125064 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 501476 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29152 /proc/meminfo: memFree=1291080/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=537148 CPUtime=462.11 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 133854 0 0 0 45899 312 0 0 25 0 1 0 25067004 550039552 133746 1992294400 134512640 135752675 4293360112 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 134287 133746 146 303 0 133982 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 537148 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29152 /proc/meminfo: memFree=1256484/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=571848 CPUtime=522.1 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 142511 0 0 0 51868 342 0 0 25 0 1 0 25067004 585572352 142403 1992294400 134512640 135752675 4293360112 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 142962 142403 146 303 0 142657 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 571848 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29154 /proc/meminfo: memFree=1220276/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=607848 CPUtime=582.08 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 151481 0 0 0 57836 372 0 0 25 0 1 0 25067004 622436352 151373 1992294400 134512640 135752675 4293360112 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 151962 151373 146 303 0 151657 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 607848 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29156 /proc/meminfo: memFree=1180844/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=646980 CPUtime=642.06 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 161249 0 0 0 63804 402 0 0 25 0 1 0 25067004 662507520 161141 1992294400 134512640 135752675 4293360112 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 161745 161141 146 303 0 161440 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 646980 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29162 /proc/meminfo: memFree=1041716/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=785964 CPUtime=881.98 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 195928 0 0 0 87691 507 0 0 25 0 1 0 25067004 804827136 195820 1992294400 134512640 135752675 4293360112 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 196491 195820 146 303 0 196186 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 785964 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29164 /proc/meminfo: memFree=1010344/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=817728 CPUtime=941.95 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 203845 0 0 0 93659 536 0 0 25 0 1 0 25067004 837353472 203737 1992294400 134512640 135752675 4293360112 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 204432 203737 146 303 0 204127 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 817728 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29166 /proc/meminfo: memFree=981452/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=846068 CPUtime=1001.93 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 210946 0 0 0 99632 561 0 0 25 0 1 0 25067004 866373632 210838 1992294400 134512640 135752675 4293360112 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 211517 210838 146 303 0 211212 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 846068 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29168 /proc/meminfo: memFree=949088/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=878752 CPUtime=1061.91 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 219108 0 0 0 105602 589 0 0 25 0 1 0 25067004 899842048 219000 1992294400 134512640 135752675 4293360112 18446744073709551615 134612107 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 219688 219000 146 303 0 219383 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 878752 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29168 /proc/meminfo: memFree=918708/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=909096 CPUtime=1121.89 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 226648 0 0 0 111575 614 0 0 25 0 1 0 25067004 930914304 226540 1992294400 134512640 135752675 4293360112 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 227274 226540 146 303 0 226969 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 909096 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29170 /proc/meminfo: memFree=885104/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=942956 CPUtime=1181.86 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 235067 0 0 0 117545 641 0 0 25 0 1 0 25067004 965586944 234959 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 235739 234959 146 303 0 235434 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 942956 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29172 /proc/meminfo: memFree=854476/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=971532 CPUtime=1241.85 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 242542 0 0 0 123521 664 0 0 25 0 1 0 25067004 994848768 242399 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 242883 242399 146 303 0 242578 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 971532 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29174 /proc/meminfo: memFree=846416/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=979392 CPUtime=1301.83 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 244570 0 0 0 129498 685 0 0 25 0 1 0 25067004 1002897408 244427 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 244848 244427 146 303 0 244543 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 979392 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/106 29176 /proc/meminfo: memFree=805124/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=1021144 CPUtime=1361.81 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 254966 0 0 0 135467 714 0 0 25 0 1 0 25067004 1045651456 254823 1992294400 134512640 135752675 4293360112 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 255286 254823 146 303 0 254981 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1021144 [startup+1422.31 s] /proc/loadavg: 1.04 1.01 1.00 2/106 29179 /proc/meminfo: memFree=763336/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=1062100 CPUtime=1421.79 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 265186 0 0 0 141434 745 0 0 25 0 1 0 25067004 1087590400 265043 1992294400 134512640 135752675 4293360112 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 265525 265043 146 303 0 265220 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1062100 [startup+1482.3 s] /proc/loadavg: 1.01 1.01 1.00 2/106 29181 /proc/meminfo: memFree=730104/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=1095628 CPUtime=1481.77 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 273541 0 0 0 147404 773 0 0 25 0 1 0 25067004 1121923072 273398 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 273907 273398 146 303 0 273602 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1095628 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29183 /proc/meminfo: memFree=702700/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=1122780 CPUtime=1541.74 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 280314 0 0 0 153376 798 0 0 25 0 1 0 25067004 1149726720 280171 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 280695 280171 146 303 0 280390 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1122780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29185 /proc/meminfo: memFree=675668/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=1150428 CPUtime=1601.73 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 287207 0 0 0 159348 825 0 0 25 0 1 0 25067004 1178038272 287064 1992294400 134512640 135752675 4293360112 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 287607 287064 146 303 0 287302 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1150428 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29187 /proc/meminfo: memFree=644048/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=1181576 CPUtime=1661.7 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 294976 0 0 0 165320 850 0 0 25 0 1 0 25067004 1209933824 294833 1992294400 134512640 135752675 4293360112 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 295394 294833 146 303 0 295089 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 1181576 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29187 /proc/meminfo: memFree=614784/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=1210968 CPUtime=1721.68 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 302320 0 0 0 171293 875 0 0 25 0 1 0 25067004 1240031232 302177 1992294400 134512640 135752675 4293360112 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 302742 302177 146 303 0 302437 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 1210968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29189 /proc/meminfo: memFree=590108/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=1235484 CPUtime=1781.66 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 308430 0 0 0 177272 894 0 0 25 0 1 0 25067004 1265135616 308287 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 308871 308287 146 303 0 308566 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 1235484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/106 29191 /proc/meminfo: memFree=583164/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=1242356 CPUtime=1800.07 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4202496 310137 0 0 0 179107 900 0 0 25 0 1 0 25067004 1272172544 309994 1992294400 134512640 135752675 4293360112 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29128/statm: 310589 309994 146 303 0 310284 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1242356 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.00 1.00 2/106 29191 /proc/meminfo: memFree=583164/2059040 swapFree=4139832/4192956 [pid=29128] ppid=29126 vsize=0 CPUtime=1800.16 /proc/29128/stat : 29128 (wbo1.4b) R 29126 29128 28732 0 -1 4203524 310137 0 0 0 179107 909 0 0 25 0 1 0 25067004 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29128/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.83 CPU time (s): 1800.19 CPU user time (s): 1791.08 CPU system time (s): 9.11161 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 1242356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.08 system time used= 9.11161 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 310137 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= 16 involuntary context switches= 3307 runsolver used 2.72059 second user time and 8.77867 second system time The end
Begin job on node086 at 2010-07-08 07:56:25 IDJOB=2702501 IDBENCH=48185 IDSOLVER=1190 FILE ID=node086/2702501-1278568585 PBS_JOBID= 11239560 Free space on /tmp= 62448 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_2.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-2702501-1278568585/watcher-2702501-1278568585 -o /tmp/evaluation-result-2702501-1278568585/solver-2702501-1278568585 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702501-1278568585.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5255c8da63867fe6fe080ca048384827 RANDOM SEED=418650914 node086.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1827792 kB Buffers: 33960 kB Cached: 105284 kB SwapCached: 6840 kB Active: 94512 kB Inactive: 58508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1827792 kB SwapTotal: 4192956 kB SwapFree: 4139832 kB Dirty: 2636 kB Writeback: 0 kB AnonPages: 11900 kB Mapped: 12156 kB Slab: 56508 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181052 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-2702501-1278568585.opb Free space on /tmp at the end= 62444 MiB End job on node086 at 2010-07-08 08:26:28