2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	SAT (TO)	2501	2400.67	302.631

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246296-1500687138.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4246296-1500687138.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.26	c 8 solvers in parallel
0.00/0.34	c parse instance...
4.93/1.47	c solve instance...
6.11/1.63	o 5436 
6.11/1.68	o 2974 
24.20/3.93	o 2842 
24.20/3.96	o 2800 
24.20/3.97	o 2774 
24.92/4.00	o 2712 
32.70/5.01	o 2697 
32.70/5.06	o 2696 
33.27/5.15	o 2693 
62.71/8.89	o 2596 
62.71/8.90	o 2568 
63.16/8.92	o 2549 
63.16/8.94	o 2501 
2400.67/302.68	s SATISFIABLE
2400.67/302.68	v <instantiation>
2400.67/302.68	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] </list>
2400.67/302.68	v 	<values>0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 95 93 43 48 81 25 90 85 88 56 14 70 52 48 70 67 15 23 49 29 37 75 68 37 97 29 41 78 43 26 50 26 69 17 13 38 73 76 41 79 14 89 86 33 16 59 30 </values>
2400.67/302.68	v </instantiation>
2400.67/302.68	c Unexpected resolution interruption!

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246296-1500687138/watcher-4246296-1500687138 -o /tmp/evaluation-result-4246296-1500687138/solver-4246296-1500687138 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 681448381 HOME/instance-4246296-1500687138.xml 

pid=25305
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.62 15.51 15.01 11/272 25308
/proc/meminfo: memFree=30393764/32770624 swapFree=5880/249456
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0

[startup+0.100105 s]
/proc/loadavg: 15.62 15.51 15.01 11/272 25308
/proc/meminfo: memFree=30393764/32770624 swapFree=5880/249456
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200326 s]
/proc/loadavg: 15.62 15.51 15.01 11/272 25308
/proc/meminfo: memFree=30393764/32770624 swapFree=5880/249456
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300344 s]
/proc/loadavg: 15.62 15.51 15.01 11/272 25308
/proc/meminfo: memFree=30393764/32770624 swapFree=5880/249456
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700218 s]
/proc/loadavg: 15.62 15.51 15.01 11/272 25308
/proc/meminfo: memFree=30393764/32770624 swapFree=5880/249456
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50123 s]
/proc/loadavg: 15.62 15.51 15.01 13/293 25329
/proc/meminfo: memFree=30218188/32770624 swapFree=5880/249560
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0
[pid=25309] ppid=25308 vsize=13801768 CPUtime=5.36 cores=0,2,4,6,8,10,12,14
/proc/25309/stat : 25309 (java) S 25308 25308 7744 0 -1 1077944320 23819 0 0 0 517 19 0 0 20 0 28 0 3981518 14133010432 58646 33554432000 4194304 4196468 140721519971040 140721519953584 140245192765175 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
/proc/25309/statm: 3450442 58646 3254 1 0 3437675 0
[pid=25309/tid=25310] ppid=25308 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25310/stat : 25310 (java) S 25308 25308 7744 0 -1 1077944384 8338 0 0 0 136 5 0 0 20 0 28 0 3981519 14133010432 58646 33554432000 4194304 4196468 140721519971040 140245197005952 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25312] ppid=25308 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25312/stat : 25312 (java) S 25308 25308 7744 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 3981519 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244791847440 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25313] ppid=25308 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25313/stat : 25313 (java) S 25308 25308 7744 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 28 0 3981519 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244790794896 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25314] ppid=25308 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25314/stat : 25314 (java) S 25308 25308 7744 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 3981519 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244789741840 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25315] ppid=25308 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25315/stat : 25315 (java) S 25308 25308 7744 0 -1 1077944384 63 0 0 0 2 1 0 0 20 0 28 0 3981519 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244788689296 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25316] ppid=25308 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25316/stat : 25316 (java) S 25308 25308 7744 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 28 0 3981519 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244787637264 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25317] ppid=25308 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25317/stat : 25317 (java) S 25308 25308 7744 0 -1 1077944384 109 0 0 0 1 1 0 0 20 0 28 0 3981519 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244786584720 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25318] ppid=25308 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25318/stat : 25318 (java) S 25308 25308 7744 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 3981519 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244785531664 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25319] ppid=25308 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25319/stat : 25319 (java) S 25308 25308 7744 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 28 0 3981519 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244784479120 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25320] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25320/stat : 25320 (java) S 25308 25308 7744 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 28 0 3981522 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244319443184 140245192776322 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25321] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25321/stat : 25321 (java) S 25308 25308 7744 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3981523 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244318389472 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25322] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25322/stat : 25322 (java) S 25308 25308 7744 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3981523 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244317336320 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25323] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25323/stat : 25323 (java) S 25308 25308 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3981527 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244316284880 140245192783771 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25324] ppid=25308 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25324/stat : 25324 (java) R 25308 25308 7744 0 -1 4202560 3855 0 0 0 98 0 0 0 20 0 28 0 3981527 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244315219552 140245172613217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25325] ppid=25308 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25325/stat : 25325 (java) R 25308 25308 7744 0 -1 4202560 3984 0 0 0 101 0 0 0 20 0 28 0 3981527 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244314161296 140245174138694 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25326] ppid=25308 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25326/stat : 25326 (java) R 25308 25308 7744 0 -1 4202560 2615 0 0 0 97 0 0 0 20 0 28 0 3981527 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244313119360 140245177664800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25327] ppid=25308 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25327/stat : 25327 (java) S 25308 25308 7744 0 -1 1077944384 2843 0 0 0 67 1 0 0 20 0 28 0 3981528 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244312074864 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25328] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25328/stat : 25328 (java) S 25308 25308 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3981528 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244311022048 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25329] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25329/stat : 25329 (java) S 25308 25308 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3981528 14133010432 58646 33554432000 4194304 4196468 140721519971040 140244309969584 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 13811280

