Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 8 | 2520.8999 | 2520.6201 |
| Name | ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml |
| MD5SUM | ee8f46aa30558cd8981f6f6871151079 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 2520.8999 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 840 |
| Number of constraints | 164431 |
| Number of domains | 1 |
| Minimum domain size | 840 |
| Maximum domain size | 840 |
| Distribution of domain sizes | [{"size":840,"count":840}] |
| Minimum variable degree | 785 |
| Maximum variable degree | 785 |
| Distribution of variable degrees | [{"degree":785,"count":840}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 840 |
| Distribution of constraint arities | [{"arity":4,"count":164430},{"arity":840,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 164430 |
| Distribution of constraint types | [{"type":"intension","count":164430},{"type":"lex","count":1}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
190.12/190.13 c best=?? lower=0 upper=839 249.42/249.47 c 249.42/249.47 c This is cosoco 1.12 -- 249.42/249.47 c 249.42/249.47 c command line: cosoco -lc -model -restarts HOME/instance-4268415-1502597984.xml 249.42/249.47 c enable optimization 249.42/249.47 c ========================================[ Problem Statistics ]=========================================== 249.42/249.47 c | 249.42/249.47 c | Parse time : 186.72 s 249.42/249.47 c | 249.42/249.47 c | Variables: 840 249.42/249.47 c | Domain Sizes: 840..840 249.42/249.47 c | 249.42/249.47 c | Constraints: 164487 249.42/249.47 c | Arity: 4..840 249.42/249.47 c | 249.42/249.47 c | Types: 249.42/249.47 c | Intension: 164430 249.42/249.47 c | Lex: 56 249.42/249.47 c | Max constant: 1 249.42/249.47 c | 249.42/249.47 c ========================================================================================================= 249.42/249.47 o 18 249.42/249.47 c 1 calls to solver: best=18 lower=0 upper=17 269.51/269.54 o 12 280.71/280.71 o 11 280.71/280.71 c 3 calls to solver: best=11 lower=0 upper=10 291.62/291.65 o 10 302.72/302.75 o 9 302.72/302.75 c 5 calls to solver: best=9 lower=0 upper=8 321.62/321.65 o 8 2520.06/2519.80 2520.06/2519.80 c *** INTERRUPTED *** 2520.06/2519.80 c restarts : 42 2520.06/2519.80 c conflicts : 56367 (23 /sec) 2520.06/2519.80 c decisions : 182870 (73 /sec) 2520.06/2519.80 c propagations : 3780079 (1513 /sec) 2520.06/2519.80 c root propagations : 951513 2520.06/2519.80 c filter calls : 869292047 (347998 /sec) 2520.06/2519.80 c useless filter calls : 867023614 (99 %) 2520.06/2519.80 c Memory used : 14503.45 MB 2520.06/2519.80 c CPU time : 2497.98 s 2520.06/2519.80 2520.06/2519.80 c nb Solutions = 6 2520.06/2519.80 s SATISFIABLE 2520.06/2519.80 c Best value found: 8 2520.06/2519.80 2520.06/2519.80 2520.06/2519.80 v <instantiation type='solution' cost='8'> 2520.06/2519.80 v <list>x[0][0] 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[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] 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[10][0] 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[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] 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[11][0] 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[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] 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[12][0] 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[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] 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[13][0] 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[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] 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[14][0] 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[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] 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[15][0] 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[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] 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[16][0] 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[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] 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[17][0] 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[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] 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[18][0] 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] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] 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[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] 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[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] 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[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[2][0] 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[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] 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[3][0] 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[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] 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[4][0] 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[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] 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[5][0] 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[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] 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[6][0] 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[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] 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[7][0] 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[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] 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[8][0] 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[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] 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[9][0] 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[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2520.06/2519.80 v <values>0 1 2 3 3 3 3 3 4 5 6 0 6 6 6 6 6 7 7 7 7 8 0 0 0 0 0 0 0 0 3 3 2 2 4 2 3 5 4 4 4 4 5 6 2 0 2 5 1 6 4 7 3 4 3 0 1 4 1 1 4 3 2 0 5 3 1 4 2 2 2 2 3 3 5 4 0 3 6 5 2 2 4 3 1 0 1 3 3 2 4 0 1 1 4 2 3 2 0 0 0 3 0 0 3 1 4 0 5 0 0 0 1 1 2 0 1 1 2 2 5 2 3 2 1 1 5 3 2 3 3 1 2 2 5 4 1 2 6 2 3 3 3 3 2 0 1 4 4 3 5 1 2 3 0 0 4 0 1 1 1 3 1 1 4 4 5 1 4 1 1 1 2 2 2 0 1 2 3 3 5 2 3 3 2 4 0 1 3 5 5 4 5 5 3 6 2 6 3 5 5 5 4 2 3 0 1 3 4 2 6 4 0 2 3 5 2 4 4 6 5 3 4 4 4 2 3 4 5 3 6 4 5 3 3 0 1 2 4 2 6 2 2 4 5 4 2 5 5 5 6 5 3 4 1 3 7 6 0 4 7 8 5 4 3 0 1 5 2 3 6 4 4 3 7 4 7 6 2 7 4 5 5 6 5 3 2 7 2 8 8 8 6 3 4 0 1 2 2 4 6 2 5 4 6 5 7 2 4 2 3 5 6 7 3 3 4 5 8 3 8 6 7 5 4 0 1 2 3 6 0 0 0 0 0 2 2 4 1 2 3 1 5 6 7 7 7 2 2 4 8 6 1 2 3 4 4 4 5 5 6 3 6 3 7 6 4 1 4 2 3 5 2 1 6 1 3 8 1 7 5 7 7 6 1 0 3 6 2 4 6 6 1 4 3 1 5 7 6 2 3 5 4 1 2 2 6 7 5 6 8 5 7 7 2 0 4 3 1 4 6 5 3 5 7 7 5 7 5 4 7 6 3 2 4 2 3 8 6 4 5 2 4 2 6 0 1 7 5 4 7 6 4 3 4 8 6 4 5 3 7 2 6 3 8 7 8 7 4 5 8 7 6 2 5 0 1 6 7 7 7 2 5 5 7 2 3 6 3 5 2 6 7 3 5 2 3 8 5 6 7 8 2 4 4 0 1 6 4 3 7 4 6 5 2 3 2 7 6 6 2 6 5 7 7 5 4 8 3 7 8 6 5 5 2 0 1 4 6 3 7 7 4 6 8 3 5 2 3 3 2 6 6 2 8 3 2 6 7 8 6 4 5 6 7 0 1 7 8 5 7 6 5 3 6 8 7 4 7 4 8 6 2 5 2 6 5 3 8 8 3 2 5 7 4 0 1 2 5 8 1 6 4 2 5 5 5 7 4 2 1 1 5 6 0 3 3 6 6 4 7 8 3 1 5 0 2 3 6 6 1 6 4 1 1 7 7 1 1 6 6 2 4 2 2 4 4 5 5 5 4 8 2 3 6 0 2 5 2 5 1 1 4 4 7 6 6 6 3 5 3 3 3 7 4 6 7 5 7 2 6 8 1 2 5 0 2 4 5 6 1 3 3 2 6 5 7 6 5 6 2 3 4 5 5 3 6 6 4 8 7 7 4 2 4 0 1 4 2 5 1 3 0 4 3 1 0 0 0 1 4 5 2 6 3 0 0 4 0 5 2 7 4 2 1 1 0 1 5 3 2 5 4 3 6 7 4 2 2 4 5 5 3 6 2 5 5 7 8 3 6 8 3 2 5 0 1 6 4 5 2 1 1 0 3 0 1 1 0 6 2 5 4 5 0 6 1 2 3 6 7 8 3 4 0 1 2 2 3 1 3 1 2 1 2 6 4 2 5 6 5 1 2 6 1 2 4 5 2 3 7 4 4 4 1 0 2 3 1 3 </values> 2520.06/2519.80 v </instantiation> 2520.06/2519.80
OK 8
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 (13557 MiB free)
memory of node 1: 16384 MiB (14136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268415-1502597984/watcher-4268415-1502597984 -o /tmp/evaluation-result-4268415-1502597984/solver-4268415-1502597984 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502576806-1301 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268415-1502597984.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=3639, runsolver pid=3636
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 2.19 2.07 2.06 3/187 3640
/proc/meminfo: memFree=28347520/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=33436 memory=9304 CPUtime=0.1 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 2550 0 0 0 10 0 0 0 20 0 1 0 92879360 34238464 2326 33554432000 4194304 5972588 140734470450800 140734470447368 139812628987534 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 8359 2326 717 435 0 1722 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33436 KiB
Current children cumulated memory: 9304 KiB
[startup+0.209566 s]*
/proc/loadavg: 2.19 2.07 2.06 3/187 3640
/proc/meminfo: memFree=28343056/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=33760 memory=9732 CPUtime=0.21 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 2667 0 0 0 21 0 0 0 20 0 1 0 92879360 34570240 2433 33554432000 4194304 5972588 140734470450800 140734470447368 5412158 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 8440 2433 717 435 0 1803 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33760 KiB
Current children cumulated memory: 9732 KiB
[startup+0.308856 s]*
/proc/loadavg: 2.19 2.07 2.06 3/187 3640
/proc/meminfo: memFree=28338964/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=34024 memory=9992 CPUtime=0.31 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 2748 0 0 0 31 0 0 0 20 0 1 0 92879360 34840576 2498 33554432000 4194304 5972588 140734470450800 140734470447368 5385642 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 8506 2498 717 435 0 1869 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34024 KiB
Current children cumulated memory: 9992 KiB
[startup+0.700272 s]
/proc/loadavg: 2.19 2.07 2.06 3/187 3640
/proc/meminfo: memFree=28331152/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=35200 memory=11360 CPUtime=0.69 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 3157 0 0 0 69 0 0 0 20 0 1 0 92879360 36044800 2840 33554432000 4194304 5972588 140734470450800 140734470447368 139812628044773 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 8800 2840 717 435 0 2163 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35200 KiB
Current children cumulated memory: 11360 KiB
[startup+1.50028 s]
/proc/loadavg: 2.19 2.07 2.06 3/187 3640
/proc/meminfo: memFree=28311064/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=39220 memory=15204 CPUtime=1.49 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 4210 0 0 0 149 0 0 0 20 0 1 0 92879360 40161280 3801 33554432000 4194304 5972588 140734470450800 140734470447368 5074382 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 9805 3801 717 435 0 3168 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39220 KiB
Current children cumulated memory: 15204 KiB
[startup+3.10943 s]
/proc/loadavg: 2.10 2.05 2.05 3/187 3640
/proc/meminfo: memFree=28228420/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=45724 memory=20588 CPUtime=3.1 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 5604 0 0 0 309 1 0 0 20 0 1 0 92879360 46821376 5147 33554432000 4194304 5972588 140734470450800 140734470447368 5671090 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 11431 5147 717 435 0 4794 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 45724 KiB
Current children cumulated memory: 20588 KiB
[startup+6.30028 s]
/proc/loadavg: 2.10 2.05 2.05 3/187 3640
/proc/meminfo: memFree=27985916/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=192880 memory=168128 CPUtime=6.29 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 42873 0 0 0 622 7 0 0 20 0 1 0 92879360 197509120 42032 33554432000 4194304 5972588 140734470450800 140734470444360 139812628044773 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 48220 42032 787 435 0 41583 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 192880 KiB
Current children cumulated memory: 168128 KiB
[startup+12.7003 s]
/proc/loadavg: 2.09 2.05 2.05 3/187 3640
/proc/meminfo: memFree=27437216/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=539984 memory=515192 CPUtime=12.69 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 130248 0 0 0 1250 19 0 0 20 0 1 0 92879360 552943616 128798 33554432000 4194304 5972588 140734470450800 140734470444360 4967517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 134996 128798 787 435 0 128359 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 539984 KiB
Current children cumulated memory: 515192 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 2.06 2.06 3/187 3640
/proc/meminfo: memFree=26247468/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=1233720 memory=1209004 CPUtime=25.49 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 304810 0 0 0 2506 43 0 0 20 0 1 0 92879360 1263329280 302251 33554432000 4194304 5972588 140734470450800 140734470444360 139812628044773 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 308430 302251 787 435 0 301793 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1233720 KiB
Current children cumulated memory: 1209004 KiB
[startup+51.1094 s]
/proc/loadavg: 2.09 2.06 2.05 3/187 3640
/proc/meminfo: memFree=23867596/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=2622176 memory=2597468 CPUtime=51.11 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 652413 0 0 0 5021 90 0 0 20 0 1 0 92879360 2685108224 649367 33554432000 4194304 5972588 140734470450800 140734470444360 139812628044773 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 655544 649367 787 435 0 648907 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2622176 KiB
Current children cumulated memory: 2597468 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/187 3641
/proc/meminfo: memFree=18815820/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=5397816 memory=5372736 CPUtime=102.3 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 1347025 0 0 0 10051 179 0 0 20 0 1 0 92879360 5527363584 1343184 33554432000 4194304 5972588 140734470450800 140734470442568 4967517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 1349454 1343184 787 435 0 1342817 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 5397816 KiB
Current children cumulated memory: 5372736 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 3642
/proc/meminfo: memFree=15556748/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=8650864 memory=8625852 CPUtime=162.31 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 2161114 0 0 0 15946 285 0 0 20 0 1 0 92879360 8858484736 2156463 33554432000 4194304 5972588 140734470450800 140734470442520 139812628044773 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 2162716 2156463 787 435 0 2156079 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 8650864 KiB
Current children cumulated memory: 8625852 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 3643
/proc/meminfo: memFree=11789428/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=12411772 memory=12388304 CPUtime=222.31 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 3875530 0 0 0 21797 434 0 0 20 0 1 0 92879360 12709654528 3097076 33554432000 4194304 5972588 140734470450800 140734470447656 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3102943 3097076 836 435 0 3096306 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 12411772 KiB
Current children cumulated memory: 12388304 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 3651
/proc/meminfo: memFree=9342192/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14835292 memory=14811812 CPUtime=282.32 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 5150776 0 0 0 27682 550 0 0 20 0 1 0 92879360 15191339008 3702953 33554432000 4194304 5972588 140734470450800 140734470447656 139812628044773 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3708823 3702953 837 435 0 3702186 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 14835292 KiB
Current children cumulated memory: 14811812 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 3652
/proc/meminfo: memFree=9326100/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14850472 memory=14827072 CPUtime=342.32 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 5305039 0 0 0 33667 565 0 0 20 0 1 0 92879360 15206883328 3706768 33554432000 4194304 5972588 140734470450800 140734470448248 4909651 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712618 3706768 837 435 0 3705981 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 14850472 KiB
Current children cumulated memory: 14827072 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 3653
/proc/meminfo: memFree=9326252/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14850604 memory=14827132 CPUtime=402.33 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 6373998 0 0 0 39617 616 0 0 20 0 1 0 92879360 15207018496 3706783 33554432000 4194304 5972588 140734470450800 140734470447400 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712651 3706783 837 435 0 3706014 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 14850604 KiB
Current children cumulated memory: 14827132 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 3654
/proc/meminfo: memFree=9326280/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14850604 memory=14827164 CPUtime=462.33 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 7386118 0 0 0 45563 670 0 0 20 0 1 0 92879360 15207018496 3706791 33554432000 4194304 5972588 140734470450800 140734470447400 4908843 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712651 3706791 837 435 0 3706014 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 14850604 KiB
Current children cumulated memory: 14827164 KiB
################
# More data... #
################
Current children cumulated CPU time: 1842.49 s
Current children cumulated vsize: 14851396 KiB
Current children cumulated memory: 14828004 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3695
/proc/meminfo: memFree=9324344/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828028 CPUtime=1902.49 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 29450774 0 0 0 188379 1870 0 0 20 0 1 0 92879360 15207964672 3707007 33554432000 4194304 5972588 140734470450800 140734470447400 4968769 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707007 837 435 0 3706245 0
Current children cumulated CPU time: 1902.49 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828028 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 3696
/proc/meminfo: memFree=9324116/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828080 CPUtime=1962.51 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 30806880 0 0 0 194308 1943 0 0 20 0 1 0 92879360 15207964672 3707020 33554432000 4194304 5972588 140734470450800 140734470447400 4962170 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707020 837 435 0 3706245 0
Current children cumulated CPU time: 1962.51 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828080 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 3697
/proc/meminfo: memFree=9325292/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828080 CPUtime=2022.51 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 30964020 0 0 0 200300 1951 0 0 20 0 1 0 92879360 15207964672 3707020 33554432000 4194304 5972588 140734470450800 140734470447400 4908847 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707020 837 435 0 3706245 0
Current children cumulated CPU time: 2022.51 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828080 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3706
/proc/meminfo: memFree=9323380/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828080 CPUtime=2082.52 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 31810628 0 0 0 206255 1997 0 0 20 0 1 0 92879360 15207964672 3707020 33554432000 4194304 5972588 140734470450800 140734470447400 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707020 837 435 0 3706245 0
Current children cumulated CPU time: 2082.52 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828080 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3707
/proc/meminfo: memFree=9323368/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828080 CPUtime=2142.53 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 32045083 0 0 0 212240 2013 0 0 20 0 1 0 92879360 15207964672 3707020 33554432000 4194304 5972588 140734470450800 140734470447400 4965316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707020 837 435 0 3706245 0
Current children cumulated CPU time: 2142.53 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828080 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3708
/proc/meminfo: memFree=9323380/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828080 CPUtime=2202.53 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 32253560 0 0 0 218226 2027 0 0 20 0 1 0 92879360 15207964672 3707020 33554432000 4194304 5972588 140734470450800 140734470447400 4965428 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707020 837 435 0 3706245 0
Current children cumulated CPU time: 2202.53 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828080 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3709
/proc/meminfo: memFree=9323160/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828080 CPUtime=2262.54 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 33624275 0 0 0 224154 2100 0 0 20 0 1 0 92879360 15207964672 3707020 33554432000 4194304 5972588 140734470450800 140734470447400 4962170 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707020 837 435 0 3706245 0
Current children cumulated CPU time: 2262.54 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828080 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3710
/proc/meminfo: memFree=9323312/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828080 CPUtime=2322.55 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 34006321 0 0 0 230135 2120 0 0 20 0 1 0 92879360 15207964672 3707020 33554432000 4194304 5972588 140734470450800 140734470447400 4909639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707020 837 435 0 3706245 0
Current children cumulated CPU time: 2322.55 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828080 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3711
/proc/meminfo: memFree=9323456/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828080 CPUtime=2382.56 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 35097260 0 0 0 236073 2183 0 0 20 0 1 0 92879360 15207964672 3707020 33554432000 4194304 5972588 140734470450800 140734470447400 4908956 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707020 837 435 0 3706245 0
Current children cumulated CPU time: 2382.56 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828080 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3712
/proc/meminfo: memFree=9323592/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828088 CPUtime=2442.56 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 35384545 0 0 0 242057 2199 0 0 20 0 1 0 92879360 15207964672 3707022 33554432000 4194304 5972588 140734470450800 140734470447400 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707022 837 435 0 3706245 0
Current children cumulated CPU time: 2442.56 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828088 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3713
/proc/meminfo: memFree=9323744/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828092 CPUtime=2502.57 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 35533647 0 0 0 248050 2207 0 0 20 0 1 0 92879360 15207964672 3707023 33554432000 4194304 5972588 140734470450800 140734470447400 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707023 837 435 0 3706245 0
Current children cumulated CPU time: 2502.57 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 3774
/proc/meminfo: memFree=14018976/32770624 swapFree=67108860/67108860
[pid=3639] ppid=3636 vsize=14851528 memory=14828092 CPUtime=2520.06 cores=0,2,4,6
/proc/3639/stat : 3639 (cosoco) R 3636 3639 1270 0 -1 4202496 35573474 0 0 0 249797 2209 0 0 20 0 1 0 92879360 15207964672 3707023 33554432000 4194304 5972588 140734470450800 140734470447400 4965339 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28065792 140734470452415 140734470452510 140734470452510 140734470455246 0
/proc/3639/statm: 3712882 3707023 837 435 0 3706245 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14851528 KiB
Current children cumulated memory: 14828092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.62 s]
# the end of solver process 3639 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2497.98 s, system=22.9166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.01 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 3774
/proc/meminfo: memFree=17807304/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2520.4 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 3774
/proc/meminfo: memFree=17807304/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2520.6 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 3774
/proc/meminfo: memFree=17807304/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.62
CPU time (s): 2520.9
CPU user time (s): 2497.98
CPU system time (s): 22.9166
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 14851528
Max. memory (cumulated for all children) (KiB): 14828092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2497.98
system time used= 22.9166
maximum resident set size= 14828156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35573585
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 2375
# summary of solver processes directly reported to runsolver:
# pid: 3639
# total CPU time (s): 2520.9
# total CPU user time (s): 2497.98
# total CPU system time (s): 22.9166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.98293 second user time and 18.4393 second system time
The end
Begin job on node151 at 2017-08-13 06:05:26 IDJOB=4268415 IDBENCH=139757 IDSOLVER=2658 FILE ID=node151/4268415-1502597984 RUNJOBID= node151-1502576806-1301 PBS_JOBID= 20628292 Free space on /tmp= 61740 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-28-30.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268415-1502597984/watcher-4268415-1502597984 -o /tmp/evaluation-result-4268415-1502597984/solver-4268415-1502597984 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502576806-1301 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268415-1502597984.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee8f46aa30558cd8981f6f6871151079 RANDOM SEED=2082157983 node151.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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 28358504 kB MemAvailable: 31441664 kB Buffers: 218172 kB Cached: 3157544 kB SwapCached: 0 kB Active: 1402164 kB Inactive: 2576808 kB Active(anon): 606072 kB Inactive(anon): 25044 kB Active(file): 796092 kB Inactive(file): 2551764 kB Unevictable: 7024 kB Mlocked: 7024 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 11608 kB Writeback: 0 kB AnonPages: 677356 kB Mapped: 45140 kB Shmem: 25224 kB Slab: 128756 kB SReclaimable: 102276 kB SUnreclaim: 26480 kB KernelStack: 3568 kB PageTables: 6676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 902752 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 92160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61736 MiB End job on node151 at 2017-08-13 06:47:27