2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	16618	2400.03	2386.52

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292257-1532548977.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.17	c [HOME/instance-4292257-1532548977.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.33/0.28	c parse instance...
6.20/2.41	c solve instance...
124.02/113.36	o 17209 
124.81/114.07	o 17204 
124.95/114.13	o 17197 
141.93/130.86	o 17135 
141.93/130.88	o 17126 
258.94/247.50	o 16951 
258.94/247.52	o 16947 
580.03/568.15	o 16922 
583.05/571.16	o 16895 
598.86/586.95	o 16766 
598.97/587.09	o 16718 
599.08/587.11	o 16697 
599.17/587.26	o 16618 
2400.00/2386.50	s SATISFIABLE
2400.00/2386.50	v <instantiation>
2400.00/2386.50	v 	<list>o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] </list>
2400.00/2386.50	v 	<values>7 2 5 1 13 9 13 8 4 4 2 3 3 7 10 6 1 11 11 10 12 5 6 8 12 9 12 7 4 0 10 11 9 6 8 5 9 5 13 13 8 11 0 2 7 12 3 3 10 4 2 6 11 0 13 7 12 4 5 9 12 8 0 11 10 6 9 3 6 1 5 8 4 7 13 3 1 10 6 9 7 4 8 6 8 7 10 12 11 0 0 11 5 2 13 4 13 9 1 1 5 2 10 12 13 13 1 3 11 2 10 5 0 0 6 7 11 9 12 10 7 3 8 5 2 9 12 1 6 8 10 8 0 11 7 13 2 4 6 1 12 1 9 12 3 13 8 10 2 4 6 0 3 7 9 11 3 10 11 8 9 3 11 1 5 9 4 10 7 2 7 0 2 13 12 13 5 8 0 12 4 1 0 1 3 2 5 12 12 3 11 10 10 4 6 0 6 8 4 9 1 11 8 2 9 5 13 13 9 5 9 6 3 10 3 0 1 2 13 13 12 10 1 7 5 12 4 2 7 6 11 0 11 4 8 3 8 10 6 0 1 2 13 6 1 12 5 4 2 12 11 7 10 3 13 4 7 11 5 0 5 6 12 9 1 8 4 11 3 7 7 6 2 8 0 4 12 5 9 0 11 13 1 13 3 2 2 12 6 5 4 1 6 10 7 13 3 2 4 3 13 1 9 0 0 7 10 12 8 9 8 5 1 11 10 13 2 7 7 13 2 3 5 9 8 5 4 9 10 8 6 1 0 11 4 6 0 3 4 4 2 12 0 5 0 12 9 11 8 8 1 1 11 5 3 6 3 6 9 10 2 10 7 7 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 44 44 0 10 64 59 0 48 21 36 15 15 34 34 0 44 44 55 55 55 55 39 39 0 57 30 51 55 90 44 0 65 10 64 39 31 46 43 81 40 64 64 0 10 15 22 0 32 32 0 31 31 0 0 0 15 15 56 56 45 45 49 30 48 0 58 10 55 0 47 47 56 50 42 53 0 61 61 22 22 0 47 47 0 51 21 68 0 14 14 80 80 34 34 66 44 41 50 50 0 67 67 32 32 47 55 69 0 0 91 64 31 70 70 74 51 35 36 36 64 64 0 73 73 0 51 51 0 45 49 55 0 18 31 21 51 51 39 39 0 75 61 50 0 40 40 0 81 30 94 0 42 42 0 35 18 27 41 14 48 44 44 0 75 10 70 69 67 47 0 27 27 18 18 0 56 56 59 0 92 90 88 0 31 48 44 0 39 39 0 0 14 14 48 94 90 0 67 10 69 0 59 44 44 81 21 64 44 44 0 56 49 79 0 41 41 68 81 42 31 31 0 68 68 0 53 61 104 0 73 65 46 0 81 73 21 81 81 69 55 48 0 0 0 67 68 68 0 51 10 43 0 69 69 30 30 55 45 49 0 79 69 103 93 93 0 105 44 81 0 0 0 101 30 103 73 73 0 69 69 69 59 75 0 55 36 74 51 51 0 10 10 65 64 66 55 55 58 58 0 44 44 0 70 75 10 69 50 66 70 70 0 64 43 105 55 44 67 105 105 0 69 69 0 0 105 105 0 48 48 90 41 90 0 94 94 81 81 0 30 103 101 0 55 10 57 73 18 88 80 80 91 91 61 48 90 0 59 59 93 93 0 104 46 64 69 44 75 0 50 47 92 66 66 0 41 41 0 </values>
2400.00/2386.50	v </instantiation>
2400.00/2386.50	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9692 MiB free)
  memory of node 1: 16384 MiB (9851 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292257-1532548977/watcher-4292257-1532548977 -o /tmp/evaluation-result-4292257-1532548977/solver-4292257-1532548977 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27753 --watchdog 2560 HOME/xcsp3-exec -seed 1375013038 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292257-1532548977.xml 

running on 4 cores: 0,2,4,6

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32399, runsolver pid=32396
Current StackSize limit: 8192 KiB


[startup+0.100162 s]*
/proc/loadavg: 1.68 1.71 1.66 3/220 32415
/proc/meminfo: memFree=19995792/32770624 swapFree=67108860/67108860
[pid=32399] ppid=32396 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32399/stat : 32399 (xcsp3-exec) S 32396 32399 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72460913 115843072 364 33554432000 4194304 5098028 140732115839696 140732115837800 140033049784956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27586560 140732115846202 140732115846404 140732115846404 140732115849162 0
/proc/32399/statm: 28282 364 306 221 0 87 0
[pid=32401] ppid=32399 vsize=14082840 memory=29144 CPUtime=0.12 cores=0,2,4,6
/proc/32401/stat : 32401 (java) S 32399 32399 27722 0 -1 1077944320 5718 0 0 0 11 1 0 0 20 0 15 0 72460914 14420828160 7286 33554432000 4194304 4196468 140728311967744 140728311950288 139912718991095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
/proc/32401/statm: 3520710 7286 2975 1 0 3483008 0
[pid=32401/tid=32402] ppid=32399 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=0,2,4,6
/proc/32401/task/32402/stat : 32402 (java) R 32399 32399 27722 0 -1 4202560 3727 0 0 0 8 0 0 0 20 0 15 0 72460914 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912723214960 139912719003030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32403] ppid=32399 vsize=14082840 memory=3472467802717668560 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32403/stat : 32403 (java) S 32399 32399 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72460915 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912656591888 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32404] ppid=32399 vsize=14082840 memory=139673822516864 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32404/stat : 32404 (java) S 32399 32399 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72460915 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912655539344 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32405] ppid=32399 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32405/stat : 32405 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460915 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912654486288 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32406] ppid=32399 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32406/stat : 32406 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460915 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912312003472 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32407] ppid=32399 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32407/stat : 32407 (java) S 32399 32399 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72460916 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912260286704 139912719002242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32408] ppid=32399 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32408/stat : 32408 (java) S 32399 32399 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72460917 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912259232928 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32409] ppid=32399 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32409/stat : 32409 (java) S 32399 32399 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72460917 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912258179824 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32410] ppid=32399 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32410/stat : 32410 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912257128400 139912719009691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32411] ppid=32399 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32411/stat : 32411 (java) S 32399 32399 27722 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 72460919 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912256076528 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32412] ppid=32399 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32412/stat : 32412 (java) S 32399 32399 27722 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 72460919 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912255023984 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32413] ppid=32399 vsize=14082840 memory=139673822516864 CPUtime=0.01 cores=0,2,4,6
/proc/32401/task/32413/stat : 32413 (java) R 32399 32399 27722 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 15 0 72460919 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912253970928 139912700228656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32414] ppid=32399 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32414/stat : 32414 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912252918624 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32415] ppid=32399 vsize=14082840 memory=139673822516864 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32415/stat : 32415 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460920 14420828160 7351 33554432000 4194304 4196468 140728311967744 139912251865648 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30600 KiB

