0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281434-1503184741.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4281434-1503184741.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
17.18/3.37 c solve instance...
22.54/4.19 o 35
23.26/4.26 o 34
32.12/5.49 o 33
32.45/5.54 o 32
32.45/5.57 o 31
33.16/5.61 o 30
33.16/5.65 o 29
33.16/5.69 o 28
33.86/5.73 o 27
33.86/5.77 o 26
34.41/5.80 o 25
34.41/5.86 o 24
35.02/5.90 o 23
35.02/5.94 o 22
35.02/5.97 o 21
35.02/6.00 o 20
35.74/6.04 o 19
35.74/6.07 o 18
35.74/6.11 o 17
36.36/6.14 o 16
36.84/6.22 o 15
36.84/6.25 o 14
36.84/6.28 o 13
37.46/6.32 o 12
37.46/6.35 o 11
37.46/6.38 o 10
283.29/37.28 o 8
283.83/37.35 o 7
498.01/64.22 o 6
1810.42/228.86 o 5
1995.12/252.08 s SATISFIABLE
1995.12/252.08 v <instantiation>
1995.12/252.08 v <list>z 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[0][19] 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][30] x[0][31] x[0][32] x[0][33] x[0][34] 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[1][19] 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][30] x[1][31] x[1][32] x[1][33] x[1][34] 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[2][19] 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][30] x[2][31] x[2][32] x[2][33] x[2][34] 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[3][19] 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][30] x[3][31] x[3][32] x[3][33] x[3][34] 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[4][19] 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][30] x[4][31] x[4][32] x[4][33] x[4][34] 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[5][19] 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][30] x[5][31] x[5][32] x[5][33] x[5][34] 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[6][19] 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][30] x[6][31] x[6][32] x[6][33] x[6][34] 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[7][19] 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][30] x[7][31] x[7][32] x[7][33] x[7][34] 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[8][19] 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][30] x[8][31] x[8][32] x[8][33] x[8][34] 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[9][19] 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][30] x[9][31] x[9][32] x[9][33] x[9][34] 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[10][19] 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][30] x[10][31] x[10][32] x[10][33] x[10][34] 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[11][19] 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][30] x[11][31] x[11][32] x[11][33] x[11][34] 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[12][19] 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][30] x[12][31] x[12][32] x[12][33] x[12][34] 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[13][19] 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][30] x[13][31] x[13][32] x[13][33] x[13][34] 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[14][19] 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][30] x[14][31] x[14][32] x[14][33] x[14][34] 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[15][19] 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][30] x[15][31] x[15][32] x[15][33] x[15][34] 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[16][19] 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][30] x[16][31] x[16][32] x[16][33] x[16][34] 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[17][19] 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][30] x[17][31] x[17][32] x[17][33] x[17][34] 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] x[18][19] 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][30] x[18][31] x[18][32] x[18][33] x[18][34] x[19][0] x[19][1] 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[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][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][30] x[19][31] x[19][32] x[19][33] x[19][34] x[20][0] x[20][1] 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[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][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][30] x[20][31] x[20][32] x[20][33] x[20][34] x[21][0] x[21][1] 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[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][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][30] x[21][31] x[21][32] x[21][33] x[21][34] x[22][0] x[22][1] 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[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][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][30] x[22][31] x[22][32] x[22][33] x[22][34] x[23][0] x[23][1] 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[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][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][30] x[23][31] x[23][32] x[23][33] x[23][34] x[24][0] x[24][1] 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[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][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][30] x[24][31] x[24][32] x[24][33] x[24][34] x[25][0] x[25][1] 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[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][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][30] x[25][31] x[25][32] x[25][33] x[25][34] x[26][0] x[26][1] 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[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][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][30] x[26][31] x[26][32] x[26][33] x[26][34] x[27][0] x[27][1] 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[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][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][30] x[27][31] x[27][32] x[27][33] x[27][34] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] </list>
1995.12/252.08 v <values>5 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 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 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 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 </values>
1995.12/252.09 v </instantiation>
1995.12/252.09 c Unexpected resolution interruption!
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 (12740 MiB free)
memory of node 1: 16384 MiB (13958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281434-1503184741/watcher-4281434-1503184741 -o /tmp/evaluation-result-4281434-1503184741/solver-4281434-1503184741 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1818316556 HOME/instance-4281434-1503184741.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=20478, runsolver pid=20475
[startup+0.100102 s]*
/proc/loadavg: 8.58 8.37 8.02 3/201 20499
/proc/meminfo: memFree=27324384/32770624 swapFree=67108860/67108860
[pid=20478] ppid=20475 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20478/stat : 20478 (xcsp3-exec) S 20475 20478 19607 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151561713 9740288 345 33554432000 4194304 5098028 140730216336208 140730216334312 139766197351036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38264832 140730216342634 140730216342844 140730216342844 140730216345579 0
/proc/20478/statm: 2378 345 289 221 0 87 0
[pid=20480] ppid=20478 vsize=25999808 memory=26456 CPUtime=0.11 cores=0-7
/proc/20480/stat : 20480 (java) S 20478 20478 19607 0 -1 1077944320 5476 0 0 0 10 1 0 0 20 0 20 0 151561713 26623803392 6614 33554432000 4194304 4196468 140731811623824 140731811606368 140322465853175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
/proc/20480/statm: 6499952 6614 2873 1 0 6488269 0
[pid=20480/tid=20481] ppid=20478 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/20480/task/20481/stat : 20481 (java) R 20478 20478 19607 0 -1 4202560 3477 0 0 0 8 0 0 0 20 0 20 0 151561714 26623803392 6679 33554432000 4194304 4196468 140731811623824 140322470086528 140322465865110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20482] ppid=20478 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20480/task/20482/stat : 20482 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26623803392 6679 33554432000 4194304 4196468 140731811623824 140322422406288 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20483] ppid=20478 vsize=25999808 memory=140510549563008 CPUtime=0 cores=0-7
/proc/20480/task/20483/stat : 20483 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26623803392 6679 33554432000 4194304 4196468 140731811623824 140322421353488 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20484] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20484/stat : 20484 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26623803392 6679 33554432000 4194304 4196468 140731811623824 140322022226832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20485] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20485/stat : 20485 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26623803392 6679 33554432000 4194304 4196468 140731811623824 140322021174032 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20486] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20486/stat : 20486 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26623803392 6679 33554432000 4194304 4196468 140731811623824 140322020121232 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20487] ppid=20478 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20480/task/20487/stat : 20487 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26623803392 6679 33554432000 4194304 4196468 140731811623824 140322019068432 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20488] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20488/stat : 20488 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26623803392 6679 33554432000 4194304 4196468 140731811623824 140322018015632 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20489] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20489/stat : 20489 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26623803392 6679 33554432000 4194304 4196468 140731811623824 140322016962832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20490] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20490/stat : 20490 (java) S 20478 20478 19607 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151561716 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321593260912 140322465864322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20491] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20491/stat : 20491 (java) S 20478 20478 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151561716 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321592206880 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20492] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20492/stat : 20492 (java) S 20478 20478 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151561716 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321591154032 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20493] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20493/stat : 20493 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561719 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321590102352 140322465871771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20494] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20494/stat : 20494 (java) S 20478 20478 19607 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 151561719 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321589049712 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20495] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20495/stat : 20495 (java) S 20478 20478 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151561719 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321587996912 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20496] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20496/stat : 20496 (java) S 20478 20478 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151561719 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321586944112 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20497] ppid=20478 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20480/task/20497/stat : 20497 (java) R 20478 20478 19607 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 20 0 151561719 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321585891312 140322449933662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20498] ppid=20478 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20498/stat : 20498 (java) S 20478 20478 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151561719 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321584839776 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20499] ppid=20478 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20480/task/20499/stat : 20499 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561719 26623803392 6679 33554432000 4194304 4196468 140731811623824 140321583787056 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27836 KiB
[startup+0.210561 s]*
/proc/loadavg: 8.58 8.37 8.02 2/201 20499
/proc/meminfo: memFree=27312600/32770624 swapFree=67108860/67108860
[pid=20478] ppid=20475 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20478/stat : 20478 (xcsp3-exec) S 20475 20478 19607 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151561713 9740288 345 33554432000 4194304 5098028 140730216336208 140730216334312 139766197351036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38264832 140730216342634 140730216342844 140730216342844 140730216345579 0
/proc/20478/statm: 2378 345 289 221 0 87 0
[pid=20480] ppid=20478 vsize=26004064 memory=38764 CPUtime=0.33 cores=0-7
/proc/20480/stat : 20480 (java) S 20478 20478 19607 0 -1 1077944320 8257 0 0 0 30 3 0 0 20 0 20 0 151561713 26628161536 9691 33554432000 4194304 4196468 140731811623824 140731811606368 140322465853175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
/proc/20480/statm: 6501016 9691 3068 1 0 6488269 0
[pid=20480/tid=20481] ppid=20478 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20480/task/20481/stat : 20481 (java) R 20478 20478 19607 0 -1 4202560 5416 0 0 0 18 1 0 0 20 0 20 0 151561714 26628161536 9712 33554432000 4194304 4196468 140731811623824 140322470063984 140322458570279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20482] ppid=20478 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/20480/task/20482/stat : 20482 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 9712 33554432000 4194304 4196468 140731811623824 140322422406288 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20483] ppid=20478 vsize=26004064 memory=288370886701274752 CPUtime=0 cores=0-7
/proc/20480/task/20483/stat : 20483 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 9712 33554432000 4194304 4196468 140731811623824 140322421353488 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20484] ppid=20478 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20480/task/20484/stat : 20484 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 9712 33554432000 4194304 4196468 140731811623824 140322022226832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20485] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20485/stat : 20485 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 9712 33554432000 4194304 4196468 140731811623824 140322021174032 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20486] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20486/stat : 20486 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 9712 33554432000 4194304 4196468 140731811623824 140322020121232 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20487] ppid=20478 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20480/task/20487/stat : 20487 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 9712 33554432000 4194304 4196468 140731811623824 140322019068432 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20488] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20488/stat : 20488 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 9712 33554432000 4194304 4196468 140731811623824 140322018015632 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20489] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20489/stat : 20489 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 9712 33554432000 4194304 4196468 140731811623824 140322016962832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20490] ppid=20478 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20490/stat : 20490 (java) S 20478 20478 19607 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151561716 26628194304 9712 33554432000 4194304 4196468 140731811623824 140321593260912 140322465864322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20491] ppid=20478 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20491/stat : 20491 (java) S 20478 20478 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151561716 26628194304 9712 33554432000 4194304 4196468 140731811623824 140321592206880 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20492] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20492/stat : 20492 (java) S 20478 20478 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151561716 26628161536 9712 33554432000 4194304 4196468 140731811623824 140321591154032 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20493] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20493/stat : 20493 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561719 26628161536 9712 33554432000 4194304 4196468 140731811623824 140321590102352 140322465871771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20494] ppid=20478 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20480/task/20494/stat : 20494 (java) S 20478 20478 19607 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 20 0 151561719 26628161536 9712 33554432000 4194304 4196468 140731811623824 140321589049712 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20495] ppid=20478 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20480/task/20495/stat : 20495 (java) S 20478 20478 19607 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 20 0 151561719 26628161536 9712 33554432000 4194304 4196468 140731811623824 140321587996912 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20496] ppid=20478 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/20480/task/20496/stat : 20496 (java) S 20478 20478 19607 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 151561719 26628161536 9712 33554432000 4194304 4196468 140731811623824 140321586944112 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20497] ppid=20478 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/20480/task/20497/stat : 20497 (java) S 20478 20478 19607 0 -1 1077944384 780 0 0 0 7 0 0 0 20 0 20 0 151561719 26628161536 9712 33554432000 4194304 4196468 140731811623824 140321585891312 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20498] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20498/stat : 20498 (java) S 20478 20478 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151561719 26628161536 9712 33554432000 4194304 4196468 140731811623824 140321584839776 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20499] ppid=20478 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/20480/task/20499/stat : 20499 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561719 26628194304 9712 33554432000 4194304 4196468 140731811623824 140321583787056 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40144 KiB
[startup+0.317004 s]*
/proc/loadavg: 8.58 8.37 8.02 3/201 20499
/proc/meminfo: memFree=27307452/32770624 swapFree=67108860/67108860
[pid=20478] ppid=20475 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20478/stat : 20478 (xcsp3-exec) S 20475 20478 19607 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151561713 9740288 345 33554432000 4194304 5098028 140730216336208 140730216334312 139766197351036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38264832 140730216342634 140730216342844 140730216342844 140730216345579 0
/proc/20478/statm: 2378 345 289 221 0 87 0
[pid=20480] ppid=20478 vsize=26004064 memory=46212 CPUtime=0.52 cores=0-7
/proc/20480/stat : 20480 (java) S 20478 20478 19607 0 -1 1077944320 9214 0 0 0 48 4 0 0 20 0 20 0 151561713 26628161536 11553 33554432000 4194304 4196468 140731811623824 140731811606368 140322465853175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
/proc/20480/statm: 6501016 11553 3102 1 0 6488269 0
[pid=20480/tid=20481] ppid=20478 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/20480/task/20481/stat : 20481 (java) R 20478 20478 19607 0 -1 4202560 6048 0 0 0 28 2 0 0 20 0 20 0 151561714 26628161536 11553 33554432000 4194304 4196468 140731811623824 140322470089328 140322101382055 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20482] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20482/stat : 20482 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 11553 33554432000 4194304 4196468 140731811623824 140322422406288 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20483] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20483/stat : 20483 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 11553 33554432000 4194304 4196468 140731811623824 140322421353488 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20484] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20484/stat : 20484 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 11553 33554432000 4194304 4196468 140731811623824 140322022226832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20485] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20485/stat : 20485 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 11553 33554432000 4194304 4196468 140731811623824 140322021174032 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20486] ppid=20478 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20480/task/20486/stat : 20486 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 11553 33554432000 4194304 4196468 140731811623824 140322020121232 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20487] ppid=20478 vsize=26004064 memory=140510392054703 CPUtime=0 cores=0-7
/proc/20480/task/20487/stat : 20487 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 11553 33554432000 4194304 4196468 140731811623824 140322019068432 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20488] ppid=20478 vsize=26004064 memory=140510392057008 CPUtime=0 cores=0-7
/proc/20480/task/20488/stat : 20488 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 11553 33554432000 4194304 4196468 140731811623824 140322018015632 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20489] ppid=20478 vsize=26004064 memory=140510392059312 CPUtime=0 cores=0-7
/proc/20480/task/20489/stat : 20489 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26628161536 11553 33554432000 4194304 4196468 140731811623824 140322016962832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20490] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20490/stat : 20490 (java) S 20478 20478 19607 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151561716 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321593260912 140322465864322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20491] ppid=20478 vsize=26004064 memory=281020784125584 CPUtime=0 cores=0-7
/proc/20480/task/20491/stat : 20491 (java) S 20478 20478 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151561716 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321592206880 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20492] ppid=20478 vsize=26004064 memory=281020784132496 CPUtime=0 cores=0-7
/proc/20480/task/20492/stat : 20492 (java) S 20478 20478 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151561716 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321591154032 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20493] ppid=20478 vsize=26004064 memory=281020784073776 CPUtime=0 cores=0-7
/proc/20480/task/20493/stat : 20493 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561719 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321590102352 140322465871771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20494] ppid=20478 vsize=26004064 memory=281020784146320 CPUtime=0.02 cores=0-7
/proc/20480/task/20494/stat : 20494 (java) R 20478 20478 19607 0 -1 4202560 674 0 0 0 2 0 0 0 20 0 20 0 151561719 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321589049808 140322465874522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20495] ppid=20478 vsize=26004064 memory=281020784153232 CPUtime=0.02 cores=0-7
/proc/20480/task/20495/stat : 20495 (java) R 20478 20478 19607 0 -1 4202560 149 0 0 0 2 0 0 0 20 0 20 0 151561719 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321587987024 140322465874522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20496] ppid=20478 vsize=26004064 memory=281020784150928 CPUtime=0.02 cores=0-7
/proc/20480/task/20496/stat : 20496 (java) R 20478 20478 19607 0 -1 4202560 89 0 0 0 2 0 0 0 20 0 20 0 151561719 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321586930640 140322458142464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20497] ppid=20478 vsize=26004064 memory=281020784167088 CPUtime=0.13 cores=0-7
/proc/20480/task/20497/stat : 20497 (java) R 20478 20478 19607 0 -1 4202560 951 0 0 0 13 0 0 0 20 0 20 0 151561719 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321585887040 140322450014477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20498] ppid=20478 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20498/stat : 20498 (java) S 20478 20478 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151561719 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321584839776 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20499] ppid=20478 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20480/task/20499/stat : 20499 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561719 26628161536 11553 33554432000 4194304 4196468 140731811623824 140321583787056 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47592 KiB
[startup+0.70102 s]
/proc/loadavg: 8.58 8.37 8.02 6/201 20499
/proc/meminfo: memFree=27285304/32770624 swapFree=67108860/67108860
[pid=20478] ppid=20475 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20478/stat : 20478 (xcsp3-exec) S 20475 20478 19607 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151561713 9740288 345 33554432000 4194304 5098028 140730216336208 140730216334312 139766197351036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38264832 140730216342634 140730216342844 140730216342844 140730216345579 0
/proc/20478/statm: 2378 345 289 221 0 87 0
[pid=20480] ppid=20478 vsize=26006188 memory=108908 CPUtime=1.76 cores=0-7
/proc/20480/stat : 20480 (java) S 20478 20478 19607 0 -1 1077944320 12764 0 0 0 170 6 0 0 20 0 20 0 151561713 26630336512 27227 33554432000 4194304 4196468 140731811623824 140731811606368 140322465853175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
/proc/20480/statm: 6501547 27227 3200 1 0 6488781 0
[pid=20480/tid=20481] ppid=20478 vsize=26006188 memory=281020784524976 CPUtime=0.67 cores=0-7
/proc/20480/task/20481/stat : 20481 (java) R 20478 20478 19607 0 -1 4202560 6710 0 0 0 64 3 0 0 20 0 20 0 151561714 26630336512 27227 33554432000 4194304 4196468 140731811623824 140322470089072 140322101397152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20482] ppid=20478 vsize=26006188 memory=140510392263536 CPUtime=0 cores=0-7
/proc/20480/task/20482/stat : 20482 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26630336512 27227 33554432000 4194304 4196468 140731811623824 140322422406288 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20483] ppid=20478 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20483/stat : 20483 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151561714 26630336512 27227 33554432000 4194304 4196468 140731811623824 140322421353488 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20484] ppid=20478 vsize=26006188 memory=4620 CPUtime=0 cores=0-7
/proc/20480/task/20484/stat : 20484 (java) S 20478 20478 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151561714 26630336512 27227 33554432000 4194304 4196468 140731811623824 140322022226832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
################
# More data... #
################
/proc/meminfo: memFree=25969404/32770624 swapFree=67108860/67108860
[pid=20478] ppid=20475 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20478/stat : 20478 (xcsp3-exec) S 20475 20478 19607 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151561713 9740288 345 33554432000 4194304 5098028 140730216336208 140730216334312 139766197351036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38264832 140730216342634 140730216342844 140730216342844 140730216345579 0
/proc/20478/statm: 2378 345 289 221 0 87 0
[pid=20480] ppid=20478 vsize=26538700 memory=1381320 CPUtime=1758.61 cores=0-7
/proc/20480/stat : 20480 (java) S 20478 20478 19607 0 -1 1077944320 172728 0 0 0 175501 360 0 0 20 0 28 0 151561713 27175628800 345330 33554432000 4194304 4196468 140731811623824 140731811606368 140322465853175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
/proc/20480/statm: 6634675 345330 3293 1 0 6621909 0
[pid=20480/tid=20481] ppid=20478 vsize=26538700 memory=1381320 CPUtime=1.82 cores=0-7
/proc/20480/task/20481/stat : 20481 (java) S 20478 20478 19607 0 -1 1077944384 8035 0 0 0 174 8 0 0 20 0 28 0 151561714 27175628800 345330 33554432000 4194304 4196468 140731811623824 140322470093952 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20482] ppid=20478 vsize=26538700 memory=1380 CPUtime=3.37 cores=0-7
/proc/20480/task/20482/stat : 20482 (java) S 20478 20478 19607 0 -1 1077944384 6292 0 0 0 309 28 0 0 20 0 28 0 151561714 27175628800 345330 33554432000 4194304 4196468 140731811623824 140322422406288 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20483] ppid=20478 vsize=26538700 memory=1380 CPUtime=3.39 cores=0-7
/proc/20480/task/20483/stat : 20483 (java) S 20478 20478 19607 0 -1 1077944384 4218 0 0 0 311 28 0 0 20 0 28 0 151561714 27175628800 345330 33554432000 4194304 4196468 140731811623824 140322421353488 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20484] ppid=20478 vsize=26538700 memory=1385544 CPUtime=3.4 cores=0-7
/proc/20480/task/20484/stat : 20484 (java) S 20478 20478 19607 0 -1 1077944384 3184 0 0 0 310 30 0 0 20 0 28 0 151561714 27175628800 345330 33554432000 4194304 4196468 140731811623824 140322022226832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20485] ppid=20478 vsize=26538700 memory=1204 CPUtime=3.37 cores=0-7
/proc/20480/task/20485/stat : 20485 (java) S 20478 20478 19607 0 -1 1077944384 3549 0 0 0 311 26 0 0 20 0 28 0 151561714 27175628800 345330 33554432000 4194304 4196468 140731811623824 140322021174032 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20486] ppid=20478 vsize=26538700 memory=1382856 CPUtime=3.34 cores=0-7
/proc/20480/task/20486/stat : 20486 (java) S 20478 20478 19607 0 -1 1077944384 3583 0 0 0 307 27 0 0 20 0 28 0 151561714 27175628800 345330 33554432000 4194304 4196468 140731811623824 140322020121232 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20487] ppid=20478 vsize=26538700 memory=1382856 CPUtime=3.4 cores=0-7
/proc/20480/task/20487/stat : 20487 (java) S 20478 20478 19607 0 -1 1077944384 2920 0 0 0 311 29 0 0 20 0 28 0 151561714 27175628800 345330 33554432000 4194304 4196468 140731811623824 140322019068432 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20488] ppid=20478 vsize=26538700 memory=1381320 CPUtime=3.38 cores=0-7
/proc/20480/task/20488/stat : 20488 (java) S 20478 20478 19607 0 -1 1077944384 4534 0 0 0 309 29 0 0 20 0 28 0 151561714 27175628800 345330 33554432000 4194304 4196468 140731811623824 140322018015632 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20489] ppid=20478 vsize=26538700 memory=1380 CPUtime=3.36 cores=0-7
/proc/20480/task/20489/stat : 20489 (java) S 20478 20478 19607 0 -1 1077944384 3993 0 0 0 307 29 0 0 20 0 28 0 151561714 27175628800 345330 33554432000 4194304 4196468 140731811623824 140322016962832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20490] ppid=20478 vsize=26538700 memory=8608 CPUtime=0.28 cores=0-7
/proc/20480/task/20490/stat : 20490 (java) S 20478 20478 19607 0 -1 1077944384 8202 0 0 0 23 5 0 0 20 0 28 0 151561716 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321593260912 140322465864322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20491] ppid=20478 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/20480/task/20491/stat : 20491 (java) S 20478 20478 19607 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151561716 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321592206944 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20492] ppid=20478 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/20480/task/20492/stat : 20492 (java) S 20478 20478 19607 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 151561716 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321591154048 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20493] ppid=20478 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/20480/task/20493/stat : 20493 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151561719 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321590102352 140322465871771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20494] ppid=20478 vsize=26538700 memory=332 CPUtime=2.44 cores=0-7
/proc/20480/task/20494/stat : 20494 (java) S 20478 20478 19607 0 -1 1077944384 18556 0 0 0 240 4 0 0 20 0 28 0 151561719 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321589049712 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20495] ppid=20478 vsize=26538700 memory=28 CPUtime=1.94 cores=0-7
/proc/20480/task/20495/stat : 20495 (java) S 20478 20478 19607 0 -1 1077944384 14960 0 0 0 190 4 0 0 20 0 28 0 151561719 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321587996912 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20496] ppid=20478 vsize=26538700 memory=1380 CPUtime=2.22 cores=0-7
/proc/20480/task/20496/stat : 20496 (java) S 20478 20478 19607 0 -1 1077944384 12075 0 0 0 220 2 0 0 20 0 28 0 151561719 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321586944112 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20497] ppid=20478 vsize=26538700 memory=1382508 CPUtime=0.96 cores=0-7
/proc/20480/task/20497/stat : 20497 (java) S 20478 20478 19607 0 -1 1077944384 17908 0 0 0 92 4 0 0 20 0 28 0 151561719 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321585891312 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20498] ppid=20478 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/20480/task/20498/stat : 20498 (java) S 20478 20478 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151561719 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321584839776 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20499] ppid=20478 vsize=26538700 memory=1380 CPUtime=0.1 cores=0-7
/proc/20480/task/20499/stat : 20499 (java) S 20478 20478 19607 0 -1 1077944384 1896 0 0 0 0 10 0 0 20 0 28 0 151561719 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321583787056 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20732] ppid=20478 vsize=26538700 memory=1380 CPUtime=156.89 cores=0-7
/proc/20480/task/20732/stat : 20732 (java) R 20478 20478 19607 0 -1 4202560 903 0 0 0 15687 2 0 0 20 0 28 0 151568135 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321570512248 140322109133761 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20733] ppid=20478 vsize=26538700 memory=1384396 CPUtime=156.71 cores=0-7
/proc/20480/task/20733/stat : 20733 (java) R 20478 20478 19607 0 -1 4202560 1649 0 0 0 15668 3 0 0 20 0 28 0 151568135 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321572618488 140322109435724 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20734] ppid=20478 vsize=26538700 memory=42012 CPUtime=157.54 cores=0-7
/proc/20480/task/20734/stat : 20734 (java) R 20478 20478 19607 0 -1 4202560 1210 0 0 0 15754 0 0 0 20 0 28 0 151568135 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321574723440 140322109075715 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20735] ppid=20478 vsize=26538700 memory=1296 CPUtime=157.56 cores=0-7
/proc/20480/task/20735/stat : 20735 (java) R 20478 20478 19607 0 -1 4202560 12278 0 0 0 15723 33 0 0 20 0 28 0 151568135 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321568410336 140322109576036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20736] ppid=20478 vsize=26538700 memory=2416 CPUtime=157.53 cores=0-7
/proc/20480/task/20736/stat : 20736 (java) R 20478 20478 19607 0 -1 4202560 3350 0 0 0 15748 5 0 0 20 0 28 0 151568135 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321569460088 140322109134922 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20737] ppid=20478 vsize=26538700 memory=4140 CPUtime=156.98 cores=0-7
/proc/20480/task/20737/stat : 20737 (java) R 20478 20478 19607 0 -1 4202560 1089 0 0 0 15696 2 0 0 20 0 28 0 151568135 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321571565352 140322109643791 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20738] ppid=20478 vsize=26538700 memory=42012 CPUtime=157.56 cores=0-7
/proc/20480/task/20738/stat : 20738 (java) R 20478 20478 19607 0 -1 4202560 1275 0 0 0 15754 2 0 0 20 0 28 0 151568135 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321573671400 140322108810879 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20739] ppid=20478 vsize=26538700 memory=1296 CPUtime=156.27 cores=0-7
/proc/20480/task/20739/stat : 20739 (java) R 20478 20478 19607 0 -1 4202560 2478 0 0 0 15621 6 0 0 20 0 28 0 151568135 27175628800 345330 33554432000 4194304 4196468 140731811623824 140321575776808 140322109013179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
Current children cumulated CPU time: 1758.61 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1382700 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.003 s]*
/proc/loadavg: 8.11 8.25 8.05 9/207 20747
/proc/meminfo: memFree=25969812/32770624 swapFree=67108860/67108860
[pid=20478] ppid=20475 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20478/stat : 20478 (xcsp3-exec) S 20475 20478 19607 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151561713 9740288 345 33554432000 4194304 5098028 140730216336208 140730216334312 139766197351036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38264832 140730216342634 140730216342844 140730216342844 140730216345579 0
/proc/20478/statm: 2378 345 289 221 0 87 0
[pid=20480] ppid=20478 vsize=26538700 memory=1380208 CPUtime=1995.12 cores=0-7
/proc/20480/stat : 20480 (java) S 20478 20478 19607 0 -1 1077944320 190047 0 0 0 199115 397 0 0 20 0 28 0 151561713 27175628800 345052 33554432000 4194304 4196468 140731811623824 140731811606368 140322465853175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
/proc/20480/statm: 6634675 345052 3293 1 0 6621909 0
[pid=20480/tid=20481] ppid=20478 vsize=26538700 memory=6791534058613427641 CPUtime=1.83 cores=0-7
/proc/20480/task/20481/stat : 20481 (java) S 20478 20478 19607 0 -1 1077944384 8177 0 0 0 175 8 0 0 20 0 28 0 151561714 27175628800 345052 33554432000 4194304 4196468 140731811623824 140322470093952 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20482] ppid=20478 vsize=26538700 memory=4872558044660077418 CPUtime=3.4 cores=0-7
/proc/20480/task/20482/stat : 20482 (java) S 20478 20478 19607 0 -1 1077944384 6884 0 0 0 312 28 0 0 20 0 28 0 151561714 27175628800 345052 33554432000 4194304 4196468 140731811623824 140322422406288 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20483] ppid=20478 vsize=26538700 memory=25448 CPUtime=3.43 cores=0-7
/proc/20480/task/20483/stat : 20483 (java) S 20478 20478 19607 0 -1 1077944384 5255 0 0 0 314 29 0 0 20 0 28 0 151561714 27175628800 345052 33554432000 4194304 4196468 140731811623824 140322421353488 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20484] ppid=20478 vsize=26538700 memory=4048 CPUtime=3.43 cores=0-7
/proc/20480/task/20484/stat : 20484 (java) S 20478 20478 19607 0 -1 1077944384 3900 0 0 0 313 30 0 0 20 0 28 0 151561714 27175628800 345052 33554432000 4194304 4196468 140731811623824 140322022226832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20485] ppid=20478 vsize=26538700 memory=18488 CPUtime=3.4 cores=0-7
/proc/20480/task/20485/stat : 20485 (java) S 20478 20478 19607 0 -1 1077944384 4529 0 0 0 314 26 0 0 20 0 28 0 151561714 27175628800 345052 33554432000 4194304 4196468 140731811623824 140322021174032 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20486] ppid=20478 vsize=26538700 memory=1796 CPUtime=3.37 cores=0-7
/proc/20480/task/20486/stat : 20486 (java) S 20478 20478 19607 0 -1 1077944384 4085 0 0 0 310 27 0 0 20 0 28 0 151561714 27175628800 345052 33554432000 4194304 4196468 140731811623824 140322020121232 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20487] ppid=20478 vsize=26538700 memory=1236 CPUtime=3.44 cores=0-7
/proc/20480/task/20487/stat : 20487 (java) S 20478 20478 19607 0 -1 1077944384 4330 0 0 0 314 30 0 0 20 0 28 0 151561714 27175628800 345052 33554432000 4194304 4196468 140731811623824 140322019068432 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20488] ppid=20478 vsize=26538700 memory=640 CPUtime=3.41 cores=0-7
/proc/20480/task/20488/stat : 20488 (java) S 20478 20478 19607 0 -1 1077944384 5159 0 0 0 312 29 0 0 20 0 28 0 151561714 27175628800 345052 33554432000 4194304 4196468 140731811623824 140322018015632 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20489] ppid=20478 vsize=26538700 memory=956 CPUtime=3.39 cores=0-7
/proc/20480/task/20489/stat : 20489 (java) S 20478 20478 19607 0 -1 1077944384 4597 0 0 0 310 29 0 0 20 0 28 0 151561714 27175628800 345052 33554432000 4194304 4196468 140731811623824 140322016962832 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20490] ppid=20478 vsize=26538700 memory=2424 CPUtime=0.3 cores=0-7
/proc/20480/task/20490/stat : 20490 (java) S 20478 20478 19607 0 -1 1077944384 9281 0 0 0 24 6 0 0 20 0 28 0 151561716 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321593260912 140322465864322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20491] ppid=20478 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/20480/task/20491/stat : 20491 (java) S 20478 20478 19607 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151561716 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321592206944 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20492] ppid=20478 vsize=26538700 memory=4316 CPUtime=0 cores=0-7
/proc/20480/task/20492/stat : 20492 (java) S 20478 20478 19607 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 151561716 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321591154048 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20493] ppid=20478 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/20480/task/20493/stat : 20493 (java) S 20478 20478 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151561719 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321590102352 140322465871771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20494] ppid=20478 vsize=26538700 memory=1576 CPUtime=2.44 cores=0-7
/proc/20480/task/20494/stat : 20494 (java) S 20478 20478 19607 0 -1 1077944384 18661 0 0 0 240 4 0 0 20 0 28 0 151561719 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321589049712 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20495] ppid=20478 vsize=26538700 memory=2196 CPUtime=1.94 cores=0-7
/proc/20480/task/20495/stat : 20495 (java) S 20478 20478 19607 0 -1 1077944384 14970 0 0 0 190 4 0 0 20 0 28 0 151561719 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321587996912 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20496] ppid=20478 vsize=26538700 memory=8040 CPUtime=2.22 cores=0-7
/proc/20480/task/20496/stat : 20496 (java) S 20478 20478 19607 0 -1 1077944384 12566 0 0 0 220 2 0 0 20 0 28 0 151561719 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321586944112 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20497] ppid=20478 vsize=26538700 memory=840 CPUtime=0.96 cores=0-7
/proc/20480/task/20497/stat : 20497 (java) S 20478 20478 19607 0 -1 1077944384 18671 0 0 0 92 4 0 0 20 0 28 0 151561719 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321585891312 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20498] ppid=20478 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/20480/task/20498/stat : 20498 (java) S 20478 20478 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151561719 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321584839776 140322465863381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20499] ppid=20478 vsize=26538700 memory=916 CPUtime=0.12 cores=0-7
/proc/20480/task/20499/stat : 20499 (java) S 20478 20478 19607 0 -1 1077944384 2079 0 0 0 0 12 0 0 20 0 28 0 151561719 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321583787056 140322465864322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20740] ppid=20478 vsize=26538700 memory=4168 CPUtime=23.09 cores=0-7
/proc/20480/task/20740/stat : 20740 (java) R 20478 20478 19607 0 -1 4202560 502 0 0 0 2307 2 0 0 20 0 28 0 151584600 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321575775608 140322109205467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20741] ppid=20478 vsize=26538700 memory=4100 CPUtime=22.94 cores=0-7
/proc/20480/task/20741/stat : 20741 (java) R 20478 20478 19607 0 -1 4202560 793 0 0 0 2294 0 0 0 20 0 28 0 151584600 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321573671016 140322109201389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20742] ppid=20478 vsize=26538700 memory=1156 CPUtime=23.08 cores=0-7
/proc/20480/task/20742/stat : 20742 (java) R 20478 20478 19607 0 -1 4202560 497 0 0 0 2308 0 0 0 20 0 28 0 151584600 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321572618504 140322105177778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20743] ppid=20478 vsize=26538700 memory=3636 CPUtime=22.84 cores=0-7
/proc/20480/task/20743/stat : 20743 (java) R 20478 20478 19607 0 -1 4202560 3357 0 0 0 2260 24 0 0 20 0 28 0 151584600 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321569463008 140322110299493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20744] ppid=20478 vsize=26538700 memory=1380 CPUtime=23.08 cores=0-7
/proc/20480/task/20744/stat : 20744 (java) R 20478 20478 19607 0 -1 4202560 1073 0 0 0 2308 0 0 0 20 0 28 0 151584600 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321574723112 140322105177539 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20745] ppid=20478 vsize=26538700 memory=1380208 CPUtime=23.09 cores=0-7
/proc/20480/task/20745/stat : 20745 (java) R 20478 20478 19607 0 -1 4202560 733 0 0 0 2309 0 0 0 20 0 28 0 151584600 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321570513960 140322109013341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20746] ppid=20478 vsize=26538700 memory=6791534058613427641 CPUtime=23.08 cores=0-7
/proc/20480/task/20746/stat : 20746 (java) R 20478 20478 19607 0 -1 4202560 479 0 0 0 2308 0 0 0 20 0 28 0 151584600 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321571566248 140322108700071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
[pid=20480/tid=20747] ppid=20478 vsize=26538700 memory=4872558044660077418 CPUtime=22.89 cores=0-7
/proc/20480/task/20747/stat : 20747 (java) R 20478 20478 19607 0 -1 4202560 435 0 0 0 2286 3 0 0 20 0 28 0 151584600 27175628800 345052 33554432000 4194304 4196468 140731811623824 140321568407808 140322109200221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17711104 140731811628184 140731811628360 140731811628360 140731811631055 0
Current children cumulated CPU time: 1995.12 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1381588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.038 s]
# the end of solver process 20478 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001886 s
[startup+252.144 s]
# the end of solver process 20480 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1992.04 s, system=3.98699 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+252.135 s]*
/proc/loadavg: 8.11 8.25 8.05 2/178 20749
/proc/meminfo: memFree=27339080/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001886 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): 252.144
CPU time (s): 1996.02
CPU user time (s): 1992.04
CPU system time (s): 3.98699
CPU usage (%): 791.62
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1396648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1992.04
system time used= 3.98699
maximum resident set size= 1402964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18247
involuntary context switches= 21546
# summary of solver processes directly reported to runsolver:
# pid: 20478,20480
# total CPU time (s): 1996.02
# total CPU user time (s): 1992.04
# total CPU system time (s): 3.98699
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.09885 second user time and 3.1762 second system time
The end
Begin job on node106 at 2017-08-20 01:04:41
IDJOB=4281434
IDBENCH=122959
IDSOLVER=2676
FILE ID=node106/4281434-1503184741
RUNJOBID= node106-1503176127-19634
PBS_JOBID= 20630846
Free space on /tmp= 61820 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-035-010.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281434-1503184741/watcher-4281434-1503184741 -o /tmp/evaluation-result-4281434-1503184741/solver-4281434-1503184741 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1818316556 HOME/instance-4281434-1503184741.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8
RANDOM SEED=1818316556
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 : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
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: 27340760 kB
MemAvailable: 31972696 kB
Buffers: 239988 kB
Cached: 4684112 kB
SwapCached: 0 kB
Active: 1069908 kB
Inactive: 3910072 kB
Active(anon): 11808 kB
Inactive(anon): 80012 kB
Active(file): 1058100 kB
Inactive(file): 3830060 kB
Unevictable: 7764 kB
Mlocked: 7764 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7576 kB
Writeback: 4 kB
AnonPages: 63728 kB
Mapped: 51552 kB
Shmem: 33420 kB
Slab: 145648 kB
SReclaimable: 119224 kB
SUnreclaim: 26424 kB
KernelStack: 3184 kB
PageTables: 4724 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 334308 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: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-20 01:08:53