0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270856-1502699964.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4270856-1502699964.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
3.56/1.13 c solve instance...
5.66/1.45 s SATISFIABLE
5.66/1.45 v <instantiation>
5.66/1.45 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[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[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[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[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[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[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[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[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[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] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[0][6][7] s[0][6][8] s[0][6][9] s[0][6][10] s[0][6][11] s[0][6][12] s[0][6][13] s[0][6][14] s[0][6][15] s[0][6][16] s[0][6][17] s[0][7][0] s[0][7][1] s[0][7][2] s[0][7][3] s[0][7][4] s[0][7][5] s[0][7][6] s[0][7][7] s[0][7][8] s[0][7][9] s[0][7][10] s[0][7][11] s[0][7][12] s[0][7][13] s[0][7][14] s[0][7][15] s[0][7][16] s[0][7][17] s[0][8][0] s[0][8][1] s[0][8][2] s[0][8][3] s[0][8][4] s[0][8][5] s[0][8][6] s[0][8][7] s[0][8][8] s[0][8][9] s[0][8][10] s[0][8][11] s[0][8][12] s[0][8][13] s[0][8][14] s[0][8][15] s[0][8][16] s[0][8][17] s[0][9][0] s[0][9][1] s[0][9][2] s[0][9][3] s[0][9][4] s[0][9][5] s[0][9][6] s[0][9][7] s[0][9][8] s[0][9][9] s[0][9][10] s[0][9][11] s[0][9][12] s[0][9][13] s[0][9][14] s[0][9][15] s[0][9][16] s[0][9][17] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[1][6][7] s[1][6][8] s[1][6][9] s[1][6][10] s[1][6][11] s[1][6][12] s[1][6][13] s[1][6][14] s[1][6][15] s[1][6][16] s[1][6][17] s[1][7][0] s[1][7][1] s[1][7][2] s[1][7][3] s[1][7][4] s[1][7][5] s[1][7][6] s[1][7][7] s[1][7][8] s[1][7][9] s[1][7][10] s[1][7][11] s[1][7][12] s[1][7][13] s[1][7][14] s[1][7][15] s[1][7][16] s[1][7][17] s[1][8][0] s[1][8][1] s[1][8][2] s[1][8][3] s[1][8][4] s[1][8][5] s[1][8][6] s[1][8][7] s[1][8][8] s[1][8][9] s[1][8][10] s[1][8][11] s[1][8][12] s[1][8][13] s[1][8][14] s[1][8][15] s[1][8][16] s[1][8][17] s[1][9][0] s[1][9][1] s[1][9][2] s[1][9][3] s[1][9][4] s[1][9][5] s[1][9][6] s[1][9][7] s[1][9][8] s[1][9][9] s[1][9][10] s[1][9][11] s[1][9][12] s[1][9][13] s[1][9][14] s[1][9][15] s[1][9][16] s[1][9][17] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[2][6][7] s[2][6][8] s[2][6][9] s[2][6][10] s[2][6][11] s[2][6][12] s[2][6][13] s[2][6][14] s[2][6][15] s[2][6][16] s[2][6][17] s[2][7][0] s[2][7][1] s[2][7][2] s[2][7][3] s[2][7][4] s[2][7][5] s[2][7][6] s[2][7][7] s[2][7][8] s[2][7][9] s[2][7][10] s[2][7][11] s[2][7][12] s[2][7][13] s[2][7][14] s[2][7][15] s[2][7][16] s[2][7][17] s[2][8][0] s[2][8][1] s[2][8][2] s[2][8][3] s[2][8][4] s[2][8][5] s[2][8][6] s[2][8][7] s[2][8][8] s[2][8][9] s[2][8][10] s[2][8][11] s[2][8][12] s[2][8][13] s[2][8][14] s[2][8][15] s[2][8][16] s[2][8][17] s[2][9][0] s[2][9][1] s[2][9][2] s[2][9][3] s[2][9][4] s[2][9][5] s[2][9][6] s[2][9][7] s[2][9][8] s[2][9][9] s[2][9][10] s[2][9][11] s[2][9][12] s[2][9][13] s[2][9][14] s[2][9][15] s[2][9][16] s[2][9][17] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[3][6][7] s[3][6][8] s[3][6][9] s[3][6][10] s[3][6][11] s[3][6][12] s[3][6][13] s[3][6][14] s[3][6][15] s[3][6][16] s[3][6][17] s[3][7][0] s[3][7][1] s[3][7][2] s[3][7][3] s[3][7][4] s[3][7][5] s[3][7][6] s[3][7][7] s[3][7][8] s[3][7][9] s[3][7][10] s[3][7][11] s[3][7][12] s[3][7][13] s[3][7][14] s[3][7][15] s[3][7][16] s[3][7][17] s[3][8][0] s[3][8][1] s[3][8][2] s[3][8][3] s[3][8][4] s[3][8][5] s[3][8][6] s[3][8][7] s[3][8][8] s[3][8][9] s[3][8][10] s[3][8][11] s[3][8][12] s[3][8][13] s[3][8][14] s[3][8][15] s[3][8][16] s[3][8][17] s[3][9][0] s[3][9][1] s[3][9][2] s[3][9][3] s[3][9][4] s[3][9][5] s[3][9][6] s[3][9][7] s[3][9][8] s[3][9][9] s[3][9][10] s[3][9][11] s[3][9][12] s[3][9][13] s[3][9][14] s[3][9][15] s[3][9][16] s[3][9][17] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[4][6][7] s[4][6][8] s[4][6][9] s[4][6][10] s[4][6][11] s[4][6][12] s[4][6][13] s[4][6][14] s[4][6][15] s[4][6][16] s[4][6][17] s[4][7][0] s[4][7][1] s[4][7][2] s[4][7][3] s[4][7][4] s[4][7][5] s[4][7][6] s[4][7][7] s[4][7][8] s[4][7][9] s[4][7][10] s[4][7][11] s[4][7][12] s[4][7][13] s[4][7][14] s[4][7][15] s[4][7][16] s[4][7][17] s[4][8][0] s[4][8][1] s[4][8][2] s[4][8][3] s[4][8][4] s[4][8][5] s[4][8][6] s[4][8][7] s[4][8][8] s[4][8][9] s[4][8][10] s[4][8][11] s[4][8][12] s[4][8][13] s[4][8][14] s[4][8][15] s[4][8][16] s[4][8][17] s[4][9][0] s[4][9][1] s[4][9][2] s[4][9][3] s[4][9][4] s[4][9][5] s[4][9][6] s[4][9][7] s[4][9][8] s[4][9][9] s[4][9][10] s[4][9][11] s[4][9][12] s[4][9][13] s[4][9][14] s[4][9][15] s[4][9][16] s[4][9][17] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6] s[5][6][7] s[5][6][8] s[5][6][9] s[5][6][10] s[5][6][11] s[5][6][12] s[5][6][13] s[5][6][14] s[5][6][15] s[5][6][16] s[5][6][17] s[5][7][0] s[5][7][1] s[5][7][2] s[5][7][3] s[5][7][4] s[5][7][5] s[5][7][6] s[5][7][7] s[5][7][8] s[5][7][9] s[5][7][10] s[5][7][11] s[5][7][12] s[5][7][13] s[5][7][14] s[5][7][15] s[5][7][16] s[5][7][17] s[5][8][0] s[5][8][1] s[5][8][2] s[5][8][3] s[5][8][4] s[5][8][5] s[5][8][6] s[5][8][7] s[5][8][8] s[5][8][9] s[5][8][10] s[5][8][11] s[5][8][12] s[5][8][13] s[5][8][14] s[5][8][15] s[5][8][16] s[5][8][17] s[5][9][0] s[5][9][1] s[5][9][2] s[5][9][3] s[5][9][4] s[5][9][5] s[5][9][6] s[5][9][7] s[5][9][8] s[5][9][9] s[5][9][10] s[5][9][11] s[5][9][12] s[5][9][13] s[5][9][14] s[5][9][15] s[5][9][16] s[5][9][17] s[6][7][0] s[6][7][1] s[6][7][2] s[6][7][3] s[6][7][4] s[6][7][5] s[6][7][6] s[6][7][7] s[6][7][8] s[6][7][9] s[6][7][10] s[6][7][11] s[6][7][12] s[6][7][13] s[6][7][14] s[6][7][15] s[6][7][16] s[6][7][17] s[6][8][0] s[6][8][1] s[6][8][2] s[6][8][3] s[6][8][4] s[6][8][5] s[6][8][6] s[6][8][7] s[6][8][8] s[6][8][9] s[6][8][10] s[6][8][11] s[6][8][12] s[6][8][13] s[6][8][14] s[6][8][15] s[6][8][16] s[6][8][17] s[6][9][0] s[6][9][1] s[6][9][2] s[6][9][3] s[6][9][4] s[6][9][5] s[6][9][6] s[6][9][7] s[6][9][8] s[6][9][9] s[6][9][10] s[6][9][11] s[6][9][12] s[6][9][13] s[6][9][14] s[6][9][15] s[6][9][16] s[6][9][17] s[7][8][0] s[7][8][1] s[7][8][2] s[7][8][3] s[7][8][4] s[7][8][5] s[7][8][6] s[7][8][7] s[7][8][8] s[7][8][9] s[7][8][10] s[7][8][11] s[7][8][12] s[7][8][13] s[7][8][14] s[7][8][15] s[7][8][16] s[7][8][17] s[7][9][0] s[7][9][1] s[7][9][2] s[7][9][3] s[7][9][4] s[7][9][5] s[7][9][6] s[7][9][7] s[7][9][8] s[7][9][9] s[7][9][10] s[7][9][11] s[7][9][12] s[7][9][13] s[7][9][14] s[7][9][15] s[7][9][16] s[7][9][17] s[8][9][0] s[8][9][1] s[8][9][2] s[8][9][3] s[8][9][4] s[8][9][5] s[8][9][6] s[8][9][7] s[8][9][8] s[8][9][9] s[8][9][10] s[8][9][11] s[8][9][12] s[8][9][13] s[8][9][14] s[8][9][15] s[8][9][16] s[8][9][17] </list>
5.66/1.45 v <values>0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 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 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 </values>
5.66/1.45 v </instantiation>
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 (15255 MiB free)
memory of node 1: 16384 MiB (15645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270856-1502699964/watcher-4270856-1502699964 -o /tmp/evaluation-result-4270856-1502699964/solver-4270856-1502699964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502688687-31328 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 315565738 HOME/instance-4270856-1502699964.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32574, runsolver pid=32571
[startup+0.100157 s]*
/proc/loadavg: 1.06 1.11 1.46 2/199 32595
/proc/meminfo: memFree=31625656/32770624 swapFree=67108860/67108860
[pid=32574] ppid=32571 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32574/stat : 32574 (xcsp3-exec) S 32571 32574 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103084228 9740288 346 33554432000 4194304 5098028 140720756936320 140720756934424 140025343472252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19046400 140720756941925 140720756942135 140720756942135 140720756944875 0
/proc/32574/statm: 2378 346 289 221 0 87 0
[pid=32576] ppid=32574 vsize=25999808 memory=26272 CPUtime=0.12 cores=0-7
/proc/32576/stat : 32576 (java) S 32574 32574 31301 0 -1 1077944320 5497 0 0 0 10 2 0 0 20 0 20 0 103084228 26623803392 6568 33554432000 4194304 4196468 140735132096944 140735132079488 140509024141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
/proc/32576/statm: 6499952 6568 2843 1 0 6488269 0
[pid=32576/tid=32577] ppid=32574 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32576/task/32577/stat : 32577 (java) R 32574 32574 31301 0 -1 4202560 3490 0 0 0 8 1 0 0 20 0 20 0 103084229 26623803392 6568 33554432000 4194304 4196468 140735132096944 140509028374320 140509024152982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32578] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32578/stat : 32578 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508582661264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32579] ppid=32574 vsize=25999808 memory=140219518785152 CPUtime=0 cores=0-7
/proc/32576/task/32579/stat : 32579 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508581608464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32580] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32580/stat : 32580 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508580555664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32581] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32581/stat : 32581 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508579502864 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32582] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32582/stat : 32582 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508578450064 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32583] ppid=32574 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32576/task/32583/stat : 32583 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508577397264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32584] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32584/stat : 32584 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508576344464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32585] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32585/stat : 32585 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103084229 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508575291664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32586] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32586/stat : 32586 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084231 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508419992432 140509024152194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32587] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32587/stat : 32587 (java) S 32574 32574 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103084231 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508418938400 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32588] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32588/stat : 32588 (java) S 32574 32574 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103084231 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508417885552 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32589] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32589/stat : 32589 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084234 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508416833872 140509024159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32590] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32590/stat : 32590 (java) S 32574 32574 31301 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 103084234 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508415781232 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32591] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32591/stat : 32591 (java) R 32574 32574 31301 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 103084234 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508414728432 140509024152194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32592] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32592/stat : 32592 (java) R 32574 32574 31301 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 103084234 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508413675632 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32593] ppid=32574 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32576/task/32593/stat : 32593 (java) R 32574 32574 31301 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 103084234 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508412622832 140509024152982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32594] ppid=32574 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32594/stat : 32594 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103084234 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508411571296 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32595] ppid=32574 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32576/task/32595/stat : 32595 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084234 26623803392 6568 33554432000 4194304 4196468 140735132096944 140508410518576 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27656 KiB
[startup+0.210198 s]*
/proc/loadavg: 1.06 1.11 1.46 2/199 32595
/proc/meminfo: memFree=31614880/32770624 swapFree=67108860/67108860
[pid=32574] ppid=32571 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32574/stat : 32574 (xcsp3-exec) S 32571 32574 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103084228 9740288 346 33554432000 4194304 5098028 140720756936320 140720756934424 140025343472252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19046400 140720756941925 140720756942135 140720756942135 140720756944875 0
/proc/32574/statm: 2378 346 289 221 0 87 0
[pid=32576] ppid=32574 vsize=26004064 memory=39104 CPUtime=0.33 cores=0-7
/proc/32576/stat : 32576 (java) S 32574 32574 31301 0 -1 1077944320 8344 0 0 0 30 3 0 0 20 0 20 0 103084228 26628161536 9776 33554432000 4194304 4196468 140735132096944 140735132079488 140509024141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
/proc/32576/statm: 6501016 9776 3045 1 0 6488269 0
[pid=32576/tid=32577] ppid=32574 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32576/task/32577/stat : 32577 (java) R 32574 32574 31301 0 -1 4202560 5402 0 0 0 18 1 0 0 20 0 20 0 103084229 26628161536 9776 33554432000 4194304 4196468 140735132096944 140509028363248 140509008221534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32578] ppid=32574 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/32576/task/32578/stat : 32578 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508582661264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32579] ppid=32574 vsize=26004064 memory=140219519222144 CPUtime=0 cores=0-7
/proc/32576/task/32579/stat : 32579 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508581608464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32580] ppid=32574 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32576/task/32580/stat : 32580 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508580555664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32581] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32581/stat : 32581 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508579502864 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32582] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32582/stat : 32582 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508578450064 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32583] ppid=32574 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32576/task/32583/stat : 32583 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508577397264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32584] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32584/stat : 32584 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508576344464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32585] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32585/stat : 32585 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508575291664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32586] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32586/stat : 32586 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084231 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508419992432 140509024152194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32587] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32587/stat : 32587 (java) S 32574 32574 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103084231 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508418938400 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32588] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32588/stat : 32588 (java) S 32574 32574 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103084231 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508417885552 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32589] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32589/stat : 32589 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084234 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508416833872 140509024159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32590] ppid=32574 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32576/task/32590/stat : 32590 (java) S 32574 32574 31301 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 20 0 103084234 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508415781232 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32591] ppid=32574 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32576/task/32591/stat : 32591 (java) S 32574 32574 31301 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 103084234 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508414728432 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32592] ppid=32574 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/32576/task/32592/stat : 32592 (java) S 32574 32574 31301 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 20 0 103084234 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508413675632 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32593] ppid=32574 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/32576/task/32593/stat : 32593 (java) R 32574 32574 31301 0 -1 4202560 755 0 0 0 7 0 0 0 20 0 20 0 103084234 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508412622832 140509016378174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32594] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32594/stat : 32594 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103084234 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508411571296 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32595] ppid=32574 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32576/task/32595/stat : 32595 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084234 26628161536 9776 33554432000 4194304 4196468 140735132096944 140508410518576 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40488 KiB
[startup+0.309663 s]*
/proc/loadavg: 1.06 1.11 1.46 3/199 32595
/proc/meminfo: memFree=31610476/32770624 swapFree=67108860/67108860
[pid=32574] ppid=32571 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32574/stat : 32574 (xcsp3-exec) S 32571 32574 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103084228 9740288 346 33554432000 4194304 5098028 140720756936320 140720756934424 140025343472252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19046400 140720756941925 140720756942135 140720756942135 140720756944875 0
/proc/32574/statm: 2378 346 289 221 0 87 0
[pid=32576] ppid=32574 vsize=26004064 memory=43748 CPUtime=0.5 cores=0-7
/proc/32576/stat : 32576 (java) S 32574 32574 31301 0 -1 1077944320 9144 0 0 0 47 3 0 0 20 0 20 0 103084228 26628161536 10937 33554432000 4194304 4196468 140735132096944 140735132079488 140509024141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
/proc/32576/statm: 6501016 10937 3064 1 0 6488269 0
[pid=32576/tid=32577] ppid=32574 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32576/task/32577/stat : 32577 (java) R 32574 32574 31301 0 -1 4202560 6068 0 0 0 27 2 0 0 20 0 20 0 103084229 26628161536 10937 33554432000 4194304 4196468 140735132096944 140509028367856 140508663807962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32578] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32578/stat : 32578 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508582661264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32579] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32579/stat : 32579 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508581608464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32580] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32580/stat : 32580 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508580555664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32581] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32581/stat : 32581 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508579502864 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32582] ppid=32574 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/32576/task/32582/stat : 32582 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508578450064 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32583] ppid=32574 vsize=26004064 memory=140219408020399 CPUtime=0 cores=0-7
/proc/32576/task/32583/stat : 32583 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508577397264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32584] ppid=32574 vsize=26004064 memory=140219408022704 CPUtime=0 cores=0-7
/proc/32576/task/32584/stat : 32584 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508576344464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32585] ppid=32574 vsize=26004064 memory=140219408025008 CPUtime=0 cores=0-7
/proc/32576/task/32585/stat : 32585 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103084229 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508575291664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32586] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32586/stat : 32586 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084231 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508419992432 140509024152194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32587] ppid=32574 vsize=26004064 memory=280438816056976 CPUtime=0 cores=0-7
/proc/32576/task/32587/stat : 32587 (java) S 32574 32574 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103084231 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508418938400 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32588] ppid=32574 vsize=26004064 memory=280438816063888 CPUtime=0 cores=0-7
/proc/32576/task/32588/stat : 32588 (java) S 32574 32574 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103084231 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508417885552 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32589] ppid=32574 vsize=26004064 memory=280438816005168 CPUtime=0 cores=0-7
/proc/32576/task/32589/stat : 32589 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084234 26628161536 10937 33554432000 4194304 4196468 140735132096944 140508416833872 140509024159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32590] ppid=32574 vsize=26004064 memory=280438816077712 CPUtime=0.02 cores=0-7
/proc/32576/task/32590/stat : 32590 (java) R 32574 32574 31301 0 -1 4202560 502 0 0 0 2 0 0 0 20 0 20 0 103084234 26628161536 11449 33554432000 4194304 4196468 140735132096944 140508415781232 140509003417617 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32591] ppid=32574 vsize=26004064 memory=280438816084624 CPUtime=0.01 cores=0-7
/proc/32576/task/32591/stat : 32591 (java) R 32574 32574 31301 0 -1 4202560 109 0 0 0 1 0 0 0 20 0 20 0 103084234 26628161536 11449 33554432000 4194304 4196468 140735132096944 140508414728528 140509010292699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32592] ppid=32574 vsize=26004064 memory=280438816082320 CPUtime=0.02 cores=0-7
/proc/32576/task/32592/stat : 32592 (java) S 32574 32574 31301 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 103084234 26628161536 11449 33554432000 4194304 4196468 140735132096944 140508413675632 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32593] ppid=32574 vsize=26004064 memory=280438816098480 CPUtime=0.12 cores=0-7
/proc/32576/task/32593/stat : 32593 (java) R 32574 32574 31301 0 -1 4202560 859 0 0 0 12 0 0 0 20 0 20 0 103084234 26628161536 11449 33554432000 4194304 4196468 140735132096944 140508412620496 140509002674164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32594] ppid=32574 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32594/stat : 32594 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103084234 26628161536 11449 33554432000 4194304 4196468 140735132096944 140508411571296 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32595] ppid=32574 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32576/task/32595/stat : 32595 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084234 26628161536 11449 33554432000 4194304 4196468 140735132096944 140508410518576 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45132 KiB
[startup+0.701023 s]
/proc/loadavg: 1.06 1.11 1.46 5/199 32595
/proc/meminfo: memFree=31589672/32770624 swapFree=67108860/67108860
[pid=32574] ppid=32571 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32574/stat : 32574 (xcsp3-exec) S 32571 32574 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103084228 9740288 346 33554432000 4194304 5098028 140720756936320 140720756934424 140025343472252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19046400 140720756941925 140720756942135 140720756942135 140720756944875 0
/proc/32574/statm: 2378 346 289 221 0 87 0
[pid=32576] ppid=32574 vsize=26006188 memory=86732 CPUtime=1.79 cores=0-7
/proc/32576/stat : 32576 (java) S 32574 32574 31301 0 -1 1077944320 13333 0 0 0 173 6 0 0 20 0 20 0 103084228 26630336512 21683 33554432000 4194304 4196468 140735132096944 140735132079488 140509024141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
/proc/32576/statm: 6501547 21683 3209 1 0 6488781 0
[pid=32576/tid=32577] ppid=32574 vsize=26006188 memory=280438816456368 CPUtime=0.67 cores=0-7
/proc/32576/task/32577/stat : 32577 (java) R 32574 32574 31301 0 -1 4202560 6865 0 0 0 64 3 0 0 20 0 20 0 103084229 26630336512 21683 33554432000 4194304 4196468 140735132096944 140509028370960 140509009348512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32578] ppid=32574 vsize=26006188 memory=140219408229232 CPUtime=0 cores=0-7
/proc/32576/task/32578/stat : 32578 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 21683 33554432000 4194304 4196468 140735132096944 140508582661264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32579] ppid=32574 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32579/stat : 32579 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 21683 33554432000 4194304 4196468 140735132096944 140508581608464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32580] ppid=32574 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/32576/task/32580/stat : 32580 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 21683 33554432000 4194304 4196468 140735132096944 140508580555664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
################
# More data... #
################
# the end of solver process 32574 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.83406 s, system=0.187849 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801213 s]
/proc/loadavg: 1.06 1.11 1.46 5/199 32595
/proc/meminfo: memFree=31589672/32770624 swapFree=67108860/67108860
[pid=32574] ppid=32571 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32574/stat : 32574 (xcsp3-exec) S 32571 32574 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103084228 9740288 346 33554432000 4194304 5098028 140720756936320 140720756934424 140025343472252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19046400 140720756941925 140720756942135 140720756942135 140720756944875 0
/proc/32574/statm: 2378 346 289 221 0 87 0
[pid=32576] ppid=32574 vsize=26006188 memory=118884 CPUtime=2.24 cores=0-7
/proc/32576/stat : 32576 (java) S 32574 32574 31301 0 -1 1077944320 15224 0 0 0 217 7 0 0 20 0 20 0 103084228 26630336512 29721 33554432000 4194304 4196468 140735132096944 140735132079488 140509024141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
/proc/32576/statm: 6501547 29721 3210 1 0 6488781 0
[pid=32576/tid=32577] ppid=32574 vsize=26006188 memory=1004 CPUtime=0.77 cores=0-7
/proc/32576/task/32577/stat : 32577 (java) R 32574 32574 31301 0 -1 4202560 6879 0 0 0 74 3 0 0 20 0 20 0 103084229 26630336512 29721 33554432000 4194304 4196468 140735132096944 140509028374576 140509024152982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32578] ppid=32574 vsize=26006188 memory=1436 CPUtime=0 cores=0-7
/proc/32576/task/32578/stat : 32578 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508582661264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32579] ppid=32574 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/32576/task/32579/stat : 32579 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508581608464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32580] ppid=32574 vsize=26006188 memory=15872 CPUtime=0 cores=0-7
/proc/32576/task/32580/stat : 32580 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508580555664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32581] ppid=32574 vsize=26006188 memory=4040 CPUtime=0 cores=0-7
/proc/32576/task/32581/stat : 32581 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508579502864 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32582] ppid=32574 vsize=26006188 memory=17436 CPUtime=0 cores=0-7
/proc/32576/task/32582/stat : 32582 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508578450064 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32583] ppid=32574 vsize=26006188 memory=18292 CPUtime=0 cores=0-7
/proc/32576/task/32583/stat : 32583 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508577397264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32584] ppid=32574 vsize=26006188 memory=31140 CPUtime=0 cores=0-7
/proc/32576/task/32584/stat : 32584 (java) S 32574 32574 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508576344464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32585] ppid=32574 vsize=26006188 memory=4572432629712593303 CPUtime=0 cores=0-7
/proc/32576/task/32585/stat : 32585 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103084229 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508575291664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32586] ppid=32574 vsize=26006188 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/32576/task/32586/stat : 32586 (java) S 32574 32574 31301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103084231 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508419992432 140509024152194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32587] ppid=32574 vsize=26006188 memory=164 CPUtime=0 cores=0-7
/proc/32576/task/32587/stat : 32587 (java) S 32574 32574 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103084231 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508418938400 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32588] ppid=32574 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32588/stat : 32588 (java) S 32574 32574 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103084231 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508417885552 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32589] ppid=32574 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32589/stat : 32589 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084234 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508416833872 140509024159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32590] ppid=32574 vsize=26006188 memory=0 CPUtime=0.29 cores=0-7
/proc/32576/task/32590/stat : 32590 (java) R 32574 32574 31301 0 -1 4202560 2064 0 0 0 28 1 0 0 20 0 20 0 103084234 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508415767112 140509003383843 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32591] ppid=32574 vsize=26006188 memory=0 CPUtime=0.34 cores=0-7
/proc/32576/task/32591/stat : 32591 (java) R 32574 32574 31301 0 -1 4202560 1150 0 0 0 34 0 0 0 20 0 20 0 103084234 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508414719888 140509010163307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32592] ppid=32574 vsize=26006188 memory=0 CPUtime=0.34 cores=0-7
/proc/32576/task/32592/stat : 32592 (java) R 32574 32574 31301 0 -1 4202560 1268 0 0 0 34 0 0 0 20 0 20 0 103084234 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508413657168 140509003474828 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32593] ppid=32574 vsize=26006188 memory=0 CPUtime=0.46 cores=0-7
/proc/32576/task/32593/stat : 32593 (java) R 32574 32574 31301 0 -1 1077944384 2549 0 0 0 46 0 0 0 20 0 20 0 103084234 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508412622832 140509024152194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32594] ppid=32574 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32594/stat : 32594 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103084234 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508411571296 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32595] ppid=32574 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32595/stat : 32595 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103084234 26630336512 29721 33554432000 4194304 4196468 140735132096944 140508410518576 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 120268 KiB
[startup+1.20104 s]
/proc/loadavg: 1.06 1.11 1.46 5/199 32595
/proc/meminfo: memFree=31477544/32770624 swapFree=67108860/67108860
[pid=32574] ppid=32571 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32574/stat : 32574 (xcsp3-exec) S 32571 32574 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103084228 9740288 346 33554432000 4194304 5098028 140720756936320 140720756934424 140025343472252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19046400 140720756941925 140720756942135 140720756942135 140720756944875 0
/proc/32574/statm: 2378 346 289 221 0 87 0
[pid=32576] ppid=32574 vsize=26538700 memory=213884 CPUtime=4.07 cores=0-7
/proc/32576/stat : 32576 (java) S 32574 32574 31301 0 -1 1077944320 21801 0 0 0 391 16 0 0 20 0 28 0 103084228 27175628800 53471 33554432000 4194304 4196468 140735132096944 140735132079488 140509024141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
/proc/32576/statm: 6634675 53471 3249 1 0 6621909 0
[pid=32576/tid=32577] ppid=32574 vsize=26538700 memory=6791534058613427641 CPUtime=1.08 cores=0-7
/proc/32576/task/32577/stat : 32577 (java) S 32574 32574 31301 0 -1 1077944384 7580 0 0 0 104 4 0 0 20 0 28 0 103084229 27175628800 53471 33554432000 4194304 4196468 140735132096944 140509028381824 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32578] ppid=32574 vsize=26538700 memory=288230621803970871 CPUtime=0.01 cores=0-7
/proc/32576/task/32578/stat : 32578 (java) S 32574 32574 31301 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 103084229 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508582661264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32579] ppid=32574 vsize=26538700 memory=13852958290872725 CPUtime=0 cores=0-7
/proc/32576/task/32579/stat : 32579 (java) S 32574 32574 31301 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508581608464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32580] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32580/stat : 32580 (java) S 32574 32574 31301 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508580555664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32581] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32581/stat : 32581 (java) S 32574 32574 31301 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508579502864 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32582] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32582/stat : 32582 (java) S 32574 32574 31301 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508578450064 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32583] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32583/stat : 32583 (java) S 32574 32574 31301 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508577397264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32584] ppid=32574 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/32576/task/32584/stat : 32584 (java) S 32574 32574 31301 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 28 0 103084229 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508576344464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32585] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32585/stat : 32585 (java) S 32574 32574 31301 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508575291664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32586] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32586/stat : 32586 (java) S 32574 32574 31301 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 28 0 103084231 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508419992432 140509024152194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32587] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32587/stat : 32587 (java) S 32574 32574 31301 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 103084231 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508418938400 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32588] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32588/stat : 32588 (java) S 32574 32574 31301 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 103084231 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508417885552 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32589] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32589/stat : 32589 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103084234 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508416833872 140509024159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32590] ppid=32574 vsize=26538700 memory=0 CPUtime=0.63 cores=0-7
/proc/32576/task/32590/stat : 32590 (java) R 32574 32574 31301 0 -1 4202560 2931 0 0 0 62 1 0 0 20 0 28 0 103084234 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508415772496 140509009248671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32591] ppid=32574 vsize=26538700 memory=303711698211307546 CPUtime=0.69 cores=0-7
/proc/32576/task/32591/stat : 32591 (java) R 32574 32574 31301 0 -1 4202560 2520 0 0 0 68 1 0 0 20 0 28 0 103084234 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508414715984 140509005326816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32592] ppid=32574 vsize=26538700 memory=6944656592455097440 CPUtime=0.65 cores=0-7
/proc/32576/task/32592/stat : 32592 (java) R 32574 32574 31301 0 -1 1077944384 2209 0 0 0 65 0 0 0 20 0 28 0 103084234 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508413662480 140509024151253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32593] ppid=32574 vsize=26538700 memory=6154007711170325609 CPUtime=0.54 cores=0-7
/proc/32576/task/32593/stat : 32593 (java) R 32574 32574 31301 0 -1 1077944384 3874 0 0 0 53 1 0 0 20 0 28 0 103084234 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508412617408 140509024151253 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32594] ppid=32574 vsize=26538700 memory=1 CPUtime=0 cores=0-7
/proc/32576/task/32594/stat : 32594 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103084234 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508411571296 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32595] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32595/stat : 32595 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103084234 27175628800 53471 33554432000 4194304 4196468 140735132096944 140508410518576 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 215268 KiB
[startup+1.40957 s]
/proc/loadavg: 1.06 1.11 1.46 5/199 32595
/proc/meminfo: memFree=31477544/32770624 swapFree=67108860/67108860
[pid=32574] ppid=32571 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32574/stat : 32574 (xcsp3-exec) S 32571 32574 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103084228 9740288 346 33554432000 4194304 5098028 140720756936320 140720756934424 140025343472252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19046400 140720756941925 140720756942135 140720756942135 140720756944875 0
/proc/32574/statm: 2378 346 289 221 0 87 0
[pid=32576] ppid=32574 vsize=26538700 memory=216612 CPUtime=5.66 cores=0-7
/proc/32576/stat : 32576 (java) S 32574 32574 31301 0 -1 1077944320 24394 0 0 0 549 17 0 0 20 0 28 0 103084228 27175628800 54153 33554432000 4194304 4196468 140735132096944 140735132079488 140509024141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
/proc/32576/statm: 6634675 54153 3254 1 0 6621909 0
[pid=32576/tid=32577] ppid=32574 vsize=26538700 memory=448 CPUtime=1.08 cores=0-7
/proc/32576/task/32577/stat : 32577 (java) S 32574 32574 31301 0 -1 1077944384 7580 0 0 0 104 4 0 0 20 0 28 0 103084229 27175628800 54153 33554432000 4194304 4196468 140735132096944 140509028381824 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32578] ppid=32574 vsize=26538700 memory=257 CPUtime=0.01 cores=0-7
/proc/32576/task/32578/stat : 32578 (java) S 32574 32574 31301 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 103084229 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508582661264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32579] ppid=32574 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/32576/task/32579/stat : 32579 (java) S 32574 32574 31301 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508581608464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32580] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32580/stat : 32580 (java) S 32574 32574 31301 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508580555664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32581] ppid=32574 vsize=26538700 memory=132 CPUtime=0 cores=0-7
/proc/32576/task/32581/stat : 32581 (java) S 32574 32574 31301 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508579502864 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32582] ppid=32574 vsize=26538700 memory=67 CPUtime=0 cores=0-7
/proc/32576/task/32582/stat : 32582 (java) S 32574 32574 31301 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508578450064 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32583] ppid=32574 vsize=26538700 memory=7809 CPUtime=0 cores=0-7
/proc/32576/task/32583/stat : 32583 (java) S 32574 32574 31301 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508577397264 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32584] ppid=32574 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/32576/task/32584/stat : 32584 (java) S 32574 32574 31301 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 28 0 103084229 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508576344464 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32585] ppid=32574 vsize=26538700 memory=139904264765068 CPUtime=0 cores=0-7
/proc/32576/task/32585/stat : 32585 (java) S 32574 32574 31301 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 103084229 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508575291664 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32586] ppid=32574 vsize=26538700 memory=139904264765069 CPUtime=0 cores=0-7
/proc/32576/task/32586/stat : 32586 (java) S 32574 32574 31301 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 28 0 103084231 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508419992432 140509024152194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32587] ppid=32574 vsize=26538700 memory=139904264765070 CPUtime=0 cores=0-7
/proc/32576/task/32587/stat : 32587 (java) S 32574 32574 31301 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 103084231 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508418938400 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32588] ppid=32574 vsize=26538700 memory=139904264765071 CPUtime=0 cores=0-7
/proc/32576/task/32588/stat : 32588 (java) S 32574 32574 31301 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 103084231 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508417885552 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32589] ppid=32574 vsize=26538700 memory=139904264765072 CPUtime=0 cores=0-7
/proc/32576/task/32589/stat : 32589 (java) S 32574 32574 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103084234 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508416833872 140509024159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32590] ppid=32574 vsize=26538700 memory=139904264765073 CPUtime=0.79 cores=0-7
/proc/32576/task/32590/stat : 32590 (java) R 32574 32574 31301 0 -1 4202560 3561 0 0 0 78 1 0 0 20 0 28 0 103084234 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508415768432 140509016430501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32591] ppid=32574 vsize=26538700 memory=9857 CPUtime=0.84 cores=0-7
/proc/32576/task/32591/stat : 32591 (java) R 32574 32574 31301 0 -1 4202560 2977 0 0 0 83 1 0 0 20 0 28 0 103084234 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508414720920 140509016858010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32592] ppid=32574 vsize=26538700 memory=0 CPUtime=0.76 cores=0-7
/proc/32576/task/32592/stat : 32592 (java) R 32574 32574 31301 0 -1 4202560 3179 0 0 0 75 1 0 0 20 0 28 0 103084234 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508413656648 140509007641245 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32593] ppid=32574 vsize=26538700 memory=0 CPUtime=0.62 cores=0-7
/proc/32576/task/32593/stat : 32593 (java) D 32574 32574 31301 0 -1 4202560 4346 0 0 0 61 1 0 0 20 0 28 0 103084234 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508412619736 140509003101279 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32594] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32594/stat : 32594 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103084234 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508411571296 140509024151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
[pid=32576/tid=32595] ppid=32574 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32576/task/32595/stat : 32595 (java) S 32574 32574 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103084234 27175628800 54153 33554432000 4194304 4196468 140735132096944 140508410518576 140509024152194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16547840 140735132099730 140735132099907 140735132099907 140735132102607 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 217996 KiB
Child status: 0
Real time (s): 1.47109
CPU time (s): 6.02191
CPU user time (s): 5.83406
CPU system time (s): 0.187849
CPU usage (%): 409.349
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 217996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.83406
system time used= 0.187849
maximum resident set size= 218832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3247
involuntary context switches= 83
# summary of solver processes directly reported to runsolver:
# pid: 32574
# total CPU time (s): 6.02191
# total CPU user time (s): 5.83406
# total CPU system time (s): 0.187849
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026218 second user time and 0.062427 second system time
The end
Begin job on node112 at 2017-08-14 10:25:06
IDJOB=4270856
IDBENCH=123769
IDSOLVER=2662
FILE ID=node112/4270856-1502699964
RUNJOBID= node112-1502688687-31328
PBS_JOBID= 20628994
Free space on /tmp= 61788 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Bibd/Bibd-sc-stab2/Bibd-sc-10-05-04.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-4270856-1502699964/watcher-4270856-1502699964 -o /tmp/evaluation-result-4270856-1502699964/solver-4270856-1502699964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502688687-31328 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 315565738 HOME/instance-4270856-1502699964.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e9f6f40743648773adf3c8e081ae5e9b
RANDOM SEED=315565738
node112.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.24
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.24
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.24
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.24
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: 31642796 kB
MemAvailable: 31973016 kB
Buffers: 164860 kB
Cached: 443012 kB
SwapCached: 0 kB
Active: 460152 kB
Inactive: 203272 kB
Active(anon): 6804 kB
Inactive(anon): 76452 kB
Active(file): 453348 kB
Inactive(file): 126820 kB
Unevictable: 6276 kB
Mlocked: 6276 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8084 kB
Writeback: 0 kB
AnonPages: 76192 kB
Mapped: 44192 kB
Shmem: 25224 kB
Slab: 158348 kB
SReclaimable: 131776 kB
SUnreclaim: 26572 kB
KernelStack: 3520 kB
PageTables: 4744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 326952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61780 MiB
End job on node112 at 2017-08-14 10:25:07