[startup+0.210855 s]*
/proc/loadavg: 1.68 1.71 1.66 4/220 32415
/proc/meminfo: memFree=19984752/32770624 swapFree=67108860/67108860
[pid=32399] ppid=32396 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32399/stat : 32399 (xcsp3-exec) S 32396 32399 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72460913 115843072 364 33554432000 4194304 5098028 140732115839696 140732115837800 140033049784956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27586560 140732115846202 140732115846404 140732115846404 140732115849162 0
/proc/32399/statm: 28282 364 306 221 0 87 0
[pid=32401] ppid=32399 vsize=14087096 memory=41436 CPUtime=0.33 cores=0,2,4,6
/proc/32401/stat : 32401 (java) S 32399 32399 27722 0 -1 1077944320 8355 0 0 0 31 2 0 0 20 0 15 0 72460914 14425186304 10359 33554432000 4194304 4196468 140728311967744 140728311950288 139912718991095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
/proc/32401/statm: 3521774 10359 3195 1 0 3483008 0
[pid=32401/tid=32402] ppid=32399 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=0,2,4,6
/proc/32401/task/32402/stat : 32402 (java) R 32399 32399 27722 0 -1 4202560 5477 0 0 0 19 1 0 0 20 0 15 0 72460914 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912723212088 139912703071582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32403] ppid=32399 vsize=14087096 memory=3472467802717668560 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32403/stat : 32403 (java) S 32399 32399 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72460915 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912656591888 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32404] ppid=32399 vsize=14087096 memory=139673822516864 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32404/stat : 32404 (java) S 32399 32399 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72460915 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912655539344 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32405] ppid=32399 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32405/stat : 32405 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460915 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912654486288 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32406] ppid=32399 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32406/stat : 32406 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460915 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912312003472 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32407] ppid=32399 vsize=14087096 memory=139673822516864 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32407/stat : 32407 (java) S 32399 32399 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72460916 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912260286704 139912719002242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32408] ppid=32399 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32408/stat : 32408 (java) S 32399 32399 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72460917 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912259232928 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32409] ppid=32399 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32409/stat : 32409 (java) S 32399 32399 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72460917 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912258179824 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32410] ppid=32399 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32410/stat : 32410 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912257128400 139912719009691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32411] ppid=32399 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32401/task/32411/stat : 32411 (java) S 32399 32399 27722 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 72460919 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912256076528 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32412] ppid=32399 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32401/task/32412/stat : 32412 (java) S 32399 32399 27722 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 72460919 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912255023984 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32413] ppid=32399 vsize=14087096 memory=139673822516864 CPUtime=0.07 cores=0,2,4,6
/proc/32401/task/32413/stat : 32413 (java) S 32399 32399 27722 0 -1 1077944384 727 0 0 0 7 0 0 0 20 0 15 0 72460919 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912253970928 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32414] ppid=32399 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32414/stat : 32414 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912252918624 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32415] ppid=32399 vsize=14087096 memory=139673822516864 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32415/stat : 32415 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460920 14425186304 10359 33554432000 4194304 4196468 140728311967744 139912251865648 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42892 KiB