[startup+3.10161 s]
/proc/loadavg: 15.62 15.51 15.01 20/301 25353
/proc/meminfo: memFree=30051112/32770624 swapFree=5880/249560
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0
[pid=25309] ppid=25308 vsize=13801768 CPUtime=17.88 cores=0,2,4,6,8,10,12,14
/proc/25309/stat : 25309 (java) S 25308 25308 7744 0 -1 1077944320 31914 0 0 0 1764 24 0 0 20 0 28 0 3981518 14133010432 75323 33554432000 4194304 4196468 140721519971040 140721519953584 140245192765175 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
/proc/25309/statm: 3450442 75323 3274 1 0 3437675 0
[pid=25309/tid=25310] ppid=25308 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25310/stat : 25310 (java) S 25308 25308 7744 0 -1 1077944384 8341 0 0 0 138 5 0 0 20 0 28 0 3981519 14133010432 75323 33554432000 4194304 4196468 140721519971040 140245197005952 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25312] ppid=25308 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25312/stat : 25312 (java) S 25308 25308 7744 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 3981519 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244791847440 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25313] ppid=25308 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25313/stat : 25313 (java) S 25308 25308 7744 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 28 0 3981519 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244790794896 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25314] ppid=25308 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25314/stat : 25314 (java) S 25308 25308 7744 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 3981519 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244789741840 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25315] ppid=25308 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25315/stat : 25315 (java) S 25308 25308 7744 0 -1 1077944384 63 0 0 0 2 1 0 0 20 0 28 0 3981519 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244788689296 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25316] ppid=25308 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25316/stat : 25316 (java) S 25308 25308 7744 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 28 0 3981519 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244787637264 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25317] ppid=25308 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25317/stat : 25317 (java) S 25308 25308 7744 0 -1 1077944384 109 0 0 0 1 1 0 0 20 0 28 0 3981519 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244786584720 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25318] ppid=25308 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25318/stat : 25318 (java) S 25308 25308 7744 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 3981519 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244785531664 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25319] ppid=25308 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25319/stat : 25319 (java) S 25308 25308 7744 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 28 0 3981519 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244784479120 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25320] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25320/stat : 25320 (java) S 25308 25308 7744 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 28 0 3981522 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244319443184 140245192776322 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25321] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25321/stat : 25321 (java) S 25308 25308 7744 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3981523 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244318389472 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25322] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25322/stat : 25322 (java) S 25308 25308 7744 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3981523 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244317336320 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25323] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25323/stat : 25323 (java) S 25308 25308 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3981527 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244316284880 140245192783771 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25324] ppid=25308 vsize=13801768 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25324/stat : 25324 (java) R 25308 25308 7744 0 -1 4202560 5756 0 0 0 230 1 0 0 20 0 28 0 3981527 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244315219552 140245177429179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25325] ppid=25308 vsize=13801768 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25325/stat : 25325 (java) R 25308 25308 7744 0 -1 4202560 5223 0 0 0 206 1 0 0 20 0 28 0 3981527 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244314170656 140245172011413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25326] ppid=25308 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25326/stat : 25326 (java) R 25308 25308 7744 0 -1 4202560 4590 0 0 0 193 0 0 0 20 0 28 0 3981527 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244313109008 140245170787738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25327] ppid=25308 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25327/stat : 25327 (java) S 25308 25308 7744 0 -1 1077944384 4704 0 0 0 103 2 0 0 20 0 28 0 3981528 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244312074864 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25328] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25328/stat : 25328 (java) S 25308 25308 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3981528 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244311022048 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25329] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25329/stat : 25329 (java) S 25308 25308 7744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3981528 14133010432 75323 33554432000 4194304 4196468 140721519971040 140244309969584 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25346] ppid=25308 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25346/stat : 25346 (java) R 25308 25308 7744 0 -1 4202560 137 0 0 0 116 0 0 0 20 0 28 0 3981688 14133010432 75323 33554432000 4194304 4196468 140721519971040 140243904117224 140244792990710 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25347] ppid=25308 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25347/stat : 25347 (java) R 25308 25308 7744 0 -1 4202560 62 0 0 0 99 0 0 0 20 0 28 0 3981688 14133010432 75323 33554432000 4194304 4196468 140721519971040 140243905172136 140244800813209 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25348] ppid=25308 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25348/stat : 25348 (java) R 25308 25308 7744 0 -1 4202560 172 0 0 0 124 0 0 0 20 0 28 0 3981688 14133010432 75323 33554432000 4194304 4196468 140721519971040 140243028128256 140244799650304 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25349] ppid=25308 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25349/stat : 25349 (java) R 25308 25308 7744 0 -1 4202560 149 0 0 0 94 1 0 0 20 0 28 0 3981688 14133010432 75323 33554432000 4194304 4196468 140721519971040 140243027075640 140244800001080 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25350] ppid=25308 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25350/stat : 25350 (java) R 25308 25308 7744 0 -1 4202560 33 0 0 0 94 0 0 0 20 0 28 0 3981688 14133010432 75323 33554432000 4194304 4196468 140721519971040 140243029179776 140244798762320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25351] ppid=25308 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25351/stat : 25351 (java) R 25308 25308 7744 0 -1 4202560 52 0 0 0 76 0 0 0 20 0 28 0 3981688 14133010432 75323 33554432000 4194304 4196468 140721519971040 140243906224808 140244800268134 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25352] ppid=25308 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25352/stat : 25352 (java) R 25308 25308 7744 0 -1 4202560 49 0 0 0 89 0 0 0 20 0 28 0 3981688 14133010432 75323 33554432000 4194304 4196468 140721519971040 140243030232808 140244800519755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25353] ppid=25308 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25353/stat : 25353 (java) R 25308 25308 7744 0 -1 4202560 94 0 0 0 111 0 0 0 20 0 28 0 3981688 14133010432 75323 33554432000 4194304 4196468 140721519971040 140243026022472 140244798762320 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
Current children cumulated CPU time (s) 17.88
Current children cumulated vsize (KiB) 13811280

