Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 145 | 20066.2 | 2520.15 |
Name | StillLife/ StillLife-wastage-17_c18.xml |
MD5SUM | 6bdaa478fa612f14e4ae80d6384d4ab1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 145 |
Best CPU time to get the best result obtained on this benchmark | 20066.2 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 742 |
Number of constraints | 467 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 723 |
Distribution of domain sizes | [{"size":2,"count":361},{"size":3,"count":361},{"size":290,"count":1},{"size":723,"count":19}] |
Minimum variable degree | 1 |
Maximum variable degree | 20 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":358},{"degree":3,"count":22},{"degree":4,"count":68},{"degree":8,"count":64},{"degree":9,"count":225},{"degree":20,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":2,"count":87},{"arity":3,"count":68},{"arity":10,"count":289},{"arity":19,"count":4},{"arity":20,"count":1},{"arity":21,"count":18}] |
Number of extensional constraints | 357 |
Number of intensional constraints | 86 |
Distribution of constraint types | [{"type":"extension","count":357},{"type":"intension","count":86},{"type":"sum","count":20},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297363-1532690012.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297363-1532690012.xml, -tl, 20160s, -p, 8] 0.11/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.37/1.41 c solve instance... 7.40/1.81 o 9 7.40/1.88 o 10 7.40/1.88 o 11 7.40/1.88 o 12 7.40/1.89 o 13 7.40/1.89 o 14 7.40/1.89 o 15 7.40/1.89 o 16 7.40/1.89 o 17 7.40/1.90 o 18 8.07/1.91 o 19 8.07/1.91 o 20 8.07/1.92 o 21 8.07/1.92 o 22 8.07/1.92 o 23 8.07/1.93 o 24 8.07/1.93 o 25 8.07/1.93 o 26 8.07/1.93 o 27 8.07/1.93 o 28 8.07/1.94 o 29 8.07/1.94 o 30 8.07/1.94 o 31 8.07/1.94 o 32 8.07/1.95 o 33 8.07/1.95 o 34 8.07/1.95 o 35 8.07/1.95 o 36 8.07/1.96 o 37 8.07/1.96 o 38 8.07/1.96 o 39 8.07/1.98 o 40 8.07/1.98 o 41 8.07/1.98 o 42 8.07/1.99 o 43 8.07/2.00 o 44 8.07/2.00 o 45 8.07/2.00 o 46 8.07/2.00 o 47 8.68/2.01 o 48 8.68/2.02 o 49 8.68/2.02 o 50 8.68/2.02 o 51 8.68/2.03 o 52 8.68/2.03 o 53 8.68/2.03 o 54 8.68/2.03 o 55 8.68/2.04 o 56 8.68/2.04 o 57 8.68/2.04 o 58 8.68/2.05 o 59 8.68/2.05 o 60 8.68/2.05 o 61 8.68/2.06 o 62 8.68/2.06 o 63 8.68/2.06 o 64 8.68/2.06 o 65 8.68/2.06 o 66 8.68/2.06 o 67 8.68/2.06 o 68 8.68/2.07 o 69 8.68/2.09 o 70 8.68/2.09 o 71 8.68/2.09 o 72 8.68/2.10 o 73 8.68/2.11 o 74 9.28/2.11 o 75 9.28/2.11 o 76 9.28/2.13 o 77 9.28/2.14 o 78 9.28/2.14 o 79 9.28/2.14 o 80 9.28/2.14 o 81 9.28/2.15 o 82 9.28/2.15 o 83 9.28/2.15 o 84 9.28/2.16 o 85 9.28/2.16 o 86 9.28/2.16 o 87 9.28/2.16 o 88 9.28/2.16 o 89 9.28/2.17 o 90 9.28/2.18 o 91 9.28/2.18 o 92 9.28/2.18 o 93 9.28/2.18 o 94 9.28/2.20 o 95 9.82/2.20 o 96 9.82/2.20 o 97 9.82/2.20 o 98 9.82/2.21 o 99 9.82/2.21 o 100 9.82/2.21 o 101 9.82/2.21 o 102 9.82/2.21 o 103 9.82/2.22 o 104 9.82/2.22 o 105 9.82/2.22 o 106 9.82/2.22 o 107 9.82/2.23 o 108 9.82/2.23 o 109 9.82/2.23 o 110 9.82/2.23 o 111 9.82/2.24 o 112 9.82/2.24 o 113 9.82/2.24 o 114 9.82/2.25 o 115 9.82/2.25 o 116 9.82/2.26 o 117 9.82/2.26 o 118 9.82/2.27 o 119 9.82/2.27 o 120 9.82/2.30 o 121 10.36/2.30 o 122 10.36/2.30 o 123 10.36/2.30 o 124 10.36/2.30 o 125 10.36/2.31 o 126 10.36/2.31 o 127 10.36/2.31 o 128 10.36/2.31 o 129 10.36/2.32 o 130 10.36/2.32 o 131 10.36/2.35 o 132 10.36/2.35 o 133 10.36/2.36 o 134 10.36/2.36 o 135 10.36/2.36 o 136 10.36/2.36 o 137 10.36/2.37 o 138 10.36/2.38 o 139 10.36/2.38 o 140 10.36/2.38 o 141 11.10/2.42 o 142 27.64/4.53 o 143 748.37/94.91 o 144 1128.78/142.62 o 145 20065.26/2520.10 s SATISFIABLE 20065.26/2520.10 v <instantiation> 20065.26/2520.10 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] z </list> 20065.26/2520.10 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 5 5 5 12 12 12 29 33 34 36 39 41 45 48 48 52 55 60 66 145 </values> 20065.26/2520.10 v </instantiation> 20065.26/2520.10 c Unexpected resolution interruption!
OK 145
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 (8593 MiB free) memory of node 1: 16384 MiB (13536 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297363-1532690012/watcher-4297363-1532690012 -o /tmp/evaluation-result-4297363-1532690012/solver-4297363-1532690012 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532684965-11196 --watchdog 2580 HOME/xcsp3-exec -seed 661597863 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297363-1532690012.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=11693, runsolver pid=11690 [startup+0.100112 s]* /proc/loadavg: 9.27 8.91 8.84 3/202 11714 /proc/meminfo: memFree=22646884/32770624 swapFree=67108772/67108860 [pid=11693] ppid=11690 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11693/stat : 11693 (xcsp3-exec) S 11690 11693 11169 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86564049 115843072 364 33554432000 4194304 5098028 140727397809232 140727397807336 140488220549756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36347904 140727397815350 140727397815552 140727397815552 140727397818314 0 /proc/11693/statm: 28282 364 306 221 0 87 0 [pid=11695] ppid=11693 vsize=26104152 memory=26948 CPUtime=0.11 cores=0-7 /proc/11695/stat : 11695 (java) S 11693 11693 11169 0 -1 1077944320 5660 0 0 0 10 1 0 0 20 0 20 0 86564049 26730651648 6737 33554432000 4194304 4196468 140729758377584 140729758360128 140361343684343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 /proc/11695/statm: 6526038 6737 3002 1 0 6488315 0 [pid=11695/tid=11696] ppid=11693 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/11695/task/11696/stat : 11696 (java) R 11693 11693 11169 0 -1 4202560 3666 0 0 0 8 1 0 0 20 0 20 0 86564050 26730651648 6737 33554432000 4194304 4196468 140729758377584 140361347917592 140361343705690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11697] ppid=11693 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11695/task/11697/stat : 11697 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 6737 33554432000 4194304 4196468 140729758377584 140361296304400 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11698] ppid=11693 vsize=26104152 memory=139975592736384 CPUtime=0 cores=0-7 /proc/11695/task/11698/stat : 11698 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 6737 33554432000 4194304 4196468 140729758377584 140361295251856 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11699] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11699/stat : 11699 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 6737 33554432000 4194304 4196468 140729758377584 140361294199312 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11700] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11700/stat : 11700 (java) S 11693 11693 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 6737 33554432000 4194304 4196468 140729758377584 140361293146768 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11701] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11701/stat : 11701 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 6737 33554432000 4194304 4196468 140729758377584 140361292094224 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11702] ppid=11693 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11695/task/11702/stat : 11702 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 6737 33554432000 4194304 4196468 140729758377584 140361291041680 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11703] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11703/stat : 11703 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 6737 33554432000 4194304 4196468 140729758377584 140361289989136 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11704] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11704/stat : 11704 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 6737 33554432000 4194304 4196468 140729758377584 140361288936592 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11705] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11705/stat : 11705 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564052 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360017778672 140361343695490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11706] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11706/stat : 11706 (java) S 11693 11693 11169 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86564053 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360016724896 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11707] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11707/stat : 11707 (java) S 11693 11693 11169 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86564053 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360015672304 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11708] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11708/stat : 11708 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564055 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360014620880 140361343702939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11709] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11709/stat : 11709 (java) S 11693 11693 11169 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 86564055 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360013568496 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11710] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11710/stat : 11710 (java) S 11693 11693 11169 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86564055 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360012515952 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11711] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11711/stat : 11711 (java) S 11693 11693 11169 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 86564055 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360011463408 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11712] ppid=11693 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/11695/task/11712/stat : 11712 (java) R 11693 11693 11169 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 86564055 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360010410864 140361322384544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11713] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11713/stat : 11713 (java) S 11693 11693 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86564055 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360009357536 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11714] ppid=11693 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11695/task/11714/stat : 11714 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564056 26730651648 6737 33554432000 4194304 4196468 140729758377584 140360008305072 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28404 KiB [startup+0.21044 s]* /proc/loadavg: 9.27 8.91 8.84 4/202 11714 /proc/meminfo: memFree=22634732/32770624 swapFree=67108772/67108860 [pid=11693] ppid=11690 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11693/stat : 11693 (xcsp3-exec) S 11690 11693 11169 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86564049 115843072 364 33554432000 4194304 5098028 140727397809232 140727397807336 140488220549756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36347904 140727397815350 140727397815552 140727397815552 140727397818314 0 /proc/11693/statm: 28282 364 306 221 0 87 0 [pid=11695] ppid=11693 vsize=26104152 memory=39476 CPUtime=0.33 cores=0-7 /proc/11695/stat : 11695 (java) S 11693 11693 11169 0 -1 1077944320 8455 0 0 0 30 3 0 0 20 0 20 0 86564049 26730651648 9869 33554432000 4194304 4196468 140729758377584 140729758360128 140361343684343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 /proc/11695/statm: 6526038 9869 3154 1 0 6488315 0 [pid=11695/tid=11696] ppid=11693 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/11695/task/11696/stat : 11696 (java) R 11693 11693 11169 0 -1 4202560 5566 0 0 0 18 1 0 0 20 0 20 0 86564050 26730651648 9869 33554432000 4194304 4196468 140729758377584 140361347921216 140361321687247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11697] ppid=11693 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/11695/task/11697/stat : 11697 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 9869 33554432000 4194304 4196468 140729758377584 140361296304400 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11698] ppid=11693 vsize=26104152 memory=139975593226361 CPUtime=0 cores=0-7 /proc/11695/task/11698/stat : 11698 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 9869 33554432000 4194304 4196468 140729758377584 140361295251856 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11699] ppid=11693 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11695/task/11699/stat : 11699 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 9869 33554432000 4194304 4196468 140729758377584 140361294199312 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11700] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11700/stat : 11700 (java) S 11693 11693 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 9869 33554432000 4194304 4196468 140729758377584 140361293146768 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11701] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11701/stat : 11701 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 9869 33554432000 4194304 4196468 140729758377584 140361292094224 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11702] ppid=11693 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11695/task/11702/stat : 11702 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 9869 33554432000 4194304 4196468 140729758377584 140361291041680 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11703] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11703/stat : 11703 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 9869 33554432000 4194304 4196468 140729758377584 140361289989136 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11704] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11704/stat : 11704 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26730651648 9869 33554432000 4194304 4196468 140729758377584 140361288936592 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11705] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11705/stat : 11705 (java) S 11693 11693 11169 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 86564052 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360017778672 140361343695490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11706] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11706/stat : 11706 (java) S 11693 11693 11169 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86564053 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360016724896 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11707] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11707/stat : 11707 (java) S 11693 11693 11169 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86564053 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360015672304 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11708] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11708/stat : 11708 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564055 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360014620880 140361343702939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11709] ppid=11693 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/11695/task/11709/stat : 11709 (java) R 11693 11693 11169 0 -1 1077944384 610 0 0 0 2 0 0 0 20 0 20 0 86564055 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360013568496 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11710] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11710/stat : 11710 (java) S 11693 11693 11169 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86564055 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360012515952 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11711] ppid=11693 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11695/task/11711/stat : 11711 (java) S 11693 11693 11169 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 86564055 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360011463408 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11712] ppid=11693 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/11695/task/11712/stat : 11712 (java) R 11693 11693 11169 0 -1 1077944384 809 0 0 0 7 0 0 0 20 0 20 0 86564055 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360010410864 140361343695490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11713] ppid=11693 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11713/stat : 11713 (java) S 11693 11693 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86564055 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360009357536 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11714] ppid=11693 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/11695/task/11714/stat : 11714 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564056 26730651648 9869 33554432000 4194304 4196468 140729758377584 140360008305072 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40932 KiB [startup+0.310237 s]* /proc/loadavg: 9.27 8.91 8.84 4/202 11714 /proc/meminfo: memFree=22628808/32770624 swapFree=67108772/67108860 [pid=11693] ppid=11690 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11693/stat : 11693 (xcsp3-exec) S 11690 11693 11169 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86564049 115843072 364 33554432000 4194304 5098028 140727397809232 140727397807336 140488220549756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36347904 140727397815350 140727397815552 140727397815552 140727397818314 0 /proc/11693/statm: 28282 364 306 221 0 87 0 [pid=11695] ppid=11693 vsize=26108408 memory=46808 CPUtime=0.52 cores=0-7 /proc/11695/stat : 11695 (java) S 11693 11693 11169 0 -1 1077944320 9394 0 0 0 47 5 0 0 20 0 20 0 86564049 26735009792 11702 33554432000 4194304 4196468 140729758377584 140729758360128 140361343684343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 /proc/11695/statm: 6527102 11702 3256 1 0 6488315 0 [pid=11695/tid=11696] ppid=11693 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/11695/task/11696/stat : 11696 (java) R 11693 11693 11169 0 -1 4202560 6283 0 0 0 27 2 0 0 20 0 20 0 86564050 26735009792 11702 33554432000 4194304 4196468 140729758377584 140361347915456 140361327764830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11697] ppid=11693 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11697/stat : 11697 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564051 26735009792 11702 33554432000 4194304 4196468 140729758377584 140361296304400 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11698] ppid=11693 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11698/stat : 11698 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564051 26735009792 11702 33554432000 4194304 4196468 140729758377584 140361295251856 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11699] ppid=11693 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11699/stat : 11699 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26735009792 11702 33554432000 4194304 4196468 140729758377584 140361294199312 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11700] ppid=11693 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11700/stat : 11700 (java) S 11693 11693 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86564051 26735009792 11702 33554432000 4194304 4196468 140729758377584 140361293146768 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11701] ppid=11693 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/11695/task/11701/stat : 11701 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26735009792 11702 33554432000 4194304 4196468 140729758377584 140361292094224 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11702] ppid=11693 vsize=26108408 memory=139975467299759 CPUtime=0 cores=0-7 /proc/11695/task/11702/stat : 11702 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26735009792 11702 33554432000 4194304 4196468 140729758377584 140361291041680 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11703] ppid=11693 vsize=26108408 memory=139975467302064 CPUtime=0 cores=0-7 /proc/11695/task/11703/stat : 11703 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26735009792 11702 33554432000 4194304 4196468 140729758377584 140361289989136 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11704] ppid=11693 vsize=26108408 memory=139975467304368 CPUtime=0 cores=0-7 /proc/11695/task/11704/stat : 11704 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26735009792 11702 33554432000 4194304 4196468 140729758377584 140361288936592 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11705] ppid=11693 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11705/stat : 11705 (java) S 11693 11693 11169 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 86564052 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360017778672 140361343695490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11706] ppid=11693 vsize=26108408 memory=279950934615696 CPUtime=0 cores=0-7 /proc/11695/task/11706/stat : 11706 (java) S 11693 11693 11169 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86564053 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360016724896 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11707] ppid=11693 vsize=26108408 memory=279950934622608 CPUtime=0 cores=0-7 /proc/11695/task/11707/stat : 11707 (java) S 11693 11693 11169 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86564053 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360015672304 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11708] ppid=11693 vsize=26108408 memory=279950934563760 CPUtime=0 cores=0-7 /proc/11695/task/11708/stat : 11708 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564055 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360014620880 140361343702939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11709] ppid=11693 vsize=26108408 memory=279950934636432 CPUtime=0.03 cores=0-7 /proc/11695/task/11709/stat : 11709 (java) S 11693 11693 11169 0 -1 1077944384 632 0 0 0 3 0 0 0 20 0 20 0 86564055 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360013568496 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11710] ppid=11693 vsize=26108408 memory=279950934643344 CPUtime=0.01 cores=0-7 /proc/11695/task/11710/stat : 11710 (java) S 11693 11693 11169 0 -1 1077944384 139 0 0 0 1 0 0 0 20 0 20 0 86564055 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360012515952 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11711] ppid=11693 vsize=26108408 memory=279950934641040 CPUtime=0.02 cores=0-7 /proc/11695/task/11711/stat : 11711 (java) S 11693 11693 11169 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 20 0 86564055 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360011463408 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11712] ppid=11693 vsize=26108408 memory=279950934657200 CPUtime=0.12 cores=0-7 /proc/11695/task/11712/stat : 11712 (java) S 11693 11693 11169 0 -1 1077944384 891 0 0 0 12 0 0 0 20 0 20 0 86564055 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360010410864 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11713] ppid=11693 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11713/stat : 11713 (java) S 11693 11693 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86564055 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360009357536 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11714] ppid=11693 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/11695/task/11714/stat : 11714 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564056 26735009792 11702 33554432000 4194304 4196468 140729758377584 140360008305072 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48264 KiB [startup+0.701014 s] /proc/loadavg: 9.27 8.91 8.84 4/202 11714 /proc/meminfo: memFree=22614416/32770624 swapFree=67108772/67108860 [pid=11693] ppid=11690 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11693/stat : 11693 (xcsp3-exec) S 11690 11693 11169 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86564049 115843072 364 33554432000 4194304 5098028 140727397809232 140727397807336 140488220549756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36347904 140727397815350 140727397815552 140727397815552 140727397818314 0 /proc/11693/statm: 28282 364 306 221 0 87 0 [pid=11695] ppid=11693 vsize=26110532 memory=89660 CPUtime=1.61 cores=0-7 /proc/11695/stat : 11695 (java) S 11693 11693 11169 0 -1 1077944320 12518 0 0 0 154 7 0 0 20 0 20 0 86564049 26737184768 22415 33554432000 4194304 4196468 140729758377584 140729758360128 140361343684343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 /proc/11695/statm: 6527633 22415 3359 1 0 6488827 0 [pid=11695/tid=11696] ppid=11693 vsize=26110532 memory=279950935015088 CPUtime=0.67 cores=0-7 /proc/11695/task/11696/stat : 11696 (java) R 11693 11693 11169 0 -1 4202560 7197 0 0 0 63 4 0 0 20 0 20 0 86564050 26737184768 22415 33554432000 4194304 4196468 140729758377584 140361347911840 140361343696278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11697] ppid=11693 vsize=26110532 memory=139975467508592 CPUtime=0 cores=0-7 /proc/11695/task/11697/stat : 11697 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564051 26737184768 22415 33554432000 4194304 4196468 140729758377584 140361296304400 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11698] ppid=11693 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/11695/task/11698/stat : 11698 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86564051 26737184768 22415 33554432000 4194304 4196468 140729758377584 140361295251856 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11699] ppid=11693 vsize=26110532 memory=4616 CPUtime=0 cores=0-7 /proc/11695/task/11699/stat : 11699 (java) S 11693 11693 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86564051 26737184768 22415 33554432000 4194304 4196468 140729758377584 140361294199312 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 ################ # More data... # ################ /proc/meminfo: memFree=16958484/32770624 swapFree=67108772/67108860 [pid=11693] ppid=11690 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11693/stat : 11693 (xcsp3-exec) S 11690 11693 11169 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86564049 115843072 364 33554432000 4194304 5098028 140727397809232 140727397807336 140488220549756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36347904 140727397815350 140727397815552 140727397815552 140727397818314 0 /proc/11693/statm: 28282 364 306 221 0 87 0 [pid=11695] ppid=11693 vsize=26711656 memory=5703696 CPUtime=19924.4 cores=0-7 /proc/11695/stat : 11695 (java) S 11693 11693 11169 0 -1 1077944320 674155 0 3 0 1991672 772 0 0 20 0 28 0 86564049 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140729758360128 140361343684343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 /proc/11695/statm: 6677914 1425924 3460 1 0 6639108 0 [pid=11695/tid=11696] ppid=11693 vsize=26711656 memory=5703696 CPUtime=1.43 cores=0-7 /proc/11695/task/11696/stat : 11696 (java) S 11693 11693 11169 0 -1 1077944384 8590 0 0 0 137 6 0 0 20 0 28 0 86564050 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140361347925152 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11697] ppid=11693 vsize=26711656 memory=5701648 CPUtime=3.58 cores=0-7 /proc/11695/task/11697/stat : 11697 (java) S 11693 11693 11169 0 -1 1077944384 20622 0 0 0 333 25 0 0 20 0 28 0 86564051 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140361296304400 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11698] ppid=11693 vsize=26711656 memory=5703696 CPUtime=3.58 cores=0-7 /proc/11695/task/11698/stat : 11698 (java) S 11693 11693 11169 0 -1 1077944384 24100 0 0 0 330 28 0 0 20 0 28 0 86564051 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140361295251856 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11699] ppid=11693 vsize=26711656 memory=5703696 CPUtime=3.59 cores=0-7 /proc/11695/task/11699/stat : 11699 (java) S 11693 11693 11169 0 -1 1077944384 26412 0 0 0 330 29 0 0 20 0 28 0 86564051 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140361294199312 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11700] ppid=11693 vsize=26711656 memory=0 CPUtime=3.6 cores=0-7 /proc/11695/task/11700/stat : 11700 (java) S 11693 11693 11169 0 -1 1077944384 21572 0 0 0 334 26 0 0 20 0 28 0 86564051 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140361293146768 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11701] ppid=11693 vsize=26711656 memory=844 CPUtime=3.55 cores=0-7 /proc/11695/task/11701/stat : 11701 (java) S 11693 11693 11169 0 -1 1077944384 21776 0 0 0 330 25 0 0 20 0 28 0 86564051 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140361292094224 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11702] ppid=11693 vsize=26711656 memory=164 CPUtime=3.56 cores=0-7 /proc/11695/task/11702/stat : 11702 (java) S 11693 11693 11169 0 -1 1077944384 22934 0 0 0 329 27 0 0 20 0 28 0 86564051 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140361291041680 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11703] ppid=11693 vsize=26711656 memory=7453008127191248751 CPUtime=3.59 cores=0-7 /proc/11695/task/11703/stat : 11703 (java) S 11693 11693 11169 0 -1 1077944384 24652 0 0 0 332 27 0 0 20 0 28 0 86564051 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140361289989136 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11704] ppid=11693 vsize=26711656 memory=288230574492221466 CPUtime=3.56 cores=0-7 /proc/11695/task/11704/stat : 11704 (java) S 11693 11693 11169 0 -1 1077944384 23715 0 0 0 330 26 0 0 20 0 28 0 86564051 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140361288936592 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11705] ppid=11693 vsize=26711656 memory=288230583166042425 CPUtime=1.68 cores=0-7 /proc/11695/task/11705/stat : 11705 (java) S 11693 11693 11169 0 -1 1077944384 81573 0 0 0 139 29 0 0 20 0 28 0 86564052 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360017778672 140361343695490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11706] ppid=11693 vsize=26711656 memory=5702676 CPUtime=0 cores=0-7 /proc/11695/task/11706/stat : 11706 (java) S 11693 11693 11169 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 86564053 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360016724960 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11707] ppid=11693 vsize=26711656 memory=1456 CPUtime=0 cores=0-7 /proc/11695/task/11707/stat : 11707 (java) S 11693 11693 11169 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 86564053 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360015672320 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11708] ppid=11693 vsize=26711656 memory=7284 CPUtime=0 cores=0-7 /proc/11695/task/11708/stat : 11708 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86564055 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360014620880 140361343702939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11709] ppid=11693 vsize=26711656 memory=840 CPUtime=2.34 cores=0-7 /proc/11695/task/11709/stat : 11709 (java) S 11693 11693 11169 0 -1 1077944384 11482 0 0 0 231 3 0 0 20 0 28 0 86564055 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360013568496 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11710] ppid=11693 vsize=26711656 memory=0 CPUtime=2.33 cores=0-7 /proc/11695/task/11710/stat : 11710 (java) S 11693 11693 11169 0 -1 1077944384 11459 0 0 0 231 2 0 0 20 0 28 0 86564055 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360012515952 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11711] ppid=11693 vsize=26711656 memory=7523376879624941157 CPUtime=2.29 cores=0-7 /proc/11695/task/11711/stat : 11711 (java) S 11693 11693 11169 0 -1 1077944384 9645 0 3 0 228 1 0 0 20 0 28 0 86564055 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360011463408 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11712] ppid=11693 vsize=26711656 memory=3780 CPUtime=1.05 cores=0-7 /proc/11695/task/11712/stat : 11712 (java) S 11693 11693 11169 0 -1 1077944384 12789 0 0 0 102 3 0 0 20 0 28 0 86564055 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360010410864 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11713] ppid=11693 vsize=26711656 memory=1456 CPUtime=0 cores=0-7 /proc/11695/task/11713/stat : 11713 (java) S 11693 11693 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86564055 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360009357536 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11714] ppid=11693 vsize=26711656 memory=6791534058613427641 CPUtime=1.46 cores=0-7 /proc/11695/task/11714/stat : 11714 (java) S 11693 11693 11169 0 -1 1077944384 6097 0 0 0 73 73 0 0 20 0 28 0 86564056 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140360008305072 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12806] ppid=11693 vsize=26711656 memory=288230583166042425 CPUtime=2342.64 cores=0-7 /proc/11695/task/12806/stat : 12806 (java) R 11693 11693 11169 0 -1 4202560 26457 0 0 0 234227 37 0 0 20 0 28 0 86578311 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140359152516344 140360966335085 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12807] ppid=11693 vsize=26711656 memory=16104758104558012 CPUtime=2343.63 cores=0-7 /proc/11695/task/12807/stat : 12807 (java) R 11693 11693 11169 0 -1 4202560 22848 0 0 0 234330 33 0 0 20 0 28 0 86578312 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140359145151632 140360968910198 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12808] ppid=11693 vsize=26711656 memory=5702676 CPUtime=2337.75 cores=0-7 /proc/11695/task/12808/stat : 12808 (java) R 11693 11693 11169 0 -1 4202560 22695 0 0 0 233750 25 0 0 20 0 28 0 86578312 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140359144096984 140360966798933 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12809] ppid=11693 vsize=26711656 memory=1456 CPUtime=2345.69 cores=0-7 /proc/11695/task/12809/stat : 12809 (java) R 11693 11693 11169 0 -1 4202560 50963 0 0 0 234486 83 0 0 20 0 28 0 86578312 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140359146201032 140360965737752 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12810] ppid=11693 vsize=26711656 memory=5702676 CPUtime=2349.01 cores=0-7 /proc/11695/task/12810/stat : 12810 (java) R 11693 11693 11169 0 -1 4202560 42636 0 0 0 234865 36 0 0 20 0 28 0 86578312 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140359147253640 140360966332640 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12811] ppid=11693 vsize=26711656 memory=18264 CPUtime=2347.13 cores=0-7 /proc/11695/task/12811/stat : 12811 (java) R 11693 11693 11169 0 -1 4202560 21728 0 0 0 234687 26 0 0 20 0 28 0 86578312 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140359150411720 140360965737473 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12812] ppid=11693 vsize=26711656 memory=15636 CPUtime=2350.92 cores=0-7 /proc/11695/task/12812/stat : 12812 (java) R 11693 11693 11169 0 -1 4202560 63591 0 0 0 235014 78 0 0 20 0 28 0 86578312 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140359151464640 140360966717630 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12813] ppid=11693 vsize=26711656 memory=1456 CPUtime=2348.83 cores=0-7 /proc/11695/task/12813/stat : 12813 (java) R 11693 11693 11169 0 -1 4202560 27372 0 0 0 234864 19 0 0 20 0 28 0 86578312 27352735744 1425924 33554432000 4194304 4196468 140729758377584 140359148306560 140360966717630 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 Current children cumulated CPU time: 19924.4 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 5705152 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.02 8.25 8.34 9/207 12849 /proc/meminfo: memFree=16957980/32770624 swapFree=67108772/67108860 [pid=11693] ppid=11690 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11693/stat : 11693 (xcsp3-exec) S 11690 11693 11169 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86564049 115843072 364 33554432000 4194304 5098028 140727397809232 140727397807336 140488220549756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36347904 140727397815350 140727397815552 140727397815552 140727397818314 0 /proc/11693/statm: 28282 364 306 221 0 87 0 [pid=11695] ppid=11693 vsize=26711656 memory=5702664 CPUtime=20065.3 cores=0-7 /proc/11695/stat : 11695 (java) S 11693 11693 11169 0 -1 1077944320 676687 0 3 0 2005751 775 0 0 20 0 28 0 86564049 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140729758360128 140361343684343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 /proc/11695/statm: 6677914 1425666 3460 1 0 6639108 0 [pid=11695/tid=11696] ppid=11693 vsize=26711656 memory=6791534058613427641 CPUtime=1.43 cores=0-7 /proc/11695/task/11696/stat : 11696 (java) S 11693 11693 11169 0 -1 1077944384 8590 0 0 0 137 6 0 0 20 0 28 0 86564050 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140361347925152 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11697] ppid=11693 vsize=26711656 memory=4872558044660077418 CPUtime=3.62 cores=0-7 /proc/11695/task/11697/stat : 11697 (java) S 11693 11693 11169 0 -1 1077944384 20683 0 0 0 337 25 0 0 20 0 28 0 86564051 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140361296304400 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11698] ppid=11693 vsize=26711656 memory=4008 CPUtime=3.61 cores=0-7 /proc/11695/task/11698/stat : 11698 (java) S 11693 11693 11169 0 -1 1077944384 24248 0 0 0 333 28 0 0 20 0 28 0 86564051 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140361295251856 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11699] ppid=11693 vsize=26711656 memory=18264 CPUtime=3.62 cores=0-7 /proc/11695/task/11699/stat : 11699 (java) S 11693 11693 11169 0 -1 1077944384 26471 0 0 0 333 29 0 0 20 0 28 0 86564051 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140361294199312 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11700] ppid=11693 vsize=26711656 memory=15636 CPUtime=3.64 cores=0-7 /proc/11695/task/11700/stat : 11700 (java) S 11693 11693 11169 0 -1 1077944384 21973 0 0 0 338 26 0 0 20 0 28 0 86564051 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140361293146768 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11701] ppid=11693 vsize=26711656 memory=1788 CPUtime=3.59 cores=0-7 /proc/11695/task/11701/stat : 11701 (java) S 11693 11693 11169 0 -1 1077944384 21849 0 0 0 334 25 0 0 20 0 28 0 86564051 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140361292094224 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11702] ppid=11693 vsize=26711656 memory=644 CPUtime=3.6 cores=0-7 /proc/11695/task/11702/stat : 11702 (java) S 11693 11693 11169 0 -1 1077944384 23007 0 0 0 333 27 0 0 20 0 28 0 86564051 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140361291041680 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11703] ppid=11693 vsize=26711656 memory=-3622645143214314312 CPUtime=3.63 cores=0-7 /proc/11695/task/11703/stat : 11703 (java) S 11693 11693 11169 0 -1 1077944384 24846 0 0 0 336 27 0 0 20 0 28 0 86564051 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140361289989136 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11704] ppid=11693 vsize=26711656 memory=1232 CPUtime=3.6 cores=0-7 /proc/11695/task/11704/stat : 11704 (java) S 11693 11693 11169 0 -1 1077944384 23757 0 0 0 334 26 0 0 20 0 28 0 86564051 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140361288936592 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11705] ppid=11693 vsize=26711656 memory=2340 CPUtime=1.71 cores=0-7 /proc/11695/task/11705/stat : 11705 (java) S 11693 11693 11169 0 -1 1077944384 81909 0 0 0 141 30 0 0 20 0 28 0 86564052 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360017778672 140361343695490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11706] ppid=11693 vsize=26711656 memory=1576 CPUtime=0 cores=0-7 /proc/11695/task/11706/stat : 11706 (java) S 11693 11693 11169 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 86564053 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360016724960 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11707] ppid=11693 vsize=26711656 memory=928 CPUtime=0 cores=0-7 /proc/11695/task/11707/stat : 11707 (java) S 11693 11693 11169 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 86564053 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360015672320 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11708] ppid=11693 vsize=26711656 memory=2240 CPUtime=0 cores=0-7 /proc/11695/task/11708/stat : 11708 (java) S 11693 11693 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86564055 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360014620880 140361343702939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11709] ppid=11693 vsize=26711656 memory=4124 CPUtime=2.34 cores=0-7 /proc/11695/task/11709/stat : 11709 (java) S 11693 11693 11169 0 -1 1077944384 11484 0 0 0 231 3 0 0 20 0 28 0 86564055 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360013568496 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11710] ppid=11693 vsize=26711656 memory=2200 CPUtime=2.33 cores=0-7 /proc/11695/task/11710/stat : 11710 (java) S 11693 11693 11169 0 -1 1077944384 11462 0 0 0 231 2 0 0 20 0 28 0 86564055 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360012515952 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11711] ppid=11693 vsize=26711656 memory=4140 CPUtime=2.29 cores=0-7 /proc/11695/task/11711/stat : 11711 (java) S 11693 11693 11169 0 -1 1077944384 9647 0 3 0 228 1 0 0 20 0 28 0 86564055 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360011463408 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11712] ppid=11693 vsize=26711656 memory=25248 CPUtime=1.05 cores=0-7 /proc/11695/task/11712/stat : 11712 (java) S 11693 11693 11169 0 -1 1077944384 12791 0 0 0 102 3 0 0 20 0 28 0 86564055 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360010410864 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11713] ppid=11693 vsize=26711656 memory=1296 CPUtime=0 cores=0-7 /proc/11695/task/11713/stat : 11713 (java) S 11693 11693 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86564055 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360009357536 140361343694549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=11714] ppid=11693 vsize=26711656 memory=6791534058613427641 CPUtime=1.46 cores=0-7 /proc/11695/task/11714/stat : 11714 (java) S 11693 11693 11169 0 -1 1077944384 6117 0 0 0 73 73 0 0 20 0 28 0 86564056 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140360008305072 140361343695490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12806] ppid=11693 vsize=26711656 memory=1708 CPUtime=2360.24 cores=0-7 /proc/11695/task/12806/stat : 12806 (java) R 11693 11693 11169 0 -1 4202560 26545 0 0 0 235987 37 0 0 20 0 28 0 86578311 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140359152516320 140360966672588 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12807] ppid=11693 vsize=26711656 memory=792 CPUtime=2361.26 cores=0-7 /proc/11695/task/12807/stat : 12807 (java) R 11693 11693 11169 0 -1 4202560 22905 0 0 0 236093 33 0 0 20 0 28 0 86578312 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140359145148912 140360966066448 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12808] ppid=11693 vsize=26711656 memory=1228 CPUtime=2355.26 cores=0-7 /proc/11695/task/12808/stat : 12808 (java) R 11693 11693 11169 0 -1 4202560 22778 0 0 0 235501 25 0 0 20 0 28 0 86578312 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140359144096712 140360966335017 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12809] ppid=11693 vsize=26711656 memory=8544 CPUtime=2363.17 cores=0-7 /proc/11695/task/12809/stat : 12809 (java) R 11693 11693 11169 0 -1 4202560 51092 0 0 0 236234 83 0 0 20 0 28 0 86578312 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140359146200776 140360966334491 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12810] ppid=11693 vsize=26711656 memory=1444 CPUtime=2366.58 cores=0-7 /proc/11695/task/12810/stat : 12810 (java) R 11693 11693 11169 0 -1 4202560 42781 0 0 0 236622 36 0 0 20 0 28 0 86578312 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140359147253440 140360967470044 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12811] ppid=11693 vsize=26711656 memory=5668 CPUtime=2364.69 cores=0-7 /proc/11695/task/12811/stat : 12811 (java) R 11693 11693 11169 0 -1 4202560 21854 0 0 0 236443 26 0 0 20 0 28 0 86578312 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140359150411584 140360966334927 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12812] ppid=11693 vsize=26711656 memory=4616 CPUtime=2368.54 cores=0-7 /proc/11695/task/12812/stat : 12812 (java) R 11693 11693 11169 0 -1 4202560 63957 0 0 0 236776 78 0 0 20 0 28 0 86578312 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140359151467648 140360966334258 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 [pid=11695/tid=12813] ppid=11693 vsize=26711656 memory=14076 CPUtime=2366.36 cores=0-7 /proc/11695/task/12813/stat : 12813 (java) R 11693 11693 11169 0 -1 4202560 27494 0 0 0 236617 19 0 0 20 0 28 0 86578312 27352735744 1425666 33554432000 4194304 4196468 140729758377584 140359148306632 140360965738255 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 14786560 140729758381185 140729758381357 140729758381357 140729758384079 0 Current children cumulated CPU time: 20065.3 s Current children cumulated vsize: 26824784 KiB Current children cumulated memory: 5704120 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 11693 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00115 s, system=0.00115 s [startup+2520.15 s] # the end of solver process 11695 was just reported to runsolver # cumulated CPU time of all completed processes: user=20058.4 s, system=7.78929 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.13 s]* /proc/loadavg: 8.02 8.25 8.34 2/180 12851 /proc/meminfo: memFree=17916540/32770624 swapFree=67108772/67108860 Current cumulated CPU time of completed processes: 0.0023 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.15 CPU time (s): 20066.2 CPU user time (s): 20058.4 CPU system time (s): 7.78929 CPU usage (%): 796.229 Max. virtual memory (cumulated for all children) (KiB): 26824784 Max. memory (cumulated for all children) (KiB): 5741208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20058.4 system time used= 7.78929 maximum resident set size= 5742956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 677834 page faults= 3 swaps= 0 block input operations= 192 block output operations= 3184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 176954 involuntary context switches= 207696 # summary of solver processes directly reported to runsolver: # pid: 11693,11695 # total CPU time (s): 20066.2 # total CPU user time (s): 20058.4 # total CPU system time (s): 7.78929 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.028 second user time and 30.6019 second system time The end
Begin job on node106 at 2018-07-27 13:13:32 IDJOB=4297363 IDBENCH=141033 IDSOLVER=2760 FILE ID=node106/4297363-1532690012 RUNJOBID= node106-1532684965-11196 PBS_JOBID= 21022273 Free space on /tmp= 46168 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/StillLife/StillLife-wastage-17_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297363-1532690012/watcher-4297363-1532690012 -o /tmp/evaluation-result-4297363-1532690012/solver-4297363-1532690012 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532684965-11196 --watchdog 2580 HOME/xcsp3-exec -seed 661597863 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297363-1532690012.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6bdaa478fa612f14e4ae80d6384d4ab1 RANDOM SEED=661597863 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: 22661992 kB MemAvailable: 31925488 kB Buffers: 208600 kB Cached: 9199344 kB SwapCached: 56 kB Active: 2674636 kB Inactive: 6791952 kB Active(anon): 5348 kB Inactive(anon): 80708 kB Active(file): 2669288 kB Inactive(file): 6711244 kB Unevictable: 6944 kB Mlocked: 6944 kB SwapTotal: 67108860 kB SwapFree: 67108772 kB Dirty: 22140 kB Writeback: 0 kB AnonPages: 66884 kB Mapped: 41132 kB Shmem: 25140 kB Slab: 338004 kB SReclaimable: 311424 kB SUnreclaim: 26580 kB KernelStack: 3424 kB PageTables: 5916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325916 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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= 46144 MiB End job on node106 at 2018-07-27 13:55:32