[startup+0.310917 s]*
/proc/loadavg: 1.68 1.71 1.66 3/220 32415
/proc/meminfo: memFree=19978300/32770624 swapFree=67108860/67108860
[pid=32399] ppid=32396 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32399/stat : 32399 (xcsp3-exec) S 32396 32399 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72460913 115843072 364 33554432000 4194304 5098028 140732115839696 140732115837800 140033049784956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27586560 140732115846202 140732115846404 140732115846404 140732115849162 0
/proc/32399/statm: 28282 364 306 221 0 87 0
[pid=32401] ppid=32399 vsize=14087096 memory=47788 CPUtime=0.51 cores=0,2,4,6
/proc/32401/stat : 32401 (java) S 32399 32399 27722 0 -1 1077944320 9136 0 0 0 48 3 0 0 20 0 15 0 72460914 14425186304 11947 33554432000 4194304 4196468 140728311967744 140728311950288 139912718991095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
/proc/32401/statm: 3521774 11947 3225 1 0 3483008 0
[pid=32401/tid=32402] ppid=32399 vsize=14087096 memory=8514701219881125277 CPUtime=0.3 cores=0,2,4,6
/proc/32401/task/32402/stat : 32402 (java) R 32399 32399 27722 0 -1 4202560 6185 0 0 0 28 2 0 0 20 0 15 0 72460914 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912723228560 139912334621805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32403] ppid=32399 vsize=14087096 memory=3472467802717668560 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32403/stat : 32403 (java) S 32399 32399 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72460915 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912656591888 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32404] ppid=32399 vsize=14087096 memory=139673822516864 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32404/stat : 32404 (java) S 32399 32399 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72460915 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912655539344 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32405] ppid=32399 vsize=14087096 memory=16 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32405/stat : 32405 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460915 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912654486288 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32406] ppid=32399 vsize=14087096 memory=139673678784543 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32406/stat : 32406 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460915 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912312003472 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32407] ppid=32399 vsize=14087096 memory=279347357529856 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32407/stat : 32407 (java) S 32399 32399 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72460916 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912260286704 139912719002242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32408] ppid=32399 vsize=14087096 memory=139673678761487 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32408/stat : 32408 (java) S 32399 32399 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72460917 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912259232928 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32409] ppid=32399 vsize=14087096 memory=279347501287520 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32409/stat : 32409 (java) S 32399 32399 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72460917 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912258179824 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32410] ppid=32399 vsize=14087096 memory=139673678766095 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32410/stat : 32410 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912257128400 139912719009691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32411] ppid=32399 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32401/task/32411/stat : 32411 (java) S 32399 32399 27722 0 -1 1077944384 407 0 0 0 3 0 0 0 20 0 15 0 72460919 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912256076528 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32412] ppid=32399 vsize=14087096 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/32401/task/32412/stat : 32412 (java) S 32399 32399 27722 0 -1 1077944384 457 0 0 0 4 0 0 0 20 0 15 0 72460919 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912255023984 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32413] ppid=32399 vsize=14087096 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/32401/task/32413/stat : 32413 (java) S 32399 32399 27722 0 -1 1077944384 780 0 0 0 11 0 0 0 20 0 15 0 72460919 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912253970928 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32414] ppid=32399 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32414/stat : 32414 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912252918624 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32415] ppid=32399 vsize=14087096 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32415/stat : 32415 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460920 14425186304 11947 33554432000 4194304 4196468 140728311967744 139912251865648 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49244 KiB