[startup+6.30156 s]
/proc/loadavg: 15.57 15.50 15.01 19/301 25409
/proc/meminfo: memFree=29851300/32770624 swapFree=5880/249564
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0
[pid=25309] ppid=25308 vsize=13801768 CPUtime=42.76 cores=0,2,4,6,8,10,12,14
/proc/25309/stat : 25309 (java) S 25308 25308 7744 0 -1 1077944320 35139 0 0 0 4222 54 0 0 20 0 28 0 3981518 14133010432 105783 33554432000 4194304 4196468 140721519971040 140721519953584 140245192765175 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
/proc/25309/statm: 3450442 105783 3290 1 0 3437675 0
[pid=25309/tid=25310] ppid=25308 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25310/stat : 25310 (java) S 25308 25308 7744 0 -1 1077944384 8372 0 0 0 139 5 0 0 20 0 28 0 3981519 14133010432 105783 33554432000 4194304 4196468 140721519971040 140245197005952 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25312] ppid=25308 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25312/stat : 25312 (java) S 25308 25308 7744 0 -1 1077944384 86 0 0 0 4 4 0 0 20 0 28 0 3981519 14133010432 105783 33554432000 4194304 4196468 140721519971040 140244791847440 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25313] ppid=25308 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25313/stat : 25313 (java) S 25308 25308 7744 0 -1 1077944384 92 0 0 0 4 4 0 0 20 0 28 0 3981519 14133010432 105783 33554432000 4194304 4196468 140721519971040 140244790794896 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25314] ppid=25308 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25314/stat : 25314 (java) S 25308 25308 7744 0 -1 1077944384 123 0 0 0 5 4 0 0 20 0 28 0 3981519 14133010432 105783 33554432000 4194304 4196468 140721519971040 140244789741840 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25315] ppid=25308 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25315/stat : 25315 (java) S 25308 25308 7744 0 -1 1077944384 101 0 0 0 5 5 0 0 20 0 28 0 3981519 14133010432 105783 33554432000 4194304 4196468 140721519971040 140244788689296 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0

