Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-08-17 | SAT | 1003 | 251.854 | 247.366 |
Name | SumColoring/ SumColoring-dsjc-125-1_c18.xml |
MD5SUM | e8035d4b0abecbc1a78dd1ff35d13fe4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 233 |
Best CPU time to get the best result obtained on this benchmark | 252.035 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 125 |
Number of constraints | 736 |
Number of domains | 1 |
Minimum domain size | 125 |
Maximum domain size | 125 |
Distribution of domain sizes | [{"size":125,"count":125}] |
Minimum variable degree | 6 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":6,"count":1},{"degree":7,"count":3},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":12},{"degree":11,"count":16},{"degree":12,"count":12},{"degree":13,"count":16},{"degree":14,"count":15},{"degree":15,"count":7},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":4},{"degree":20,"count":3},{"degree":24,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":736}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 736 |
Distribution of constraint types | [{"type":"intension","count":736}] |
Optimization problem | YES |
Type of objective | min SUM |
0.68/0.56 c version: 2018-08-17 0.68/0.56 c seed: 414218054 0.68/0.56 c timeout: 252 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 1 0.68/0.58 c Parsing instance... 2.10/1.25 c Parsing done, starting search... 2.37/1.30 o 8168 2.37/1.32 o 8118 2.37/1.32 o 8110 2.37/1.32 o 8107 2.37/1.32 o 8106 2.37/1.32 o 8098 2.37/1.32 o 8097 2.37/1.32 o 8096 2.37/1.33 o 8092 2.37/1.33 o 8083 2.37/1.33 o 8064 2.37/1.33 o 8061 2.37/1.33 o 8059 2.37/1.33 o 8056 2.37/1.33 o 8049 2.37/1.33 o 8047 2.37/1.33 o 8045 2.37/1.33 o 8044 2.37/1.33 o 8037 2.37/1.34 o 8036 2.37/1.34 o 8032 2.37/1.34 o 8031 2.37/1.34 o 8029 2.37/1.34 o 8025 2.37/1.34 o 8024 2.37/1.34 o 8018 2.37/1.34 o 8017 2.37/1.34 o 8004 2.37/1.34 o 8003 2.37/1.34 o 8002 2.37/1.34 o 7999 2.37/1.34 o 7997 2.37/1.34 o 7940 2.37/1.34 o 7938 2.37/1.34 o 7928 2.37/1.34 o 7926 2.37/1.34 o 7924 2.37/1.34 o 7849 2.37/1.34 o 7848 2.37/1.34 o 7846 2.37/1.34 o 7844 2.37/1.35 o 7842 2.37/1.35 o 7841 2.37/1.35 o 7808 2.37/1.35 o 7788 2.37/1.35 o 7776 2.37/1.35 o 7773 2.37/1.35 o 7772 2.37/1.35 o 7771 2.37/1.35 o 7770 2.37/1.35 o 7769 2.37/1.35 o 7738 2.37/1.35 o 7733 2.37/1.35 o 7729 2.37/1.35 o 7724 2.37/1.35 o 7723 2.37/1.35 o 7721 2.37/1.35 o 7720 2.37/1.35 o 7718 2.37/1.35 o 7717 2.37/1.35 o 7709 2.37/1.35 o 7704 2.37/1.35 o 7703 2.37/1.36 o 7701 2.37/1.36 o 7697 2.37/1.36 o 7696 2.37/1.36 o 7669 2.37/1.36 o 7665 2.37/1.36 o 7664 2.37/1.36 o 7623 2.37/1.36 o 7622 2.37/1.36 o 7621 2.37/1.36 o 7619 2.37/1.36 o 7618 2.37/1.36 o 7616 2.37/1.36 o 7614 2.37/1.36 o 7612 2.37/1.36 o 7611 2.37/1.36 o 7572 2.37/1.37 o 7569 2.37/1.37 o 7568 2.37/1.37 o 7567 2.37/1.37 o 7566 2.37/1.37 o 7550 2.37/1.37 o 7523 2.37/1.37 o 7518 2.37/1.37 o 7515 2.37/1.37 o 7512 2.37/1.37 o 7511 2.37/1.37 o 7510 2.37/1.37 o 7481 2.37/1.38 o 7480 2.37/1.38 o 7479 2.37/1.38 o 7478 2.37/1.38 o 7477 2.37/1.38 o 7476 2.37/1.38 o 7475 2.37/1.38 o 7470 2.37/1.38 o 7467 2.37/1.38 o 7466 2.37/1.38 o 7442 2.37/1.38 o 7441 2.37/1.39 o 7438 2.37/1.39 o 7437 2.37/1.39 o 7436 2.37/1.39 o 7435 2.37/1.39 o 7420 2.37/1.39 o 7411 2.37/1.39 o 7402 2.37/1.39 o 7400 2.37/1.39 o 7398 2.37/1.39 o 7396 2.37/1.39 o 7395 2.37/1.39 o 7393 2.37/1.39 o 7391 2.37/1.39 o 7389 2.37/1.39 o 7384 2.37/1.39 o 7376 2.37/1.39 o 7371 2.37/1.39 o 7370 2.37/1.39 o 7368 2.37/1.39 o 7367 2.37/1.39 o 7364 2.37/1.39 o 7363 2.37/1.39 o 7362 2.72/1.40 o 7361 2.72/1.40 o 7360 2.72/1.40 o 7350 2.72/1.40 o 7349 2.72/1.40 o 7332 2.72/1.40 o 7319 2.72/1.40 o 7315 2.72/1.40 o 7313 2.72/1.40 o 7305 2.72/1.40 o 7304 2.72/1.40 o 7300 2.72/1.40 o 7299 2.72/1.40 o 7286 2.72/1.40 o 7283 2.72/1.40 o 7280 2.72/1.40 o 7272 2.72/1.40 o 7271 2.72/1.40 o 7270 2.72/1.40 o 7269 2.72/1.40 o 7268 2.72/1.40 o 7267 2.72/1.40 o 7266 2.72/1.41 o 7265 2.72/1.41 o 7264 2.72/1.41 o 7235 2.72/1.41 o 7232 2.72/1.41 o 7231 2.72/1.41 o 7227 2.72/1.41 o 7219 2.72/1.41 o 7213 2.72/1.41 o 7212 2.72/1.41 o 7211 2.72/1.41 o 7210 2.72/1.41 o 7209 2.72/1.41 o 7197 2.72/1.41 o 7196 2.72/1.41 o 7181 2.72/1.41 o 7179 2.72/1.42 o 7176 2.72/1.42 o 7175 2.72/1.42 o 7168 2.72/1.42 o 7167 2.72/1.42 o 7166 2.72/1.42 o 7165 2.72/1.42 o 7164 2.72/1.42 o 7163 2.72/1.42 o 7162 2.72/1.42 o 7161 2.72/1.42 o 7160 2.72/1.42 o 7159 2.72/1.42 o 7158 2.72/1.42 o 7157 2.72/1.42 o 7156 2.72/1.42 o 7154 2.72/1.42 o 7153 2.72/1.42 o 7148 2.72/1.42 o 7147 2.72/1.42 o 7109 2.72/1.42 o 7108 2.72/1.42 o 7096 2.72/1.43 o 7095 2.72/1.43 o 7079 2.72/1.43 o 7078 2.72/1.43 o 7076 2.72/1.43 o 7075 2.72/1.43 o 7074 2.72/1.43 o 7072 2.72/1.43 o 7071 2.72/1.43 o 7069 2.72/1.43 o 7068 2.72/1.43 o 7067 2.72/1.43 o 7066 2.72/1.43 o 7065 2.72/1.43 o 7064 2.72/1.43 o 7063 2.72/1.43 o 7060 2.72/1.43 o 7059 2.72/1.43 o 7057 2.72/1.43 o 7056 2.72/1.43 o 7055 2.72/1.43 o 7054 2.72/1.44 o 7053 2.72/1.44 o 7052 2.72/1.44 o 7051 2.72/1.44 o 7050 2.72/1.44 o 7049 2.72/1.44 o 7048 2.72/1.44 o 7047 2.72/1.44 o 7046 2.72/1.44 o 7045 2.72/1.45 o 7041 2.72/1.45 o 7040 2.72/1.45 o 7039 2.72/1.45 o 7038 2.72/1.45 o 7037 2.72/1.45 o 7034 2.72/1.45 o 7033 2.72/1.45 o 7032 2.72/1.45 o 7031 2.72/1.45 o 7030 2.72/1.45 o 7029 2.72/1.46 o 7026 2.72/1.46 o 7025 2.72/1.46 o 7024 2.72/1.46 o 7023 2.72/1.46 o 7022 2.72/1.46 o 7021 2.72/1.46 o 7020 2.72/1.47 o 7019 2.72/1.47 o 7013 2.72/1.47 o 7011 2.72/1.47 o 7010 2.72/1.47 o 7007 2.72/1.47 o 7006 2.72/1.47 o 7005 2.72/1.47 o 7004 2.72/1.47 o 7003 2.72/1.47 o 6952 2.72/1.47 o 6951 2.72/1.47 o 6924 2.72/1.47 o 6923 2.72/1.47 o 6910 2.72/1.47 o 6909 2.72/1.47 o 6906 2.72/1.47 o 6905 2.72/1.47 o 6904 2.72/1.47 o 6903 2.72/1.47 o 6902 2.72/1.47 o 6901 2.72/1.49 o 6900 2.72/1.49 o 6899 2.72/1.49 o 6895 2.72/1.49 o 6894 2.72/1.49 o 6892 2.72/1.49 o 6891 2.72/1.49 o 6888 2.72/1.49 o 6887 2.72/1.49 o 6886 2.72/1.49 o 6884 2.72/1.49 o 6880 2.72/1.49 o 6872 2.72/1.49 o 6847 2.72/1.49 o 6843 2.72/1.49 o 6834 2.72/1.49 o 6831 2.72/1.49 o 6830 2.72/1.49 o 6827 2.72/1.49 o 6825 2.72/1.49 o 6822 2.72/1.49 o 6821 2.72/1.49 o 6820 2.72/1.49 o 6819 2.72/1.49 o 6818 2.72/1.49 o 6817 2.72/1.50 o 6815 3.07/1.50 o 6813 3.07/1.50 o 6812 3.07/1.50 o 6806 3.07/1.50 o 6805 3.07/1.50 o 6800 3.07/1.50 o 6799 3.07/1.50 o 6798 3.07/1.50 o 6792 3.07/1.50 o 6791 3.07/1.50 o 6790 3.07/1.50 o 6789 3.07/1.50 o 6786 3.07/1.50 o 6785 3.07/1.51 o 6784 3.07/1.51 o 6783 3.07/1.51 o 6782 3.07/1.51 o 6781 3.07/1.52 o 6780 3.07/1.52 o 6777 3.07/1.52 o 6775 3.07/1.52 o 6774 3.07/1.52 o 6773 3.07/1.52 o 6772 3.07/1.52 o 6771 3.07/1.52 o 6770 3.07/1.52 o 6769 3.07/1.52 o 6768 3.07/1.52 o 6753 3.07/1.52 o 6752 3.07/1.52 o 6751 3.07/1.52 o 6750 3.07/1.52 o 6746 3.07/1.52 o 6735 3.07/1.53 o 6734 3.07/1.53 o 6728 3.07/1.53 o 6727 3.07/1.53 o 6726 3.07/1.53 o 6725 3.07/1.53 o 6724 3.07/1.53 o 6722 3.07/1.53 o 6720 3.07/1.53 o 6719 3.07/1.53 o 6718 3.07/1.53 o 6716 3.07/1.53 o 6714 3.07/1.53 o 6680 3.07/1.53 o 6679 3.07/1.53 o 6678 3.07/1.53 o 6676 3.07/1.53 o 6675 3.07/1.53 o 6674 3.07/1.54 o 6673 3.07/1.56 o 6672 3.07/1.56 o 6671 3.07/1.56 o 6669 3.07/1.56 o 6664 3.07/1.56 o 6662 3.07/1.56 o 6661 3.07/1.56 o 6659 3.07/1.56 o 6655 3.07/1.57 o 6653 3.07/1.57 o 6652 3.07/1.57 o 6651 3.07/1.57 o 6650 3.07/1.57 o 6649 3.07/1.57 o 6648 3.07/1.57 o 6647 3.36/1.61 o 6646 3.36/1.61 o 6645 3.36/1.64 o 6644 3.36/1.64 o 6643 3.36/1.64 o 6640 3.36/1.64 o 6635 3.36/1.64 o 6632 3.36/1.64 o 6631 3.36/1.64 o 6630 3.36/1.64 o 6629 3.36/1.64 o 6626 3.36/1.64 o 6623 3.36/1.64 o 6622 3.36/1.64 o 6621 3.36/1.64 o 6620 3.36/1.64 o 6619 3.36/1.64 o 6618 3.36/1.64 o 6617 3.36/1.64 o 6616 3.36/1.65 o 6615 3.66/1.73 o 6614 3.66/1.73 o 6613 3.66/1.74 o 6612 3.66/1.74 o 6611 3.66/1.74 o 6610 3.66/1.74 o 6609 3.66/1.74 o 6608 3.66/1.74 o 6607 3.66/1.74 o 6606 3.66/1.74 o 6605 3.66/1.74 o 6603 3.66/1.74 o 6602 3.66/1.75 o 6601 3.66/1.76 o 6600 3.66/1.76 o 6599 3.95/1.81 o 6598 3.95/1.81 o 6597 3.95/1.81 o 6595 3.95/1.81 o 6594 3.95/1.81 o 6593 3.95/1.81 o 6590 3.95/1.81 o 6588 3.95/1.81 o 6586 3.95/1.81 o 6585 3.95/1.81 o 6584 3.95/1.81 o 6567 3.95/1.81 o 6566 3.95/1.81 o 6565 3.95/1.81 o 6564 3.95/1.81 o 6533 3.95/1.81 o 6532 3.95/1.81 o 6531 3.95/1.81 o 6498 3.95/1.81 o 6497 3.95/1.81 o 6496 3.95/1.81 o 6495 3.95/1.81 o 6492 3.95/1.81 o 6491 3.95/1.81 o 6489 3.95/1.81 o 6488 3.95/1.81 o 6487 3.95/1.81 o 6486 3.95/1.81 o 6485 3.95/1.83 o 6484 3.95/1.83 o 6483 3.95/1.88 o 6482 3.95/1.89 o 6481 3.95/1.89 o 6480 4.16/2.00 o 6479 4.16/2.00 o 6478 4.16/2.00 o 6469 4.16/2.00 o 6468 4.16/2.00 o 6466 4.16/2.00 o 6464 4.16/2.00 o 6463 4.16/2.00 o 6462 4.16/2.00 o 6461 4.16/2.00 o 6460 4.16/2.00 o 6459 4.16/2.00 o 6458 4.16/2.00 o 6429 4.16/2.00 o 6428 4.16/2.00 o 6426 4.16/2.00 o 6425 4.16/2.00 o 6421 4.16/2.00 o 6420 4.16/2.00 o 6417 4.16/2.01 o 6416 4.16/2.01 o 6411 4.16/2.01 o 6410 4.16/2.01 o 6409 4.29/2.01 o 6408 4.29/2.01 o 6407 4.29/2.01 o 6406 4.29/2.02 o 6405 4.29/2.02 o 6404 4.29/2.03 o 6403 4.29/2.07 o 6402 4.29/2.09 o 6398 4.29/2.09 o 6396 4.29/2.09 o 6390 4.29/2.09 o 6389 4.29/2.09 o 6388 4.29/2.09 o 6382 4.29/2.10 o 6381 4.29/2.10 o 6380 4.29/2.10 o 6379 4.29/2.10 o 6378 4.29/2.10 o 6377 4.29/2.10 o 6376 4.29/2.10 o 6375 4.29/2.10 o 6374 4.29/2.10 o 6373 4.29/2.10 o 6372 4.29/2.10 o 6371 4.29/2.10 o 6321 4.29/2.10 o 6320 4.29/2.10 o 6319 4.29/2.10 o 6318 4.29/2.10 o 6317 4.29/2.10 o 6316 4.29/2.10 o 6315 4.29/2.10 o 6314 4.29/2.10 o 6310 4.29/2.10 o 6309 4.29/2.10 o 6308 4.29/2.10 o 6307 4.29/2.10 o 6306 4.45/2.19 o 6305 4.64/2.21 o 6304 4.64/2.26 o 6303 4.75/2.31 o 6301 4.75/2.31 o 6300 4.75/2.31 o 6296 4.75/2.31 o 6295 4.75/2.31 o 6293 4.75/2.31 o 6292 4.75/2.31 o 6291 4.75/2.31 o 6290 4.75/2.31 o 6289 4.75/2.31 o 6286 4.75/2.31 o 6285 4.75/2.32 o 6284 4.75/2.32 o 6283 4.75/2.32 o 6262 4.75/2.32 o 6261 4.75/2.32 o 6234 4.75/2.32 o 6233 4.75/2.32 o 6225 4.75/2.32 o 6224 4.75/2.32 o 6223 4.75/2.32 o 6216 4.75/2.32 o 6215 4.75/2.32 o 6214 4.75/2.32 o 6211 4.75/2.32 o 6210 4.75/2.32 o 6209 4.75/2.32 o 6207 4.75/2.32 o 6206 4.75/2.32 o 6205 4.75/2.32 o 6204 4.75/2.32 o 6203 4.75/2.36 o 6202 4.85/2.47 o 6200 4.85/2.47 o 6195 4.85/2.47 o 6191 4.85/2.47 o 6188 4.85/2.47 o 6185 4.85/2.47 o 6172 4.85/2.47 o 6170 4.85/2.47 o 6168 4.85/2.47 o 6166 4.85/2.47 o 6165 4.85/2.47 o 6148 4.85/2.47 o 6107 4.85/2.47 o 6105 4.85/2.47 o 6104 4.85/2.47 o 6103 4.85/2.47 o 6102 4.85/2.49 o 6101 4.97/2.56 o 6100 4.97/2.56 o 6099 5.08/2.64 o 6097 5.08/2.64 o 6096 5.08/2.64 o 6095 5.08/2.64 o 6094 5.08/2.64 o 6093 5.08/2.64 o 6092 5.08/2.64 o 6091 5.08/2.64 o 6086 5.08/2.64 o 6085 5.08/2.64 o 6067 5.08/2.64 o 6066 5.08/2.64 o 6057 5.08/2.64 o 6056 5.08/2.64 o 6055 5.08/2.64 o 6054 5.08/2.64 o 6053 5.08/2.64 o 6052 5.08/2.64 o 6047 5.08/2.64 o 6046 5.08/2.64 o 6045 5.08/2.64 o 6044 5.08/2.64 o 6043 5.08/2.64 o 6042 5.08/2.64 o 6040 5.08/2.64 o 6037 5.08/2.64 o 6036 5.08/2.64 o 6035 5.08/2.64 o 6034 5.08/2.64 o 6033 5.08/2.64 o 6032 5.08/2.64 o 6031 5.08/2.64 o 6030 5.08/2.64 o 6029 5.08/2.69 o 6028 5.08/2.69 o 6027 5.18/2.73 o 6026 5.28/2.81 o 6025 5.28/2.81 o 6024 5.28/2.82 o 6023 5.28/2.82 o 6022 5.28/2.85 o 6021 5.28/2.86 o 6020 5.39/2.91 o 6019 5.51/3.07 o 6018 5.51/3.10 o 6017 5.51/3.10 o 6016 5.51/3.10 o 6015 5.51/3.10 o 6014 5.51/3.10 o 6013 5.51/3.10 o 6012 5.51/3.10 o 6011 5.51/3.10 o 6010 5.51/3.10 o 6008 5.51/3.10 o 6007 5.51/3.10 o 6006 5.51/3.10 o 6005 5.51/3.10 o 6004 5.51/3.10 o 5986 5.51/3.10 o 5985 5.51/3.10 o 5984 5.51/3.10 o 5983 5.51/3.10 o 5982 5.61/3.11 o 5981 5.61/3.14 o 5980 5.61/3.16 o 5979 5.61/3.19 o 5978 5.70/3.22 o 5977 5.70/3.22 o 5976 5.70/3.23 o 5975 6.11/3.62 o 5974 6.11/3.62 o 5973 6.11/3.62 o 5972 6.11/3.62 o 5971 6.11/3.62 o 5970 6.11/3.62 o 5969 6.11/3.62 o 5968 6.11/3.62 o 5967 6.11/3.63 o 5966 6.11/3.63 o 5965 6.11/3.63 o 5964 6.11/3.63 o 5963 6.11/3.63 o 5961 6.11/3.63 o 5960 6.11/3.63 o 5958 6.11/3.63 o 5957 6.11/3.63 o 5956 6.11/3.63 o 5955 6.11/3.63 o 5954 6.11/3.63 o 5953 6.11/3.63 o 5952 6.11/3.63 o 5951 6.11/3.63 o 5950 6.11/3.63 o 5949 6.11/3.63 o 5948 6.11/3.64 o 5947 6.11/3.64 o 5945 6.11/3.66 o 5944 6.11/3.66 o 5943 6.11/3.66 o 5942 6.11/3.66 o 5941 6.11/3.66 o 5940 6.11/3.66 o 5939 6.11/3.66 o 5938 6.11/3.66 o 5937 6.11/3.66 o 5936 6.11/3.66 o 5935 6.11/3.66 o 5934 6.11/3.66 o 5933 6.11/3.66 o 5932 6.11/3.66 o 5931 6.11/3.66 o 5930 6.11/3.66 o 5929 6.11/3.66 o 5928 6.11/3.66 o 5927 6.11/3.66 o 5926 6.11/3.66 o 5925 6.11/3.66 o 5924 6.11/3.67 o 5923 6.11/3.67 o 5922 6.11/3.68 o 5921 6.11/3.69 o 5920 6.22/3.78 o 5919 6.67/4.10 o 5918 7.19/4.52 o 5917 7.19/4.52 o 5916 7.40/4.76 o 5915 8.02/5.36 o 5914 8.12/5.42 o 5913 8.52/5.87 o 5912 8.52/5.87 o 5911 8.52/5.87 o 5909 8.52/5.87 o 5908 8.52/5.87 o 5907 8.52/5.87 o 5906 8.52/5.87 o 5905 8.52/5.87 o 5903 8.52/5.87 o 5902 8.52/5.87 o 5898 8.52/5.87 o 5897 8.52/5.87 o 5896 8.52/5.87 o 5895 8.52/5.87 o 5894 8.52/5.87 o 5888 8.52/5.87 o 5887 8.52/5.87 o 5880 8.52/5.87 o 5879 8.52/5.87 o 5878 8.52/5.87 o 5861 8.52/5.87 o 5860 8.52/5.87 o 5859 8.52/5.87 o 5858 8.52/5.87 o 5857 8.52/5.87 o 5853 8.52/5.87 o 5852 8.52/5.87 o 5851 8.52/5.87 o 5850 8.52/5.87 o 5836 8.52/5.87 o 5835 8.52/5.87 o 5816 8.52/5.87 o 5805 8.52/5.87 o 5803 8.52/5.87 o 5802 8.52/5.87 o 5801 8.52/5.87 o 5800 8.52/5.87 o 5799 8.52/5.87 o 5798 8.52/5.88 o 5797 8.64/5.92 o 5796 9.54/6.80 o 5795 10.24/7.51 o 5794 10.24/7.51 o 5793 10.24/7.51 o 5792 10.24/7.51 o 5791 10.24/7.52 o 5790 10.24/7.52 o 5789 10.24/7.52 o 5788 10.24/7.52 o 5787 10.24/7.52 o 5786 10.24/7.52 o 5785 10.24/7.52 o 5784 10.24/7.52 o 5783 10.24/7.52 o 5782 10.24/7.52 o 5781 10.24/7.52 o 5780 10.24/7.52 o 5779 10.24/7.53 o 5778 10.24/7.53 o 5777 10.24/7.53 o 5776 10.24/7.54 o 5775 10.34/7.67 o 5774 10.34/7.67 o 5773 11.55/8.81 o 5772 11.55/8.82 o 5771 11.55/8.82 o 5770 11.55/8.82 o 5769 11.55/8.82 o 5768 11.55/8.82 o 5767 11.55/8.84 o 5766 11.55/8.85 o 5765 11.55/8.85 o 5764 11.55/8.85 o 5763 11.55/8.85 o 5762 11.55/8.85 o 5761 11.55/8.85 o 5760 11.55/8.85 o 5759 11.55/8.85 o 5757 11.55/8.85 o 5756 11.55/8.86 o 5755 11.86/9.13 o 5754 12.86/10.11 o 5753 12.86/10.11 o 5751 12.86/10.11 o 5750 12.86/10.11 o 5749 12.86/10.11 o 5748 12.86/10.11 o 5746 12.86/10.11 o 5745 12.86/10.11 o 5744 12.86/10.11 o 5743 12.86/10.11 o 5742 12.86/10.11 o 5741 12.86/10.11 o 5740 12.86/10.11 o 5739 12.86/10.11 o 5738 12.86/10.11 o 5737 12.86/10.11 o 5729 12.86/10.11 o 5726 12.86/10.12 o 5712 12.86/10.12 o 5711 12.86/10.12 o 5710 12.86/10.12 o 5709 12.86/10.12 o 5708 12.86/10.12 o 5707 12.86/10.12 o 5695 12.86/10.12 o 5692 12.86/10.12 o 5690 12.86/10.12 o 5689 12.86/10.12 o 5688 12.86/10.12 o 5687 12.86/10.12 o 5686 12.86/10.12 o 5685 12.86/10.12 o 5681 12.86/10.12 o 5680 12.86/10.12 o 5679 12.86/10.12 o 5677 12.86/10.12 o 5676 12.86/10.12 o 5675 12.86/10.12 o 5655 12.86/10.12 o 5654 12.86/10.12 o 5653 12.86/10.12 o 5652 12.86/10.12 o 5651 12.86/10.14 o 5650 12.86/10.14 o 5649 13.67/10.98 o 5648 13.78/11.06 o 5647 13.78/11.06 o 5646 13.78/11.06 o 5645 13.78/11.06 o 5644 13.78/11.06 o 5643 13.78/11.06 o 5642 13.78/11.06 o 5641 13.78/11.06 o 5640 13.78/11.06 o 5639 13.78/11.06 o 5637 13.78/11.06 o 5636 13.78/11.06 o 5635 13.78/11.06 o 5634 13.78/11.06 o 5633 13.78/11.06 o 5632 13.78/11.06 o 5630 13.78/11.06 o 5619 13.78/11.06 o 5614 13.78/11.06 o 5612 13.78/11.06 o 5609 13.78/11.06 o 5607 13.78/11.06 o 5606 13.78/11.07 o 5605 13.78/11.07 o 5566 13.78/11.07 o 5565 13.78/11.07 o 5550 13.78/11.07 o 5549 13.78/11.07 o 5547 13.78/11.07 o 5546 13.78/11.07 o 5545 13.78/11.07 o 5544 13.78/11.07 o 5542 13.78/11.07 o 5541 13.78/11.07 o 5540 13.78/11.07 o 5539 13.78/11.07 o 5537 13.78/11.07 o 5536 13.78/11.07 o 5535 13.78/11.07 o 5534 13.78/11.08 o 5533 13.78/11.08 o 5532 13.78/11.08 o 5531 13.78/11.08 o 5530 13.78/11.08 o 5529 13.78/11.09 o 5528 13.78/11.09 o 5527 13.97/11.22 o 5526 13.97/11.22 o 5525 14.47/11.74 o 5524 14.47/11.74 o 5523 14.47/11.74 o 5515 14.47/11.74 o 5509 14.47/11.74 o 5505 14.47/11.74 o 5503 14.47/11.74 o 5502 14.47/11.74 o 5493 14.47/11.74 o 5492 14.47/11.74 o 5491 14.47/11.74 o 5490 14.47/11.74 o 5489 14.47/11.74 o 5488 14.47/11.74 o 5487 14.47/11.74 o 5486 14.47/11.74 o 5485 14.47/11.74 o 5484 14.47/11.74 o 5479 14.47/11.74 o 5478 14.47/11.74 o 5477 14.47/11.74 o 5476 14.47/11.74 o 5475 14.47/11.74 o 5474 14.47/11.74 o 5462 14.47/11.74 o 5460 14.47/11.74 o 5447 14.47/11.74 o 5444 14.47/11.75 o 5441 14.47/11.75 o 5426 14.47/11.75 o 5424 14.47/11.75 o 5423 14.47/11.75 o 5421 14.47/11.75 o 5420 14.47/11.75 o 5419 14.47/11.75 o 5418 14.47/11.75 o 5417 14.47/11.75 o 5416 14.47/11.76 o 5415 14.47/11.76 o 5414 14.47/11.76 o 5413 14.47/11.76 o 5412 14.47/11.78 o 5411 14.78/12.03 o 5410 14.78/12.05 o 5409 15.17/12.48 o 5408 15.98/13.28 o 5407 16.38/13.60 o 5406 16.38/13.60 o 5404 16.38/13.60 o 5403 16.38/13.60 o 5400 16.38/13.60 o 5399 16.38/13.60 o 5397 16.38/13.60 o 5387 16.38/13.60 o 5386 16.38/13.60 o 5385 16.38/13.60 o 5384 16.38/13.60 o 5383 16.38/13.60 o 5382 16.38/13.60 o 5349 16.38/13.60 o 5348 16.38/13.60 o 5344 16.38/13.60 o 5343 16.38/13.60 o 5342 16.38/13.60 o 5340 16.38/13.60 o 5338 16.38/13.60 o 5336 16.38/13.60 o 5328 16.38/13.61 o 5316 16.38/13.61 o 5312 16.38/13.61 o 5310 16.38/13.61 o 5306 16.38/13.61 o 5304 16.38/13.61 o 5303 16.38/13.62 o 5302 16.48/13.70 o 5301 16.48/13.72 o 5300 17.18/14.47 o 5299 17.28/14.51 o 5298 17.28/14.51 o 5297 17.28/14.51 o 5296 17.28/14.51 o 5294 17.28/14.51 o 5293 17.28/14.51 o 5287 17.28/14.51 o 5286 17.28/14.51 o 5285 17.28/14.51 o 5284 17.28/14.51 o 5283 17.28/14.51 o 5282 17.28/14.51 o 5277 17.28/14.51 o 5276 17.28/14.51 o 5275 17.28/14.51 o 5261 17.28/14.51 o 5255 17.28/14.51 o 5232 17.28/14.51 o 5231 17.28/14.51 o 5223 17.28/14.51 o 5213 17.28/14.51 o 5208 17.28/14.51 o 5204 17.28/14.51 o 5203 17.28/14.51 o 5202 17.28/14.52 o 5201 17.28/14.52 o 5200 17.28/14.52 o 5199 17.38/14.69 o 5198 17.48/14.70 o 5197 17.48/14.70 o 5196 17.48/14.70 o 5195 17.48/14.76 o 5194 17.48/14.79 o 5186 17.48/14.79 o 5173 17.48/14.79 o 5172 17.48/14.79 o 5168 17.48/14.79 o 5162 17.48/14.79 o 5160 17.48/14.79 o 5158 17.48/14.79 o 5157 17.48/14.79 o 5155 17.48/14.79 o 5154 17.48/14.79 o 5151 17.48/14.79 o 5149 17.48/14.79 o 5148 17.48/14.79 o 5137 17.48/14.79 o 5136 17.48/14.79 o 5135 17.48/14.79 o 5134 17.48/14.79 o 5118 17.48/14.79 o 5117 17.48/14.79 o 5112 17.48/14.79 o 5111 17.48/14.79 o 5110 17.48/14.79 o 5109 17.48/14.79 o 5108 17.48/14.79 o 5107 17.48/14.79 o 5106 17.48/14.79 o 5105 17.48/14.79 o 5104 17.48/14.80 o 5103 17.48/14.80 o 5102 17.58/14.80 o 5101 17.68/14.93 o 5100 17.68/14.93 o 5099 18.89/16.13 o 5098 18.89/16.13 o 5097 18.99/16.29 o 5096 18.99/16.29 o 5095 18.99/16.29 o 5094 18.99/16.29 o 5093 18.99/16.29 o 5092 18.99/16.29 o 5091 18.99/16.29 o 5088 18.99/16.29 o 5086 18.99/16.29 o 5081 18.99/16.29 o 5079 18.99/16.29 o 5078 18.99/16.29 o 5074 18.99/16.29 o 5073 18.99/16.29 o 5072 18.99/16.29 o 5070 18.99/16.30 o 5069 18.99/16.30 o 5063 18.99/16.30 o 5057 19.09/16.30 o 5056 19.09/16.30 o 5055 19.09/16.33 o 5054 19.09/16.34 o 5053 19.09/16.34 o 5052 19.09/16.35 o 5051 19.09/16.36 o 5050 19.09/16.37 o 5049 19.09/16.38 o 5048 19.09/16.39 o 5047 19.19/16.43 o 5046 19.49/16.79 o 5045 20.40/17.62 o 5044 20.40/17.62 o 5043 20.40/17.62 o 5042 20.40/17.62 o 5041 20.40/17.62 o 5040 20.40/17.62 o 5039 20.40/17.62 o 5038 20.40/17.62 o 5037 20.40/17.62 o 5036 20.40/17.62 o 5035 20.40/17.62 o 5034 20.40/17.62 o 5031 20.40/17.62 o 5030 20.40/17.62 o 5029 20.40/17.62 o 5028 20.40/17.62 o 5026 20.40/17.62 o 5025 20.40/17.62 o 5024 20.40/17.62 o 5023 20.40/17.62 o 5022 20.40/17.62 o 5021 20.40/17.63 o 4999 20.40/17.63 o 4998 20.40/17.63 o 4996 20.40/17.63 o 4995 20.40/17.63 o 4994 20.40/17.63 o 4993 20.92/18.15 o 4992 20.92/18.15 o 4991 20.92/18.15 o 4990 20.92/18.15 o 4989 20.92/18.15 o 4988 20.92/18.15 o 4987 20.92/18.15 o 4986 20.92/18.15 o 4985 20.92/18.15 o 4983 20.92/18.15 o 4982 20.92/18.15 o 4981 20.92/18.15 o 4980 20.92/18.15 o 4978 20.92/18.15 o 4977 20.92/18.15 o 4974 20.92/18.15 o 4973 20.92/18.16 o 4963 20.92/18.16 o 4962 20.92/18.16 o 4961 20.92/18.16 o 4960 20.92/18.16 o 4958 20.92/18.16 o 4957 20.92/18.16 o 4945 20.92/18.16 o 4903 20.92/18.16 o 4901 20.92/18.16 o 4900 20.92/18.16 o 4898 20.92/18.16 o 4897 20.92/18.16 o 4895 20.92/18.16 o 4894 20.92/18.16 o 4892 20.92/18.16 o 4891 20.92/18.16 o 4890 20.92/18.17 o 4889 20.92/18.19 o 4887 20.92/18.19 o 4886 21.01/18.29 o 4885 22.23/19.47 o 4884 23.03/20.20 o 4882 23.03/20.20 o 4881 23.03/20.20 o 4877 23.03/20.20 o 4872 23.03/20.20 o 4871 23.03/20.20 o 4870 23.03/20.23 o 4868 23.03/20.26 o 4867 23.03/20.28 o 4866 23.03/20.28 o 4865 23.33/20.51 o 4864 23.33/20.51 o 4863 23.33/20.51 o 4861 23.33/20.52 o 4860 23.33/20.52 o 4859 23.33/20.52 o 4857 23.33/20.52 o 4856 23.33/20.52 o 4853 23.33/20.52 o 4851 23.33/20.52 o 4850 23.33/20.52 o 4849 23.33/20.52 o 4848 23.33/20.52 o 4847 23.33/20.52 o 4846 23.33/20.52 o 4845 23.33/20.52 o 4844 23.33/20.52 o 4843 23.33/20.52 o 4842 23.33/20.52 o 4841 23.33/20.52 o 4838 23.33/20.52 o 4837 23.33/20.52 o 4836 23.33/20.52 o 4835 23.33/20.52 o 4834 23.33/20.52 o 4833 23.33/20.52 o 4832 23.33/20.52 o 4829 23.33/20.52 o 4826 23.33/20.52 o 4823 23.33/20.52 o 4822 23.33/20.52 o 4798 23.33/20.52 o 4791 23.33/20.52 o 4789 23.33/20.52 o 4788 23.33/20.52 o 4787 23.33/20.52 o 4785 23.33/20.53 o 4784 23.33/20.53 o 4783 23.33/20.53 o 4782 23.33/20.56 o 4781 23.95/21.13 o 4780 26.25/23.43 o 4778 26.25/23.43 o 4777 26.25/23.43 o 4774 26.25/23.43 o 4773 26.25/23.43 o 4772 26.25/23.43 o 4771 26.25/23.43 o 4751 26.25/23.43 o 4742 26.25/23.43 o 4741 26.25/23.43 o 4739 26.25/23.43 o 4738 26.25/23.43 o 4737 26.25/23.43 o 4736 26.25/23.43 o 4735 26.25/23.43 o 4734 26.25/23.44 o 4733 26.25/23.45 o 4732 26.25/23.47 o 4731 26.25/23.47 o 4730 26.25/23.47 o 4729 26.35/23.58 o 4728 26.46/23.61 o 4727 26.46/23.62 o 4726 26.76/23.91 o 4725 27.06/24.28 o 4724 27.06/24.28 o 4723 27.16/24.38 o 4722 27.67/24.81 o 4721 27.67/24.81 o 4719 27.67/24.81 o 4718 27.67/24.81 o 4716 27.67/24.81 o 4715 27.67/24.81 o 4714 27.67/24.81 o 4713 27.67/24.81 o 4711 27.67/24.81 o 4709 27.67/24.81 o 4702 27.67/24.81 o 4700 27.67/24.81 o 4694 27.67/24.81 o 4689 27.67/24.81 o 4674 27.67/24.81 o 4673 27.67/24.82 o 4671 27.67/24.82 o 4670 27.67/24.82 o 4668 27.67/24.82 o 4666 27.67/24.82 o 4665 27.67/24.82 o 4660 27.67/24.82 o 4658 27.67/24.82 o 4657 27.67/24.82 o 4654 27.67/24.82 o 4653 27.67/24.82 o 4652 27.67/24.82 o 4651 27.67/24.82 o 4650 27.67/24.82 o 4638 27.67/24.82 o 4637 27.67/24.82 o 4609 27.67/24.82 o 4608 27.67/24.82 o 4604 27.67/24.82 o 4603 27.67/24.82 o 4599 27.67/24.82 o 4598 27.67/24.82 o 4597 27.67/24.82 o 4596 27.67/24.82 o 4595 27.67/24.83 o 4594 27.67/24.84 o 4593 27.67/24.85 o 4592 28.99/26.11 o 4591 28.99/26.11 o 4590 28.99/26.11 o 4589 28.99/26.11 o 4588 28.99/26.11 o 4587 28.99/26.11 o 4586 28.99/26.11 o 4585 28.99/26.11 o 4583 28.99/26.11 o 4582 28.99/26.11 o 4579 28.99/26.11 o 4578 28.99/26.11 o 4577 28.99/26.11 o 4576 28.99/26.11 o 4574 28.99/26.11 o 4573 28.99/26.11 o 4569 28.99/26.11 o 4568 28.99/26.11 o 4566 28.99/26.11 o 4564 28.99/26.11 o 4563 28.99/26.11 o 4562 28.99/26.11 o 4561 28.99/26.11 o 4560 28.99/26.11 o 4559 28.99/26.11 o 4558 28.99/26.13 o 4557 29.29/26.43 o 4556 29.29/26.48 o 4555 29.29/26.48 o 4554 30.29/27.41 o 4552 30.29/27.41 o 4551 30.29/27.41 o 4550 30.29/27.41 o 4548 30.29/27.41 o 4547 30.29/27.41 o 4542 30.29/27.41 o 4541 30.29/27.41 o 4540 30.29/27.41 o 4539 30.29/27.41 o 4538 30.29/27.42 o 4537 30.29/27.42 o 4536 30.29/27.42 o 4535 30.29/27.42 o 4534 30.29/27.42 o 4533 30.29/27.43 o 4532 30.39/27.51 o 4531 30.39/27.51 o 4526 30.39/27.51 o 4525 30.39/27.51 o 4524 30.39/27.51 o 4518 30.39/27.51 o 4517 30.39/27.51 o 4516 30.39/27.52 o 4515 30.39/27.52 o 4514 30.39/27.52 o 4513 30.39/27.52 o 4512 30.39/27.52 o 4511 30.39/27.52 o 4510 30.39/27.52 o 4509 30.39/27.52 o 4508 30.39/27.52 o 4507 30.39/27.53 o 4506 30.39/27.54 o 4505 30.39/27.54 o 4482 30.39/27.54 o 4465 30.39/27.54 o 4464 30.39/27.54 o 4462 30.39/27.54 o 4460 30.39/27.54 o 4459 30.39/27.54 o 4457 30.39/27.54 o 4451 30.39/27.54 o 4448 30.39/27.55 o 4446 30.39/27.55 o 4445 30.39/27.55 o 4444 30.39/27.56 o 4443 30.39/27.56 o 4442 30.39/27.56 o 4441 30.39/27.57 o 4439 30.39/27.57 o 4438 30.39/27.57 o 4437 30.39/27.57 o 4436 30.39/27.59 o 4435 30.39/27.59 o 4434 30.39/27.59 o 4432 31.50/28.62 o 4431 31.50/28.62 o 4430 31.50/28.62 o 4429 31.50/28.62 o 4428 31.50/28.62 o 4427 31.50/28.62 o 4426 31.50/28.62 o 4425 31.50/28.62 o 4424 31.50/28.62 o 4423 31.50/28.62 o 4422 31.50/28.62 o 4421 31.50/28.62 o 4420 31.50/28.62 o 4418 31.50/28.62 o 4417 31.50/28.62 o 4416 31.50/28.62 o 4415 31.50/28.62 o 4406 31.50/28.62 o 4405 31.50/28.62 o 4400 31.50/28.62 o 4399 31.50/28.62 o 4398 31.50/28.62 o 4397 31.50/28.62 o 4396 31.50/28.62 o 4395 31.50/28.62 o 4394 31.50/28.62 o 4393 31.50/28.62 o 4392 31.50/28.64 o 4391 31.50/28.66 o 4390 31.50/28.66 o 4389 31.60/28.73 o 4388 31.60/28.73 o 4387 31.60/28.73 o 4386 31.60/28.73 o 4385 31.60/28.73 o 4384 31.60/28.73 o 4383 31.60/28.73 o 4382 31.60/28.75 o 4381 31.60/28.75 o 4380 31.60/28.76 o 4379 31.60/28.77 o 4378 31.91/29.01 o 4377 31.91/29.05 o 4376 31.91/29.05 o 4375 31.91/29.06 o 4374 32.61/29.79 o 4373 32.61/29.79 o 4372 34.42/31.54 o 4371 34.42/31.54 o 4370 34.73/31.81 o 4369 34.73/31.81 o 4368 34.73/31.81 o 4367 34.73/31.81 o 4366 34.73/31.81 o 4365 34.73/31.81 o 4364 34.73/31.81 o 4363 34.73/31.81 o 4362 34.73/31.81 o 4361 34.73/31.81 o 4360 34.73/31.82 o 4359 34.73/31.82 o 4358 34.73/31.82 o 4357 34.73/31.82 o 4356 34.73/31.82 o 4355 34.73/31.82 o 4354 34.73/31.82 o 4353 34.73/31.83 o 4351 34.73/31.84 o 4350 34.73/31.84 o 4349 34.83/31.94 o 4348 34.83/31.97 o 4347 34.83/31.97 o 4346 34.94/32.08 o 4345 35.23/32.35 o 4344 35.23/32.35 o 4343 36.64/33.77 o 4342 36.64/33.77 o 4341 40.16/37.29 o 4337 40.16/37.29 o 4336 40.16/37.29 o 4335 40.16/37.29 o 4334 40.16/37.29 o 4278 40.16/37.29 o 4277 40.16/37.29 o 4276 40.16/37.29 o 4275 40.16/37.29 o 4274 40.16/37.29 o 4273 40.16/37.29 o 4272 40.16/37.29 o 4271 40.16/37.29 o 4270 40.16/37.29 o 4269 40.16/37.29 o 4268 40.16/37.29 o 4267 40.16/37.29 o 4261 40.16/37.29 o 4258 40.16/37.29 o 4257 40.16/37.29 o 4256 40.16/37.29 o 4249 40.16/37.29 o 4248 40.16/37.29 o 4192 40.16/37.29 o 4191 40.16/37.29 o 4186 40.16/37.29 o 4185 40.16/37.29 o 4177 40.16/37.29 o 4176 40.16/37.29 o 4173 40.16/37.29 o 4172 40.16/37.29 o 4171 40.16/37.29 o 4170 40.16/37.30 o 4169 40.16/37.30 o 4168 40.26/37.30 o 4167 40.26/37.30 o 4166 40.26/37.30 o 4165 40.26/37.30 o 4164 40.26/37.31 o 4163 40.26/37.31 o 4162 40.26/37.36 o 4161 40.26/37.40 o 4160 40.26/37.40 o 4159 40.26/37.40 o 4158 40.26/37.40 o 4157 40.26/37.40 o 4156 40.26/37.40 o 4155 40.26/37.40 o 4153 40.26/37.40 o 4152 40.36/37.40 o 4151 40.36/37.40 o 4150 40.36/37.40 o 4149 40.36/37.40 o 4148 40.36/37.40 o 4147 40.36/37.40 o 4146 40.36/37.40 o 4145 40.36/37.40 o 4144 40.36/37.40 o 4143 40.36/37.40 o 4142 40.36/37.40 o 4141 40.36/37.41 o 4140 40.36/37.42 o 4139 40.36/37.42 o 4138 43.48/40.54 o 4137 43.48/40.54 o 4136 43.48/40.54 o 4135 43.48/40.54 o 4131 43.48/40.54 o 4128 43.48/40.54 o 4127 43.48/40.54 o 4126 43.48/40.54 o 4125 43.48/40.54 o 4103 43.48/40.54 o 4102 43.48/40.54 o 4101 43.48/40.54 o 4100 43.48/40.54 o 4082 43.48/40.54 o 4081 43.48/40.54 o 4080 43.48/40.54 o 4079 43.48/40.54 o 4075 43.48/40.54 o 4074 43.48/40.54 o 4073 43.48/40.54 o 4072 43.48/40.54 o 4063 43.48/40.54 o 4062 43.48/40.54 o 4061 43.48/40.54 o 4060 43.48/40.54 o 4059 43.48/40.54 o 4058 43.48/40.54 o 4057 43.48/40.54 o 4056 43.48/40.54 o 4054 43.48/40.54 o 4053 43.48/40.54 o 4052 43.48/40.54 o 4051 43.48/40.54 o 4050 43.48/40.54 o 4049 43.48/40.55 o 4048 43.48/40.55 o 4047 43.48/40.55 o 4046 43.48/40.55 o 4032 43.48/40.55 o 4031 43.48/40.55 o 4030 43.48/40.55 o 4029 43.48/40.55 o 4028 43.48/40.55 o 4027 43.48/40.55 o 4026 43.48/40.55 o 4025 43.48/40.57 o 4024 43.58/40.61 o 4022 43.58/40.62 o 4021 43.58/40.67 o 4020 43.58/40.69 o 4019 43.68/40.75 o 4018 43.68/40.75 o 4017 43.68/40.75 o 4016 43.78/40.82 o 3982 43.78/40.82 o 3977 43.78/40.82 o 3970 43.78/40.82 o 3967 43.78/40.82 o 3966 43.78/40.82 o 3965 43.78/40.82 o 3964 43.78/40.82 o 3963 43.78/40.82 o 3962 43.78/40.82 o 3931 43.78/40.82 o 3930 43.78/40.82 o 3929 43.78/40.82 o 3927 43.78/40.82 o 3924 43.78/40.82 o 3923 43.78/40.82 o 3922 43.78/40.82 o 3921 43.78/40.82 o 3920 43.78/40.82 o 3918 43.78/40.82 o 3917 43.78/40.82 o 3915 43.78/40.82 o 3914 43.78/40.82 o 3913 43.78/40.82 o 3912 43.78/40.82 o 3911 43.78/40.82 o 3910 43.78/40.82 o 3909 43.78/40.84 o 3908 43.78/40.88 o 3907 43.78/40.88 o 3906 43.78/40.88 o 3905 43.78/40.88 o 3904 44.09/41.13 o 3902 44.09/41.13 o 3901 44.09/41.13 o 3899 44.09/41.13 o 3898 44.09/41.13 o 3897 44.09/41.13 o 3896 44.09/41.13 o 3895 44.09/41.13 o 3894 44.09/41.13 o 3893 44.09/41.14 o 3892 44.09/41.14 o 3891 44.09/41.14 o 3890 44.09/41.14 o 3889 44.09/41.14 o 3888 44.09/41.16 o 3887 44.18/41.21 o 3886 44.18/41.24 o 3885 44.18/41.24 o 3884 44.18/41.24 o 3883 44.28/41.39 o 3882 44.48/41.52 o 3881 44.48/41.58 o 3880 44.58/41.62 o 3879 44.58/41.67 o 3877 44.58/41.67 o 3876 44.58/41.67 o 3875 44.58/41.67 o 3874 44.58/41.67 o 3873 44.58/41.67 o 3846 44.58/41.67 o 3845 44.58/41.67 o 3842 44.58/41.67 o 3841 44.58/41.67 o 3840 44.58/41.67 o 3839 44.58/41.67 o 3837 44.58/41.67 o 3836 44.58/41.67 o 3835 44.58/41.67 o 3806 44.58/41.67 o 3805 44.58/41.67 o 3804 44.58/41.67 o 3803 44.58/41.67 o 3802 44.68/41.72 o 3801 44.68/41.73 o 3800 44.78/41.84 o 3799 44.78/41.85 o 3798 45.10/42.18 o 3797 46.39/43.42 o 3796 46.50/43.59 o 3795 46.50/43.59 o 3794 47.01/44.01 o 3793 47.01/44.01 o 3792 47.01/44.01 o 3791 47.01/44.01 o 3790 47.01/44.01 o 3789 47.01/44.01 o 3788 47.01/44.01 o 3787 47.01/44.01 o 3786 47.01/44.01 o 3785 47.01/44.01 o 3779 47.01/44.01 o 3778 47.01/44.01 o 3777 47.01/44.01 o 3776 47.01/44.01 o 3775 47.01/44.01 o 3774 47.01/44.01 o 3773 47.01/44.01 o 3772 47.01/44.01 o 3771 47.01/44.01 o 3733 47.01/44.01 o 3732 47.01/44.01 o 3731 47.01/44.01 o 3729 47.01/44.01 o 3728 47.01/44.01 o 3727 47.01/44.01 o 3726 47.01/44.01 o 3725 47.01/44.02 o 3724 47.01/44.02 o 3723 47.01/44.02 o 3722 47.01/44.03 o 3721 47.01/44.03 o 3720 47.01/44.03 o 3719 47.01/44.03 o 3718 47.01/44.04 o 3717 47.11/44.16 o 3716 47.11/44.16 o 3715 47.11/44.16 o 3714 47.11/44.16 o 3713 47.20/44.23 o 3712 47.20/44.26 o 3711 48.21/45.28 o 3710 48.31/45.39 o 3709 48.92/45.99 o 3708 48.92/45.99 o 3707 48.92/45.99 o 3706 48.92/45.99 o 3705 48.92/45.99 o 3704 48.92/45.99 o 3703 48.92/45.99 o 3673 48.92/45.99 o 3672 48.92/45.99 o 3666 48.92/45.99 o 3665 48.92/45.99 o 3664 48.92/45.99 o 3663 48.92/45.99 o 3661 48.92/45.99 o 3660 48.92/45.99 o 3659 48.92/45.99 o 3658 48.92/45.99 o 3657 48.92/45.99 o 3656 48.92/45.99 o 3655 48.92/45.99 o 3654 48.92/45.99 o 3653 48.92/45.99 o 3652 48.92/45.99 o 3651 48.92/46.00 o 3650 48.92/46.00 o 3649 48.92/46.00 o 3648 48.92/46.00 o 3647 48.92/46.00 o 3646 48.92/46.00 o 3643 48.92/46.00 o 3642 48.92/46.00 o 3641 48.92/46.00 o 3640 48.92/46.00 o 3639 48.92/46.00 o 3636 48.92/46.00 o 3635 48.92/46.00 o 3630 48.92/46.01 o 3629 49.03/46.01 o 3628 49.03/46.01 o 3627 49.03/46.01 o 3626 49.03/46.02 o 3625 49.03/46.03 o 3624 50.23/47.24 o 3623 50.43/47.45 o 3622 50.73/47.77 o 3621 51.54/48.59 o 3608 51.54/48.59 o 3606 51.54/48.59 o 3605 51.54/48.59 o 3604 51.54/48.59 o 3603 51.54/48.59 o 3601 51.54/48.59 o 3600 51.54/48.59 o 3597 51.64/48.62 o 3595 51.64/48.63 o 3594 51.64/48.65 o 3593 51.74/48.70 o 3592 51.74/48.72 o 3591 51.74/48.72 o 3590 51.74/48.72 o 3589 52.85/49.89 o 3569 52.85/49.89 o 3565 52.85/49.89 o 3563 52.85/49.89 o 3551 52.85/49.89 o 3548 52.85/49.89 o 3547 52.85/49.89 o 3546 52.85/49.89 o 3545 52.85/49.89 o 3544 52.85/49.89 o 3543 52.85/49.89 o 3537 52.85/49.89 o 3536 52.85/49.89 o 3535 52.85/49.89 o 3534 52.85/49.89 o 3533 52.85/49.89 o 3532 52.95/49.91 o 3531 52.95/49.91 o 3530 52.95/49.91 o 3529 52.95/49.92 o 3528 52.95/49.97 o 3527 52.95/49.97 o 3526 52.95/49.97 o 3525 52.95/49.97 o 3524 52.95/49.97 o 3523 52.95/49.97 o 3519 52.95/49.97 o 3518 52.95/49.97 o 3517 52.95/49.97 o 3515 52.95/49.97 o 3514 52.95/49.97 o 3513 52.95/49.97 o 3512 52.95/49.97 o 3511 52.95/49.97 o 3510 52.95/49.97 o 3509 52.95/49.97 o 3508 52.95/49.97 o 3504 52.95/49.97 o 3494 52.95/49.97 o 3486 52.95/49.97 o 3483 52.95/49.97 o 3482 52.95/49.97 o 3477 52.95/49.98 o 3476 52.95/50.00 o 3475 52.95/50.01 o 3474 52.95/50.01 o 3473 52.95/50.02 o 3472 53.07/50.07 o 3468 53.07/50.07 o 3454 53.07/50.07 o 3452 53.07/50.07 o 3429 53.07/50.07 o 3427 53.07/50.08 o 3421 53.07/50.08 o 3420 53.07/50.08 o 3417 53.07/50.08 o 3415 53.07/50.08 o 3414 53.07/50.08 o 3413 53.07/50.08 o 3412 53.07/50.08 o 3410 53.07/50.09 o 3409 53.07/50.09 o 3408 53.07/50.09 o 3406 53.07/50.09 o 3405 53.16/50.16 o 3403 53.16/50.16 o 3402 53.86/50.88 o 3401 53.86/50.88 o 3400 54.46/51.41 o 3399 54.46/51.41 o 3398 54.46/51.41 o 3397 54.46/51.41 o 3396 54.46/51.41 o 3395 54.46/51.41 o 3394 54.46/51.41 o 3393 54.46/51.41 o 3392 54.46/51.41 o 3391 54.46/51.41 o 3390 54.46/51.41 o 3389 54.46/51.41 o 3387 54.46/51.41 o 3386 54.46/51.41 o 3385 54.46/51.41 o 3384 54.46/51.41 o 3383 54.46/51.41 o 3382 54.46/51.41 o 3381 54.46/51.41 o 3380 54.46/51.42 o 3379 54.46/51.42 o 3378 54.46/51.43 o 3377 54.46/51.45 o 3376 54.46/51.46 o 3375 54.86/51.81 o 3374 54.86/51.81 o 3373 54.86/51.83 o 3372 54.96/51.97 o 3370 54.96/51.97 o 3369 54.96/51.97 o 3368 54.96/51.97 o 3367 54.96/51.97 o 3366 55.47/52.44 o 3365 55.47/52.49 o 3364 55.57/52.52 o 3363 55.57/52.52 o 3361 55.57/52.52 o 3360 55.57/52.52 o 3359 55.57/52.54 o 3358 55.57/52.56 o 3357 55.57/52.57 o 3356 55.67/52.66 o 3355 55.67/52.66 o 3354 55.67/52.66 o 3353 55.67/52.66 o 3352 55.67/52.67 o 3349 56.08/53.05 o 3348 56.08/53.05 o 3347 56.08/53.05 o 3346 56.08/53.05 o 3342 56.08/53.05 o 3332 56.08/53.05 o 3331 56.08/53.05 o 3327 56.08/53.05 o 3324 56.08/53.05 o 3323 56.08/53.05 o 3319 56.08/53.05 o 3318 56.08/53.05 o 3317 56.08/53.05 o 3316 56.08/53.05 o 3315 56.08/53.05 o 3314 56.08/53.05 o 3313 56.08/53.05 o 3306 56.08/53.05 o 3304 56.08/53.05 o 3302 56.08/53.05 o 3301 56.08/53.05 o 3300 56.08/53.05 o 3299 56.08/53.05 o 3297 56.08/53.05 o 3296 56.08/53.05 o 3295 56.08/53.05 o 3294 56.08/53.05 o 3290 56.08/53.05 o 3289 56.08/53.05 o 3288 56.08/53.05 o 3287 56.08/53.05 o 3286 56.08/53.08 o 3285 56.08/53.09 o 3284 56.18/53.11 o 3283 56.18/53.11 o 3282 56.18/53.11 o 3281 56.18/53.11 o 3280 56.18/53.11 o 3279 56.18/53.11 o 3278 56.18/53.11 o 3277 56.18/53.11 o 3276 56.18/53.11 o 3275 56.18/53.12 o 3274 56.18/53.12 o 3273 56.18/53.12 o 3272 56.18/53.12 o 3271 56.18/53.13 o 3269 56.18/53.14 o 3268 56.18/53.14 o 3267 56.18/53.15 o 3266 56.18/53.15 o 3265 56.18/53.15 o 3264 56.18/53.15 o 3263 56.18/53.15 o 3261 56.18/53.15 o 3259 56.38/53.38 o 3258 56.48/53.48 o 3257 56.48/53.49 o 3256 57.69/54.63 o 3255 57.69/54.64 o 3254 58.09/55.09 o 3252 58.09/55.09 o 3251 58.09/55.09 o 3249 58.09/55.09 o 3248 58.09/55.09 o 3247 58.09/55.09 o 3246 58.09/55.09 o 3245 58.09/55.09 o 3243 58.09/55.09 o 3242 58.09/55.09 o 3241 58.09/55.09 o 3238 58.09/55.09 o 3237 58.09/55.09 o 3236 58.09/55.09 o 3235 58.09/55.09 o 3234 58.09/55.09 o 3233 58.09/55.09 o 3232 58.09/55.09 o 3231 58.20/55.12 o 3230 58.20/55.12 o 3229 58.20/55.12 o 3228 58.20/55.12 o 3227 58.20/55.19 o 3225 58.29/55.20 o 3224 58.29/55.21 o 3222 58.29/55.21 o 3221 58.29/55.21 o 3220 58.29/55.26 o 3219 58.39/55.34 o 3218 58.39/55.35 o 3217 58.49/55.44 o 3216 58.89/55.83 o 3215 58.89/55.86 o 3214 59.10/56.02 o 3213 59.61/56.59 o 3212 59.61/56.59 o 3211 59.61/56.59 o 3210 59.61/56.59 o 3208 59.61/56.59 o 3207 59.61/56.59 o 3206 59.61/56.59 o 3202 59.61/56.59 o 3201 59.61/56.59 o 3200 59.61/56.59 o 3199 59.71/56.60 o 3198 59.71/56.62 o 3197 59.71/56.63 o 3196 59.71/56.67 o 3195 59.71/56.67 o 3194 59.71/56.67 o 3193 59.71/56.67 o 3192 59.71/56.67 o 3191 59.71/56.67 o 3190 59.71/56.67 o 3188 59.71/56.67 o 3187 59.71/56.67 o 3185 59.71/56.67 o 3184 59.71/56.68 o 3183 59.71/56.68 o 3182 59.71/56.68 o 3181 59.71/56.69 o 3180 59.71/56.69 o 3179 59.81/56.70 o 3178 59.81/56.72 o 3177 59.81/56.72 o 3176 59.81/56.73 o 3175 59.81/56.74 o 3174 59.81/56.74 o 3173 59.81/56.76 o 3172 59.81/56.76 o 3171 59.81/56.76 o 3170 60.01/56.98 o 3169 60.01/56.98 o 3168 60.01/56.98 o 3167 60.22/57.18 o 3166 60.92/57.84 o 3165 61.02/57.91 o 3164 61.13/58.01 o 3163 61.13/58.01 o 3162 61.23/58.15 o 3161 61.52/58.44 o 3160 62.63/59.52 o 3159 62.73/59.61 o 3158 62.73/59.61 o 3157 63.54/60.40 o 3156 65.36/62.28 o 3153 65.36/62.28 o 3151 65.36/62.28 o 3149 65.36/62.28 o 3146 65.36/62.28 o 3144 65.36/62.28 o 3143 65.36/62.28 o 3142 65.36/62.28 o 3141 65.36/62.28 o 3139 65.36/62.28 o 3123 65.36/62.28 o 3122 65.36/62.28 o 3121 65.36/62.28 o 3119 65.36/62.28 o 3118 65.36/62.29 o 3117 65.46/62.30 o 3116 65.56/62.45 o 3115 65.66/62.50 o 3114 65.66/62.51 o 3113 65.66/62.51 o 3112 65.76/62.64 o 3110 65.86/62.77 o 3109 65.86/62.77 o 3108 66.06/62.97 o 3107 66.06/62.98 o 3106 66.06/63.00 o 3105 66.17/63.01 o 3103 66.27/63.15 o 3102 66.27/63.15 o 3100 66.27/63.15 o 3099 66.27/63.15 o 3097 66.27/63.19 o 3096 66.36/63.24 o 3095 67.87/64.78 o 3094 67.87/64.78 o 3092 67.87/64.79 o 3088 67.87/64.79 o 3080 67.87/64.79 o 3042 67.87/64.79 o 3037 67.87/64.79 o 3033 67.87/64.79 o 3032 67.87/64.79 o 3031 67.87/64.79 o 3029 67.87/64.79 o 3028 67.87/64.79 o 3027 67.87/64.79 o 3026 67.87/64.79 o 3016 67.87/64.79 o 3015 67.87/64.79 o 3010 67.87/64.79 o 3008 67.87/64.79 o 3005 67.87/64.79 o 3004 67.87/64.79 o 3003 67.87/64.79 o 3002 67.97/64.80 o 3001 67.97/64.80 o 3000 67.97/64.83 o 2999 67.97/64.83 o 2998 67.97/64.83 o 2997 67.97/64.83 o 2995 67.97/64.85 o 2994 67.97/64.89 o 2993 68.07/64.90 o 2992 68.58/65.49 o 2991 68.68/65.50 o 2989 68.68/65.58 o 2988 68.78/65.67 o 2987 68.78/65.67 o 2986 68.88/65.75 o 2985 68.88/65.76 o 2984 68.98/65.87 o 2983 68.98/65.87 o 2981 68.98/65.88 o 2980 69.08/65.95 o 2979 69.19/66.06 o 2977 69.38/66.29 o 2976 69.38/66.29 o 2974 69.89/66.79 o 2970 69.89/66.79 o 2953 69.89/66.79 o 2938 69.89/66.79 o 2935 69.89/66.79 o 2933 69.89/66.79 o 2930 69.89/66.79 o 2928 69.89/66.79 o 2925 69.89/66.79 o 2923 69.89/66.79 o 2922 69.99/66.80 o 2921 69.99/66.80 o 2918 69.99/66.81 o 2917 69.99/66.84 o 2916 69.99/66.87 o 2915 69.99/66.87 o 2914 69.99/66.87 o 2913 69.99/66.87 o 2912 69.99/66.87 o 2911 71.10/67.90 o 2910 74.22/71.09 o 2909 74.22/71.09 o 2907 74.22/71.09 o 2906 74.22/71.09 o 2905 74.22/71.09 o 2904 74.22/71.09 o 2903 74.22/71.09 o 2902 75.02/71.86 o 2901 75.02/71.86 o 2900 75.93/72.71 o 2899 76.03/72.88 o 2898 77.03/73.88 o 2897 77.84/74.62 o 2866 77.84/74.62 o 2861 77.84/74.62 o 2860 77.84/74.62 o 2858 77.84/74.62 o 2856 77.84/74.62 o 2853 77.84/74.63 o 2851 77.84/74.63 o 2850 77.84/74.63 o 2848 77.84/74.63 o 2847 77.84/74.63 o 2846 77.84/74.64 o 2845 77.84/74.64 o 2843 77.84/74.64 o 2840 77.84/74.64 o 2839 77.94/74.71 o 2838 77.94/74.71 o 2837 77.94/74.72 o 2836 77.94/74.74 o 2835 77.94/74.74 o 2834 78.14/74.94 o 2833 78.35/75.13 o 2830 78.35/75.13 o 2828 78.35/75.13 o 2827 78.35/75.13 o 2826 78.35/75.13 o 2825 78.35/75.13 o 2824 78.35/75.13 o 2823 78.35/75.13 o 2801 78.35/75.13 o 2789 78.35/75.13 o 2780 78.35/75.13 o 2779 78.35/75.13 o 2778 78.35/75.13 o 2777 78.35/75.13 o 2776 78.35/75.13 o 2775 78.35/75.13 o 2774 78.35/75.13 o 2773 78.35/75.13 o 2772 78.35/75.13 o 2752 78.35/75.13 o 2751 78.35/75.13 o 2748 78.35/75.13 o 2744 78.35/75.13 o 2743 78.35/75.13 o 2742 78.35/75.13 o 2741 78.35/75.13 o 2740 78.35/75.13 o 2739 78.35/75.13 o 2738 78.35/75.13 o 2737 78.35/75.13 o 2736 78.35/75.19 o 2735 78.64/75.44 o 2734 78.64/75.44 o 2733 78.64/75.44 o 2732 78.64/75.44 o 2731 78.64/75.44 o 2730 78.64/75.44 o 2729 78.64/75.44 o 2728 78.64/75.44 o 2727 78.64/75.44 o 2726 80.96/77.74 o 2724 80.96/77.74 o 2723 80.96/77.74 o 2722 80.96/77.74 o 2719 80.96/77.74 o 2713 80.96/77.75 o 2712 80.96/77.77 o 2711 80.96/77.77 o 2710 80.96/77.77 o 2709 80.96/77.79 o 2708 81.06/77.86 o 2706 81.06/77.86 o 2705 82.29/79.08 o 2704 82.29/79.09 o 2703 82.29/79.09 o 2702 82.48/79.24 o 2701 82.48/79.24 o 2696 82.48/79.24 o 2695 82.48/79.24 o 2693 82.48/79.24 o 2692 82.48/79.24 o 2690 82.48/79.24 o 2689 82.48/79.24 o 2688 82.48/79.25 o 2687 82.48/79.25 o 2686 82.48/79.25 o 2685 82.48/79.25 o 2683 82.48/79.25 o 2682 82.48/79.25 o 2680 82.48/79.25 o 2679 82.48/79.25 o 2673 82.48/79.25 o 2672 82.48/79.25 o 2669 82.48/79.25 o 2664 82.48/79.25 o 2663 82.48/79.25 o 2662 82.48/79.25 o 2661 82.48/79.25 o 2660 82.48/79.25 o 2659 82.48/79.25 o 2658 82.48/79.25 o 2657 82.48/79.25 o 2656 82.48/79.25 o 2655 82.48/79.25 o 2651 82.48/79.25 o 2650 82.48/79.25 o 2648 82.48/79.25 o 2647 82.48/79.25 o 2644 82.48/79.25 o 2643 82.48/79.25 o 2642 82.48/79.25 o 2641 82.48/79.26 o 2639 82.48/79.26 o 2638 82.48/79.26 o 2637 82.48/79.26 o 2636 82.48/79.26 o 2635 82.48/79.26 o 2634 82.48/79.26 o 2633 82.48/79.26 o 2632 82.48/79.27 o 2630 82.48/79.27 o 2629 82.48/79.28 o 2628 82.58/79.33 o 2627 82.68/79.41 o 2626 83.19/79.96 o 2625 83.40/80.15 o 2624 83.40/80.15 o 2623 83.69/80.44 o 2622 83.69/80.45 o 2621 85.10/81.80 o 2619 85.10/81.80 o 2616 85.10/81.80 o 2610 85.10/81.80 o 2606 85.10/81.80 o 2601 85.10/81.80 o 2596 85.10/81.80 o 2586 85.10/81.81 o 2585 85.10/81.81 o 2583 85.10/81.81 o 2582 85.10/81.81 o 2581 85.10/81.81 o 2580 85.10/81.81 o 2576 85.10/81.81 o 2575 85.10/81.82 o 2574 85.10/81.82 o 2572 85.10/81.82 o 2571 85.10/81.83 o 2570 86.42/83.11 o 2568 86.61/83.33 o 2567 86.61/83.40 o 2566 86.61/83.40 o 2565 86.71/83.44 o 2564 86.91/83.68 o 2554 86.91/83.68 o 2521 86.91/83.68 o 2520 86.91/83.68 o 2518 86.91/83.68 o 2517 86.91/83.68 o 2516 86.91/83.68 o 2511 86.91/83.68 o 2510 86.91/83.68 o 2509 86.91/83.69 o 2508 87.11/83.83 o 2507 87.11/83.83 o 2506 87.11/83.88 o 2505 87.21/83.91 o 2504 87.21/83.95 o 2503 87.21/83.95 o 2502 87.51/84.22 o 2501 87.51/84.22 o 2500 87.51/84.23 o 2499 87.72/84.41 o 2498 87.72/84.41 o 2497 87.72/84.46 o 2496 87.92/84.67 o 2494 87.92/84.69 o 2493 87.92/84.69 o 2492 88.22/84.93 o 2491 88.62/85.37 o 2474 88.62/85.37 o 2473 88.62/85.37 o 2472 88.62/85.37 o 2465 88.62/85.37 o 2464 88.62/85.37 o 2462 88.62/85.37 o 2461 88.62/85.37 o 2459 88.62/85.37 o 2458 88.62/85.37 o 2456 88.62/85.38 o 2453 88.62/85.38 o 2451 88.62/85.38 o 2450 88.62/85.38 o 2449 88.62/85.38 o 2442 88.62/85.38 o 2441 88.62/85.38 o 2440 88.62/85.38 o 2439 88.62/85.38 o 2438 88.62/85.38 o 2437 88.62/85.38 o 2430 88.62/85.38 o 2429 88.62/85.38 o 2428 88.62/85.38 o 2426 88.62/85.38 o 2425 88.62/85.38 o 2424 88.62/85.38 o 2421 88.62/85.38 o 2420 88.62/85.38 o 2419 88.62/85.39 o 2416 88.62/85.39 o 2415 88.62/85.39 o 2414 88.73/85.40 o 2412 88.73/85.41 o 2411 88.83/85.50 o 2410 88.83/85.50 o 2409 88.83/85.52 o 2408 88.83/85.57 o 2407 89.03/85.74 o 2406 89.03/85.74 o 2405 89.03/85.74 o 2404 89.93/86.69 o 2403 91.14/87.84 o 2402 91.14/87.84 o 2401 91.14/87.85 o 2400 91.25/87.99 o 2399 91.25/87.99 o 2397 91.25/87.99 o 2396 91.25/87.99 o 2393 91.25/87.99 o 2392 91.25/87.99 o 2390 91.25/87.99 o 2389 91.25/87.99 o 2388 91.25/87.99 o 2387 91.25/87.99 o 2386 91.25/87.99 o 2385 91.25/87.99 o 2383 91.25/87.99 o 2380 91.25/87.99 o 2379 91.25/87.99 o 2378 91.25/87.99 o 2377 91.25/87.99 o 2375 91.25/87.99 o 2374 91.25/87.99 o 2373 91.25/87.99 o 2372 91.25/87.99 o 2371 91.25/87.99 o 2370 91.25/87.99 o 2369 91.25/87.99 o 2362 91.25/87.99 o 2355 91.25/87.99 o 2353 91.25/87.99 o 2352 91.25/87.99 o 2351 91.25/88.00 o 2350 91.35/88.01 o 2349 91.35/88.02 o 2348 91.35/88.02 o 2347 91.35/88.02 o 2346 91.35/88.02 o 2345 91.35/88.02 o 2344 91.35/88.03 o 2343 91.35/88.05 o 2342 91.35/88.05 o 2341 91.35/88.05 o 2340 91.35/88.05 o 2339 91.35/88.05 o 2338 91.35/88.06 o 2337 91.35/88.10 o 2336 91.46/88.11 o 2335 93.87/90.58 o 2318 93.87/90.58 o 2313 93.87/90.58 o 2312 93.87/90.58 o 2297 93.87/90.58 o 2268 93.87/90.58 o 2262 93.87/90.59 o 2260 93.87/90.59 o 2257 93.87/90.59 o 2254 93.87/90.59 o 2253 93.97/90.68 o 2252 93.97/90.68 o 2251 93.97/90.68 o 2250 93.97/90.68 o 2249 94.07/90.70 o 2248 94.78/91.48 o 2238 94.78/91.48 o 2237 94.78/91.48 o 2236 94.78/91.48 o 2217 94.78/91.48 o 2216 94.78/91.49 o 2215 94.78/91.49 o 2214 94.78/91.49 o 2213 94.78/91.49 o 2212 94.78/91.49 o 2211 94.78/91.49 o 2210 94.78/91.49 o 2209 94.78/91.49 o 2208 94.78/91.49 o 2207 94.78/91.49 o 2206 94.88/91.51 o 2205 94.98/91.62 o 2204 95.39/92.07 o 2203 95.39/92.07 o 2202 95.58/92.27 o 2200 95.58/92.28 o 2199 95.68/92.34 o 2197 95.78/92.44 o 2196 95.78/92.47 o 2195 98.11/94.70 o 2169 98.11/94.70 o 2162 98.11/94.70 o 2141 98.11/94.70 o 2139 98.11/94.70 o 2138 98.11/94.70 o 2134 98.11/94.70 o 2129 98.11/94.70 o 2112 98.21/94.82 o 2110 98.21/94.83 o 2107 98.21/94.86 o 2105 98.21/94.87 o 2104 98.21/94.87 o 2102 98.32/94.97 o 2101 98.32/94.98 o 2100 98.52/95.11 o 2098 98.81/95.40 o 2097 98.81/95.47 o 2096 99.31/96.00 o 2095 99.92/96.56 o 2094 99.92/96.56 o 2093 99.92/96.57 o 2091 100.82/97.46 o 2072 100.82/97.46 o 2069 100.82/97.46 o 2067 100.82/97.46 o 2066 100.82/97.47 o 2064 100.82/97.47 o 2062 100.82/97.47 o 2061 100.82/97.47 o 2057 100.82/97.47 o 2054 100.82/97.47 o 2053 101.33/97.90 o 2052 101.33/97.91 o 2051 102.13/98.76 o 2050 102.13/98.76 o 2049 102.13/98.77 o 2048 102.33/98.91 o 2047 102.54/99.19 o 2046 103.45/100.06 o 2044 103.45/100.06 o 2041 103.45/100.06 o 2040 103.45/100.07 o 2038 103.45/100.07 o 2036 103.45/100.08 o 2035 103.45/100.08 o 2034 103.45/100.08 o 2033 103.45/100.08 o 2032 103.45/100.08 o 2031 103.55/100.11 o 2030 103.55/100.11 o 2029 103.55/100.13 o 2028 103.55/100.13 o 2027 103.55/100.14 o 2026 103.55/100.20 o 2025 103.64/100.20 o 2024 103.64/100.23 o 2023 103.64/100.26 o 2022 103.64/100.28 o 2021 104.36/100.91 o 2020 104.46/101.04 o 2019 104.76/101.39 o 2018 104.86/101.49 o 2017 105.36/101.98 o 2016 105.36/101.98 o 2015 105.36/101.99 o 2014 105.36/101.99 o 2013 106.07/102.66 o 2000 106.07/102.66 o 1999 106.07/102.66 o 1990 106.07/102.66 o 1989 106.07/102.67 o 1960 106.07/102.67 o 1959 106.07/102.67 o 1954 106.07/102.67 o 1953 106.07/102.67 o 1951 106.07/102.67 o 1950 106.07/102.67 o 1949 106.07/102.67 o 1948 106.07/102.67 o 1947 106.17/102.72 o 1946 106.17/102.72 o 1945 106.17/102.72 o 1944 106.17/102.75 o 1943 106.17/102.76 o 1942 106.17/102.77 o 1941 106.48/103.01 o 1940 106.77/103.35 o 1939 106.98/103.57 o 1938 106.98/103.57 o 1937 111.32/107.89 o 1936 111.32/107.89 o 1935 111.32/107.89 o 1934 111.32/107.89 o 1933 111.32/107.89 o 1929 111.32/107.89 o 1928 111.32/107.89 o 1927 111.32/107.89 o 1926 111.32/107.89 o 1920 111.32/107.89 o 1917 111.32/107.89 o 1915 111.32/107.89 o 1913 111.32/107.89 o 1909 111.32/107.89 o 1908 111.32/107.89 o 1905 111.32/107.89 o 1904 111.32/107.89 o 1903 111.32/107.89 o 1902 111.32/107.89 o 1899 111.32/107.89 o 1898 111.32/107.89 o 1897 111.32/107.89 o 1896 111.32/107.89 o 1895 111.32/107.89 o 1894 111.32/107.89 o 1893 111.32/107.89 o 1892 111.32/107.89 o 1891 111.32/107.89 o 1890 111.41/107.92 o 1889 111.41/107.93 o 1888 111.41/107.94 o 1887 111.41/107.94 o 1886 111.63/108.13 o 1885 112.02/108.52 o 1884 112.12/108.62 o 1883 112.12/108.62 o 1882 112.12/108.62 o 1881 112.63/109.17 o 1880 112.63/109.18 o 1879 112.72/109.29 o 1878 112.83/109.32 o 1877 113.13/109.65 o 1876 113.13/109.65 o 1875 113.13/109.65 o 1874 113.23/109.73 o 1873 113.73/110.27 o 1872 113.73/110.29 o 1871 113.73/110.29 o 1870 113.73/110.29 o 1869 113.83/110.32 o 1868 113.83/110.34 o 1867 113.83/110.34 o 1866 115.24/111.75 o 1865 115.24/111.75 o 1863 115.24/111.75 o 1862 115.24/111.75 o 1861 115.24/111.75 o 1859 115.24/111.75 o 1858 115.24/111.75 o 1857 115.24/111.75 o 1853 115.24/111.75 o 1852 115.24/111.75 o 1851 115.24/111.75 o 1850 115.24/111.75 o 1849 115.24/111.75 o 1848 115.24/111.76 o 1847 115.24/111.76 o 1846 115.24/111.76 o 1844 115.24/111.76 o 1843 115.24/111.76 o 1822 115.24/111.76 o 1818 115.24/111.76 o 1815 115.24/111.76 o 1808 115.24/111.76 o 1805 115.24/111.76 o 1803 115.24/111.77 o 1800 115.24/111.77 o 1799 115.44/111.95 o 1797 117.46/113.90 o 1796 117.46/113.90 o 1794 117.46/113.90 o 1791 117.46/113.90 o 1786 117.46/113.90 o 1785 117.46/113.90 o 1783 117.46/113.90 o 1770 117.46/113.90 o 1768 117.46/113.90 o 1767 117.46/113.91 o 1766 117.46/113.91 o 1765 117.46/113.91 o 1764 117.56/114.02 o 1763 117.56/114.04 o 1762 117.56/114.04 o 1761 117.56/114.04 o 1758 117.56/114.04 o 1757 118.16/114.60 o 1756 118.46/114.94 o 1755 118.46/114.94 o 1754 118.46/114.94 o 1753 118.67/115.16 o 1747 118.67/115.16 o 1746 118.67/115.16 o 1745 118.67/115.16 o 1741 118.67/115.16 o 1740 118.67/115.16 o 1739 118.67/115.16 o 1725 118.67/115.16 o 1724 118.67/115.16 o 1723 118.67/115.16 o 1721 118.67/115.16 o 1720 118.67/115.16 o 1719 118.67/115.16 o 1712 118.67/115.16 o 1711 118.67/115.16 o 1710 118.67/115.16 o 1706 118.67/115.16 o 1705 118.67/115.16 o 1704 118.67/115.17 o 1703 118.67/115.17 o 1702 118.77/115.23 o 1701 118.77/115.23 o 1700 118.77/115.25 o 1698 118.77/115.25 o 1697 118.77/115.26 o 1693 118.77/115.26 o 1692 119.17/115.69 o 1691 119.27/115.79 o 1690 124.72/121.14 o 1689 126.22/122.61 o 1661 126.22/122.62 o 1659 126.22/122.62 o 1654 126.22/122.62 o 1608 126.22/122.62 o 1606 126.22/122.62 o 1597 126.22/122.62 o 1595 126.22/122.62 o 1594 126.22/122.62 o 1593 126.22/122.62 o 1592 126.22/122.62 o 1591 126.42/122.80 o 1590 126.42/122.81 o 1589 126.42/122.81 o 1588 127.74/124.13 o 1587 127.83/124.23 o 1586 127.83/124.23 o 1585 127.83/124.24 o 1584 127.83/124.24 o 1583 127.83/124.24 o 1582 127.83/124.24 o 1581 127.93/124.36 o 1580 128.03/124.43 o 1579 128.03/124.47 o 1578 129.84/126.28 o 1577 147.17/143.41 o 1575 147.17/143.41 o 1574 147.17/143.41 o 1573 147.17/143.41 o 1568 147.17/143.41 o 1567 147.17/143.41 o 1566 147.17/143.42 o 1557 147.17/143.42 o 1526 147.17/143.42 o 1524 147.17/143.42 o 1522 147.17/143.42 o 1519 147.17/143.42 o 1516 147.17/143.42 o 1515 147.17/143.42 o 1513 147.17/143.42 o 1512 147.17/143.42 o 1510 147.17/143.42 o 1509 147.17/143.42 o 1508 147.17/143.42 o 1507 147.17/143.42 o 1504 147.17/143.42 o 1503 147.17/143.42 o 1502 147.17/143.42 o 1501 147.17/143.42 o 1500 147.17/143.43 o 1499 147.17/143.43 o 1498 147.17/143.45 o 1497 147.17/143.48 o 1496 147.17/143.49 o 1495 147.27/143.50 o 1494 147.27/143.52 o 1493 149.18/145.48 o 1492 149.79/146.06 o 1491 149.89/146.15 o 1490 154.92/151.19 o 1489 154.92/151.19 o 1488 154.92/151.19 o 1487 156.62/152.87 o 1486 159.96/156.12 o 1457 159.96/156.12 o 1411 159.96/156.12 o 1410 159.96/156.12 o 1408 159.96/156.12 o 1407 159.96/156.12 o 1405 159.96/156.13 o 1404 159.96/156.13 o 1401 159.96/156.14 o 1400 159.96/156.14 o 1398 159.96/156.14 o 1397 159.96/156.17 o 1396 159.96/156.17 o 1395 160.45/156.60 o 1394 160.45/156.61 o 1393 160.45/156.66 o 1392 160.75/156.96 o 1391 160.75/156.96 o 1390 160.75/156.96 o 1389 160.75/156.96 o 1388 160.75/156.99 o 1387 160.75/157.00 o 1386 160.86/157.06 o 1385 165.09/161.27 o 1373 165.09/161.27 o 1369 165.09/161.27 o 1355 165.09/161.27 o 1353 165.09/161.27 o 1352 165.09/161.27 o 1351 165.09/161.27 o 1349 165.09/161.27 o 1348 165.09/161.27 o 1347 165.09/161.27 o 1345 165.09/161.27 o 1344 165.09/161.27 o 1339 165.09/161.27 o 1319 165.09/161.27 o 1317 165.09/161.27 o 1316 165.09/161.27 o 1307 165.09/161.27 o 1302 165.09/161.28 o 1301 165.19/161.30 o 1300 165.19/161.30 o 1299 165.19/161.32 o 1298 165.19/161.33 o 1297 165.19/161.33 o 1296 165.19/161.35 o 1294 165.19/161.36 o 1293 165.19/161.36 o 1292 165.29/161.44 o 1291 166.29/162.49 o 1290 166.41/162.58 o 1289 168.81/164.95 o 1288 168.81/164.95 o 1287 168.92/165.02 o 1286 168.92/165.02 o 1285 168.92/165.02 o 1284 168.92/165.02 o 1283 168.92/165.02 o 1282 168.92/165.02 o 1281 168.92/165.02 o 1280 168.92/165.02 o 1279 168.92/165.02 o 1232 168.92/165.02 o 1231 168.92/165.02 o 1225 168.92/165.02 o 1224 168.92/165.02 o 1216 168.92/165.02 o 1215 168.92/165.02 o 1214 168.92/165.02 o 1213 168.92/165.02 o 1212 168.92/165.02 o 1211 168.92/165.02 o 1210 168.92/165.02 o 1209 168.92/165.02 o 1208 168.92/165.02 o 1207 168.92/165.02 o 1206 168.92/165.02 o 1205 168.92/165.02 o 1204 168.92/165.02 o 1203 168.92/165.02 o 1202 168.92/165.02 o 1201 168.92/165.02 o 1200 168.92/165.03 o 1199 168.92/165.04 o 1198 168.92/165.04 o 1197 168.92/165.05 o 1196 168.92/165.05 o 1195 168.92/165.05 o 1194 169.02/165.16 o 1193 169.02/165.17 o 1192 169.02/165.17 o 1191 169.41/165.52 o 1190 171.73/167.80 o 1189 171.73/167.81 o 1188 171.73/167.84 o 1187 171.83/167.91 o 1186 171.83/167.91 o 1185 171.83/167.91 o 1182 171.83/167.91 o 1181 171.83/167.91 o 1180 171.83/167.91 o 1179 171.83/167.91 o 1178 171.83/167.91 o 1177 171.83/167.91 o 1170 171.83/167.91 o 1169 171.83/167.91 o 1168 171.83/167.91 o 1167 171.83/167.91 o 1166 171.83/167.91 o 1161 171.83/167.91 o 1160 171.83/167.91 o 1159 171.83/167.91 o 1158 171.83/167.91 o 1153 171.83/167.91 o 1152 171.83/167.92 o 1151 171.83/167.92 o 1150 171.83/167.92 o 1149 171.83/167.92 o 1148 171.83/167.92 o 1147 171.83/167.92 o 1146 171.83/167.92 o 1145 171.83/167.92 o 1144 171.83/167.92 o 1143 171.83/167.92 o 1142 171.83/167.93 o 1140 171.83/167.93 o 1139 171.83/167.94 o 1138 171.83/167.94 o 1137 171.83/167.94 o 1136 171.83/167.95 o 1135 171.83/167.99 o 1134 171.83/167.99 o 1133 171.94/168.03 o 1132 171.94/168.03 o 1131 171.94/168.07 o 1130 171.94/168.07 o 1129 171.94/168.08 o 1128 171.94/168.08 o 1127 172.04/168.11 o 1126 172.04/168.12 o 1125 172.04/168.12 o 1124 172.23/168.32 o 1123 172.23/168.32 o 1122 173.14/169.30 o 1121 177.28/173.36 o 1120 177.28/173.36 o 1119 179.90/175.93 o 1118 179.90/175.93 o 1117 179.90/175.98 o 1116 180.20/176.26 o 1107 180.20/176.26 o 1100 180.20/176.26 o 1096 180.20/176.26 o 1095 180.20/176.26 o 1094 180.20/176.26 o 1093 180.20/176.26 o 1091 180.20/176.26 o 1090 180.20/176.26 o 1088 180.20/176.26 o 1087 180.20/176.26 o 1085 180.20/176.26 o 1084 180.20/176.26 o 1083 180.20/176.26 o 1082 180.20/176.26 o 1079 180.20/176.26 o 1073 180.20/176.26 o 1060 180.20/176.26 o 1051 180.20/176.26 o 1047 180.20/176.26 o 1046 180.20/176.26 o 1040 180.20/176.26 o 1039 180.20/176.26 o 1035 180.20/176.26 o 1032 180.20/176.26 o 1031 180.20/176.26 o 1027 180.20/176.26 o 1026 180.20/176.26 o 1025 180.20/176.26 o 1024 180.20/176.26 o 1023 180.20/176.26 o 1022 180.20/176.27 o 1021 180.20/176.27 o 1020 180.30/176.34 o 1019 180.40/176.50 o 1018 180.40/176.50 o 1017 180.50/176.50 o 1016 180.50/176.52 o 1015 184.63/180.69 o 1014 184.63/180.69 o 1013 184.63/180.69 o 1012 184.63/180.69 o 1011 184.63/180.69 o 1010 184.73/180.76 o 1009 184.73/180.76 o 1008 184.73/180.76 o 1007 184.73/180.78 o 1006 184.73/180.78 o 1005 227.62/223.30 o 1004 229.53/225.27 o 1003 251.77/247.35 s SATISFIABLE 251.77/247.35 v <instantiation> 251.77/247.35 v <list> 251.77/247.35 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] 251.77/247.35 v </list> 251.77/247.35 v <values> 251.77/247.35 v 6 0 5 0 1 5 0 3 1 3 1 5 0 3 1 4 1 0 0 2 27 6 1 4 0 0 11 4 1 0 1 3 1 0 0 3 8 2 1 1 1 1 2 2 1 1 4 1 0 0 2 2 1 0 3 6 17 4 0 0 0 10 44 6 2 2 2 22 3 35 3 93 3 3 3 2 7 1 32 0 1 34 4 2 4 0 0 39 0 8 2 106 92 0 1 4 1 2 5 0 5 6 118 1 2 3 4 0 0 45 3 13 2 1 2 3 1 4 2 1 0 31 2 0 13 251.77/247.35 v </values> 251.77/247.35 v </instantiation>
OK 1003
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 (9379 MiB free) memory of node 1: 16384 MiB (12932 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312321-1534569365/watcher-4312321-1534569365 -o /tmp/evaluation-result-4312321-1534569365/solver-4312321-1534569365 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534568853-8990 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 414218054 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312321-1534569365.xml running on 4 cores: 1,3,5,7 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 solver pid=9440, runsolver pid=9437 Current StackSize limit: 8192 KiB [startup+0.103037 s]* /proc/loadavg: 1.86 1.62 1.42 3/215 9455 /proc/meminfo: memFree=22827516/32770624 swapFree=67108688/67108860 [pid=9440] ppid=9437 vsize=14082736 memory=31604 CPUtime=0.12 cores=1,3,5,7 /proc/9440/stat : 9440 (java) S 9437 9440 5234 0 -1 1077944320 6822 0 0 0 11 1 0 0 20 0 15 0 274499360 14420721664 7901 33554432000 4194304 4196468 140722972673184 140722972655728 140021139140343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 /proc/9440/statm: 3520684 7901 3155 1 0 3482761 0 [pid=9440/tid=9442] ppid=9437 vsize=14082736 memory=-8682197330371114176 CPUtime=0.1 cores=1,3,5,7 /proc/9440/task/9442/stat : 9442 (java) R 9437 9440 5234 0 -1 4202560 4883 0 0 0 9 1 0 0 20 0 15 0 274499361 14420721664 7966 33554432000 4194304 4196468 140722972673184 140021143380096 140021122327152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9443] ppid=9437 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9443/stat : 9443 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020734422160 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9444] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9444/stat : 9444 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020733369360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9445] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9445/stat : 9445 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020732316560 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9446] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9446/stat : 9446 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020731263760 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9447] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9447/stat : 9447 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499363 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020052097392 140021139151490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9448] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9448/stat : 9448 (java) S 9437 9440 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274499363 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020051043360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9449] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9449/stat : 9449 (java) S 9437 9440 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274499364 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020049990512 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9450] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9450/stat : 9450 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020048938832 140021139158939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9451] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9451/stat : 9451 (java) S 9437 9440 5234 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020047887216 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9452] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9452/stat : 9452 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020046834416 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9453] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0.01 cores=1,3,5,7 /proc/9440/task/9453/stat : 9453 (java) S 9437 9440 5234 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 274499366 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020045781616 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9454] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9454/stat : 9454 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020044729056 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9455] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9455/stat : 9455 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 7966 33554432000 4194304 4196468 140722972673184 140020043676336 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 31604 KiB [startup+0.214984 s]* /proc/loadavg: 1.86 1.62 1.42 6/215 9455 /proc/meminfo: memFree=22812492/32770624 swapFree=67108688/67108860 [pid=9440] ppid=9437 vsize=14082736 memory=47420 CPUtime=0.31 cores=1,3,5,7 /proc/9440/stat : 9440 (java) S 9437 9440 5234 0 -1 1077944320 10472 0 0 0 29 2 0 0 20 0 15 0 274499360 14420721664 11855 33554432000 4194304 4196468 140722972673184 140722972655728 140021139140343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 /proc/9440/statm: 3520684 11855 3364 1 0 3482761 0 [pid=9440/tid=9442] ppid=9437 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/9440/task/9442/stat : 9442 (java) S 9437 9440 5234 0 -1 1077944384 8186 0 0 0 18 2 0 0 20 0 15 0 274499361 14420721664 11855 33554432000 4194304 4196468 140722972673184 140021143369200 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9443] ppid=9437 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9443/stat : 9443 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020734422160 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9444] ppid=9437 vsize=14082736 memory=288370288438118016 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9444/stat : 9444 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020733369360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9445] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9445/stat : 9445 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020732316560 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9446] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9446/stat : 9446 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020731263760 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9447] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9447/stat : 9447 (java) S 9437 9440 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274499363 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020052097392 140021139151490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9448] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9448/stat : 9448 (java) S 9437 9440 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274499363 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020051043360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9449] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9449/stat : 9449 (java) S 9437 9440 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274499364 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020049990512 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9450] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9450/stat : 9450 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020048938832 140021139158939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9451] ppid=9437 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/9440/task/9451/stat : 9451 (java) R 9437 9440 5234 0 -1 1077944384 494 0 0 0 2 0 0 0 20 0 15 0 274499366 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020047880240 140021139150549 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9452] ppid=9437 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/9440/task/9452/stat : 9452 (java) S 9437 9440 5234 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 274499366 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020046834416 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9453] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0.06 cores=1,3,5,7 /proc/9440/task/9453/stat : 9453 (java) S 9437 9440 5234 0 -1 1077944384 298 0 0 0 6 0 0 0 20 0 15 0 274499366 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020045781616 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9454] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9454/stat : 9454 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020044729056 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9455] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9455/stat : 9455 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 11855 33554432000 4194304 4196468 140722972673184 140020043676336 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 47420 KiB [startup+0.310565 s]* /proc/loadavg: 1.88 1.62 1.43 3/215 9455 /proc/meminfo: memFree=22808956/32770624 swapFree=67108688/67108860 [pid=9440] ppid=9437 vsize=14082736 memory=50544 CPUtime=0.45 cores=1,3,5,7 /proc/9440/stat : 9440 (java) S 9437 9440 5234 0 -1 1077944320 10818 0 0 0 42 3 0 0 20 0 15 0 274499360 14420721664 12636 33554432000 4194304 4196468 140722972673184 140722972655728 140021139140343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 /proc/9440/statm: 3520684 12636 3367 1 0 3482761 0 [pid=9440/tid=9442] ppid=9437 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7 /proc/9440/task/9442/stat : 9442 (java) R 9437 9440 5234 0 -1 4202560 8514 0 0 0 27 2 0 0 20 0 15 0 274499361 14420721664 12636 33554432000 4194304 4196468 140722972673184 140021143339744 140021123220830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9443] ppid=9437 vsize=14082736 memory=4294979922 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9443/stat : 9443 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020734422160 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9444] ppid=9437 vsize=14082736 memory=288370288438118016 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9444/stat : 9444 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020733369360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9445] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9445/stat : 9445 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020732316560 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9446] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9446/stat : 9446 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020731263760 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9447] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9447/stat : 9447 (java) S 9437 9440 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274499363 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020052097392 140021139151490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9448] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9448/stat : 9448 (java) S 9437 9440 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274499363 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020051043360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9449] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9449/stat : 9449 (java) S 9437 9440 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274499364 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020049990512 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9450] ppid=9437 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9450/stat : 9450 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020048938832 140021139158939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9451] ppid=9437 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/9440/task/9451/stat : 9451 (java) S 9437 9440 5234 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 274499366 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020047887216 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9452] ppid=9437 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/9440/task/9452/stat : 9452 (java) S 9437 9440 5234 0 -1 1077944384 119 0 0 0 3 0 0 0 20 0 15 0 274499366 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020046834416 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9453] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0.08 cores=1,3,5,7 /proc/9440/task/9453/stat : 9453 (java) S 9437 9440 5234 0 -1 1077944384 309 0 0 0 8 0 0 0 20 0 15 0 274499366 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020045781616 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9454] ppid=9437 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9454/stat : 9454 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020044729056 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9455] ppid=9437 vsize=14082736 memory=139912286406272 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9455/stat : 9455 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499366 14420721664 12636 33554432000 4194304 4196468 140722972673184 140020043676336 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 Current children cumulated CPU time: 0.45 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 50544 KiB [startup+0.700735 s] /proc/loadavg: 1.88 1.62 1.43 3/215 9455 /proc/meminfo: memFree=22785144/32770624 swapFree=67108688/67108860 [pid=9440] ppid=9437 vsize=14084804 memory=88568 CPUtime=0.98 cores=1,3,5,7 /proc/9440/stat : 9440 (java) S 9437 9440 5234 0 -1 1077944320 17592 0 0 0 94 4 0 0 20 0 15 0 274499360 14422839296 22142 33554432000 4194304 4196468 140722972673184 140722972655728 140021139140343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 /proc/9440/statm: 3521201 22142 3480 1 0 3483273 0 [pid=9440/tid=9442] ppid=9437 vsize=14084804 memory=180486739605574 CPUtime=0.67 cores=1,3,5,7 /proc/9440/task/9442/stat : 9442 (java) R 9437 9440 5234 0 -1 4202560 14953 0 0 0 64 3 0 0 20 0 15 0 274499361 14422839296 22142 33554432000 4194304 4196468 140722972673184 140021143355248 140021139162269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9443] ppid=9437 vsize=14084804 memory=1479054 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9443/stat : 9443 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020734422160 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9444] ppid=9437 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9444/stat : 9444 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020733369360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9445] ppid=9437 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9445/stat : 9445 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020732316560 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9446] ppid=9437 vsize=14084804 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9446/stat : 9446 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020731263760 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9447] ppid=9437 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9447/stat : 9447 (java) S 9437 9440 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274499363 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020052097392 140021139151490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9448] ppid=9437 vsize=14084804 memory=-6441413357968170793 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9448/stat : 9448 (java) S 9437 9440 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274499363 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020051043360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9449] ppid=9437 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9449/stat : 9449 (java) S 9437 9440 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274499364 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020049990512 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9450] ppid=9437 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9450/stat : 9450 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020048938832 140021139158939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9451] ppid=9437 vsize=14084804 memory=0 CPUtime=0.05 cores=1,3,5,7 /proc/9440/task/9451/stat : 9451 (java) S 9437 9440 5234 0 -1 1077944384 639 0 0 0 5 0 0 0 20 0 15 0 274499366 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020047887216 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9452] ppid=9437 vsize=14084804 memory=0 CPUtime=0.09 cores=1,3,5,7 /proc/9440/task/9452/stat : 9452 (java) S 9437 9440 5234 0 -1 1077944384 255 0 0 0 9 0 0 0 20 0 15 0 274499366 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020046834416 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9453] ppid=9437 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7 /proc/9440/task/9453/stat : 9453 (java) S 9437 9440 5234 0 -1 1077944384 363 0 0 0 15 0 0 0 20 0 15 0 274499366 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020045781616 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9454] ppid=9437 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9454/stat : 9454 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020044729056 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9455] ppid=9437 vsize=14084804 memory=3316 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9455/stat : 9455 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499366 14422839296 22142 33554432000 4194304 4196468 140722972673184 140020043676336 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 Current children cumulated CPU time: 0.98 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 88568 KiB [startup+1.5032 s] /proc/loadavg: 1.88 1.62 1.43 4/215 9455 /proc/meminfo: memFree=22751580/32770624 swapFree=67108688/67108860 [pid=9440] ppid=9437 vsize=14090948 memory=156060 CPUtime=3.07 cores=1,3,5,7 /proc/9440/stat : 9440 (java) S 9437 9440 5234 0 -1 1077944320 25680 0 0 0 299 8 0 0 20 0 15 0 274499360 14429130752 39015 33554432000 4194304 4196468 140722972673184 140722972655728 140021139140343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 /proc/9440/statm: 3522737 39015 3543 1 0 3484809 0 [pid=9440/tid=9442] ppid=9437 vsize=14090948 memory=12852 CPUtime=1.46 cores=1,3,5,7 /proc/9440/task/9442/stat : 9442 (java) R 9437 9440 5234 0 -1 4202560 19730 0 0 0 141 5 0 0 20 0 15 0 274499361 14429130752 39015 33554432000 4194304 4196468 140722972673184 140021143369648 140020776023413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9443] ppid=9437 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9443/stat : 9443 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14429130752 39015 33554432000 4194304 4196468 140722972673184 140020734422160 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9444] ppid=9437 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9444/stat : 9444 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14429130752 39015 33554432000 4194304 4196468 140722972673184 140020733369360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9445] ppid=9437 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9445/stat : 9445 (java) S 9437 9440 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499362 14429130752 39015 33554432000 4194304 4196468 140722972673184 140020732316560 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9446] ppid=9437 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9446/stat : 9446 (java) S 9437 9440 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499362 14429130752 39015 33554432000 4194304 4196468 140722972673184 140020731263760 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9447] ppid=9437 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9447/stat : 9447 (java) S 9437 9440 5234 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 15 0 274499363 14429130752 39015 33554432000 4194304 4196468 140722972673184 140020052097392 140021139151490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 ################ # More data... # ################ [pid=9440/tid=9454] ppid=9437 vsize=14090948 memory=194492 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9454/stat : 9454 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020044729056 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9455] ppid=9437 vsize=14090948 memory=47 CPUtime=0.1 cores=1,3,5,7 /proc/9440/task/9455/stat : 9455 (java) S 9437 9440 5234 0 -1 1077944384 1114 0 0 0 4 6 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020043676336 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 Current children cumulated CPU time: 249.26 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 194492 KiB [startup+246.401 s] /proc/loadavg: 1.14 1.42 1.39 3/215 9543 /proc/meminfo: memFree=20464324/32770624 swapFree=67108688/67108860 [pid=9440] ppid=9437 vsize=14090948 memory=194492 CPUtime=250.87 cores=1,3,5,7 /proc/9440/stat : 9440 (java) S 9437 9440 5234 0 -1 1077944320 60967 0 0 0 25053 34 0 0 20 0 15 0 274499360 14429130752 48623 33554432000 4194304 4196468 140722972673184 140722972655728 140021139140343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 /proc/9440/statm: 3522737 48623 3576 1 0 3484809 0 [pid=9440/tid=9442] ppid=9437 vsize=14090948 memory=194492 CPUtime=245.12 cores=1,3,5,7 /proc/9440/task/9442/stat : 9442 (java) R 9437 9440 5234 0 -1 4202560 26801 0 0 0 24504 8 0 0 20 0 15 0 274499361 14429130752 48623 33554432000 4194304 4196468 140722972673184 140021143378464 140020782346817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9443] ppid=9437 vsize=14090948 memory=3732 CPUtime=0.58 cores=1,3,5,7 /proc/9440/task/9443/stat : 9443 (java) S 9437 9440 5234 0 -1 1077944384 2483 0 0 0 55 3 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020734422160 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9444] ppid=9437 vsize=14090948 memory=194492 CPUtime=0.58 cores=1,3,5,7 /proc/9440/task/9444/stat : 9444 (java) S 9437 9440 5234 0 -1 1077944384 2430 0 0 0 54 4 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020733369360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9445] ppid=9437 vsize=14090948 memory=194492 CPUtime=0.58 cores=1,3,5,7 /proc/9440/task/9445/stat : 9445 (java) S 9437 9440 5234 0 -1 1077944384 2044 0 0 0 54 4 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020732316560 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9446] ppid=9437 vsize=14090948 memory=194492 CPUtime=0.58 cores=1,3,5,7 /proc/9440/task/9446/stat : 9446 (java) S 9437 9440 5234 0 -1 1077944384 3683 0 0 0 53 5 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020731263760 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9447] ppid=9437 vsize=14090948 memory=3316 CPUtime=0.48 cores=1,3,5,7 /proc/9440/task/9447/stat : 9447 (java) S 9437 9440 5234 0 -1 1077944384 2274 0 0 0 45 3 0 0 20 0 15 0 274499363 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020052097392 140021139151490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9448] ppid=9437 vsize=14090948 memory=3868 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9448/stat : 9448 (java) S 9437 9440 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274499363 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020051043424 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9449] ppid=9437 vsize=14090948 memory=6880 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9449/stat : 9449 (java) S 9437 9440 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274499364 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020049990528 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9450] ppid=9437 vsize=14090948 memory=3868 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9450/stat : 9450 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020048938832 140021139158939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9451] ppid=9437 vsize=14090948 memory=6880 CPUtime=1.03 cores=1,3,5,7 /proc/9440/task/9451/stat : 9451 (java) S 9437 9440 5234 0 -1 1077944384 4821 0 0 0 103 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020047887216 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9452] ppid=9437 vsize=14090948 memory=1224 CPUtime=1.02 cores=1,3,5,7 /proc/9440/task/9452/stat : 9452 (java) S 9437 9440 5234 0 -1 1077944384 3953 0 0 0 101 1 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020046834416 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9453] ppid=9437 vsize=14090948 memory=194492 CPUtime=0.69 cores=1,3,5,7 /proc/9440/task/9453/stat : 9453 (java) S 9437 9440 5234 0 -1 1077944384 9942 0 0 0 68 1 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020045781616 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9454] ppid=9437 vsize=14090948 memory=804 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9454/stat : 9454 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020044729056 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9455] ppid=9437 vsize=14090948 memory=1696 CPUtime=0.1 cores=1,3,5,7 /proc/9440/task/9455/stat : 9455 (java) S 9437 9440 5234 0 -1 1077944384 1114 0 0 0 4 6 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020043676336 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 Current children cumulated CPU time: 250.87 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 194492 KiB [startup+246.801 s] /proc/loadavg: 1.14 1.42 1.39 3/215 9543 /proc/meminfo: memFree=20464324/32770624 swapFree=67108688/67108860 [pid=9440] ppid=9437 vsize=14090948 memory=194492 CPUtime=251.27 cores=1,3,5,7 /proc/9440/stat : 9440 (java) S 9437 9440 5234 0 -1 1077944320 60971 0 0 0 25093 34 0 0 20 0 15 0 274499360 14429130752 48623 33554432000 4194304 4196468 140722972673184 140722972655728 140021139140343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 /proc/9440/statm: 3522737 48623 3576 1 0 3484809 0 [pid=9440/tid=9442] ppid=9437 vsize=14090948 memory=194492 CPUtime=245.51 cores=1,3,5,7 /proc/9440/task/9442/stat : 9442 (java) R 9437 9440 5234 0 -1 4202560 26802 0 0 0 24543 8 0 0 20 0 15 0 274499361 14429130752 48623 33554432000 4194304 4196468 140722972673184 140021143378352 140020782650764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9443] ppid=9437 vsize=14090948 memory=8112282956445269571 CPUtime=0.58 cores=1,3,5,7 /proc/9440/task/9443/stat : 9443 (java) S 9437 9440 5234 0 -1 1077944384 2483 0 0 0 55 3 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020734422160 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9444] ppid=9437 vsize=14090948 memory=4452 CPUtime=0.59 cores=1,3,5,7 /proc/9440/task/9444/stat : 9444 (java) S 9437 9440 5234 0 -1 1077944384 2430 0 0 0 55 4 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020733369360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9445] ppid=9437 vsize=14090948 memory=3732 CPUtime=0.58 cores=1,3,5,7 /proc/9440/task/9445/stat : 9445 (java) S 9437 9440 5234 0 -1 1077944384 2044 0 0 0 54 4 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020732316560 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9446] ppid=9437 vsize=14090948 memory=12668 CPUtime=0.58 cores=1,3,5,7 /proc/9440/task/9446/stat : 9446 (java) S 9437 9440 5234 0 -1 1077944384 3686 0 0 0 53 5 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020731263760 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9447] ppid=9437 vsize=14090948 memory=192444 CPUtime=0.48 cores=1,3,5,7 /proc/9440/task/9447/stat : 9447 (java) S 9437 9440 5234 0 -1 1077944384 2274 0 0 0 45 3 0 0 20 0 15 0 274499363 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020052097392 140021139151490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9448] ppid=9437 vsize=14090948 memory=192444 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9448/stat : 9448 (java) S 9437 9440 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274499363 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020051043424 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9449] ppid=9437 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9449/stat : 9449 (java) S 9437 9440 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274499364 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020049990528 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9450] ppid=9437 vsize=14090948 memory=7284 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9450/stat : 9450 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020048938832 140021139158939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9451] ppid=9437 vsize=14090948 memory=804 CPUtime=1.03 cores=1,3,5,7 /proc/9440/task/9451/stat : 9451 (java) S 9437 9440 5234 0 -1 1077944384 4821 0 0 0 103 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020047887216 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9452] ppid=9437 vsize=14090948 memory=1696 CPUtime=1.02 cores=1,3,5,7 /proc/9440/task/9452/stat : 9452 (java) S 9437 9440 5234 0 -1 1077944384 3953 0 0 0 101 1 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020046834416 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9453] ppid=9437 vsize=14090948 memory=916 CPUtime=0.69 cores=1,3,5,7 /proc/9440/task/9453/stat : 9453 (java) S 9437 9440 5234 0 -1 1077944384 9942 0 0 0 68 1 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020045781616 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9454] ppid=9437 vsize=14090948 memory=3852 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9454/stat : 9454 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020044729056 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9455] ppid=9437 vsize=14090948 memory=4104 CPUtime=0.1 cores=1,3,5,7 /proc/9440/task/9455/stat : 9455 (java) S 9437 9440 5234 0 -1 1077944384 1114 0 0 0 4 6 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020043676336 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 Current children cumulated CPU time: 251.27 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 194492 KiB [startup+247.201 s] /proc/loadavg: 1.14 1.42 1.39 3/215 9543 /proc/meminfo: memFree=20464304/32770624 swapFree=67108688/67108860 [pid=9440] ppid=9437 vsize=14090948 memory=194492 CPUtime=251.67 cores=1,3,5,7 /proc/9440/stat : 9440 (java) S 9437 9440 5234 0 -1 1077944320 60980 0 0 0 25133 34 0 0 20 0 15 0 274499360 14429130752 48623 33554432000 4194304 4196468 140722972673184 140722972655728 140021139140343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 /proc/9440/statm: 3522737 48623 3576 1 0 3484809 0 [pid=9440/tid=9442] ppid=9437 vsize=14090948 memory=2336 CPUtime=245.91 cores=1,3,5,7 /proc/9440/task/9442/stat : 9442 (java) R 9437 9440 5234 0 -1 4202560 26805 0 0 0 24583 8 0 0 20 0 15 0 274499361 14429130752 48623 33554432000 4194304 4196468 140722972673184 140021143378464 140020782379408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9443] ppid=9437 vsize=14090948 memory=1752 CPUtime=0.59 cores=1,3,5,7 /proc/9440/task/9443/stat : 9443 (java) S 9437 9440 5234 0 -1 1077944384 2485 0 0 0 56 3 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020734422160 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9444] ppid=9437 vsize=14090948 memory=194492 CPUtime=0.59 cores=1,3,5,7 /proc/9440/task/9444/stat : 9444 (java) S 9437 9440 5234 0 -1 1077944384 2430 0 0 0 55 4 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020733369360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9445] ppid=9437 vsize=14090948 memory=1808 CPUtime=0.58 cores=1,3,5,7 /proc/9440/task/9445/stat : 9445 (java) S 9437 9440 5234 0 -1 1077944384 2044 0 0 0 54 4 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020732316560 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9446] ppid=9437 vsize=14090948 memory=1620 CPUtime=0.59 cores=1,3,5,7 /proc/9440/task/9446/stat : 9446 (java) S 9437 9440 5234 0 -1 1077944384 3690 0 0 0 54 5 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020731263760 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9447] ppid=9437 vsize=14090948 memory=8112282956445269571 CPUtime=0.48 cores=1,3,5,7 /proc/9440/task/9447/stat : 9447 (java) S 9437 9440 5234 0 -1 1077944384 2274 0 0 0 45 3 0 0 20 0 15 0 274499363 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020052097392 140021139151490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9448] ppid=9437 vsize=14090948 memory=1220 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9448/stat : 9448 (java) S 9437 9440 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274499363 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020051043424 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9449] ppid=9437 vsize=14090948 memory=6692 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9449/stat : 9449 (java) S 9437 9440 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274499364 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020049990528 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9450] ppid=9437 vsize=14090948 memory=1296 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9450/stat : 9450 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020048938832 140021139158939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9451] ppid=9437 vsize=14090948 memory=8112282956445269571 CPUtime=1.03 cores=1,3,5,7 /proc/9440/task/9451/stat : 9451 (java) S 9437 9440 5234 0 -1 1077944384 4821 0 0 0 103 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020047887216 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9452] ppid=9437 vsize=14090948 memory=6692 CPUtime=1.02 cores=1,3,5,7 /proc/9440/task/9452/stat : 9452 (java) S 9437 9440 5234 0 -1 1077944384 3953 0 0 0 101 1 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020046834416 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9453] ppid=9437 vsize=14090948 memory=1296 CPUtime=0.69 cores=1,3,5,7 /proc/9440/task/9453/stat : 9453 (java) S 9437 9440 5234 0 -1 1077944384 9942 0 0 0 68 1 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020045781616 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9454] ppid=9437 vsize=14090948 memory=4452 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9454/stat : 9454 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020044729056 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9455] ppid=9437 vsize=14090948 memory=3868 CPUtime=0.1 cores=1,3,5,7 /proc/9440/task/9455/stat : 9455 (java) S 9437 9440 5234 0 -1 1077944384 1114 0 0 0 4 6 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020043676336 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 Current children cumulated CPU time: 251.67 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 194492 KiB [startup+247.301 s] /proc/loadavg: 1.14 1.42 1.39 3/215 9543 /proc/meminfo: memFree=20464304/32770624 swapFree=67108688/67108860 [pid=9440] ppid=9437 vsize=14090948 memory=194492 CPUtime=251.77 cores=1,3,5,7 /proc/9440/stat : 9440 (java) S 9437 9440 5234 0 -1 1077944320 60980 0 0 0 25143 34 0 0 20 0 15 0 274499360 14429130752 48623 33554432000 4194304 4196468 140722972673184 140722972655728 140021139140343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 /proc/9440/statm: 3522737 48623 3576 1 0 3484809 0 [pid=9440/tid=9442] ppid=9437 vsize=14090948 memory=194492 CPUtime=246.01 cores=1,3,5,7 /proc/9440/task/9442/stat : 9442 (java) R 9437 9440 5234 0 -1 4202560 26805 0 0 0 24593 8 0 0 20 0 15 0 274499361 14429130752 48623 33554432000 4194304 4196468 140722972673184 140021143378464 140020782379723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9443] ppid=9437 vsize=14090948 memory=194492 CPUtime=0.59 cores=1,3,5,7 /proc/9440/task/9443/stat : 9443 (java) S 9437 9440 5234 0 -1 1077944384 2485 0 0 0 56 3 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020734422160 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9444] ppid=9437 vsize=14090948 memory=2684 CPUtime=0.59 cores=1,3,5,7 /proc/9440/task/9444/stat : 9444 (java) S 9437 9440 5234 0 -1 1077944384 2430 0 0 0 55 4 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020733369360 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9445] ppid=9437 vsize=14090948 memory=24163 CPUtime=0.58 cores=1,3,5,7 /proc/9440/task/9445/stat : 9445 (java) S 9437 9440 5234 0 -1 1077944384 2044 0 0 0 54 4 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020732316560 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9446] ppid=9437 vsize=14090948 memory=0 CPUtime=0.59 cores=1,3,5,7 /proc/9440/task/9446/stat : 9446 (java) S 9437 9440 5234 0 -1 1077944384 3690 0 0 0 54 5 0 0 20 0 15 0 274499362 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020731263760 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9447] ppid=9437 vsize=14090948 memory=194492 CPUtime=0.48 cores=1,3,5,7 /proc/9440/task/9447/stat : 9447 (java) S 9437 9440 5234 0 -1 1077944384 2274 0 0 0 45 3 0 0 20 0 15 0 274499363 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020052097392 140021139151490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9448] ppid=9437 vsize=14090948 memory=194492 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9448/stat : 9448 (java) S 9437 9440 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274499363 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020051043424 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9449] ppid=9437 vsize=14090948 memory=190396 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9449/stat : 9449 (java) S 9437 9440 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274499364 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020049990528 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9450] ppid=9437 vsize=14090948 memory=192444 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9450/stat : 9450 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020048938832 140021139158939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9451] ppid=9437 vsize=14090948 memory=194492 CPUtime=1.03 cores=1,3,5,7 /proc/9440/task/9451/stat : 9451 (java) S 9437 9440 5234 0 -1 1077944384 4821 0 0 0 103 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020047887216 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9452] ppid=9437 vsize=14090948 memory=0 CPUtime=1.02 cores=1,3,5,7 /proc/9440/task/9452/stat : 9452 (java) S 9437 9440 5234 0 -1 1077944384 3953 0 0 0 101 1 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020046834416 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9453] ppid=9437 vsize=14090948 memory=194492 CPUtime=0.69 cores=1,3,5,7 /proc/9440/task/9453/stat : 9453 (java) S 9437 9440 5234 0 -1 1077944384 9942 0 0 0 68 1 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020045781616 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9454] ppid=9437 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7 /proc/9440/task/9454/stat : 9454 (java) S 9437 9440 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020044729056 140021139150549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 [pid=9440/tid=9455] ppid=9437 vsize=14090948 memory=194492 CPUtime=0.1 cores=1,3,5,7 /proc/9440/task/9455/stat : 9455 (java) S 9437 9440 5234 0 -1 1077944384 1114 0 0 0 4 6 0 0 20 0 15 0 274499366 14429130752 48623 33554432000 4194304 4196468 140722972673184 140020043676336 140021139151490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 11055104 140722972677199 140722972677390 140722972677390 140722972680143 0 Current children cumulated CPU time: 251.77 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 194492 KiB Child status: 0 Real time (s): 247.366 CPU time (s): 251.854 CPU user time (s): 251.497 CPU system time (s): 0.35783 CPU usage (%): 101.815 Max. virtual memory (cumulated for all children) (KiB): 14090948 Max. memory (cumulated for all children) (KiB): 241056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.497 system time used= 0.35783 maximum resident set size= 241056 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62337 page faults= 0 swaps= 0 block input operations= 0 block output operations= 432 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20466 involuntary context switches= 387 # summary of solver processes directly reported to runsolver: # pid: 9440 # total CPU time (s): 251.854 # total CPU user time (s): 251.497 # total CPU system time (s): 0.35783 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.64559 second user time and 2.27519 second system time The end
Begin job on node106 at 2018-08-18 07:16:05 IDJOB=4312321 IDBENCH=141215 IDSOLVER=2800 FILE ID=node106/4312321-1534569365 RUNJOBID= node106-1534568853-8990 PBS_JOBID= 21038641 Free space on /tmp= 53828 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-1_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312321-1534569365/watcher-4312321-1534569365 -o /tmp/evaluation-result-4312321-1534569365/solver-4312321-1534569365 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534568853-8990 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 414218054 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312321-1534569365.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e8035d4b0abecbc1a78dd1ff35d13fe4 RANDOM SEED=414218054 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 22847320 kB MemAvailable: 31242772 kB Buffers: 233580 kB Cached: 8424808 kB SwapCached: 0 kB Active: 5127940 kB Inactive: 4231548 kB Active(anon): 672812 kB Inactive(anon): 96876 kB Active(file): 4455128 kB Inactive(file): 4134672 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 35760 kB Writeback: 0 kB AnonPages: 578856 kB Mapped: 32812 kB Shmem: 66016 kB Slab: 262920 kB SReclaimable: 234112 kB SUnreclaim: 28808 kB KernelStack: 3808 kB PageTables: 6880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1730976 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 432128 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 53748 MiB End job on node106 at 2018-08-18 07:20:12