[startup+0.70172 s]
/proc/loadavg: 1.68 1.71 1.66 6/220 32415
/proc/meminfo: memFree=19951580/32770624 swapFree=67108860/67108860
[pid=32399] ppid=32396 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32399/stat : 32399 (xcsp3-exec) S 32396 32399 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72460913 115843072 364 33554432000 4194304 5098028 140732115839696 140732115837800 140033049784956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27586560 140732115846202 140732115846404 140732115846404 140732115849162 0
/proc/32399/statm: 28282 364 306 221 0 87 0
[pid=32401] ppid=32399 vsize=14089220 memory=124908 CPUtime=1.74 cores=0,2,4,6
/proc/32401/stat : 32401 (java) S 32399 32399 27722 0 -1 1077944320 13029 0 0 0 169 5 0 0 20 0 15 0 72460914 14427361280 31227 33554432000 4194304 4196468 140728311967744 140728311950288 139912718991095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
/proc/32401/statm: 3522305 31227 3330 1 0 3483520 0
[pid=32401/tid=32402] ppid=32399 vsize=14089220 memory=54 CPUtime=0.66 cores=0,2,4,6
/proc/32401/task/32402/stat : 32402 (java) R 32399 32399 27722 0 -1 4202560 6651 0 0 0 63 3 0 0 20 0 15 0 72460914 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912723226216 139912338342285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32403] ppid=32399 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32403/stat : 32403 (java) S 32399 32399 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72460915 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912656591888 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32404] ppid=32399 vsize=14089220 memory=8174711894690903605 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32404/stat : 32404 (java) S 32399 32399 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72460915 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912655539344 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32405] ppid=32399 vsize=14089220 memory=7012755875661107287 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32405/stat : 32405 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460915 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912654486288 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32406] ppid=32399 vsize=14089220 memory=7666364995466192728 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32406/stat : 32406 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460915 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912312003472 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32407] ppid=32399 vsize=14089220 memory=3467824671636873280 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32407/stat : 32407 (java) S 32399 32399 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72460916 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912260286704 139912719002242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32408] ppid=32399 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32408/stat : 32408 (java) S 32399 32399 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72460917 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912259232928 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32409] ppid=32399 vsize=14089220 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32409/stat : 32409 (java) S 32399 32399 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72460917 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912258179824 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32410] ppid=32399 vsize=14089220 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32410/stat : 32410 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912257128400 139912719009691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32411] ppid=32399 vsize=14089220 memory=792 CPUtime=0.36 cores=0,2,4,6
/proc/32401/task/32411/stat : 32411 (java) R 32399 32399 27722 0 -1 4202560 1657 0 0 0 36 0 0 0 20 0 15 0 72460919 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912256065328 139912700183034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32412] ppid=32399 vsize=14089220 memory=1716 CPUtime=0.37 cores=0,2,4,6
/proc/32401/task/32412/stat : 32412 (java) R 32399 32399 27722 0 -1 4202560 1612 0 0 0 37 0 0 0 20 0 15 0 72460919 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912255004736 139912703871354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32413] ppid=32399 vsize=14089220 memory=1952 CPUtime=0.31 cores=0,2,4,6
/proc/32401/task/32413/stat : 32413 (java) S 32399 32399 27722 0 -1 1077944384 1801 0 0 0 31 0 0 0 20 0 15 0 72460919 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912253970928 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32414] ppid=32399 vsize=14089220 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32414/stat : 32414 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912252918624 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32415] ppid=32399 vsize=14089220 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32415/stat : 32415 (java) S 32399 32399 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72460920 14427361280 31227 33554432000 4194304 4196468 140728311967744 139912251865648 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 126364 KiB