################
# More data... #
################

[pid=25309/tid=25440] ppid=25308 vsize=13801768 CPUtime=211.77 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25440/stat : 25440 (java) R 25308 25308 7744 0 -1 4202560 1889 0 0 0 21174 3 0 0 20 0 28 0 3982413 14133010432 871878 33554432000 4194304 4196468 140721519971040 140243030232584 140244794492896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25441] ppid=25308 vsize=13801768 CPUtime=211.95 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25441/stat : 25441 (java) R 25308 25308 7744 0 -1 4202560 1828 0 0 0 21193 2 0 0 20 0 28 0 3982413 14133010432 871878 33554432000 4194304 4196468 140721519971040 140243905171528 140244801192787 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
Current children cumulated CPU time (s) 1761.32
Current children cumulated vsize (KiB) 13811280

[startup+282.301 s]
/proc/loadavg: 15.97 15.75 15.24 17/302 25678
/proc/meminfo: memFree=26166576/32770624 swapFree=5880/249908
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0
[pid=25309] ppid=25308 vsize=13801768 CPUtime=2238.92 cores=0,2,4,6,8,10,12,14
/proc/25309/stat : 25309 (java) S 25308 25308 7744 0 -1 1077944320 95878 0 0 0 223656 236 0 0 20 0 28 0 3981518 14133010432 872501 33554432000 4194304 4196468 140721519971040 140721519953584 140245192765175 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
/proc/25309/statm: 3450442 872501 3296 1 0 3437675 0
[pid=25309/tid=25310] ppid=25308 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25310/stat : 25310 (java) S 25308 25308 7744 0 -1 1077944384 8486 0 0 0 140 5 0 0 20 0 28 0 3981519 14133010432 872501 33554432000 4194304 4196468 140721519971040 140245197005952 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25312] ppid=25308 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25312/stat : 25312 (java) S 25308 25308 7744 0 -1 1077944384 813 0 0 0 20 15 0 0 20 0 28 0 3981519 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244791847440 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25313] ppid=25308 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25313/stat : 25313 (java) S 25308 25308 7744 0 -1 1077944384 915 0 0 0 19 20 0 0 20 0 28 0 3981519 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244790794896 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25314] ppid=25308 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25314/stat : 25314 (java) S 25308 25308 7744 0 -1 1077944384 1301 0 0 0 22 16 0 0 20 0 28 0 3981519 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244789741840 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25315] ppid=25308 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25315/stat : 25315 (java) S 25308 25308 7744 0 -1 1077944384 796 0 0 0 18 17 0 0 20 0 28 0 3981519 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244788689296 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25316] ppid=25308 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25316/stat : 25316 (java) S 25308 25308 7744 0 -1 1077944384 2191 0 0 0 19 17 0 0 20 0 28 0 3981519 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244787637264 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25317] ppid=25308 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25317/stat : 25317 (java) S 25308 25308 7744 0 -1 1077944384 1008 0 0 0 20 16 0 0 20 0 28 0 3981519 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244786584720 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25318] ppid=25308 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25318/stat : 25318 (java) S 25308 25308 7744 0 -1 1077944384 1101 0 0 0 21 16 0 0 20 0 28 0 3981519 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244785531664 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25319] ppid=25308 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25319/stat : 25319 (java) S 25308 25308 7744 0 -1 1077944384 738 0 0 0 20 16 0 0 20 0 28 0 3981519 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244784479120 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25320] ppid=25308 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25320/stat : 25320 (java) S 25308 25308 7744 0 -1 1077944384 3695 0 0 0 8 13 0 0 20 0 28 0 3981522 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244319443184 140245192776322 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25321] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25321/stat : 25321 (java) S 25308 25308 7744 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 3981523 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244318389472 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25322] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25322/stat : 25322 (java) S 25308 25308 7744 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 3981523 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244317336320 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25323] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25323/stat : 25323 (java) S 25308 25308 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3981527 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244316284880 140245192783771 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25324] ppid=25308 vsize=13801768 CPUtime=4.15 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25324/stat : 25324 (java) S 25308 25308 7744 0 -1 1077944384 13405 0 0 0 414 1 0 0 20 0 28 0 3981527 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244315233008 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25325] ppid=25308 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25325/stat : 25325 (java) S 25308 25308 7744 0 -1 1077944384 10939 0 0 0 365 1 0 0 20 0 28 0 3981527 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244314180464 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25326] ppid=25308 vsize=13801768 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25326/stat : 25326 (java) S 25308 25308 7744 0 -1 1077944384 10438 0 0 0 339 1 0 0 20 0 28 0 3981527 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244313127408 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25327] ppid=25308 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25327/stat : 25327 (java) S 25308 25308 7744 0 -1 1077944384 9879 0 0 0 129 2 0 0 20 0 28 0 3981528 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244312074864 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25328] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25328/stat : 25328 (java) S 25308 25308 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3981528 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244311022048 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25329] ppid=25308 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25329/stat : 25329 (java) S 25308 25308 7744 0 -1 1077944384 460 0 0 0 7 7 0 0 20 0 28 0 3981528 14133010432 872501 33554432000 4194304 4196468 140721519971040 140244309969584 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25434] ppid=25308 vsize=13801768 CPUtime=272.37 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25434/stat : 25434 (java) R 25308 25308 7744 0 -1 4202560 1156 0 0 0 27235 2 0 0 20 0 28 0 3982413 14133010432 872501 33554432000 4194304 4196468 140721519971040 140243028126216 140244801193052 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25435] ppid=25308 vsize=13801768 CPUtime=271.5 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25435/stat : 25435 (java) R 25308 25308 7744 0 -1 4202560 2316 0 0 0 27147 3 0 0 20 0 28 0 3982413 14133010432 872501 33554432000 4194304 4196468 140721519971040 140243027074488 140244798992240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25436] ppid=25308 vsize=13801768 CPUtime=271.5 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25436/stat : 25436 (java) R 25308 25308 7744 0 -1 4202560 3948 0 0 0 27145 5 0 0 20 0 28 0 3982413 14133010432 872501 33554432000 4194304 4196468 140721519971040 140243906224272 140244801179235 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25437] ppid=25308 vsize=13801768 CPUtime=269.85 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25437/stat : 25437 (java) R 25308 25308 7744 0 -1 4202560 8119 0 0 0 26954 31 0 0 20 0 28 0 3982413 14133010432 872501 33554432000 4194304 4196468 140721519971040 140243026022552 140244794492901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25438] ppid=25308 vsize=13801768 CPUtime=272.44 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25438/stat : 25438 (java) R 25308 25308 7744 0 -1 4202560 3041 0 0 0 27240 4 0 0 20 0 28 0 3982413 14133010432 872501 33554432000 4194304 4196468 140721519971040 140243029180696 140244801178824 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25439] ppid=25308 vsize=13801768 CPUtime=271.9 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25439/stat : 25439 (java) R 25308 25308 7744 0 -1 4202560 828 0 0 0 27187 3 0 0 20 0 28 0 3982413 14133010432 872501 33554432000 4194304 4196468 140721519971040 140243904118800 140244800265898 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25440] ppid=25308 vsize=13801768 CPUtime=271.61 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25440/stat : 25440 (java) R 25308 25308 7744 0 -1 4202560 2281 0 0 0 27157 4 0 0 20 0 28 0 3982413 14133010432 872501 33554432000 4194304 4196468 140721519971040 140243030235888 140244800813209 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25441] ppid=25308 vsize=13801768 CPUtime=270.94 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25441/stat : 25441 (java) R 25308 25308 7744 0 -1 4202560 2132 0 0 0 27092 2 0 0 20 0 28 0 3982413 14133010432 872501 33554432000 4194304 4196468 140721519971040 140243905171336 140244801591490 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
Current children cumulated CPU time (s) 2238.92
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+302.62 s]
/proc/loadavg: 15.98 15.76 15.25 17/302 25679
/proc/meminfo: memFree=26180844/32770624 swapFree=5880/249944
[pid=25308] ppid=25305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25308/stat : 25308 (xcsp3-exec) S 25305 25308 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3981518 9740288 346 33554432000 4194304 5098028 140725116118080 140725116116184 140282807493244 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39043072 140725116126351 140725116126560 140725116126560 140725116129259 0
/proc/25308/statm: 2378 346 289 221 0 87 0
[pid=25309] ppid=25308 vsize=13801768 CPUtime=2400.67 cores=0,2,4,6,8,10,12,14
/proc/25309/stat : 25309 (java) S 25308 25308 7744 0 -1 1077944320 98291 0 0 0 239827 240 0 0 20 0 28 0 3981518 14133010432 869777 33554432000 4194304 4196468 140721519971040 140721519953584 140245192765175 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
/proc/25309/statm: 3450442 869777 3296 1 0 3437675 0
[pid=25309/tid=25310] ppid=25308 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25310/stat : 25310 (java) S 25308 25308 7744 0 -1 1077944384 8486 0 0 0 140 5 0 0 20 0 28 0 3981519 14133010432 869777 33554432000 4194304 4196468 140721519971040 140245197005952 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25312] ppid=25308 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25312/stat : 25312 (java) S 25308 25308 7744 0 -1 1077944384 886 0 0 0 20 16 0 0 20 0 28 0 3981519 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244791847440 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25313] ppid=25308 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25313/stat : 25313 (java) S 25308 25308 7744 0 -1 1077944384 970 0 0 0 20 20 0 0 20 0 28 0 3981519 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244790794896 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25314] ppid=25308 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25314/stat : 25314 (java) S 25308 25308 7744 0 -1 1077944384 1330 0 0 0 23 16 0 0 20 0 28 0 3981519 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244789741840 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25315] ppid=25308 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25315/stat : 25315 (java) S 25308 25308 7744 0 -1 1077944384 1213 0 0 0 19 17 0 0 20 0 28 0 3981519 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244788689296 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25316] ppid=25308 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25316/stat : 25316 (java) S 25308 25308 7744 0 -1 1077944384 2224 0 0 0 20 17 0 0 20 0 28 0 3981519 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244787637264 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25317] ppid=25308 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25317/stat : 25317 (java) S 25308 25308 7744 0 -1 1077944384 1086 0 0 0 21 16 0 0 20 0 28 0 3981519 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244786584720 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25318] ppid=25308 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25318/stat : 25318 (java) S 25308 25308 7744 0 -1 1077944384 1146 0 0 0 22 16 0 0 20 0 28 0 3981519 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244785531664 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25319] ppid=25308 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25319/stat : 25319 (java) S 25308 25308 7744 0 -1 1077944384 770 0 0 0 21 17 0 0 20 0 28 0 3981519 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244784479120 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25320] ppid=25308 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25320/stat : 25320 (java) S 25308 25308 7744 0 -1 1077944384 3965 0 0 0 9 13 0 0 20 0 28 0 3981522 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244319443184 140245192776322 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25321] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25321/stat : 25321 (java) S 25308 25308 7744 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 3981523 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244318389472 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25322] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25322/stat : 25322 (java) S 25308 25308 7744 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 3981523 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244317336320 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25323] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25323/stat : 25323 (java) S 25308 25308 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3981527 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244316284880 140245192783771 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25324] ppid=25308 vsize=13801768 CPUtime=4.15 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25324/stat : 25324 (java) S 25308 25308 7744 0 -1 1077944384 13405 0 0 0 414 1 0 0 20 0 28 0 3981527 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244315233008 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25325] ppid=25308 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25325/stat : 25325 (java) S 25308 25308 7744 0 -1 1077944384 10939 0 0 0 365 1 0 0 20 0 28 0 3981527 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244314180464 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25326] ppid=25308 vsize=13801768 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25326/stat : 25326 (java) S 25308 25308 7744 0 -1 1077944384 10438 0 0 0 339 1 0 0 20 0 28 0 3981527 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244313127408 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25327] ppid=25308 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25327/stat : 25327 (java) S 25308 25308 7744 0 -1 1077944384 9879 0 0 0 129 2 0 0 20 0 28 0 3981528 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244312074864 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25328] ppid=25308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25328/stat : 25328 (java) S 25308 25308 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3981528 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244311022048 140245192775381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25329] ppid=25308 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25329/stat : 25329 (java) S 25308 25308 7744 0 -1 1077944384 462 0 0 0 7 7 0 0 20 0 28 0 3981528 14133010432 869777 33554432000 4194304 4196468 140721519971040 140244309969584 140245192776322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25434] ppid=25308 vsize=13801768 CPUtime=292.64 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25434/stat : 25434 (java) R 25308 25308 7744 0 -1 4202560 1165 0 0 0 29262 2 0 0 20 0 28 0 3982413 14133010432 869777 33554432000 4194304 4196468 140721519971040 140243028126216 140244801193038 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25435] ppid=25308 vsize=13801768 CPUtime=291.78 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25435/stat : 25435 (java) R 25308 25308 7744 0 -1 4202560 2582 0 0 0 29174 4 0 0 20 0 28 0 3982413 14133010432 869777 33554432000 4194304 4196468 140721519971040 140243027075576 140244794492901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25436] ppid=25308 vsize=13801768 CPUtime=291.32 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25436/stat : 25436 (java) R 25308 25308 7744 0 -1 4202560 4078 0 0 0 29127 5 0 0 20 0 28 0 3982413 14133010432 869777 33554432000 4194304 4196468 140721519971040 140243906224272 140244801179255 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25437] ppid=25308 vsize=13801768 CPUtime=290.13 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25437/stat : 25437 (java) R 25308 25308 7744 0 -1 4202560 8302 0 0 0 28982 31 0 0 20 0 28 0 3982413 14133010432 869777 33554432000 4194304 4196468 140721519971040 140243026022888 140244792990731 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25438] ppid=25308 vsize=13801768 CPUtime=292.71 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25438/stat : 25438 (java) R 25308 25308 7744 0 -1 4202560 3178 0 0 0 29267 4 0 0 20 0 28 0 3982413 14133010432 869777 33554432000 4194304 4196468 140721519971040 140243029180696 140244801179295 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25439] ppid=25308 vsize=13801768 CPUtime=292.16 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25439/stat : 25439 (java) R 25308 25308 7744 0 -1 4202560 851 0 0 0 29213 3 0 0 20 0 28 0 3982413 14133010432 869777 33554432000 4194304 4196468 140721519971040 140243904119400 140244801846102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25440] ppid=25308 vsize=13801768 CPUtime=291.88 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25440/stat : 25440 (java) R 25308 25308 7744 0 -1 4202560 2547 0 0 0 29184 4 0 0 20 0 28 0 3982413 14133010432 869777 33554432000 4194304 4196468 140721519971040 140243030232632 140244800813269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
[pid=25309/tid=25441] ppid=25308 vsize=13801768 CPUtime=291.12 cores=0,2,4,6,8,10,12,14
/proc/25309/task/25441/stat : 25441 (java) R 25308 25308 7744 0 -1 4202560 2497 0 0 0 29110 2 0 0 20 0 28 0 3982413 14133010432 869777 33554432000 4194304 4196468 140721519971040 140243905174400 140244798762328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140721519977660 140721519977836 140721519977836 140721519980495 0
Current children cumulated CPU time (s) 2400.67
Current children cumulated vsize (KiB) 13811280

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25309 sig 9
??? kill 25308 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25308 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=860
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2053
# CPU time returned by wait4() is 0.002913
# while last known CPU time is 2400.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 302.631
CPU time (s): 2400.67
CPU user time (s): 2398.27
CPU system time (s): 2.4
CPU usage (%): 793.266
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00086
system time used= 0.002053
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89108 second user time and 4.12533 second system time

