0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280666-1503127707.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280666-1503127707.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
3.55/1.11 c solve instance...
5.70/1.46 s SATISFIABLE
5.70/1.46 v <instantiation>
5.70/1.46 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.70/1.46 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.70/1.46 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 (12771 MiB free)
memory of node 1: 16384 MiB (13975 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280666-1503127707/watcher-4280666-1503127707 -o /tmp/evaluation-result-4280666-1503127707/solver-4280666-1503127707 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503124150-4758 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 565679003 HOME/instance-4280666-1503127707.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
solver pid=9817, runsolver pid=9814
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 6.90 7.82 8.07 2/200 9838
/proc/meminfo: memFree=27372940/32770624 swapFree=67108860/67108860
[pid=9817] ppid=9814 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9817/stat : 9817 (xcsp3-exec) S 9814 9817 4731 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145858337 9740288 346 33554432000 4194304 5098028 140721399605168 140721399603272 140111405216380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18890752 140721399612517 140721399612727 140721399612727 140721399615467 0
/proc/9817/statm: 2378 346 289 221 0 87 0
[pid=9819] ppid=9817 vsize=25999808 memory=26780 CPUtime=0.11 cores=0-7
/proc/9819/stat : 9819 (java) S 9817 9817 4731 0 -1 1077944320 5628 0 0 0 10 1 0 0 20 0 20 0 145858337 26623803392 6695 33554432000 4194304 4196468 140735173792000 140735173774544 140300135173879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
/proc/9819/statm: 6499952 6695 2845 1 0 6488269 0
[pid=9819/tid=9820] ppid=9817 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9819/task/9820/stat : 9820 (java) R 9817 9817 4731 0 -1 4202560 3638 0 0 0 8 1 0 0 20 0 20 0 145858338 26623803392 6695 33554432000 4194304 4196468 140735173792000 140300139407152 140300135185814 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9821] ppid=9817 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9819/task/9821/stat : 9821 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858338 26623803392 6695 33554432000 4194304 4196468 140735173792000 140300087794448 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9822] ppid=9817 vsize=25999808 memory=139859020289664 CPUtime=0 cores=0-7
/proc/9819/task/9822/stat : 9822 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26623803392 6695 33554432000 4194304 4196468 140735173792000 140300086741904 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9823] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9823/stat : 9823 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26623803392 6695 33554432000 4194304 4196468 140735173792000 140300085689360 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9824] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9824/stat : 9824 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26623803392 6695 33554432000 4194304 4196468 140735173792000 140300084636816 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9825] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9825/stat : 9825 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858339 26623803392 6695 33554432000 4194304 4196468 140735173792000 140300083583248 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9826] ppid=9817 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9819/task/9826/stat : 9826 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858339 26623803392 6695 33554432000 4194304 4196468 140735173792000 140300082530704 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9827] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9827/stat : 9827 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145858339 26623803392 6695 33554432000 4194304 4196468 140735173792000 140300081478160 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9828] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9828/stat : 9828 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858339 26623803392 6695 33554432000 4194304 4196468 140735173792000 140300080425616 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9829] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9829/stat : 9829 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858340 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299195095536 140300135185026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9830] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9830/stat : 9830 (java) S 9817 9817 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145858340 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299194041760 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9831] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9831/stat : 9831 (java) S 9817 9817 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145858341 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299192989168 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9832] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9832/stat : 9832 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858343 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299191937744 140300135192475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9833] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9833/stat : 9833 (java) S 9817 9817 4731 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 145858343 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299190884336 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9834] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9834/stat : 9834 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145858343 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299189831792 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9835] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9835/stat : 9835 (java) S 9817 9817 4731 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145858343 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299188779248 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9836] ppid=9817 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9819/task/9836/stat : 9836 (java) R 9817 9817 4731 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 145858343 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299187726704 140300127411006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9837] ppid=9817 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9837/stat : 9837 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145858343 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299186674400 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9838] ppid=9817 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9819/task/9838/stat : 9838 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858344 26623803392 6695 33554432000 4194304 4196468 140735173792000 140299185621936 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28164 KiB
[startup+0.210116 s]*
/proc/loadavg: 6.90 7.82 8.07 2/200 9838
/proc/meminfo: memFree=27362972/32770624 swapFree=67108860/67108860
[pid=9817] ppid=9814 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9817/stat : 9817 (xcsp3-exec) S 9814 9817 4731 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145858337 9740288 346 33554432000 4194304 5098028 140721399605168 140721399603272 140111405216380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18890752 140721399612517 140721399612727 140721399612727 140721399615467 0
/proc/9817/statm: 2378 346 289 221 0 87 0
[pid=9819] ppid=9817 vsize=26004064 memory=38432 CPUtime=0.33 cores=0-7
/proc/9819/stat : 9819 (java) S 9817 9817 4731 0 -1 1077944320 8240 0 0 0 31 2 0 0 20 0 20 0 145858337 26628161536 9608 33554432000 4194304 4196468 140735173792000 140735173774544 140300135173879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
/proc/9819/statm: 6501016 9608 3033 1 0 6488269 0
[pid=9819/tid=9820] ppid=9817 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9819/task/9820/stat : 9820 (java) R 9817 9817 4731 0 -1 4202560 5426 0 0 0 18 1 0 0 20 0 20 0 145858338 26628161536 9608 33554432000 4194304 4196468 140735173792000 140300139394880 140300135195805 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9821] ppid=9817 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/9819/task/9821/stat : 9821 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858338 26628161536 9608 33554432000 4194304 4196468 140735173792000 140300087794448 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9822] ppid=9817 vsize=26004064 memory=3474163636568397472 CPUtime=0 cores=0-7
/proc/9819/task/9822/stat : 9822 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26628161536 9608 33554432000 4194304 4196468 140735173792000 140300086741904 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9823] ppid=9817 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9819/task/9823/stat : 9823 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26628161536 9608 33554432000 4194304 4196468 140735173792000 140300085689360 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9824] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9824/stat : 9824 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26628161536 9608 33554432000 4194304 4196468 140735173792000 140300084636816 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9825] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9825/stat : 9825 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858339 26628161536 9608 33554432000 4194304 4196468 140735173792000 140300083583248 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9826] ppid=9817 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9819/task/9826/stat : 9826 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858339 26628161536 9608 33554432000 4194304 4196468 140735173792000 140300082530704 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9827] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9827/stat : 9827 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145858339 26628161536 9608 33554432000 4194304 4196468 140735173792000 140300081478160 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9828] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9828/stat : 9828 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858339 26628161536 9608 33554432000 4194304 4196468 140735173792000 140300080425616 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9829] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9829/stat : 9829 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858340 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299195095536 140300135185026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9830] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9830/stat : 9830 (java) S 9817 9817 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145858340 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299194041760 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9831] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9831/stat : 9831 (java) S 9817 9817 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145858341 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299192989168 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9832] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9832/stat : 9832 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858343 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299191937744 140300135192475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9833] ppid=9817 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9819/task/9833/stat : 9833 (java) R 9817 9817 4731 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 20 0 145858343 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299190884336 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9834] ppid=9817 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9819/task/9834/stat : 9834 (java) S 9817 9817 4731 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 145858343 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299189831792 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9835] ppid=9817 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/9819/task/9835/stat : 9835 (java) S 9817 9817 4731 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 145858343 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299188779248 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9836] ppid=9817 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/9819/task/9836/stat : 9836 (java) R 9817 9817 4731 0 -1 4202560 721 0 0 0 7 0 0 0 20 0 20 0 145858343 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299187726704 140300135185814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9837] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9837/stat : 9837 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145858343 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299186674400 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9838] ppid=9817 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9819/task/9838/stat : 9838 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858344 26628161536 9608 33554432000 4194304 4196468 140735173792000 140299185621936 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39816 KiB
[startup+0.309496 s]*
/proc/loadavg: 6.90 7.82 8.07 3/200 9838
/proc/meminfo: memFree=27357948/32770624 swapFree=67108860/67108860
[pid=9817] ppid=9814 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9817/stat : 9817 (xcsp3-exec) S 9814 9817 4731 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145858337 9740288 346 33554432000 4194304 5098028 140721399605168 140721399603272 140111405216380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18890752 140721399612517 140721399612727 140721399612727 140721399615467 0
/proc/9817/statm: 2378 346 289 221 0 87 0
[pid=9819] ppid=9817 vsize=26004064 memory=43592 CPUtime=0.5 cores=0-7
/proc/9819/stat : 9819 (java) S 9817 9817 4731 0 -1 1077944320 9133 0 0 0 47 3 0 0 20 0 20 0 145858337 26628161536 10898 33554432000 4194304 4196468 140735173792000 140735173774544 140300135173879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
/proc/9819/statm: 6501016 10898 3084 1 0 6488269 0
[pid=9819/tid=9820] ppid=9817 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9819/task/9820/stat : 9820 (java) R 9817 9817 4731 0 -1 4202560 6093 0 0 0 28 1 0 0 20 0 20 0 145858338 26628161536 10898 33554432000 4194304 4196468 140735173792000 140300139411344 140299754302048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9821] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9821/stat : 9821 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858338 26628161536 10898 33554432000 4194304 4196468 140735173792000 140300087794448 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9822] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9822/stat : 9822 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26628161536 10898 33554432000 4194304 4196468 140735173792000 140300086741904 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9823] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9823/stat : 9823 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26628161536 10898 33554432000 4194304 4196468 140735173792000 140300085689360 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9824] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9824/stat : 9824 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26628161536 10898 33554432000 4194304 4196468 140735173792000 140300084636816 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9825] ppid=9817 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9819/task/9825/stat : 9825 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858339 26628161536 10898 33554432000 4194304 4196468 140735173792000 140300083583248 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9826] ppid=9817 vsize=26004064 memory=139858899202991 CPUtime=0 cores=0-7
/proc/9819/task/9826/stat : 9826 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858339 26628161536 10898 33554432000 4194304 4196468 140735173792000 140300082530704 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9827] ppid=9817 vsize=26004064 memory=139858899205296 CPUtime=0 cores=0-7
/proc/9819/task/9827/stat : 9827 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145858339 26628161536 10898 33554432000 4194304 4196468 140735173792000 140300081478160 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9828] ppid=9817 vsize=26004064 memory=139858899207600 CPUtime=0 cores=0-7
/proc/9819/task/9828/stat : 9828 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858339 26628161536 10898 33554432000 4194304 4196468 140735173792000 140300080425616 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9829] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9829/stat : 9829 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858340 26628161536 10898 33554432000 4194304 4196468 140735173792000 140299195095536 140300135185026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9830] ppid=9817 vsize=26004064 memory=279717798422160 CPUtime=0 cores=0-7
/proc/9819/task/9830/stat : 9830 (java) S 9817 9817 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145858340 26628161536 10898 33554432000 4194304 4196468 140735173792000 140299194041760 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9831] ppid=9817 vsize=26004064 memory=279717798429072 CPUtime=0 cores=0-7
/proc/9819/task/9831/stat : 9831 (java) S 9817 9817 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145858341 26628161536 10898 33554432000 4194304 4196468 140735173792000 140299192989168 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9832] ppid=9817 vsize=26004064 memory=279717798370352 CPUtime=0 cores=0-7
/proc/9819/task/9832/stat : 9832 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858343 26628161536 10898 33554432000 4194304 4196468 140735173792000 140299191937744 140300135192475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9833] ppid=9817 vsize=26004064 memory=279717798442896 CPUtime=0.03 cores=0-7
/proc/9819/task/9833/stat : 9833 (java) S 9817 9817 4731 0 -1 1077944384 628 0 0 0 3 0 0 0 20 0 20 0 145858343 26628161536 10898 33554432000 4194304 4196468 140735173792000 140299190884336 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9834] ppid=9817 vsize=26004064 memory=279717798449808 CPUtime=0.02 cores=0-7
/proc/9819/task/9834/stat : 9834 (java) R 9817 9817 4731 0 -1 4202560 107 0 0 0 2 0 0 0 20 0 20 0 145858343 26628161536 10898 33554432000 4194304 4196468 140735173792000 140299189831792 140300121188193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9835] ppid=9817 vsize=26004064 memory=279717798447504 CPUtime=0.01 cores=0-7
/proc/9819/task/9835/stat : 9835 (java) R 9817 9817 4731 0 -1 4202560 166 0 0 0 1 0 0 0 20 0 20 0 145858343 26628161536 10898 33554432000 4194304 4196468 140735173792000 140299188779248 140300135195226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9836] ppid=9817 vsize=26004064 memory=279717798463664 CPUtime=0.12 cores=0-7
/proc/9819/task/9836/stat : 9836 (java) R 9817 9817 4731 0 -1 4202560 831 0 0 0 12 0 0 0 20 0 20 0 145858343 26628161536 11410 33554432000 4194304 4196468 140735173792000 140299187726704 140300113829715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9837] ppid=9817 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9837/stat : 9837 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145858343 26628161536 11410 33554432000 4194304 4196468 140735173792000 140299186674400 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9838] ppid=9817 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9819/task/9838/stat : 9838 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858344 26628161536 11410 33554432000 4194304 4196468 140735173792000 140299185621936 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44976 KiB
[startup+0.701009 s]
/proc/loadavg: 6.90 7.82 8.07 4/200 9838
/proc/meminfo: memFree=27338948/32770624 swapFree=67108860/67108860
[pid=9817] ppid=9814 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9817/stat : 9817 (xcsp3-exec) S 9814 9817 4731 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145858337 9740288 346 33554432000 4194304 5098028 140721399605168 140721399603272 140111405216380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18890752 140721399612517 140721399612727 140721399612727 140721399615467 0
/proc/9817/statm: 2378 346 289 221 0 87 0
[pid=9819] ppid=9817 vsize=26006188 memory=89776 CPUtime=1.78 cores=0-7
/proc/9819/stat : 9819 (java) S 9817 9817 4731 0 -1 1077944320 13550 0 0 0 173 5 0 0 20 0 20 0 145858337 26630336512 22444 33554432000 4194304 4196468 140735173792000 140735173774544 140300135173879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
/proc/9819/statm: 6501547 22444 3211 1 0 6488781 0
[pid=9819/tid=9820] ppid=9817 vsize=26006188 memory=279717798821552 CPUtime=0.67 cores=0-7
/proc/9819/task/9820/stat : 9820 (java) R 9817 9817 4731 0 -1 4202560 6901 0 0 0 64 3 0 0 20 0 20 0 145858338 26630336512 22444 33554432000 4194304 4196468 140735173792000 140300139411152 140299756664668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9821] ppid=9817 vsize=26006188 memory=139858899411824 CPUtime=0 cores=0-7
/proc/9819/task/9821/stat : 9821 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858338 26630336512 22444 33554432000 4194304 4196468 140735173792000 140300087794448 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9822] ppid=9817 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9822/stat : 9822 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26630336512 22444 33554432000 4194304 4196468 140735173792000 140300086741904 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9823] ppid=9817 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/9819/task/9823/stat : 9823 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26630336512 22444 33554432000 4194304 4196468 140735173792000 140300085689360 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
################
# More data... #
################
# the end of solver process 9817 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.07496 s, system=0.141144 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801216 s]
/proc/loadavg: 6.90 7.82 8.07 4/200 9838
/proc/meminfo: memFree=27338948/32770624 swapFree=67108860/67108860
[pid=9817] ppid=9814 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9817/stat : 9817 (xcsp3-exec) S 9814 9817 4731 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145858337 9740288 346 33554432000 4194304 5098028 140721399605168 140721399603272 140111405216380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18890752 140721399612517 140721399612727 140721399612727 140721399615467 0
/proc/9817/statm: 2378 346 289 221 0 87 0
[pid=9819] ppid=9817 vsize=26006188 memory=122224 CPUtime=2.23 cores=0-7
/proc/9819/stat : 9819 (java) S 9817 9817 4731 0 -1 1077944320 15578 0 0 0 217 6 0 0 20 0 20 0 145858337 26630336512 30556 33554432000 4194304 4196468 140735173792000 140735173774544 140300135173879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
/proc/9819/statm: 6501547 30556 3213 1 0 6488781 0
[pid=9819/tid=9820] ppid=9817 vsize=26006188 memory=6935649255759569216 CPUtime=0.77 cores=0-7
/proc/9819/task/9820/stat : 9820 (java) R 9817 9817 4731 0 -1 4202560 6914 0 0 0 74 3 0 0 20 0 20 0 145858338 26630336512 30556 33554432000 4194304 4196468 140735173792000 140300139409616 140300135185814 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9821] ppid=9817 vsize=26006188 memory=6935649255759569472 CPUtime=0 cores=0-7
/proc/9819/task/9821/stat : 9821 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858338 26630336512 30556 33554432000 4194304 4196468 140735173792000 140300087794448 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9822] ppid=9817 vsize=26006188 memory=4638778398332698720 CPUtime=0 cores=0-7
/proc/9819/task/9822/stat : 9822 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26630336512 30556 33554432000 4194304 4196468 140735173792000 140300086741904 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9823] ppid=9817 vsize=26006188 memory=8514726395715351173 CPUtime=0 cores=0-7
/proc/9819/task/9823/stat : 9823 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26630336512 30556 33554432000 4194304 4196468 140735173792000 140300085689360 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9824] ppid=9817 vsize=26006188 memory=-9109213556524817781 CPUtime=0 cores=0-7
/proc/9819/task/9824/stat : 9824 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858338 26630336512 30556 33554432000 4194304 4196468 140735173792000 140300084636816 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9825] ppid=9817 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9825/stat : 9825 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858339 26630336512 30556 33554432000 4194304 4196468 140735173792000 140300083583248 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9826] ppid=9817 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9826/stat : 9826 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858339 26630336512 30556 33554432000 4194304 4196468 140735173792000 140300082530704 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9827] ppid=9817 vsize=26006188 memory=279717798284864 CPUtime=0 cores=0-7
/proc/9819/task/9827/stat : 9827 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145858339 26630336512 30556 33554432000 4194304 4196468 140735173792000 140300081478160 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9828] ppid=9817 vsize=26006188 memory=-9178176404910862937 CPUtime=0 cores=0-7
/proc/9819/task/9828/stat : 9828 (java) S 9817 9817 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145858339 26630336512 30556 33554432000 4194304 4196468 140735173792000 140300080425616 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9829] ppid=9817 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9829/stat : 9829 (java) S 9817 9817 4731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 145858340 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299195095536 140300135185026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9830] ppid=9817 vsize=26006188 memory=1728 CPUtime=0 cores=0-7
/proc/9819/task/9830/stat : 9830 (java) S 9817 9817 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145858340 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299194041760 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9831] ppid=9817 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/9819/task/9831/stat : 9831 (java) S 9817 9817 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145858341 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299192989168 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9832] ppid=9817 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/9819/task/9832/stat : 9832 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858343 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299191937744 140300135192475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9833] ppid=9817 vsize=26006188 memory=1948 CPUtime=0.31 cores=0-7
/proc/9819/task/9833/stat : 9833 (java) R 9817 9817 4731 0 -1 4202560 2137 0 0 0 30 1 0 0 20 0 20 0 145858343 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299190870392 140300135195226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9834] ppid=9817 vsize=26006188 memory=8600 CPUtime=0.3 cores=0-7
/proc/9819/task/9834/stat : 9834 (java) R 9817 9817 4731 0 -1 4202560 1471 0 0 0 30 0 0 0 20 0 20 0 145858343 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299189817872 140300116693952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9835] ppid=9817 vsize=26006188 memory=1228 CPUtime=0.35 cores=0-7
/proc/9819/task/9835/stat : 9835 (java) R 9817 9817 4731 0 -1 4202560 1735 0 0 0 35 0 0 0 20 0 20 0 145858343 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299188765328 140300114434281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9836] ppid=9817 vsize=26006188 memory=12136 CPUtime=0.45 cores=0-7
/proc/9819/task/9836/stat : 9836 (java) S 9817 9817 4731 0 -1 1077944384 2008 0 0 0 45 0 0 0 20 0 20 0 145858343 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299187726704 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9837] ppid=9817 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/9819/task/9837/stat : 9837 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145858343 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299186674400 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9838] ppid=9817 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/9819/task/9838/stat : 9838 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145858344 26630336512 30556 33554432000 4194304 4196468 140735173792000 140299185621936 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 123608 KiB
[startup+1.20088 s]
/proc/loadavg: 6.90 7.82 8.07 5/200 9838
/proc/meminfo: memFree=27219872/32770624 swapFree=67108860/67108860
[pid=9817] ppid=9814 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9817/stat : 9817 (xcsp3-exec) S 9814 9817 4731 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145858337 9740288 346 33554432000 4194304 5098028 140721399605168 140721399603272 140111405216380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18890752 140721399612517 140721399612727 140721399612727 140721399615467 0
/proc/9817/statm: 2378 346 289 221 0 87 0
[pid=9819] ppid=9817 vsize=26538700 memory=215380 CPUtime=4.13 cores=0-7
/proc/9819/stat : 9819 (java) S 9817 9817 4731 0 -1 1077944320 16719 0 0 0 401 12 0 0 20 0 28 0 145858337 27175628800 53845 33554432000 4194304 4196468 140735173792000 140735173774544 140300135173879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
/proc/9819/statm: 6634675 53845 3243 1 0 6621909 0
[pid=9819/tid=9820] ppid=9817 vsize=26538700 memory=8112282956445269571 CPUtime=1.07 cores=0-7
/proc/9819/task/9820/stat : 9820 (java) S 9817 9817 4731 0 -1 1077944384 7009 0 0 0 103 4 0 0 20 0 28 0 145858338 27175628800 53845 33554432000 4194304 4196468 140735173792000 140300139414656 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9821] ppid=9817 vsize=26538700 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/9819/task/9821/stat : 9821 (java) S 9817 9817 4731 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 145858338 27175628800 53845 33554432000 4194304 4196468 140735173792000 140300087794448 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9822] ppid=9817 vsize=26538700 memory=14976667764394580 CPUtime=0.01 cores=0-7
/proc/9819/task/9822/stat : 9822 (java) S 9817 9817 4731 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 145858338 27175628800 53845 33554432000 4194304 4196468 140735173792000 140300086741904 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9823] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9823/stat : 9823 (java) S 9817 9817 4731 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 145858338 27175628800 53845 33554432000 4194304 4196468 140735173792000 140300085689360 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9824] ppid=9817 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/9819/task/9824/stat : 9824 (java) S 9817 9817 4731 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 145858338 27175628800 53845 33554432000 4194304 4196468 140735173792000 140300084636816 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9825] ppid=9817 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/9819/task/9825/stat : 9825 (java) S 9817 9817 4731 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 145858339 27175628800 53845 33554432000 4194304 4196468 140735173792000 140300083583248 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9826] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9826/stat : 9826 (java) S 9817 9817 4731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145858339 27175628800 53845 33554432000 4194304 4196468 140735173792000 140300082530704 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9827] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9827/stat : 9827 (java) S 9817 9817 4731 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 145858339 27175628800 53845 33554432000 4194304 4196468 140735173792000 140300081478160 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9828] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9828/stat : 9828 (java) S 9817 9817 4731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145858339 27175628800 53845 33554432000 4194304 4196468 140735173792000 140300080425616 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9829] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9829/stat : 9829 (java) S 9817 9817 4731 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 145858340 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299195095536 140300135185026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9830] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9830/stat : 9830 (java) S 9817 9817 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145858340 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299194041760 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9831] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9831/stat : 9831 (java) S 9817 9817 4731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145858341 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299192989168 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9832] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9832/stat : 9832 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145858343 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299191937744 140300135192475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9833] ppid=9817 vsize=26538700 memory=0 CPUtime=0.63 cores=0-7
/proc/9819/task/9833/stat : 9833 (java) S 9817 9817 4731 0 -1 1077944384 2201 0 0 0 62 1 0 0 20 0 28 0 145858343 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299190877360 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9834] ppid=9817 vsize=26538700 memory=303711698211307546 CPUtime=0.64 cores=0-7
/proc/9819/task/9834/stat : 9834 (java) R 9817 9817 4731 0 -1 4202560 1603 0 0 0 64 0 0 0 20 0 28 0 145858343 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299189819744 140300116524309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9835] ppid=9817 vsize=26538700 memory=0 CPUtime=0.68 cores=0-7
/proc/9819/task/9835/stat : 9835 (java) R 9817 9817 4731 0 -1 4202560 1828 0 0 0 68 0 0 0 20 0 28 0 145858343 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299188765776 140300118674391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9836] ppid=9817 vsize=26538700 memory=7950376605433030247 CPUtime=0.55 cores=0-7
/proc/9819/task/9836/stat : 9836 (java) R 9817 9817 4731 0 -1 1077944384 2228 0 0 0 54 1 0 0 20 0 28 0 145858343 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299187724496 140300135184085 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9837] ppid=9817 vsize=26538700 memory=1 CPUtime=0 cores=0-7
/proc/9819/task/9837/stat : 9837 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145858343 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299186674400 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9838] ppid=9817 vsize=26538700 memory=3413 CPUtime=0 cores=0-7
/proc/9819/task/9838/stat : 9838 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145858344 27175628800 53845 33554432000 4194304 4196468 140735173792000 140299185621936 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 216764 KiB
[startup+1.40088 s]
/proc/loadavg: 6.90 7.82 8.07 5/200 9838
/proc/meminfo: memFree=27219872/32770624 swapFree=67108860/67108860
[pid=9817] ppid=9814 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9817/stat : 9817 (xcsp3-exec) S 9814 9817 4731 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145858337 9740288 346 33554432000 4194304 5098028 140721399605168 140721399603272 140111405216380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18890752 140721399612517 140721399612727 140721399612727 140721399615467 0
/proc/9817/statm: 2378 346 289 221 0 87 0
[pid=9819] ppid=9817 vsize=26538700 memory=218636 CPUtime=5.7 cores=0-7
/proc/9819/stat : 9819 (java) S 9817 9817 4731 0 -1 1077944320 17587 0 0 0 557 13 0 0 20 0 28 0 145858337 27175628800 54659 33554432000 4194304 4196468 140735173792000 140735173774544 140300135173879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
/proc/9819/statm: 6634675 54659 3250 1 0 6621909 0
[pid=9819/tid=9820] ppid=9817 vsize=26538700 memory=676 CPUtime=1.07 cores=0-7
/proc/9819/task/9820/stat : 9820 (java) S 9817 9817 4731 0 -1 1077944384 7009 0 0 0 103 4 0 0 20 0 28 0 145858338 27175628800 54659 33554432000 4194304 4196468 140735173792000 140300139414656 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9821] ppid=9817 vsize=26538700 memory=358 CPUtime=0 cores=0-7
/proc/9819/task/9821/stat : 9821 (java) S 9817 9817 4731 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 145858338 27175628800 54659 33554432000 4194304 4196468 140735173792000 140300087794448 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9822] ppid=9817 vsize=26538700 memory=73 CPUtime=0.01 cores=0-7
/proc/9819/task/9822/stat : 9822 (java) S 9817 9817 4731 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 145858338 27175628800 54659 33554432000 4194304 4196468 140735173792000 140300086741904 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9823] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9823/stat : 9823 (java) S 9817 9817 4731 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 145858338 27175628800 54659 33554432000 4194304 4196468 140735173792000 140300085689360 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9824] ppid=9817 vsize=26538700 memory=199 CPUtime=0.01 cores=0-7
/proc/9819/task/9824/stat : 9824 (java) S 9817 9817 4731 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 145858338 27175628800 54659 33554432000 4194304 4196468 140735173792000 140300084636816 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9825] ppid=9817 vsize=26538700 memory=90 CPUtime=0 cores=0-7
/proc/9819/task/9825/stat : 9825 (java) S 9817 9817 4731 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 145858339 27175628800 54659 33554432000 4194304 4196468 140735173792000 140300083583248 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9826] ppid=9817 vsize=26538700 memory=15086 CPUtime=0 cores=0-7
/proc/9819/task/9826/stat : 9826 (java) S 9817 9817 4731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145858339 27175628800 54659 33554432000 4194304 4196468 140735173792000 140300082530704 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9827] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9827/stat : 9827 (java) S 9817 9817 4731 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 145858339 27175628800 54659 33554432000 4194304 4196468 140735173792000 140300081478160 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9828] ppid=9817 vsize=26538700 memory=42163693964482 CPUtime=0 cores=0-7
/proc/9819/task/9828/stat : 9828 (java) S 9817 9817 4731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145858339 27175628800 54659 33554432000 4194304 4196468 140735173792000 140300080425616 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9829] ppid=9817 vsize=26538700 memory=42163693964483 CPUtime=0 cores=0-7
/proc/9819/task/9829/stat : 9829 (java) S 9817 9817 4731 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 145858340 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299195095536 140300135185026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9830] ppid=9817 vsize=26538700 memory=42163693964484 CPUtime=0 cores=0-7
/proc/9819/task/9830/stat : 9830 (java) S 9817 9817 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145858340 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299194041760 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9831] ppid=9817 vsize=26538700 memory=42163693964485 CPUtime=0 cores=0-7
/proc/9819/task/9831/stat : 9831 (java) S 9817 9817 4731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145858341 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299192989168 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9832] ppid=9817 vsize=26538700 memory=42163693964486 CPUtime=0 cores=0-7
/proc/9819/task/9832/stat : 9832 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145858343 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299191937744 140300135192475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9833] ppid=9817 vsize=26538700 memory=42163693964487 CPUtime=0.74 cores=0-7
/proc/9819/task/9833/stat : 9833 (java) R 9817 9817 4731 0 -1 4202560 2225 0 0 0 73 1 0 0 20 0 28 0 145858343 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299190869840 140300116718007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9834] ppid=9817 vsize=26538700 memory=9857 CPUtime=0.8 cores=0-7
/proc/9819/task/9834/stat : 9834 (java) R 9817 9817 4731 0 -1 4202560 2218 0 0 0 80 0 0 0 20 0 28 0 145858343 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299189817848 140300120298616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9835] ppid=9817 vsize=26538700 memory=0 CPUtime=0.86 cores=0-7
/proc/9819/task/9835/stat : 9835 (java) R 9817 9817 4731 0 -1 4202560 1881 0 0 0 86 0 0 0 20 0 28 0 145858343 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299188765216 140300121205760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9836] ppid=9817 vsize=26538700 memory=0 CPUtime=0.62 cores=0-7
/proc/9819/task/9836/stat : 9836 (java) R 9817 9817 4731 0 -1 1077944384 2329 0 0 0 61 1 0 0 20 0 28 0 145858343 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299187726704 140300135185026 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9837] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9837/stat : 9837 (java) S 9817 9817 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145858343 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299186674400 140300135184085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
[pid=9819/tid=9838] ppid=9817 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9819/task/9838/stat : 9838 (java) S 9817 9817 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145858344 27175628800 54659 33554432000 4194304 4196468 140735173792000 140299185621936 140300135185026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26513408 140735173797010 140735173797187 140735173797187 140735173799887 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 220020 KiB
Child status: 0
Real time (s): 1.48302
CPU time (s): 6.2161
CPU user time (s): 6.07496
CPU system time (s): 0.141144
CPU usage (%): 419.151
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 220020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.07496
system time used= 0.141144
maximum resident set size= 220216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18217
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= 3187
involuntary context switches= 104
# summary of solver processes directly reported to runsolver:
# pid: 9817
# total CPU time (s): 6.2161
# total CPU user time (s): 6.07496
# total CPU system time (s): 0.141144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036874 second user time and 0.050459 second system time
The end
Begin job on node106 at 2017-08-19 09:14:07
IDJOB=4280666
IDBENCH=123769
IDSOLVER=2675
FILE ID=node106/4280666-1503127707
RUNJOBID= node106-1503124150-4758
PBS_JOBID= 20630776
Free space on /tmp= 61820 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-4280666-1503127707/watcher-4280666-1503127707 -o /tmp/evaluation-result-4280666-1503127707/solver-4280666-1503127707 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503124150-4758 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 565679003 HOME/instance-4280666-1503127707.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e9f6f40743648773adf3c8e081ae5e9b
RANDOM SEED=565679003
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: 27390284 kB
MemAvailable: 31969940 kB
Buffers: 230976 kB
Cached: 4641544 kB
SwapCached: 0 kB
Active: 1043312 kB
Inactive: 3885144 kB
Active(anon): 11780 kB
Inactive(anon): 80268 kB
Active(file): 1031532 kB
Inactive(file): 3804876 kB
Unevictable: 7764 kB
Mlocked: 7764 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8280 kB
Writeback: 0 kB
AnonPages: 79332 kB
Mapped: 50904 kB
Shmem: 33420 kB
Slab: 145452 kB
SReclaimable: 118164 kB
SUnreclaim: 27288 kB
KernelStack: 3536 kB
PageTables: 5584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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-19 09:14:09