[startup+1.50572 s]
/proc/loadavg: 1.94 1.77 1.68 6/220 32415
/proc/meminfo: memFree=19868364/32770624 swapFree=67108860/67108860
[pid=32399] ppid=32396 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32399/stat : 32399 (xcsp3-exec) S 32396 32399 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72460913 115843072 364 33554432000 4194304 5098028 140732115839696 140732115837800 140033049784956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27586560 140732115846202 140732115846404 140732115846404 140732115849162 0
/proc/32399/statm: 28282 364 306 221 0 87 0

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

/proc/32401/task/32409/stat : 32409 (java) S 32399 32399 27722 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 72460917 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912258179824 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32410] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32410/stat : 32410 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912257128400 139912719009691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32411] ppid=32399 vsize=14091268 memory=2355516 CPUtime=5.28 cores=0,2,4,6
/proc/32401/task/32411/stat : 32411 (java) S 32399 32399 27722 0 -1 1077944384 31122 0 0 0 525 3 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912256076528 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32412] ppid=32399 vsize=14091268 memory=1456 CPUtime=5.02 cores=0,2,4,6
/proc/32401/task/32412/stat : 32412 (java) S 32399 32399 27722 0 -1 1077944384 28605 0 0 0 498 4 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912255023984 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32413] ppid=32399 vsize=14091268 memory=1456 CPUtime=1.08 cores=0,2,4,6
/proc/32401/task/32413/stat : 32413 (java) S 32399 32399 27722 0 -1 1077944384 16906 0 0 0 105 3 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912253970928 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32414] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32414/stat : 32414 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912252918624 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32415] ppid=32399 vsize=14091268 memory=1456 CPUtime=1.32 cores=0,2,4,6
/proc/32401/task/32415/stat : 32415 (java) S 32399 32399 27722 0 -1 1077944384 2380 0 0 0 68 64 0 0 20 0 15 0 72460920 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912251865648 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
Current children cumulated CPU time: 2335.76 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2356972 KiB