The end

Launcher Data

Begin job on node127 at 2017-07-22 03:32:18
IDJOB=4246296
IDBENCH=124397
IDSOLVER=2625
FILE ID=node127/4246296-1500687138
RUNJOBID= node127-1500682387-7775
PBS_JOBID= 20623323
Free space on /tmp= 61976 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246296-1500687138/watcher-4246296-1500687138 -o /tmp/evaluation-result-4246296-1500687138/solver-4246296-1500687138 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 681448381 HOME/instance-4246296-1500687138.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f
RANDOM SEED=681448381

node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.94
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.94
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.94
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.94
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	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30394360 kB
MemAvailable:   30457732 kB
Buffers:           49872 kB
Cached:           323672 kB
SwapCached:            0 kB
Active:          1742808 kB
Inactive:         258132 kB
Active(anon):    1629880 kB
Inactive(anon):     8676 kB
Active(file):     112928 kB
Inactive(file):   249456 kB
Unevictable:        5880 kB
Mlocked:            5880 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7756 kB
Writeback:             0 kB
AnonPages:       1632172 kB
Mapped:            42440 kB
Shmem:              8872 kB
Slab:              66964 kB
SReclaimable:      33648 kB
SUnreclaim:        33316 kB
KernelStack:        5008 kB
PageTables:         8616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2408528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1478656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61968 MiB
End job on node127 at 2017-07-22 03:37:21

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml
MD5SUM	45202abbf2fd4260704b0005edccc47f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	1130
Best CPU time to get the best result obtained on this benchmark	2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	2352
Number of constraints	2303
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":48},{"size":2,"count":2256},{"size":101,"count":47}]
Minimum variable degree	0
Maximum variable degree	93
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":48},{"degree":2,"count":94},{"degree":4,"count":2162},{"degree":93,"count":47}]
Minimum constraint arity	1
Maximum constraint arity	47
Distribution of constraint arities	[{"arity":1,"count":47},{"arity":3,"count":2162},{"arity":47,"count":94}]
Number of extensional constraints	0
Number of intensional constraints	47
Distribution of constraint types	[{"type":"intension","count":47},{"type":"sum","count":2162},{"type":"count","count":94}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4246296

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data