Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-14 | SAT (TO) | 3039 | 252.095 | 246.037 |
| Name | SumColoring/ SumColoring-dsjc-125-5_c18.xml |
| MD5SUM | 08115146c0ac9b7e4849c5cb62d96e41 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1060 |
| Best CPU time to get the best result obtained on this benchmark | 252.052 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 125 |
| Number of constraints | 3891 |
| Number of domains | 1 |
| Minimum domain size | 125 |
| Maximum domain size | 125 |
| Distribution of domain sizes | [{"size":125,"count":125}] |
| Minimum variable degree | 52 |
| Maximum variable degree | 76 |
| Distribution of variable degrees | [{"degree":52,"count":2},{"degree":54,"count":3},{"degree":55,"count":3},{"degree":56,"count":4},{"degree":57,"count":7},{"degree":58,"count":6},{"degree":59,"count":7},{"degree":60,"count":6},{"degree":61,"count":12},{"degree":62,"count":11},{"degree":63,"count":6},{"degree":64,"count":7},{"degree":65,"count":11},{"degree":66,"count":6},{"degree":67,"count":4},{"degree":68,"count":8},{"degree":69,"count":6},{"degree":70,"count":5},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":2},{"degree":74,"count":3},{"degree":75,"count":1},{"degree":76,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":3891}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 3891 |
| Distribution of constraint types | [{"type":"intension","count":3891}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.67/0.56 c version: 2018-08-14 0.67/0.56 c seed: 104605539 0.67/0.56 c timeout: 252 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 3.85/1.65 c Parsing done, starting search... 4.17/1.74 o 8540 4.17/1.76 o 8534 4.17/1.76 o 8508 4.17/1.76 o 8507 4.17/1.76 o 8504 4.17/1.76 o 8503 4.17/1.76 o 8500 4.17/1.76 o 8476 4.17/1.76 o 8475 4.17/1.77 o 8471 4.17/1.77 o 8468 4.17/1.77 o 8465 4.17/1.77 o 8464 4.17/1.77 o 8453 4.17/1.77 o 8442 4.17/1.77 o 8441 4.17/1.77 o 8437 4.17/1.77 o 8435 4.17/1.77 o 8430 4.17/1.77 o 8427 4.17/1.77 o 8397 4.17/1.77 o 8396 4.17/1.77 o 8394 4.17/1.77 o 8393 4.17/1.77 o 8391 4.17/1.77 o 8382 4.17/1.77 o 8378 4.17/1.77 o 8352 4.17/1.77 o 8351 4.17/1.78 o 8349 4.17/1.78 o 8348 4.17/1.78 o 8345 4.17/1.78 o 8315 4.17/1.78 o 8311 4.17/1.78 o 8310 4.17/1.78 o 8307 4.17/1.78 o 8296 4.17/1.78 o 8295 4.17/1.78 o 8292 4.17/1.78 o 8288 4.17/1.78 o 8284 4.17/1.78 o 8275 4.17/1.79 o 8274 4.17/1.79 o 8271 4.17/1.79 o 8268 4.17/1.79 o 8266 4.17/1.79 o 8227 4.17/1.79 o 8223 4.17/1.79 o 8211 4.17/1.79 o 8210 4.17/1.79 o 8209 4.17/1.79 o 8207 4.17/1.79 o 8206 4.17/1.79 o 8202 4.17/1.80 o 8201 4.17/1.80 o 8199 4.17/1.80 o 8178 4.17/1.80 o 8145 4.17/1.80 o 8137 4.17/1.80 o 8136 4.53/1.80 o 8135 4.53/1.80 o 8128 4.53/1.80 o 8125 4.53/1.80 o 8116 4.53/1.80 o 8109 4.53/1.80 o 8106 4.53/1.81 o 8105 4.53/1.81 o 8095 4.53/1.81 o 8080 4.53/1.81 o 8068 4.53/1.81 o 8065 4.53/1.81 o 8064 4.53/1.81 o 8063 4.53/1.82 o 8062 4.53/1.82 o 8059 4.53/1.82 o 8057 4.53/1.82 o 8055 4.53/1.82 o 8053 4.53/1.82 o 8052 4.53/1.82 o 8050 4.53/1.82 o 8049 4.53/1.83 o 8048 4.53/1.84 o 8047 4.53/1.87 o 8045 4.53/1.87 o 8044 4.53/1.87 o 8036 4.53/1.87 o 8035 4.53/1.87 o 8034 4.53/1.87 o 8033 4.53/1.87 o 8032 4.53/1.87 o 8026 4.53/1.87 o 8024 4.53/1.87 o 8023 4.53/1.88 o 8020 4.53/1.89 o 8019 4.83/1.91 o 7991 4.83/1.91 o 7989 4.83/1.91 o 7987 4.83/1.91 o 7985 4.83/1.91 o 7983 4.83/1.91 o 7981 4.83/1.91 o 7980 4.83/1.92 o 7979 4.83/1.93 o 7978 4.83/1.96 o 7977 4.83/1.96 o 7976 4.83/1.99 o 7975 5.14/2.02 o 7954 5.14/2.02 o 7952 5.14/2.03 o 7950 5.14/2.03 o 7948 5.14/2.03 o 7918 5.14/2.03 o 7916 5.14/2.03 o 7914 5.14/2.03 o 7912 5.14/2.03 o 7906 5.14/2.03 o 7904 5.14/2.03 o 7901 5.14/2.03 o 7900 5.14/2.03 o 7898 5.14/2.03 o 7895 5.14/2.03 o 7893 5.14/2.06 o 7892 5.14/2.06 o 7891 5.14/2.11 o 7889 5.41/2.12 o 7888 5.41/2.13 o 7886 5.41/2.19 o 7885 5.41/2.19 o 7884 5.80/2.48 o 7883 5.80/2.48 o 7881 5.80/2.48 o 7879 5.80/2.48 o 7877 5.80/2.48 o 7875 5.80/2.48 o 7873 5.80/2.48 o 7871 5.80/2.48 o 7870 5.80/2.48 o 7869 5.80/2.48 o 7867 5.80/2.48 o 7866 5.80/2.49 o 7863 5.80/2.49 o 7862 5.80/2.49 o 7861 5.95/2.52 o 7860 6.24/2.74 o 7858 6.24/2.74 o 7857 6.24/2.74 o 7854 6.24/2.74 o 7852 6.24/2.74 o 7851 6.24/2.74 o 7836 6.24/2.74 o 7834 6.24/2.74 o 7832 6.24/2.74 o 7830 6.24/2.75 o 7829 6.24/2.75 o 7828 6.24/2.75 o 7826 6.24/2.75 o 7823 6.24/2.75 o 7821 6.24/2.75 o 7820 6.24/2.75 o 7819 6.24/2.75 o 7773 6.24/2.75 o 7772 6.24/2.75 o 7753 6.24/2.75 o 7752 6.24/2.75 o 7747 6.24/2.75 o 7746 6.24/2.75 o 7739 6.24/2.75 o 7738 6.24/2.75 o 7735 6.24/2.75 o 7706 6.24/2.75 o 7689 6.24/2.75 o 7676 6.24/2.75 o 7660 6.24/2.75 o 7656 6.24/2.75 o 7648 6.24/2.75 o 7645 6.24/2.75 o 7644 6.24/2.75 o 7643 6.24/2.75 o 7642 6.24/2.75 o 7631 6.24/2.75 o 7630 6.24/2.75 o 7628 6.24/2.75 o 7627 6.24/2.75 o 7621 6.24/2.75 o 7620 6.24/2.76 o 7616 6.24/2.76 o 7613 6.24/2.76 o 7611 6.24/2.76 o 7610 6.24/2.76 o 7609 6.24/2.76 o 7606 6.24/2.76 o 7580 6.24/2.76 o 7577 6.24/2.76 o 7550 6.24/2.76 o 7547 6.24/2.76 o 7545 6.24/2.76 o 7542 6.24/2.76 o 7540 6.24/2.76 o 7538 6.24/2.76 o 7532 6.24/2.76 o 7530 6.24/2.76 o 7529 6.24/2.76 o 7528 6.24/2.76 o 7526 6.24/2.76 o 7523 6.24/2.76 o 7520 6.24/2.77 o 7501 6.24/2.77 o 7480 6.24/2.77 o 7476 6.24/2.77 o 7465 6.24/2.77 o 7462 6.24/2.77 o 7449 6.24/2.77 o 7446 6.24/2.77 o 7443 6.24/2.77 o 7442 6.24/2.77 o 7440 6.24/2.78 o 7436 6.24/2.78 o 7433 6.24/2.78 o 7430 6.24/2.78 o 7429 6.24/2.78 o 7427 6.24/2.78 o 7423 6.24/2.78 o 7420 6.24/2.78 o 7327 6.24/2.78 o 7321 6.24/2.79 o 7250 6.24/2.79 o 7247 6.24/2.79 o 7241 6.35/2.80 o 7239 6.35/2.80 o 7237 6.35/2.83 o 7234 6.35/2.84 o 7233 6.35/2.84 o 7232 6.35/2.84 o 7230 6.35/2.84 o 7229 6.35/2.88 o 7228 6.35/2.88 o 7227 6.35/2.88 o 7225 6.35/2.88 o 7222 6.35/2.88 o 7221 6.35/2.88 o 7216 6.35/2.88 o 7215 6.35/2.88 o 7214 6.35/2.89 o 7213 6.35/2.89 o 7212 6.45/2.91 o 7209 6.45/2.91 o 7208 6.45/2.91 o 7207 6.45/2.92 o 7205 6.45/2.92 o 7204 6.56/3.01 o 7203 6.56/3.01 o 7201 6.56/3.02 o 7200 6.67/3.11 o 7199 6.67/3.18 o 7192 6.67/3.20 o 7191 6.77/3.26 o 7190 6.77/3.26 o 7188 6.77/3.26 o 7185 6.87/3.37 o 7184 7.07/3.53 o 7182 7.60/4.04 o 7180 7.60/4.05 o 7178 7.60/4.07 o 7177 7.60/4.08 o 7176 7.79/4.20 o 7175 7.79/4.20 o 7173 7.79/4.29 o 7172 7.89/4.32 o 7170 7.89/4.37 o 7169 7.89/4.37 o 7163 7.89/4.37 o 7161 7.89/4.37 o 7159 7.89/4.37 o 7158 7.89/4.37 o 7157 7.89/4.37 o 7156 7.89/4.37 o 7155 7.89/4.37 o 7153 7.89/4.37 o 7152 7.89/4.37 o 7150 8.00/4.40 o 7148 8.00/4.41 o 7147 8.00/4.42 o 7145 8.00/4.45 o 7144 8.10/4.53 o 7142 9.44/5.86 o 7139 9.44/5.86 o 7138 9.44/5.86 o 7137 9.44/5.86 o 7136 9.44/5.86 o 7133 9.44/5.86 o 7129 9.44/5.86 o 7127 9.44/5.86 o 7124 9.44/5.86 o 7120 9.44/5.86 o 7119 9.44/5.86 o 7118 9.44/5.87 o 7114 9.44/5.87 o 7113 9.44/5.87 o 7112 9.44/5.87 o 7095 9.44/5.87 o 7091 9.44/5.87 o 7090 9.44/5.87 o 7089 9.44/5.88 o 7088 9.44/5.89 o 7076 9.44/5.89 o 7075 9.44/5.89 o 7059 9.44/5.89 o 7055 9.44/5.89 o 7054 9.44/5.89 o 7053 9.44/5.89 o 7052 9.44/5.89 o 7051 9.44/5.89 o 7048 9.44/5.89 o 7047 9.44/5.89 o 7046 9.54/5.91 o 7045 9.54/5.92 o 7043 9.54/5.92 o 7040 9.54/5.94 o 7039 9.54/5.96 o 7037 9.54/5.96 o 7034 9.54/5.96 o 7033 9.65/6.01 o 7030 9.65/6.01 o 7026 9.78/6.11 o 7024 10.37/6.71 o 7022 10.57/6.93 o 7019 10.70/7.05 o 7004 10.70/7.05 o 7002 10.70/7.05 o 6998 10.70/7.05 o 6990 10.70/7.06 o 6989 10.70/7.06 o 6969 10.70/7.06 o 6968 10.70/7.06 o 6965 10.70/7.06 o 6963 10.70/7.06 o 6962 10.70/7.06 o 6960 10.70/7.06 o 6957 10.70/7.06 o 6956 10.70/7.06 o 6953 10.70/7.07 o 6952 10.70/7.07 o 6947 10.70/7.07 o 6945 10.70/7.07 o 6944 10.70/7.07 o 6943 10.70/7.07 o 6941 10.70/7.07 o 6940 10.70/7.08 o 6939 10.70/7.08 o 6937 10.70/7.08 o 6936 10.70/7.08 o 6935 10.70/7.08 o 6934 10.70/7.08 o 6932 10.70/7.08 o 6929 10.70/7.08 o 6928 10.70/7.08 o 6926 10.70/7.08 o 6924 10.70/7.08 o 6923 10.84/7.14 o 6921 11.41/7.63 o 6919 11.41/7.69 o 6918 11.41/7.69 o 6917 11.71/7.95 o 6913 11.71/7.95 o 6906 11.71/7.95 o 6905 11.71/7.95 o 6901 11.71/7.95 o 6900 11.71/7.95 o 6899 11.71/7.95 o 6817 11.71/7.95 o 6816 11.71/7.95 o 6815 11.71/7.95 o 6797 11.71/7.95 o 6796 11.71/7.95 o 6787 11.71/7.95 o 6786 11.71/7.95 o 6779 11.71/7.95 o 6778 11.71/7.95 o 6777 11.71/7.95 o 6752 11.71/7.95 o 6751 11.71/7.95 o 6750 11.71/7.96 o 6697 11.71/7.96 o 6696 11.71/7.96 o 6695 11.71/7.96 o 6686 11.71/7.96 o 6685 11.71/7.96 o 6601 11.71/7.96 o 6600 11.71/7.96 o 6599 11.71/7.96 o 6593 11.71/7.96 o 6592 11.71/7.96 o 6587 11.71/7.96 o 6586 11.71/7.98 o 6585 11.71/7.98 o 6584 11.71/7.98 o 6582 11.71/7.98 o 6581 11.71/7.99 o 6568 11.71/7.99 o 6552 11.71/7.99 o 6551 11.71/7.99 o 6546 11.71/7.99 o 6492 11.71/7.99 o 6476 11.71/7.99 o 6475 11.83/8.01 o 6406 11.83/8.01 o 6405 11.83/8.01 o 6382 11.83/8.01 o 6381 11.83/8.01 o 6377 11.83/8.01 o 6376 11.83/8.01 o 6375 11.83/8.02 o 6372 11.83/8.02 o 6371 11.83/8.03 o 6370 11.83/8.05 o 6369 11.83/8.08 o 6367 11.83/8.08 o 6366 11.83/8.08 o 6365 11.93/8.18 o 6361 12.02/8.28 o 6331 12.02/8.28 o 6318 12.02/8.28 o 6317 12.02/8.28 o 6316 12.02/8.28 o 6307 12.02/8.28 o 6306 12.02/8.28 o 6299 12.02/8.28 o 6298 12.02/8.28 o 6297 12.02/8.28 o 6288 12.02/8.29 o 6287 12.02/8.29 o 6282 12.02/8.29 o 6281 12.02/8.29 o 6280 12.02/8.30 o 6279 12.19/8.31 o 6277 12.19/8.32 o 6276 12.19/8.34 o 6275 12.30/8.43 o 6274 12.30/8.43 o 6273 12.30/8.48 o 6272 12.30/8.48 o 6271 12.30/8.48 o 6270 12.40/8.50 o 6269 12.40/8.56 o 6266 12.40/8.56 o 6265 12.40/8.56 o 6264 12.60/8.77 o 6263 12.60/8.79 o 6260 12.60/8.79 o 6259 12.70/8.80 o 6256 12.70/8.81 o 6255 12.91/9.09 o 6252 12.91/9.09 o 6251 13.01/9.17 o 6247 13.10/9.23 o 6246 13.10/9.26 o 6245 13.10/9.26 o 6243 13.10/9.26 o 6242 13.10/9.26 o 6235 13.10/9.26 o 6234 13.10/9.26 o 6230 13.10/9.26 o 6229 13.10/9.26 o 6228 13.10/9.26 o 6227 13.10/9.26 o 6223 13.10/9.26 o 6222 13.10/9.26 o 6209 13.10/9.26 o 6208 13.10/9.26 o 6178 13.10/9.26 o 6177 13.10/9.26 o 6176 13.10/9.27 o 6161 13.10/9.27 o 6160 13.10/9.27 o 6150 13.10/9.27 o 6149 13.10/9.28 o 6144 13.10/9.29 o 6143 13.10/9.29 o 6142 13.24/9.33 o 6141 13.24/9.34 o 6140 13.24/9.35 o 6139 13.24/9.35 o 6138 13.24/9.35 o 6137 13.24/9.35 o 6136 13.24/9.35 o 6135 13.60/9.63 o 6131 13.60/9.63 o 6129 13.60/9.63 o 6127 13.60/9.63 o 6118 13.60/9.63 o 6117 13.60/9.63 o 6112 13.60/9.63 o 6105 13.60/9.63 o 6101 13.60/9.63 o 6100 13.60/9.63 o 6098 13.60/9.63 o 6097 13.60/9.63 o 6095 13.60/9.63 o 6093 13.60/9.63 o 6092 13.60/9.65 o 6091 13.70/9.72 o 6090 13.80/9.82 o 6088 13.80/9.83 o 6087 13.80/9.83 o 6086 13.80/9.88 o 6082 13.80/9.88 o 6080 13.80/9.88 o 6078 13.90/9.91 o 6077 13.90/9.92 o 6076 13.90/9.92 o 6075 13.90/9.94 o 6074 13.90/9.94 o 6072 13.90/9.94 o 6070 14.02/10.07 o 6068 14.02/10.07 o 6066 14.02/10.10 o 6065 14.31/10.34 o 6064 14.41/10.45 o 6063 14.41/10.45 o 6061 14.41/10.46 o 6060 14.41/10.46 o 6058 14.41/10.46 o 6056 14.41/10.47 o 6055 14.41/10.47 o 6053 14.41/10.47 o 6052 14.72/10.71 o 6049 14.72/10.71 o 6047 14.72/10.71 o 6044 14.72/10.71 o 6041 14.72/10.71 o 6040 14.72/10.71 o 6038 14.72/10.71 o 6035 14.72/10.71 o 6034 14.72/10.71 o 6026 14.72/10.71 o 6023 14.72/10.71 o 6011 14.72/10.72 o 6003 14.72/10.72 o 6000 14.92/10.94 o 5998 14.92/10.94 o 5997 14.92/10.95 o 5994 14.92/10.95 o 5993 15.22/11.28 o 5992 15.72/11.73 o 5991 15.92/11.92 o 5990 15.92/11.92 o 5989 15.92/11.93 o 5988 15.92/11.93 o 5987 15.92/11.93 o 5984 15.92/11.93 o 5983 15.92/11.93 o 5979 15.92/11.93 o 5978 15.92/11.97 o 5977 16.03/12.02 o 5975 16.03/12.02 o 5974 16.03/12.02 o 5969 16.03/12.02 o 5968 16.03/12.03 o 5967 16.13/12.17 o 5966 16.13/12.17 o 5965 16.22/12.29 o 5961 16.22/12.29 o 5960 16.32/12.31 o 5954 16.32/12.31 o 5953 16.32/12.31 o 5949 16.32/12.31 o 5948 16.72/12.72 o 5947 16.72/12.72 o 5946 16.72/12.72 o 5945 17.04/13.08 o 5944 17.04/13.08 o 5943 17.04/13.09 o 5941 17.04/13.09 o 5940 17.64/13.60 o 5939 17.64/13.60 o 5938 17.64/13.69 o 5937 17.64/13.69 o 5935 17.64/13.69 o 5934 17.74/13.70 o 5933 17.74/13.70 o 5932 17.74/13.72 o 5931 17.74/13.72 o 5928 17.74/13.76 o 5926 17.74/13.76 o 5922 17.74/13.76 o 5921 17.74/13.76 o 5918 17.74/13.76 o 5915 17.74/13.77 o 5905 17.74/13.77 o 5904 17.74/13.77 o 5902 17.74/13.77 o 5898 17.74/13.77 o 5897 17.74/13.77 o 5894 17.74/13.77 o 5892 17.74/13.77 o 5888 17.74/13.78 o 5885 17.74/13.78 o 5881 17.84/13.80 o 5878 17.84/13.83 o 5874 17.94/13.97 o 5872 17.94/13.97 o 5866 17.94/13.98 o 5862 18.05/14.07 o 5859 18.05/14.07 o 5858 18.15/14.16 o 5855 18.15/14.16 o 5854 18.34/14.31 o 5852 18.34/14.31 o 5851 18.34/14.31 o 5843 18.34/14.31 o 5842 18.94/14.94 o 5840 18.94/14.94 o 5839 19.35/15.39 o 5835 19.35/15.39 o 5834 19.35/15.39 o 5833 19.35/15.39 o 5832 19.35/15.39 o 5831 19.35/15.39 o 5830 19.35/15.39 o 5829 19.35/15.39 o 5828 19.35/15.39 o 5827 19.35/15.39 o 5821 19.35/15.39 o 5820 19.35/15.39 o 5813 19.35/15.39 o 5812 19.35/15.40 o 5799 19.35/15.40 o 5798 19.46/15.40 o 5794 19.46/15.40 o 5793 19.46/15.40 o 5791 19.46/15.40 o 5787 19.46/15.40 o 5786 20.26/16.29 o 5785 20.26/16.29 o 5784 20.36/16.33 o 5783 20.46/16.46 o 5781 20.46/16.46 o 5780 20.56/16.51 o 5779 20.56/16.56 o 5778 21.08/17.06 o 5773 21.08/17.06 o 5772 21.08/17.06 o 5771 21.08/17.06 o 5770 21.18/17.20 o 5767 21.28/17.20 o 5766 23.99/19.96 o 5755 23.99/19.99 o 5751 24.30/20.25 o 5729 24.30/20.25 o 5727 24.30/20.25 o 5697 24.30/20.25 o 5681 24.30/20.25 o 5669 24.40/20.30 o 5668 24.50/20.50 o 5667 24.60/20.50 o 5661 24.60/20.50 o 5660 24.60/20.51 o 5650 24.60/20.51 o 5649 24.70/20.61 o 5648 24.70/20.63 o 5645 24.90/20.80 o 5642 24.90/20.81 o 5641 24.90/20.86 o 5637 24.90/20.87 o 5634 24.90/20.87 o 5633 25.11/21.06 o 5620 25.11/21.06 o 5609 25.11/21.06 o 5595 25.11/21.06 o 5583 25.40/21.31 o 5582 25.40/21.32 o 5580 25.40/21.32 o 5579 25.40/21.32 o 5578 25.40/21.35 o 5575 25.40/21.35 o 5574 25.40/21.35 o 5573 25.40/21.35 o 5572 25.40/21.35 o 5571 25.40/21.35 o 5570 25.40/21.35 o 5568 25.40/21.35 o 5567 25.40/21.35 o 5566 25.40/21.35 o 5560 25.40/21.35 o 5559 25.40/21.36 o 5554 25.40/21.37 o 5553 25.40/21.37 o 5552 25.40/21.37 o 5550 25.40/21.37 o 5549 25.51/21.42 o 5532 25.51/21.42 o 5515 25.51/21.43 o 5512 25.51/21.43 o 5511 25.61/21.53 o 5509 25.61/21.53 o 5507 25.61/21.54 o 5502 25.61/21.56 o 5498 25.61/21.56 o 5496 25.80/21.78 o 5493 26.81/22.79 o 5490 27.13/23.10 o 5485 27.13/23.10 o 5484 27.13/23.10 o 5483 27.23/23.12 o 5480 27.32/23.22 o 5479 27.32/23.23 o 5474 28.25/24.17 o 5473 28.25/24.17 o 5467 28.25/24.17 o 5459 28.25/24.17 o 5453 28.25/24.17 o 5449 28.25/24.17 o 5446 28.25/24.17 o 5428 28.25/24.17 o 5422 28.25/24.17 o 5418 28.25/24.17 o 5415 28.25/24.17 o 5413 28.25/24.17 o 5408 28.25/24.17 o 5403 28.25/24.17 o 5401 28.25/24.18 o 5400 28.34/24.20 o 5397 28.34/24.22 o 5394 28.34/24.22 o 5393 28.34/24.22 o 5390 28.34/24.22 o 5389 28.34/24.25 o 5388 29.04/24.95 o 5386 29.04/24.96 o 5383 29.34/25.25 o 5380 29.44/25.36 o 5379 29.54/25.48 o 5376 29.75/25.61 o 5354 29.75/25.61 o 5345 29.75/25.61 o 5343 29.75/25.61 o 5341 29.75/25.62 o 5338 29.75/25.62 o 5334 29.75/25.65 o 5333 29.75/25.65 o 5332 29.75/25.65 o 5329 29.75/25.65 o 5328 29.75/25.65 o 5327 29.75/25.65 o 5322 29.85/25.72 o 5320 29.85/25.73 o 5317 29.85/25.77 o 5316 29.85/25.77 o 5311 29.95/25.84 o 5308 29.95/25.86 o 5305 30.05/25.97 o 5303 30.05/25.98 o 5302 30.45/26.31 o 5301 30.45/26.32 o 5295 30.45/26.32 o 5293 30.45/26.32 o 5290 30.45/26.32 o 5289 30.45/26.33 o 5284 30.55/26.41 o 5281 30.65/26.55 o 5279 30.65/26.55 o 5277 30.65/26.55 o 5276 30.76/26.61 o 5275 30.76/26.61 o 5273 30.76/26.62 o 5272 30.76/26.62 o 5271 30.76/26.62 o 5270 30.76/26.62 o 5265 30.76/26.64 o 5263 30.76/26.64 o 5262 30.76/26.64 o 5260 30.76/26.64 o 5259 30.96/26.85 o 5256 30.96/26.85 o 5255 30.96/26.86 o 5250 31.99/27.86 o 5249 31.99/27.86 o 5248 31.99/27.86 o 5246 31.99/27.86 o 5230 31.99/27.86 o 5228 31.99/27.86 o 5226 31.99/27.86 o 5224 31.99/27.86 o 5221 31.99/27.86 o 5219 31.99/27.86 o 5218 31.99/27.86 o 5215 31.99/27.86 o 5214 31.99/27.89 o 5212 31.99/27.89 o 5211 32.09/27.90 o 5210 32.09/27.90 o 5209 32.09/27.90 o 5208 32.50/28.32 o 5207 32.50/28.32 o 5206 32.60/28.47 o 5203 33.31/29.15 o 5188 33.31/29.15 o 5182 33.31/29.15 o 5180 33.31/29.15 o 5175 33.31/29.15 o 5174 33.31/29.15 o 5173 33.31/29.15 o 5171 33.31/29.16 o 5168 33.31/29.16 o 5160 33.31/29.16 o 5159 33.31/29.16 o 5158 33.31/29.16 o 5156 33.31/29.17 o 5152 33.31/29.17 o 5149 33.31/29.18 o 5148 33.31/29.18 o 5147 33.31/29.18 o 5145 34.32/30.14 o 5116 34.32/30.14 o 5115 34.32/30.15 o 5114 34.32/30.15 o 5113 34.32/30.15 o 5105 34.32/30.15 o 5104 34.32/30.15 o 5100 34.32/30.15 o 5099 34.32/30.17 o 5090 34.41/30.21 o 5089 34.41/30.21 o 5088 34.41/30.21 o 5084 34.41/30.23 o 5079 34.41/30.25 o 5078 34.41/30.25 o 5077 34.61/30.47 o 5075 34.61/30.47 o 5074 34.61/30.48 o 5069 34.61/30.48 o 5068 35.72/31.55 o 5066 35.72/31.55 o 5065 35.72/31.55 o 5064 35.82/31.65 o 5061 35.82/31.65 o 5049 35.82/31.65 o 5045 35.82/31.65 o 5041 35.82/31.65 o 5033 35.82/31.65 o 5031 35.82/31.65 o 5026 35.82/31.65 o 5015 35.82/31.65 o 5011 35.82/31.65 o 5006 35.82/31.65 o 4996 35.82/31.65 o 4993 35.82/31.65 o 4991 35.82/31.65 o 4986 35.82/31.65 o 4983 35.82/31.65 o 4977 35.82/31.65 o 4974 35.82/31.65 o 4973 35.82/31.65 o 4968 35.82/31.65 o 4967 35.82/31.65 o 4966 35.82/31.67 o 4963 35.82/31.67 o 4962 35.82/31.67 o 4960 35.82/31.68 o 4959 35.82/31.70 o 4958 35.93/31.70 o 4957 35.93/31.73 o 4953 35.93/31.73 o 4952 36.03/31.80 o 4950 36.03/31.83 o 4922 36.03/31.83 o 4913 36.03/31.83 o 4892 36.03/31.83 o 4891 36.03/31.84 o 4878 36.03/31.84 o 4877 36.03/31.84 o 4876 36.03/31.84 o 4874 36.03/31.84 o 4873 36.03/31.84 o 4868 36.03/31.85 o 4862 36.03/31.88 o 4857 36.13/31.91 o 4845 36.13/31.91 o 4837 36.13/31.91 o 4835 36.13/31.91 o 4834 36.13/31.91 o 4833 36.13/31.92 o 4832 36.13/31.92 o 4831 36.13/31.92 o 4830 36.13/31.92 o 4829 36.13/31.92 o 4826 36.13/31.92 o 4825 36.13/31.92 o 4820 36.13/31.97 o 4819 36.13/31.97 o 4818 36.13/31.97 o 4817 36.44/32.28 o 4809 36.44/32.29 o 4798 36.44/32.29 o 4794 36.44/32.29 o 4760 36.44/32.29 o 4752 36.44/32.29 o 4750 36.44/32.29 o 4745 36.44/32.29 o 4744 36.54/32.31 o 4741 36.54/32.32 o 4740 36.54/32.33 o 4739 36.54/32.33 o 4737 36.54/32.33 o 4736 36.54/32.37 o 4731 36.54/32.37 o 4730 36.54/32.37 o 4728 36.54/32.39 o 4727 36.54/32.40 o 4726 36.64/32.45 o 4725 36.74/32.52 o 4724 36.74/32.57 o 4722 37.14/32.99 o 4721 37.25/33.06 o 4720 37.25/33.07 o 4709 37.25/33.07 o 4707 37.25/33.07 o 4706 37.25/33.07 o 4704 37.25/33.07 o 4701 37.25/33.07 o 4686 37.25/33.07 o 4669 37.25/33.07 o 4666 37.25/33.07 o 4665 37.25/33.07 o 4664 37.25/33.07 o 4660 37.25/33.08 o 4659 37.25/33.08 o 4657 37.25/33.08 o 4656 37.25/33.08 o 4655 37.25/33.08 o 4654 37.25/33.08 o 4652 37.25/33.08 o 4651 37.25/33.08 o 4648 38.56/34.35 o 4639 38.56/34.35 o 4636 38.56/34.36 o 4634 38.56/34.36 o 4632 38.56/34.36 o 4629 38.56/34.36 o 4628 38.56/34.36 o 4626 38.56/34.36 o 4625 38.56/34.36 o 4623 38.56/34.36 o 4620 38.56/34.38 o 4619 38.56/34.39 o 4617 38.66/34.41 o 4615 38.66/34.41 o 4614 38.66/34.41 o 4612 38.66/34.42 o 4611 38.66/34.42 o 4610 38.66/34.42 o 4609 38.66/34.42 o 4608 39.87/35.65 o 4607 39.87/35.65 o 4599 39.87/35.65 o 4594 39.87/35.65 o 4586 39.87/35.65 o 4581 39.87/35.66 o 4580 39.87/35.66 o 4573 39.97/35.70 o 4533 39.97/35.70 o 4523 39.97/35.70 o 4522 39.97/35.70 o 4510 39.97/35.70 o 4508 39.97/35.71 o 4506 39.97/35.71 o 4502 39.97/35.71 o 4498 39.97/35.71 o 4495 40.17/35.91 o 4492 40.17/35.91 o 4490 40.17/35.91 o 4485 40.17/35.91 o 4483 40.17/35.92 o 4482 40.17/35.92 o 4481 40.17/35.92 o 4478 40.17/35.92 o 4477 40.17/35.93 o 4474 40.17/35.93 o 4473 40.17/35.93 o 4472 40.17/35.93 o 4471 40.17/35.93 o 4469 40.17/35.99 o 4467 40.28/36.02 o 4463 40.28/36.03 o 4459 40.28/36.05 o 4456 40.38/36.14 o 4389 40.38/36.14 o 4387 40.38/36.14 o 4378 40.38/36.14 o 4376 40.38/36.15 o 4375 40.38/36.15 o 4374 40.38/36.15 o 4373 40.38/36.15 o 4361 40.38/36.16 o 4360 40.38/36.16 o 4359 40.38/36.16 o 4358 40.38/36.16 o 4356 40.38/36.18 o 4353 40.38/36.18 o 4351 40.48/36.23 o 4349 40.48/36.25 o 4348 40.48/36.25 o 4347 40.48/36.25 o 4345 40.58/36.40 o 4344 40.68/36.41 o 4343 40.68/36.41 o 4342 40.68/36.41 o 4341 40.68/36.41 o 4340 40.88/36.62 o 4339 40.88/36.62 o 4337 40.88/36.62 o 4336 40.88/36.62 o 4332 40.88/36.62 o 4331 40.88/36.62 o 4330 40.88/36.62 o 4329 40.88/36.63 o 4328 40.88/36.63 o 4327 41.08/36.85 o 4309 41.08/36.85 o 4307 41.08/36.85 o 4304 41.08/36.85 o 4302 41.08/36.85 o 4293 41.08/36.85 o 4284 41.08/36.85 o 4283 41.08/36.85 o 4280 41.08/36.85 o 4279 41.08/36.86 o 4277 41.08/36.86 o 4275 41.08/36.86 o 4274 41.08/36.86 o 4272 41.08/36.87 o 4269 41.08/36.87 o 4265 41.18/36.93 o 4262 41.18/36.93 o 4261 41.18/36.93 o 4260 41.18/36.93 o 4259 41.18/36.96 o 4258 41.18/36.98 o 4255 41.29/37.03 o 4254 41.29/37.04 o 4250 41.29/37.09 o 4246 41.29/37.09 o 4243 41.58/37.32 o 4239 41.58/37.32 o 4227 41.58/37.32 o 4226 41.58/37.32 o 4214 41.58/37.33 o 4213 41.58/37.33 o 4212 41.58/37.33 o 4211 41.58/37.34 o 4207 41.58/37.34 o 4205 41.58/37.34 o 4200 41.58/37.34 o 4199 41.58/37.34 o 4198 41.58/37.35 o 4197 41.58/37.35 o 4196 41.58/37.38 o 4193 41.58/37.38 o 4185 41.58/37.39 o 4184 41.78/37.52 o 4183 41.78/37.52 o 4182 41.78/37.53 o 4181 41.78/37.53 o 4177 41.78/37.59 o 4176 41.78/37.59 o 4174 42.49/38.26 o 4173 42.49/38.26 o 4172 42.49/38.26 o 4167 42.49/38.26 o 4166 42.49/38.26 o 4165 42.49/38.28 o 4161 42.49/38.28 o 4156 42.49/38.28 o 4155 43.31/39.03 o 4148 43.31/39.03 o 4147 43.31/39.03 o 4146 43.31/39.03 o 4145 43.31/39.03 o 4144 43.31/39.03 o 4143 43.31/39.03 o 4142 43.31/39.03 o 4138 43.31/39.03 o 4137 43.31/39.04 o 4131 43.31/39.04 o 4130 43.31/39.04 o 4129 43.50/39.22 o 4126 44.61/40.38 o 4124 44.71/40.43 o 4122 44.71/40.43 o 4121 56.28/51.94 o 4120 56.79/52.43 o 4119 57.19/52.82 o 4117 57.19/52.83 o 4114 57.19/52.85 o 4112 57.19/52.85 o 4109 58.29/54.00 o 4107 58.29/54.00 o 4106 58.29/54.00 o 4095 58.29/54.00 o 4089 58.29/54.00 o 4088 58.40/54.03 o 4084 58.40/54.03 o 4078 58.40/54.04 o 4076 58.40/54.04 o 4070 58.60/54.23 o 4067 58.60/54.24 o 4064 58.60/54.24 o 4063 58.80/54.46 o 4062 58.80/54.46 o 4057 58.80/54.46 o 4056 58.80/54.46 o 4055 58.90/54.51 o 4054 58.90/54.51 o 4053 58.90/54.53 o 4052 58.90/54.53 o 4044 58.90/54.53 o 4043 59.42/55.06 o 4031 59.42/55.06 o 4028 59.42/55.06 o 4024 59.42/55.06 o 4016 59.42/55.06 o 4012 59.42/55.07 o 4007 59.42/55.07 o 4005 59.42/55.07 o 3997 59.61/55.25 o 3996 59.61/55.25 o 3995 59.61/55.26 o 3994 59.61/55.26 o 3986 59.61/55.26 o 3985 59.61/55.28 o 3982 59.61/55.28 o 3975 59.61/55.28 o 3971 59.61/55.28 o 3970 59.61/55.28 o 3969 59.61/55.28 o 3962 59.61/55.28 o 3961 59.61/55.28 o 3946 59.61/55.28 o 3942 59.61/55.28 o 3939 59.61/55.28 o 3935 59.61/55.28 o 3927 59.61/55.28 o 3926 59.61/55.28 o 3925 59.61/55.29 o 3922 59.61/55.29 o 3921 59.92/55.50 o 3912 59.92/55.50 o 3910 59.92/55.50 o 3909 59.92/55.50 o 3908 59.92/55.50 o 3907 59.92/55.50 o 3906 59.92/55.51 o 3902 60.02/55.65 o 3901 60.02/55.65 o 3900 60.02/55.69 o 3899 60.02/55.69 o 3895 60.02/55.69 o 3894 60.02/55.69 o 3891 60.02/55.69 o 3890 60.12/55.70 o 3883 60.12/55.70 o 3882 64.07/59.69 o 3881 64.07/59.69 o 3880 64.17/59.72 o 3876 65.98/61.54 o 3874 65.98/61.54 o 3873 65.98/61.54 o 3872 65.98/61.54 o 3871 65.98/61.54 o 3870 66.18/61.71 o 3869 66.18/61.75 o 3868 66.18/61.75 o 3865 66.18/61.76 o 3862 66.18/61.78 o 3858 66.18/61.79 o 3836 67.51/63.01 o 3831 67.51/63.01 o 3828 67.80/63.31 o 3825 86.69/82.07 o 3824 87.09/82.42 o 3823 87.09/82.47 o 3821 87.19/82.52 o 3815 87.90/83.21 o 3814 87.90/83.21 o 3811 88.00/83.35 o 3807 88.00/83.36 o 3805 89.51/84.84 o 3803 89.72/85.02 o 3801 90.51/85.87 o 3798 92.63/87.92 o 3797 93.13/88.47 o 3796 93.13/88.48 o 3794 93.13/88.48 o 3788 93.13/88.48 o 3787 93.13/88.48 o 3785 137.68/132.65 o 3778 137.68/132.65 o 3774 137.68/132.65 o 3771 137.68/132.65 o 3764 137.68/132.65 o 3758 137.68/132.65 o 3756 138.19/133.14 o 3754 138.19/133.15 o 3751 138.19/133.15 o 3748 138.19/133.15 o 3746 138.19/133.17 o 3745 138.19/133.17 o 3735 138.99/133.90 o 3733 138.99/133.92 o 3732 138.99/133.94 o 3730 138.99/133.96 o 3728 139.29/134.23 o 3726 142.91/137.87 o 3725 145.33/140.25 o 3722 145.93/140.86 o 3721 146.14/141.10 o 3716 150.45/145.36 o 3715 150.45/145.36 o 3713 150.55/145.49 o 3712 151.97/146.85 o 3711 152.18/147.05 o 3710 152.37/147.26 o 3707 152.37/147.27 o 3706 152.37/147.27 o 3705 152.87/147.70 o 3703 152.87/147.75 o 3702 152.87/147.76 o 3698 152.87/147.77 o 3696 152.97/147.80 o 3695 152.97/147.80 o 3693 152.97/147.81 o 3692 153.38/148.21 o 3690 153.38/148.21 o 3684 153.38/148.21 o 3683 153.38/148.21 o 3681 153.38/148.21 o 3680 153.38/148.21 o 3678 153.38/148.21 o 3671 153.38/148.22 o 3664 153.38/148.23 o 3661 153.38/148.23 o 3658 153.38/148.23 o 3657 153.38/148.25 o 3655 153.48/148.34 o 3654 153.48/148.36 o 3652 153.48/148.40 o 3651 153.70/148.52 o 3650 153.70/148.53 o 3647 153.70/148.54 o 3644 154.09/148.96 o 3641 154.09/148.96 o 3631 154.09/148.96 o 3628 154.09/148.96 o 3624 154.09/148.99 o 3615 154.09/149.00 o 3612 154.21/149.01 o 3605 154.21/149.02 o 3602 155.32/150.15 o 3601 155.32/150.16 o 3600 155.32/150.16 o 3597 155.32/150.16 o 3596 155.32/150.16 o 3594 155.32/150.17 o 3593 155.32/150.17 o 3591 155.41/150.28 o 3590 155.41/150.28 o 3587 155.41/150.29 o 3585 155.51/150.30 o 3584 155.51/150.30 o 3582 155.51/150.31 o 3581 155.51/150.39 o 3580 155.51/150.39 o 3579 155.51/150.39 o 3573 155.61/150.40 o 3572 155.61/150.40 o 3570 155.61/150.40 o 3569 155.61/150.40 o 3560 155.61/150.40 o 3559 156.02/150.82 o 3556 157.63/152.43 o 3553 157.63/152.43 o 3550 157.63/152.44 o 3548 157.63/152.44 o 3544 157.63/152.44 o 3543 157.63/152.44 o 3538 157.63/152.44 o 3536 157.63/152.45 o 3535 157.63/152.45 o 3530 157.63/152.45 o 3525 157.63/152.46 o 3524 157.63/152.48 o 3523 157.63/152.48 o 3522 157.63/152.50 o 3512 157.74/152.51 o 3510 157.74/152.51 o 3509 157.74/152.57 o 3508 157.74/152.57 o 3503 157.94/152.73 o 3501 157.94/152.73 o 3498 157.94/152.73 o 3495 157.94/152.73 o 3494 160.77/155.50 o 3493 160.77/155.50 o 3492 160.77/155.50 o 3491 160.77/155.50 o 3488 160.77/155.50 o 3486 160.77/155.50 o 3485 160.77/155.50 o 3483 160.77/155.50 o 3481 160.77/155.50 o 3479 160.77/155.50 o 3477 160.77/155.50 o 3475 160.77/155.51 o 3474 160.77/155.51 o 3473 160.77/155.51 o 3471 160.77/155.51 o 3462 160.77/155.51 o 3460 160.77/155.51 o 3458 160.77/155.51 o 3456 184.06/178.62 o 3455 184.26/178.82 o 3454 184.36/178.94 o 3453 185.78/180.34 o 3452 185.78/180.34 o 3451 185.78/180.35 o 3450 185.78/180.35 o 3449 185.78/180.35 o 3448 185.78/180.35 o 3447 186.18/180.71 o 3446 186.18/180.73 o 3445 186.18/180.73 o 3444 187.39/181.92 o 3443 187.70/182.29 o 3440 187.80/182.30 o 3436 187.80/182.30 o 3433 187.90/182.44 o 3432 187.90/182.46 o 3430 187.90/182.46 o 3427 188.00/182.50 o 3426 188.30/182.84 o 3424 188.30/182.84 o 3422 188.30/182.84 o 3419 188.30/182.84 o 3418 188.30/182.84 o 3416 188.30/182.84 o 3414 188.30/182.84 o 3413 188.30/182.87 o 3412 188.30/182.87 o 3411 188.30/182.88 o 3408 188.82/183.30 o 3406 188.82/183.30 o 3405 188.82/183.30 o 3403 190.03/184.50 o 3398 190.03/184.50 o 3388 190.03/184.51 o 3386 190.03/184.51 o 3384 190.03/184.51 o 3381 190.03/184.51 o 3379 190.03/184.51 o 3378 190.03/184.55 o 3377 190.03/184.55 o 3375 190.03/184.57 o 3374 190.03/184.58 o 3370 190.03/184.58 o 3369 190.23/184.71 o 3368 190.23/184.80 o 3365 190.43/184.98 o 3359 190.43/184.99 o 3358 190.43/184.99 o 3357 190.43/184.99 o 3356 190.43/185.00 o 3355 190.54/185.03 o 3352 190.54/185.04 o 3351 190.65/185.17 o 3350 190.84/185.35 o 3335 190.84/185.36 o 3334 190.84/185.37 o 3332 190.84/185.38 o 3326 190.84/185.39 o 3325 191.66/186.12 o 3323 191.66/186.12 o 3322 192.05/186.51 o 3315 192.05/186.51 o 3313 192.05/186.51 o 3306 192.05/186.51 o 3304 192.05/186.52 o 3303 192.05/186.57 o 3302 192.15/186.60 o 3299 192.15/186.60 o 3297 192.25/186.77 o 3293 192.35/186.88 o 3292 193.96/188.42 o 3288 193.96/188.42 o 3283 193.96/188.42 o 3273 193.96/188.42 o 3272 193.96/188.42 o 3261 193.96/188.42 o 3259 193.96/188.42 o 3256 193.96/188.43 o 3249 193.96/188.43 o 3239 193.96/188.43 o 3235 193.96/188.43 o 3230 193.96/188.43 o 3228 193.96/188.44 o 3227 194.27/188.71 o 3225 194.27/188.71 o 3224 194.27/188.71 o 3222 194.58/189.06 o 3198 194.58/189.06 o 3185 194.58/189.06 o 3175 194.58/189.06 o 3168 194.58/189.06 o 3165 194.58/189.07 o 3160 194.58/189.07 o 3158 194.58/189.07 o 3155 194.58/189.07 o 3154 194.58/189.09 o 3148 194.58/189.10 o 3145 194.58/189.10 o 3144 194.68/189.15 o 3140 194.68/189.15 o 3139 194.68/189.15 o 3138 194.98/189.49 o 3137 194.98/189.49 o 3136 195.08/189.50 o 3134 195.08/189.50 o 3133 195.18/189.60 o 3132 212.62/206.92 o 3131 212.62/206.92 o 3129 212.62/206.92 o 3128 212.62/206.93 o 3126 212.62/206.93 o 3125 212.62/206.93 o 3124 212.62/206.93 o 3122 212.62/206.93 o 3121 212.62/206.93 o 3119 212.62/206.93 o 3118 212.62/206.93 o 3115 212.62/206.93 o 3114 213.13/207.49 o 3113 213.24/207.55 o 3109 213.24/207.56 o 3108 213.34/207.68 o 3107 213.34/207.68 o 3106 213.44/207.70 o 3101 213.44/207.70 o 3100 213.64/207.97 o 3097 213.64/207.97 o 3096 214.54/208.81 o 3087 214.54/208.81 o 3086 214.54/208.81 o 3085 214.54/208.81 o 3084 214.54/208.83 o 3074 214.54/208.83 o 3073 214.54/208.83 o 3072 214.54/208.88 o 3071 215.46/209.76 o 3064 215.46/209.76 o 3063 215.46/209.76 o 3055 215.46/209.76 o 3054 215.46/209.77 o 3053 215.46/209.77 o 3052 215.56/209.85 o 3050 215.56/209.85 o 3049 215.56/209.89 o 3045 215.56/209.89 o 3044 217.28/211.51 o 3042 232.60/226.70 o 3041 233.80/227.91 o 3040 233.91/228.02 o 3039 252.06/246.01 s SATISFIABLE 252.06/246.01 v <instantiation> 252.06/246.01 v <list> 252.06/246.01 v c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] 252.06/246.01 v </list> 252.06/246.01 v <values> 252.06/246.01 v 16 115 117 9 9 20 9 108 2 81 10 82 0 2 2 52 112 10 8 14 17 75 23 20 8 22 21 21 1 0 0 6 9 18 14 8 7 10 17 6 77 5 4 3 2 6 71 3 48 6 0 4 1 119 3 10 13 2 75 7 27 7 108 7 54 123 1 5 4 7 8 25 11 9 13 11 16 8 18 17 6 24 11 15 5 4 112 73 4 0 8 0 102 92 7 4 12 97 2 1 2 2 6 1 4 18 25 15 3 19 5 32 101 12 26 12 1 5 3 3 19 95 9 10 13 252.06/246.01 v </values> 252.06/246.01 v </instantiation>
OK 3039
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13115 MiB free)
memory of node 1: 16384 MiB (10727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310112-1534330245/watcher-4310112-1534330245 -o /tmp/evaluation-result-4310112-1534330245/solver-4310112-1534330245 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21541 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 104605539 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310112-1534330245.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22706, runsolver pid=22703
[startup+0.100059 s]*
/proc/loadavg: 1.63 1.62 1.49 4/215 22721
/proc/meminfo: memFree=24397188/32770624 swapFree=67108524/67108860
[pid=22706] ppid=22703 vsize=14082736 memory=31548 CPUtime=0.12 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22703 22706 21510 0 -1 1077944320 6784 0 0 0 11 1 0 0 20 0 15 0 250587743 14420721664 7887 33554432000 4194304 4196468 140732613548192 140732613530736 140486242209527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
/proc/22706/statm: 3520684 7887 3157 1 0 3482761 0
[pid=22706/tid=22708] ppid=22703 vsize=14082736 memory=-6966717417093883519 CPUtime=0.08 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) R 22703 22706 21510 0 -1 4202560 4829 0 0 0 8 0 0 0 20 0 15 0 250587744 14420721664 7887 33554432000 4194304 4196468 140732613548192 140486246409912 140486242231453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22709] ppid=22703 vsize=14082736 memory=5793855888478288313 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22703 22706 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 7887 33554432000 4194304 4196468 140732613548192 140486172298128 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22710] ppid=22703 vsize=14082736 memory=140637468395136 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 7887 33554432000 4194304 4196468 140732613548192 140486171245328 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22711] ppid=22703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 7887 33554432000 4194304 4196468 140732613548192 140486170193040 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22712] ppid=22703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 7887 33554432000 4194304 4196468 140732613548192 140486169140240 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22713] ppid=22703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22703 22706 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250587746 14420721664 7887 33554432000 4194304 4196468 140732613548192 140485154809968 140486242220674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22714] ppid=22703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22703 22706 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250587746 14420721664 7887 33554432000 4194304 4196468 140732613548192 140485153755936 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22715] ppid=22703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22703 22706 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250587747 14420721664 7887 33554432000 4194304 4196468 140732613548192 140485152703600 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22716] ppid=22703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 7887 33554432000 4194304 4196468 140732613548192 140485151651920 140486242228123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22717] ppid=22703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22703 22706 21510 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 7887 33554432000 4194304 4196468 140732613548192 140485150599792 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22718] ppid=22703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 7887 33554432000 4194304 4196468 140732613548192 140485149546992 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22719] ppid=22703 vsize=14082736 memory=140637468395136 CPUtime=0.01 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22703 22706 21510 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 250587749 14420721664 7887 33554432000 4194304 4196468 140732613548192 140485148494704 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22720] ppid=22703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 7887 33554432000 4194304 4196468 140732613548192 140485147442144 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22721] ppid=22703 vsize=14082736 memory=140637468395136 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22721/stat : 22721 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 7887 33554432000 4194304 4196468 140732613548192 140485146388912 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31548 KiB
[startup+0.215166 s]*
/proc/loadavg: 1.63 1.62 1.49 6/215 22721
/proc/meminfo: memFree=24373244/32770624 swapFree=67108524/67108860
[pid=22706] ppid=22703 vsize=14082736 memory=47340 CPUtime=0.31 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22703 22706 21510 0 -1 1077944320 10466 0 0 0 29 2 0 0 20 0 15 0 250587743 14420721664 11835 33554432000 4194304 4196468 140732613548192 140732613530736 140486242209527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
/proc/22706/statm: 3520684 11835 3370 1 0 3482761 0
[pid=22706/tid=22708] ppid=22703 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) R 22703 22706 21510 0 -1 4202560 8175 0 0 0 19 1 0 0 20 0 15 0 250587744 14420721664 11835 33554432000 4194304 4196468 140732613548192 140486246427024 140486226253157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22709] ppid=22703 vsize=14082736 memory=4211974363673185674 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22703 22706 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 11835 33554432000 4194304 4196468 140732613548192 140486172298128 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22710] ppid=22703 vsize=14082736 memory=140637468395136 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 11835 33554432000 4194304 4196468 140732613548192 140486171245328 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22711] ppid=22703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 11835 33554432000 4194304 4196468 140732613548192 140486170193040 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22712] ppid=22703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 11835 33554432000 4194304 4196468 140732613548192 140486169140240 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22713] ppid=22703 vsize=14082736 memory=140637468395136 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22703 22706 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250587746 14420721664 11835 33554432000 4194304 4196468 140732613548192 140485154809968 140486242220674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22714] ppid=22703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22703 22706 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250587746 14420721664 11835 33554432000 4194304 4196468 140732613548192 140485153755936 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22715] ppid=22703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22703 22706 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250587747 14420721664 11835 33554432000 4194304 4196468 140732613548192 140485152703600 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22716] ppid=22703 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 11835 33554432000 4194304 4196468 140732613548192 140485151651920 140486242228123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22717] ppid=22703 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) R 22703 22706 21510 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 15 0 250587749 14420721664 11835 33554432000 4194304 4196468 140732613548192 140485150599792 140486242220674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22718] ppid=22703 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22703 22706 21510 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 15 0 250587749 14420721664 11835 33554432000 4194304 4196468 140732613548192 140485149540016 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22719] ppid=22703 vsize=14082736 memory=140637468395136 CPUtime=0.06 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) R 22703 22706 21510 0 -1 4202560 303 0 0 0 6 0 0 0 20 0 15 0 250587749 14420721664 11835 33554432000 4194304 4196468 140732613548192 140485148494704 140486221125144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22720] ppid=22703 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 11835 33554432000 4194304 4196468 140732613548192 140485147442144 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22721] ppid=22703 vsize=14082736 memory=140637468395136 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22721/stat : 22721 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 11835 33554432000 4194304 4196468 140732613548192 140485146388912 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47340 KiB
[startup+0.310515 s]*
/proc/loadavg: 1.63 1.62 1.49 3/215 22721
/proc/meminfo: memFree=24369544/32770624 swapFree=67108524/67108860
[pid=22706] ppid=22703 vsize=14082736 memory=50932 CPUtime=0.44 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22703 22706 21510 0 -1 1077944320 10814 0 0 0 42 2 0 0 20 0 15 0 250587743 14420721664 12733 33554432000 4194304 4196468 140732613548192 140732613530736 140486242209527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
/proc/22706/statm: 3520684 12733 3414 1 0 3482761 0
[pid=22706/tid=22708] ppid=22703 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) R 22703 22706 21510 0 -1 4202560 8500 0 0 0 28 1 0 0 20 0 15 0 250587744 14420721664 12733 33554432000 4194304 4196468 140732613548192 140486246421040 140486225396336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22709] ppid=22703 vsize=14082736 memory=4211974363673185674 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22703 22706 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 12733 33554432000 4194304 4196468 140732613548192 140486172298128 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22710] ppid=22703 vsize=14082736 memory=140637468397501 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 12733 33554432000 4194304 4196468 140732613548192 140486171245328 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22711] ppid=22703 vsize=14082736 memory=140637362060767 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 12733 33554432000 4194304 4196468 140732613548192 140486170193040 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22712] ppid=22703 vsize=14082736 memory=140637362048463 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14420721664 12733 33554432000 4194304 4196468 140732613548192 140486169140240 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22713] ppid=22703 vsize=14082736 memory=140637468416672 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22703 22706 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250587746 14420721664 12733 33554432000 4194304 4196468 140732613548192 140485154809968 140486242220674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22714] ppid=22703 vsize=14082736 memory=140637362057647 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22703 22706 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250587746 14420721664 12733 33554432000 4194304 4196468 140732613548192 140485153755936 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22715] ppid=22703 vsize=14082736 memory=281274724106128 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22703 22706 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250587747 14420721664 12733 33554432000 4194304 4196468 140732613548192 140485152703600 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22716] ppid=22703 vsize=14082736 memory=281274724103824 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 12733 33554432000 4194304 4196468 140732613548192 140485151651920 140486242228123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22717] ppid=22703 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22703 22706 21510 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 250587749 14420721664 12733 33554432000 4194304 4196468 140732613548192 140485150599792 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22718] ppid=22703 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22703 22706 21510 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 250587749 14420721664 12733 33554432000 4194304 4196468 140732613548192 140485149546992 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22719] ppid=22703 vsize=14082736 memory=140637468395136 CPUtime=0.08 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22703 22706 21510 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 15 0 250587749 14420721664 12733 33554432000 4194304 4196468 140732613548192 140485148494704 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22720] ppid=22703 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 12733 33554432000 4194304 4196468 140732613548192 140485147442144 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22721] ppid=22703 vsize=14082736 memory=140637468395136 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22721/stat : 22721 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587749 14420721664 12733 33554432000 4194304 4196468 140732613548192 140485146388912 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50932 KiB
[startup+0.700743 s]
/proc/loadavg: 1.63 1.62 1.49 3/215 22721
/proc/meminfo: memFree=24345360/32770624 swapFree=67108524/67108860
[pid=22706] ppid=22703 vsize=14084804 memory=88980 CPUtime=0.99 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22703 22706 21510 0 -1 1077944320 17641 0 0 0 94 5 0 0 20 0 15 0 250587743 14422839296 22245 33554432000 4194304 4196468 140732613548192 140732613530736 140486242209527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
/proc/22706/statm: 3521201 22245 3483 1 0 3483273 0
[pid=22706/tid=22708] ppid=22703 vsize=14084804 memory=1120 CPUtime=0.68 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) R 22703 22706 21510 0 -1 4202560 14930 0 0 0 64 4 0 0 20 0 15 0 250587744 14422839296 22245 33554432000 4194304 4196468 140732613548192 140486246415712 140486242231453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22709] ppid=22703 vsize=14084804 memory=6068 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22703 22706 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250587745 14422839296 22245 33554432000 4194304 4196468 140732613548192 140486172298128 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22710] ppid=22703 vsize=14084804 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14422839296 22245 33554432000 4194304 4196468 140732613548192 140486171245328 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22711] ppid=22703 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14422839296 22245 33554432000 4194304 4196468 140732613548192 140486170193040 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22712] ppid=22703 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14422839296 22245 33554432000 4194304 4196468 140732613548192 140486169140240 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22713] ppid=22703 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22703 22706 21510 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250587746 14422839296 22245 33554432000 4194304 4196468 140732613548192 140485154809968 140486242220674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22714] ppid=22703 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22703 22706 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250587746 14422839296 22245 33554432000 4194304 4196468 140732613548192 140485153755936 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22715] ppid=22703 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22703 22706 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250587747 14422839296 22245 33554432000 4194304 4196468 140732613548192 140485152703600 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22716] ppid=22703 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14422839296 22245 33554432000 4194304 4196468 140732613548192 140485151651920 140486242228123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22717] ppid=22703 vsize=14084804 memory=226 CPUtime=0.08 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22703 22706 21510 0 -1 1077944384 523 0 0 0 8 0 0 0 20 0 15 0 250587749 14422839296 22245 33554432000 4194304 4196468 140732613548192 140485150599792 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22718] ppid=22703 vsize=14084804 memory=7 CPUtime=0.06 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22703 22706 21510 0 -1 1077944384 408 0 0 0 6 0 0 0 20 0 15 0 250587749 14422839296 22245 33554432000 4194304 4196468 140732613548192 140485149546992 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22719] ppid=22703 vsize=14084804 memory=710 CPUtime=0.15 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22703 22706 21510 0 -1 1077944384 400 0 0 0 15 0 0 0 20 0 15 0 250587749 14422839296 22245 33554432000 4194304 4196468 140732613548192 140485148494704 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22720] ppid=22703 vsize=14084804 memory=281274724290032 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14422839296 22245 33554432000 4194304 4196468 140732613548192 140485147442144 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22721] ppid=22703 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22721/stat : 22721 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587749 14422839296 22245 33554432000 4194304 4196468 140732613548192 140485146388912 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88980 KiB
[startup+1.50255 s]
/proc/loadavg: 1.63 1.62 1.49 5/215 22721
/proc/meminfo: memFree=24282132/32770624 swapFree=67108524/67108860
[pid=22706] ppid=22703 vsize=14088900 memory=191976 CPUtime=3.49 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22703 22706 21510 0 -1 1077944320 28186 0 0 0 340 9 0 0 20 0 15 0 250587743 14427033600 47994 33554432000 4194304 4196468 140732613548192 140732613530736 140486242209527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
/proc/22706/statm: 3522225 47994 3551 1 0 3484297 0
[pid=22706/tid=22708] ppid=22703 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) R 22703 22706 21510 0 -1 4202560 20769 0 0 0 141 6 0 0 20 0 15 0 250587744 14427033600 47994 33554432000 4194304 4196468 140732613548192 140486246427152 140486242221462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22709] ppid=22703 vsize=14088900 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22703 22706 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250587745 14427033600 47994 33554432000 4194304 4196468 140732613548192 140486172298128 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22710] ppid=22703 vsize=14088900 memory=-6439125508584464995 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14427033600 47994 33554432000 4194304 4196468 140732613548192 140486171245328 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22711] ppid=22703 vsize=14088900 memory=-7377286895820034606 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14427033600 47994 33554432000 4194304 4196468 140732613548192 140486170193040 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22712] ppid=22703 vsize=14088900 memory=4947941548951968640 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22703 22706 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250587745 14427033600 47994 33554432000 4194304 4196468 140732613548192 140486169140240 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22713] ppid=22703 vsize=14088900 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22703 22706 21510 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 250587746 14427033600 47994 33554432000 4194304 4196468 140732613548192 140485154809968 140486242220674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
################
# More data... #
################
/proc/22706/task/22708/stat : 22708 (java) R 22703 22706 21510 0 -1 4202560 26246 0 0 0 10168 9 0 0 20 0 15 0 250587744 14429130752 48328 33554432000 4194304 4196468 140732613548192 140486246447568 140485855505377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22709] ppid=22703 vsize=14090948 memory=56 CPUtime=0.31 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22703 22706 21510 0 -1 1077944384 1344 0 0 0 29 2 0 0 20 0 15 0 250587745 14429130752 48328 33554432000 4194304 4196468 140732613548192 140486172298128 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22710] ppid=22703 vsize=14090948 memory=56 CPUtime=0.31 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22703 22706 21510 0 -1 1077944384 2602 0 0 0 29 2 0 0 20 0 15 0 250587745 14429130752 48328 33554432000 4194304 4196468 140732613548192 140486171245328 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22711] ppid=22703 vsize=14090948 memory=164 CPUtime=0.31 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22703 22706 21510 0 -1 1077944384 1466 0 0 0 29 2 0 0 20 0 15 0 250587745 14429130752 48328 33554432000 4194304 4196468 140732613548192 140486170193040 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22712] ppid=22703 vsize=14090948 memory=281271771851377 CPUtime=0.31 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22703 22706 21510 0 -1 1077944384 2936 0 0 0 29 2 0 0 20 0 15 0 250587745 14429130752 48328 33554432000 4194304 4196468 140732613548192 140486169140240 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22713] ppid=22703 vsize=14090948 memory=3546496869712184180 CPUtime=0.12 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22703 22706 21510 0 -1 1077944384 1599 0 0 0 11 1 0 0 20 0 15 0 250587746 14429130752 48328 33554432000 4194304 4196468 140732613548192 140485154809968 140486242220674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22714] ppid=22703 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22703 22706 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250587746 14429130752 48328 33554432000 4194304 4196468 140732613548192 140485153756000 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22715] ppid=22703 vsize=14090948 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22703 22706 21510 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250587747 14429130752 48328 33554432000 4194304 4196468 140732613548192 140485152703616 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22716] ppid=22703 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14429130752 48328 33554432000 4194304 4196468 140732613548192 140485151651920 140486242228123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22717] ppid=22703 vsize=14090948 memory=644 CPUtime=1.45 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22703 22706 21510 0 -1 1077944384 6321 0 0 0 144 1 0 0 20 0 15 0 250587749 14429130752 48328 33554432000 4194304 4196468 140732613548192 140485150599792 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22718] ppid=22703 vsize=14090948 memory=1932 CPUtime=1.65 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22703 22706 21510 0 -1 1077944384 7163 0 0 0 164 1 0 0 20 0 15 0 250587749 14429130752 48328 33554432000 4194304 4196468 140732613548192 140485149546992 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22719] ppid=22703 vsize=14090948 memory=7288 CPUtime=0.84 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22703 22706 21510 0 -1 1077944384 9915 0 0 0 82 2 0 0 20 0 15 0 250587749 14429130752 48328 33554432000 4194304 4196468 140732613548192 140485148494704 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22720] ppid=22703 vsize=14090948 memory=191452 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14429130752 48328 33554432000 4194304 4196468 140732613548192 140485147442144 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22721] ppid=22703 vsize=14090948 memory=187680 CPUtime=0.03 cores=0,2,4,6
/proc/22706/task/22721/stat : 22721 (java) S 22703 22706 21510 0 -1 1077944384 472 0 0 0 2 1 0 0 20 0 15 0 250587749 14429130752 48328 33554432000 4194304 4196468 140732613548192 140485146388912 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
Current children cumulated CPU time: 107.19 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 193312 KiB
[startup+162.301 s]
/proc/loadavg: 1.34 1.51 1.47 3/215 22723
/proc/meminfo: memFree=23653040/32770624 swapFree=67108524/67108860
[pid=22706] ppid=22703 vsize=14090948 memory=204980 CPUtime=167.65 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22703 22706 21510 0 -1 1077944320 65772 0 0 0 16734 31 0 0 20 0 15 0 250587743 14429130752 51245 33554432000 4194304 4196468 140732613548192 140732613530736 140486242209527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
/proc/22706/statm: 3522737 51245 3582 1 0 3484809 0
[pid=22706/tid=22708] ppid=22703 vsize=14090948 memory=205300 CPUtime=161.48 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) R 22703 22706 21510 0 -1 4202560 27052 0 0 0 16139 9 0 0 20 0 15 0 250587744 14429130752 51245 33554432000 4194304 4196468 140732613548192 140486246447568 140485856014888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22709] ppid=22703 vsize=14090948 memory=205308 CPUtime=0.48 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22703 22706 21510 0 -1 1077944384 1669 0 0 0 44 4 0 0 20 0 15 0 250587745 14429130752 51245 33554432000 4194304 4196468 140732613548192 140486172298128 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22710] ppid=22703 vsize=14090948 memory=205300 CPUtime=0.47 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22703 22706 21510 0 -1 1077944384 3062 0 0 0 44 3 0 0 20 0 15 0 250587745 14429130752 51245 33554432000 4194304 4196468 140732613548192 140486171245328 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22711] ppid=22703 vsize=14090948 memory=205308 CPUtime=0.47 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22703 22706 21510 0 -1 1077944384 1964 0 0 0 44 3 0 0 20 0 15 0 250587745 14429130752 51245 33554432000 4194304 4196468 140732613548192 140486170193040 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22712] ppid=22703 vsize=14090948 memory=204980 CPUtime=0.48 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22703 22706 21510 0 -1 1077944384 4037 0 0 0 45 3 0 0 20 0 15 0 250587745 14429130752 51245 33554432000 4194304 4196468 140732613548192 140486169140240 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22713] ppid=22703 vsize=14090948 memory=164 CPUtime=0.19 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22703 22706 21510 0 -1 1077944384 1859 0 0 0 18 1 0 0 20 0 15 0 250587746 14429130752 51245 33554432000 4194304 4196468 140732613548192 140485154809968 140486242220674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22714] ppid=22703 vsize=14090948 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22703 22706 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250587746 14429130752 51245 33554432000 4194304 4196468 140732613548192 140485153756000 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22715] ppid=22703 vsize=14090948 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22703 22706 21510 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250587747 14429130752 51245 33554432000 4194304 4196468 140732613548192 140485152703616 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22716] ppid=22703 vsize=14090948 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14429130752 51245 33554432000 4194304 4196468 140732613548192 140485151651920 140486242228123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22717] ppid=22703 vsize=14090948 memory=204968 CPUtime=1.45 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22703 22706 21510 0 -1 1077944384 6323 0 0 0 144 1 0 0 20 0 15 0 250587749 14429130752 51245 33554432000 4194304 4196468 140732613548192 140485150599792 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22718] ppid=22703 vsize=14090948 memory=205308 CPUtime=1.65 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22703 22706 21510 0 -1 1077944384 7165 0 0 0 164 1 0 0 20 0 15 0 250587749 14429130752 51245 33554432000 4194304 4196468 140732613548192 140485149546992 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22719] ppid=22703 vsize=14090948 memory=204968 CPUtime=0.84 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22703 22706 21510 0 -1 1077944384 10720 0 0 0 82 2 0 0 20 0 15 0 250587749 14429130752 51245 33554432000 4194304 4196468 140732613548192 140485148494704 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22720] ppid=22703 vsize=14090948 memory=204968 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14429130752 51245 33554432000 4194304 4196468 140732613548192 140485147442144 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22721] ppid=22703 vsize=14090948 memory=204968 CPUtime=0.06 cores=0,2,4,6
/proc/22706/task/22721/stat : 22721 (java) S 22703 22706 21510 0 -1 1077944384 496 0 0 0 3 3 0 0 20 0 15 0 250587749 14429130752 51245 33554432000 4194304 4196468 140732613548192 140485146388912 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
Current children cumulated CPU time: 167.65 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 204980 KiB
[startup+222.301 s]
/proc/loadavg: 1.45 1.50 1.47 3/215 22724
/proc/meminfo: memFree=23684644/32770624 swapFree=67108524/67108860
[pid=22706] ppid=22703 vsize=14090948 memory=220196 CPUtime=228.17 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22703 22706 21510 0 -1 1077944320 68889 0 0 0 22781 36 0 0 20 0 15 0 250587743 14429130752 55049 33554432000 4194304 4196468 140732613548192 140732613530736 140486242209527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
/proc/22706/statm: 3522737 55049 3582 1 0 3484809 0
[pid=22706/tid=22708] ppid=22703 vsize=14090948 memory=220196 CPUtime=221.17 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) R 22703 22706 21510 0 -1 4202560 27721 0 0 0 22108 9 0 0 20 0 15 0 250587744 14429130752 55049 33554432000 4194304 4196468 140732613548192 140486246447680 140485855539899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22709] ppid=22703 vsize=14090948 memory=215948 CPUtime=0.66 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22703 22706 21510 0 -1 1077944384 2002 0 0 0 61 5 0 0 20 0 15 0 250587745 14429130752 55049 33554432000 4194304 4196468 140732613548192 140486172298128 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22710] ppid=22703 vsize=14090948 memory=213892 CPUtime=0.65 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22703 22706 21510 0 -1 1077944384 3203 0 0 0 61 4 0 0 20 0 15 0 250587745 14429130752 55049 33554432000 4194304 4196468 140732613548192 140486171245328 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22711] ppid=22703 vsize=14090948 memory=217996 CPUtime=0.65 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22703 22706 21510 0 -1 1077944384 2166 0 0 0 61 4 0 0 20 0 15 0 250587745 14429130752 55049 33554432000 4194304 4196468 140732613548192 140486170193040 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22712] ppid=22703 vsize=14090948 memory=217996 CPUtime=0.66 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22703 22706 21510 0 -1 1077944384 4870 0 0 0 62 4 0 0 20 0 15 0 250587745 14429130752 55049 33554432000 4194304 4196468 140732613548192 140486169140240 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22713] ppid=22703 vsize=14090948 memory=215940 CPUtime=0.27 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22703 22706 21510 0 -1 1077944384 2108 0 0 0 25 2 0 0 20 0 15 0 250587746 14429130752 55049 33554432000 4194304 4196468 140732613548192 140485154809968 140486242220674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22714] ppid=22703 vsize=14090948 memory=217996 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22703 22706 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250587746 14429130752 55049 33554432000 4194304 4196468 140732613548192 140485153756000 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22715] ppid=22703 vsize=14090948 memory=220196 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22703 22706 21510 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250587747 14429130752 55049 33554432000 4194304 4196468 140732613548192 140485152703616 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22716] ppid=22703 vsize=14090948 memory=220156 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14429130752 55049 33554432000 4194304 4196468 140732613548192 140485151651920 140486242228123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22717] ppid=22703 vsize=14090948 memory=4004 CPUtime=1.46 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22703 22706 21510 0 -1 1077944384 6739 0 0 0 145 1 0 0 20 0 15 0 250587749 14429130752 55049 33554432000 4194304 4196468 140732613548192 140485150599792 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22718] ppid=22703 vsize=14090948 memory=220196 CPUtime=1.65 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22703 22706 21510 0 -1 1077944384 7406 0 0 0 164 1 0 0 20 0 15 0 250587749 14429130752 55049 33554432000 4194304 4196468 140732613548192 140485149546992 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22719] ppid=22703 vsize=14090948 memory=3712 CPUtime=0.84 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22703 22706 21510 0 -1 1077944384 10723 0 0 0 82 2 0 0 20 0 15 0 250587749 14429130752 55049 33554432000 4194304 4196468 140732613548192 140485148494704 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22720] ppid=22703 vsize=14090948 memory=220196 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14429130752 55049 33554432000 4194304 4196468 140732613548192 140485147442144 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22721] ppid=22703 vsize=14090948 memory=3712 CPUtime=0.08 cores=0,2,4,6
/proc/22706/task/22721/stat : 22721 (java) S 22703 22706 21510 0 -1 1077944384 526 0 0 0 4 4 0 0 20 0 15 0 250587749 14429130752 55049 33554432000 4194304 4196468 140732613548192 140485146388912 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
Current children cumulated CPU time: 228.17 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 220196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+246.001 s]*
/proc/loadavg: 1.47 1.49 1.47 6/215 22802
/proc/meminfo: memFree=24340824/32770624 swapFree=67108524/67108860
[pid=22706] ppid=22703 vsize=14090948 memory=224292 CPUtime=252.06 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22703 22706 21510 0 -1 1077944320 70198 0 0 0 25168 38 0 0 20 0 15 0 250587743 14429130752 56073 33554432000 4194304 4196468 140732613548192 140732613530736 140486242209527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
/proc/22706/statm: 3522737 56073 3582 1 0 3484809 0
[pid=22706/tid=22708] ppid=22703 vsize=14090948 memory=6791534058613427641 CPUtime=244.77 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) R 22703 22706 21510 0 -1 4202560 27921 0 0 0 24468 9 0 0 20 0 15 0 250587744 14429130752 56073 33554432000 4194304 4196468 140732613548192 140486246447680 140485855539899 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22709] ppid=22703 vsize=14090948 memory=-7003737579269690708 CPUtime=0.72 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22703 22706 21510 0 -1 1077944384 2158 0 0 0 67 5 0 0 20 0 15 0 250587745 14429130752 56073 33554432000 4194304 4196468 140732613548192 140486172298128 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22710] ppid=22703 vsize=14090948 memory=6944656591801720471 CPUtime=0.71 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22703 22706 21510 0 -1 1077944384 3412 0 0 0 67 4 0 0 20 0 15 0 250587745 14429130752 56073 33554432000 4194304 4196468 140732613548192 140486171245328 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22711] ppid=22703 vsize=14090948 memory=33 CPUtime=0.71 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22703 22706 21510 0 -1 1077944384 2319 0 0 0 67 4 0 0 20 0 15 0 250587745 14429130752 56073 33554432000 4194304 4196468 140732613548192 140486170193040 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22712] ppid=22703 vsize=14090948 memory=5932175786063073668 CPUtime=0.72 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22703 22706 21510 0 -1 1077944384 4970 0 0 0 68 4 0 0 20 0 15 0 250587745 14429130752 56073 33554432000 4194304 4196468 140732613548192 140486169140240 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22713] ppid=22703 vsize=14090948 memory=6656426216303648864 CPUtime=0.29 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22703 22706 21510 0 -1 1077944384 2111 0 0 0 27 2 0 0 20 0 15 0 250587746 14429130752 56073 33554432000 4194304 4196468 140732613548192 140485154809968 140486242220674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22714] ppid=22703 vsize=14090948 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22703 22706 21510 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250587746 14429130752 56073 33554432000 4194304 4196468 140732613548192 140485153756000 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22715] ppid=22703 vsize=14090948 memory=4137282616176187523 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22703 22706 21510 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250587747 14429130752 56073 33554432000 4194304 4196468 140732613548192 140485152703616 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22716] ppid=22703 vsize=14090948 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14429130752 56073 33554432000 4194304 4196468 140732613548192 140485151651920 140486242228123 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22717] ppid=22703 vsize=14090948 memory=288230596050944315 CPUtime=1.46 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22703 22706 21510 0 -1 1077944384 6739 0 0 0 145 1 0 0 20 0 15 0 250587749 14429130752 56073 33554432000 4194304 4196468 140732613548192 140485150599792 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22718] ppid=22703 vsize=14090948 memory=15258134151170443 CPUtime=1.65 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22703 22706 21510 0 -1 1077944384 7551 0 0 0 164 1 0 0 20 0 15 0 250587749 14429130752 56073 33554432000 4194304 4196468 140732613548192 140485149546992 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22719] ppid=22703 vsize=14090948 memory=224292 CPUtime=0.84 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22703 22706 21510 0 -1 1077944384 11057 0 0 0 82 2 0 0 20 0 15 0 250587749 14429130752 56073 33554432000 4194304 4196468 140732613548192 140485148494704 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22720] ppid=22703 vsize=14090948 memory=924 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22703 22706 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250587749 14429130752 56073 33554432000 4194304 4196468 140732613548192 140485147442144 140486242219733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
[pid=22706/tid=22721] ppid=22703 vsize=14090948 memory=1576 CPUtime=0.1 cores=0,2,4,6
/proc/22706/task/22721/stat : 22721 (java) S 22703 22706 21510 0 -1 1077944384 535 0 0 0 5 5 0 0 20 0 15 0 250587749 14429130752 56073 33554432000 4194304 4196468 140732613548192 140485146388912 140486242220674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33308672 140732613555279 140732613555470 140732613555470 140732613558223 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 224292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+246.037 s]
# the end of solver process 22706 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.7 s, system=0.394539 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 246.037
CPU time (s): 252.095
CPU user time (s): 251.7
CPU system time (s): 0.394539
CPU usage (%): 102.462
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 284204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.7
system time used= 0.394539
maximum resident set size= 284204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14834
involuntary context switches= 653
# summary of solver processes directly reported to runsolver:
# pid: 22706
# total CPU time (s): 252.095
# total CPU user time (s): 251.7
# total CPU system time (s): 0.394539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45608 second user time and 2.4481 second system time
The end
Begin job on node107 at 2018-08-15 12:50:45 IDJOB=4310112 IDBENCH=141223 IDSOLVER=2795 FILE ID=node107/4310112-1534330245 RUNJOBID= node107-1534328516-21541 PBS_JOBID= 21038151 Free space on /tmp= 42256 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-5_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310112-1534330245/watcher-4310112-1534330245 -o /tmp/evaluation-result-4310112-1534330245/solver-4310112-1534330245 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21541 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 104605539 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310112-1534330245.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 08115146c0ac9b7e4849c5cb62d96e41 RANDOM SEED=104605539 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24415408 kB MemAvailable: 31648964 kB Buffers: 211240 kB Cached: 7250572 kB SwapCached: 20 kB Active: 4242024 kB Inactive: 3523404 kB Active(anon): 252572 kB Inactive(anon): 111372 kB Active(file): 3989452 kB Inactive(file): 3412032 kB Unevictable: 6980 kB Mlocked: 6980 kB SwapTotal: 67108860 kB SwapFree: 67108524 kB Dirty: 38848 kB Writeback: 0 kB AnonPages: 294160 kB Mapped: 68248 kB Shmem: 57824 kB Slab: 289164 kB SReclaimable: 260532 kB SUnreclaim: 28632 kB KernelStack: 3792 kB PageTables: 6124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1464488 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 42220 MiB End job on node107 at 2018-08-15 12:54:52