[startup+2382.3 s]
/proc/loadavg: 1.98 2.01 2.00 3/218 32570
/proc/meminfo: memFree=17819600/32770624 swapFree=67108860/67108860
[pid=32399] ppid=32396 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32399/stat : 32399 (xcsp3-exec) S 32396 32399 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72460913 115843072 364 33554432000 4194304 5098028 140732115839696 140732115837800 140033049784956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27586560 140732115846202 140732115846404 140732115846404 140732115849162 0
/proc/32399/statm: 28282 364 306 221 0 87 0
[pid=32401] ppid=32399 vsize=14091268 memory=2355516 CPUtime=2395.8 cores=0,2,4,6
/proc/32401/stat : 32401 (java) S 32399 32399 27722 0 -1 1077944320 134397 0 0 0 239444 136 0 0 20 0 15 0 72460914 14429458432 588879 33554432000 4194304 4196468 140728311967744 140728311950288 139912718991095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
/proc/32401/statm: 3522817 588879 3415 1 0 3484032 0
[pid=32401/tid=32402] ppid=32399 vsize=14091268 memory=2355516 CPUtime=2381.89 cores=0,2,4,6
/proc/32401/task/32402/stat : 32402 (java) R 32399 32399 27722 0 -1 4202560 41057 0 0 0 238151 38 0 0 20 0 15 0 72460914 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912723230056 139912344666960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32403] ppid=32399 vsize=14091268 memory=1456 CPUtime=0.27 cores=0,2,4,6
/proc/32401/task/32403/stat : 32403 (java) S 32399 32399 27722 0 -1 1077944384 2501 0 0 0 19 8 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912656591888 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32404] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0.25 cores=0,2,4,6
/proc/32401/task/32404/stat : 32404 (java) S 32399 32399 27722 0 -1 1077944384 2664 0 0 0 17 8 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912655539344 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32405] ppid=32399 vsize=14091268 memory=1456 CPUtime=0.21 cores=0,2,4,6
/proc/32401/task/32405/stat : 32405 (java) S 32399 32399 27722 0 -1 1077944384 2698 0 0 0 14 7 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912654486288 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32406] ppid=32399 vsize=14091268 memory=1456 CPUtime=0.28 cores=0,2,4,6
/proc/32401/task/32406/stat : 32406 (java) S 32399 32399 27722 0 -1 1077944384 1212 0 0 0 20 8 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912312003472 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32407] ppid=32399 vsize=14091268 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/32401/task/32407/stat : 32407 (java) S 32399 32399 27722 0 -1 1077944384 3858 0 0 0 5 2 0 0 20 0 15 0 72460916 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912260286704 139912719002242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32408] ppid=32399 vsize=14091268 memory=21888 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32408/stat : 32408 (java) S 32399 32399 27722 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 72460917 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912259232992 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32409] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32409/stat : 32409 (java) S 32399 32399 27722 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 72460917 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912258179824 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32410] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32410/stat : 32410 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912257128400 139912719009691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32411] ppid=32399 vsize=14091268 memory=1456 CPUtime=5.28 cores=0,2,4,6
/proc/32401/task/32411/stat : 32411 (java) S 32399 32399 27722 0 -1 1077944384 31124 0 0 0 525 3 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912256076528 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32412] ppid=32399 vsize=14091268 memory=2355516 CPUtime=5.02 cores=0,2,4,6
/proc/32401/task/32412/stat : 32412 (java) S 32399 32399 27722 0 -1 1077944384 28608 0 0 0 498 4 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912255023984 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32413] ppid=32399 vsize=14091268 memory=1456 CPUtime=1.08 cores=0,2,4,6
/proc/32401/task/32413/stat : 32413 (java) S 32399 32399 27722 0 -1 1077944384 16908 0 0 0 105 3 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912253970928 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32414] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32414/stat : 32414 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912252918624 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32415] ppid=32399 vsize=14091268 memory=6791534058613427641 CPUtime=1.36 cores=0,2,4,6
/proc/32401/task/32415/stat : 32415 (java) S 32399 32399 27722 0 -1 1077944384 2402 0 0 0 70 66 0 0 20 0 15 0 72460920 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912251865648 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
Current children cumulated CPU time: 2395.8 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2356972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2386.5 s]
/proc/loadavg: 1.98 2.01 2.00 3/218 32570
/proc/meminfo: memFree=17821648/32770624 swapFree=67108860/67108860
[pid=32399] ppid=32396 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32399/stat : 32399 (xcsp3-exec) S 32396 32399 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72460913 115843072 364 33554432000 4194304 5098028 140732115839696 140732115837800 140033049784956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27586560 140732115846202 140732115846404 140732115846404 140732115849162 0
/proc/32399/statm: 28282 364 306 221 0 87 0
[pid=32401] ppid=32399 vsize=14091268 memory=2355516 CPUtime=2400 cores=0,2,4,6
/proc/32401/stat : 32401 (java) S 32399 32399 27722 0 -1 1077944320 134400 0 0 0 239864 136 0 0 20 0 15 0 72460914 14429458432 588879 33554432000 4194304 4196468 140728311967744 140728311950288 139912718991095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
/proc/32401/statm: 3522817 588879 3415 1 0 3484032 0
[pid=32401/tid=32402] ppid=32399 vsize=14091268 memory=2355516 CPUtime=2386.09 cores=0,2,4,6
/proc/32401/task/32402/stat : 32402 (java) R 32399 32399 27722 0 -1 4202560 41060 0 0 0 238571 38 0 0 20 0 15 0 72460914 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912723230056 139912345086208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32403] ppid=32399 vsize=14091268 memory=1456 CPUtime=0.27 cores=0,2,4,6
/proc/32401/task/32403/stat : 32403 (java) S 32399 32399 27722 0 -1 1077944384 2501 0 0 0 19 8 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912656591888 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32404] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0.25 cores=0,2,4,6
/proc/32401/task/32404/stat : 32404 (java) S 32399 32399 27722 0 -1 1077944384 2664 0 0 0 17 8 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912655539344 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32405] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0.21 cores=0,2,4,6
/proc/32401/task/32405/stat : 32405 (java) S 32399 32399 27722 0 -1 1077944384 2698 0 0 0 14 7 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912654486288 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32406] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0.28 cores=0,2,4,6
/proc/32401/task/32406/stat : 32406 (java) S 32399 32399 27722 0 -1 1077944384 1212 0 0 0 20 8 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912312003472 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32407] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0.07 cores=0,2,4,6
/proc/32401/task/32407/stat : 32407 (java) S 32399 32399 27722 0 -1 1077944384 3858 0 0 0 5 2 0 0 20 0 15 0 72460916 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912260286704 139912719002242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32408] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32408/stat : 32408 (java) S 32399 32399 27722 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 72460917 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912259232992 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32409] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32409/stat : 32409 (java) S 32399 32399 27722 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 72460917 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912258179824 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32410] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32410/stat : 32410 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912257128400 139912719009691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32411] ppid=32399 vsize=14091268 memory=1456 CPUtime=5.28 cores=0,2,4,6
/proc/32401/task/32411/stat : 32411 (java) S 32399 32399 27722 0 -1 1077944384 31124 0 0 0 525 3 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912256076528 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32412] ppid=32399 vsize=14091268 memory=1456 CPUtime=5.02 cores=0,2,4,6
/proc/32401/task/32412/stat : 32412 (java) S 32399 32399 27722 0 -1 1077944384 28608 0 0 0 498 4 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912255023984 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32413] ppid=32399 vsize=14091268 memory=1456 CPUtime=1.08 cores=0,2,4,6
/proc/32401/task/32413/stat : 32413 (java) S 32399 32399 27722 0 -1 1077944384 16908 0 0 0 105 3 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912253970928 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32414] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32414/stat : 32414 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912252918624 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32415] ppid=32399 vsize=14091268 memory=1456 CPUtime=1.36 cores=0,2,4,6
/proc/32401/task/32415/stat : 32415 (java) S 32399 32399 27722 0 -1 1077944384 2402 0 0 0 70 66 0 0 20 0 15 0 72460920 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912251865648 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2356972 KiB

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

[startup+2386.51 s]
# the end of solver process 32399 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001148 s, system=0.001148 s

[startup+2386.52 s]
# the end of solver process 32401 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.66 s, system=1.3774 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2386.5 s]
/proc/loadavg: 1.98 2.01 2.00 3/218 32570
/proc/meminfo: memFree=17821648/32770624 swapFree=67108860/67108860
[pid=32399] ppid=32396 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32399/stat : 32399 (xcsp3-exec) S 32396 32399 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 72460913 115843072 364 33554432000 4194304 5098028 140732115839696 140732115837800 140033049784956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27586560 140732115846202 140732115846404 140732115846404 140732115849162 0
/proc/32399/statm: 28282 364 306 221 0 87 0
[pid=32401] ppid=32399 vsize=14091268 memory=2355516 CPUtime=2400 cores=0,2,4,6
/proc/32401/stat : 32401 (java) S 32399 32399 27722 0 -1 1077944320 134400 0 0 0 239864 136 0 0 20 0 15 0 72460914 14429458432 588879 33554432000 4194304 4196468 140728311967744 140728311950288 139912718991095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
/proc/32401/statm: 3522817 588879 3415 1 0 3484032 0
[pid=32401/tid=32402] ppid=32399 vsize=14091268 memory=2355516 CPUtime=2386.09 cores=0,2,4,6
/proc/32401/task/32402/stat : 32402 (java) R 32399 32399 27722 0 -1 4202560 41060 0 0 0 238571 38 0 0 20 0 15 0 72460914 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912723230056 139912345086208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32403] ppid=32399 vsize=14091268 memory=1456 CPUtime=0.27 cores=0,2,4,6
/proc/32401/task/32403/stat : 32403 (java) S 32399 32399 27722 0 -1 1077944384 2501 0 0 0 19 8 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912656591888 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32404] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0.25 cores=0,2,4,6
/proc/32401/task/32404/stat : 32404 (java) S 32399 32399 27722 0 -1 1077944384 2664 0 0 0 17 8 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912655539344 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32405] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0.21 cores=0,2,4,6
/proc/32401/task/32405/stat : 32405 (java) S 32399 32399 27722 0 -1 1077944384 2698 0 0 0 14 7 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912654486288 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32406] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0.28 cores=0,2,4,6
/proc/32401/task/32406/stat : 32406 (java) S 32399 32399 27722 0 -1 1077944384 1212 0 0 0 20 8 0 0 20 0 15 0 72460915 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912312003472 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32407] ppid=32399 vsize=14091268 memory=2355516 CPUtime=0.07 cores=0,2,4,6
/proc/32401/task/32407/stat : 32407 (java) S 32399 32399 27722 0 -1 1077944384 3858 0 0 0 5 2 0 0 20 0 15 0 72460916 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912260286704 139912719002242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32408] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32408/stat : 32408 (java) S 32399 32399 27722 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 72460917 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912259232992 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32409] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32409/stat : 32409 (java) S 32399 32399 27722 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 72460917 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912258179824 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32410] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32410/stat : 32410 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912257128400 139912719009691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32411] ppid=32399 vsize=14091268 memory=1456 CPUtime=5.28 cores=0,2,4,6
/proc/32401/task/32411/stat : 32411 (java) S 32399 32399 27722 0 -1 1077944384 31124 0 0 0 525 3 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912256076528 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32412] ppid=32399 vsize=14091268 memory=1456 CPUtime=5.02 cores=0,2,4,6
/proc/32401/task/32412/stat : 32412 (java) S 32399 32399 27722 0 -1 1077944384 28608 0 0 0 498 4 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912255023984 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32413] ppid=32399 vsize=14091268 memory=1456 CPUtime=1.08 cores=0,2,4,6
/proc/32401/task/32413/stat : 32413 (java) S 32399 32399 27722 0 -1 1077944384 16908 0 0 0 105 3 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912253970928 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32414] ppid=32399 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/32401/task/32414/stat : 32414 (java) S 32399 32399 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72460919 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912252918624 139912719001301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
[pid=32401/tid=32415] ppid=32399 vsize=14091268 memory=1456 CPUtime=1.36 cores=0,2,4,6
/proc/32401/task/32415/stat : 32415 (java) S 32399 32399 27722 0 -1 1077944384 2402 0 0 0 70 66 0 0 20 0 15 0 72460920 14429458432 588879 33554432000 4194304 4196468 140728311967744 139912251865648 139912719002242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 9355264 140728311972993 140728311973169 140728311973169 140728311975887 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2356972 KiB

Child status: 143
Real time (s): 2386.52
CPU time (s): 2400.03
CPU user time (s): 2398.66
CPU system time (s): 1.3774
CPU usage (%): 100.566
Max. virtual memory (cumulated for all children) (KiB): 14206396
Max. memory (cumulated for all children) (KiB): 2356972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.66
system time used= 1.3774
maximum resident set size= 2355996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55835
involuntary context switches= 2272


# summary of solver processes directly reported to runsolver:
#   pid: 32399,32401
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2398.66
#   total CPU system time (s): 1.3774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.037 second user time and 24.3258 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml
MD5SUM	289cb43960e2b184f01d0d99cacee99d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	16618
Best CPU time to get the best result obtained on this benchmark	2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1470
Number of constraints	5725
Number of domains	3
Minimum domain size	2
Maximum domain size	57
Distribution of domain sizes	[{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}]
Minimum variable degree	2
Maximum variable degree	44
Distribution of variable degrees	[{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	26
Distribution of constraint arities	[{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}]
Number of extensional constraints	378
Number of intensional constraints	4565
Distribution of constraint types	[{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4292257

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