2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	14498	2520.11	2505.72

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306558-1534124328.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306558-1534124328.xml, -tl, 2520s, -p, 1]
0.12/0.22	c simple solver
0.34/0.28	c parse instance...
6.36/2.41	c solve instance...
19.78/9.23	o 15966 
48.19/36.31	o 15922 
48.29/36.45	o 15863 
53.87/41.66	o 15394 
53.87/41.66	o 15361 
53.87/41.68	o 15254 
53.87/41.69	o 15221 
54.67/42.40	o 15216 
57.88/45.62	o 15169 
58.09/45.86	o 15117 
65.90/53.64	o 15067 
65.90/53.65	o 15034 
65.90/53.67	o 14987 
65.90/53.67	o 14954 
66.80/54.54	o 14830 
66.90/54.64	o 14785 
66.90/54.68	o 14558 
954.70/941.33	o 14520 
954.70/941.34	o 14518 
1001.83/988.34	o 14498 
2520.06/2505.70	s SATISFIABLE
2520.06/2505.70	v <instantiation>
2520.06/2505.70	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>
2520.06/2505.70	v 	<values>6 12 3 3 5 1 13 6 8 10 2 9 12 5 1 11 13 7 4 2 8 11 10 4 7 9 13 6 2 5 10 0 8 9 9 12 5 10 11 11 0 2 7 3 6 7 4 12 4 13 3 8 7 4 1 10 11 13 9 4 10 11 0 5 7 9 13 1 6 8 8 0 12 3 6 3 5 12 11 9 0 0 13 11 10 7 5 5 13 8 4 8 4 6 12 1 9 12 6 2 7 2 1 10 10 2 12 9 8 5 6 2 12 13 6 7 3 7 3 13 10 11 0 8 1 5 1 0 9 11 9 11 10 1 0 4 7 10 3 3 1 2 13 0 12 8 8 6 7 11 13 4 12 9 2 6 0 1 13 12 9 9 4 0 11 8 4 11 10 12 8 3 2 5 1 13 3 7 2 7 10 5 2 10 11 11 12 8 5 3 13 9 8 4 2 4 10 12 1 0 5 1 9 6 3 6 0 13 12 13 9 13 4 7 1 12 0 6 7 3 9 3 6 5 5 2 2 4 0 10 11 10 11 1 5 3 8 4 6 6 2 1 1 7 12 0 8 2 11 10 11 12 3 10 7 13 13 5 4 0 4 7 5 2 1 12 3 5 2 0 11 1 6 13 7 9 4 13 12 9 11 8 0 8 6 3 3 5 7 7 2 3 12 13 6 2 10 6 1 1 9 0 9 4 13 5 10 0 8 12 8 4 8 0 4 6 7 10 11 8 4 1 9 13 0 6 5 7 3 9 10 3 2 1 5 11 13 2 1 8 6 8 3 2 0 11 7 4 3 12 5 10 2 4 0 10 11 6 5 9 9 1 12 7 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 57 57 34 41 39 59 92 31 48 15 15 0 0 10 10 0 0 36 36 0 55 10 55 44 79 51 0 0 22 50 40 10 10 0 43 30 55 65 10 64 0 0 44 14 47 39 31 31 0 64 64 46 46 0 45 45 0 0 61 61 0 55 10 58 0 56 79 49 22 39 31 53 15 15 0 0 47 41 94 48 0 0 34 34 0 66 10 69 14 41 75 50 0 68 21 18 47 0 67 30 80 47 47 0 32 32 0 0 0 0 55 55 0 0 45 48 73 18 59 14 51 0 91 66 10 70 21 21 35 40 10 36 0 0 0 44 10 51 0 35 35 0 41 41 40 22 50 39 39 0 42 42 48 48 75 75 94 30 81 27 27 44 10 39 0 0 69 55 18 0 31 31 70 10 101 88 0 0 27 27 92 50 47 56 56 59 0 0 56 55 10 67 90 81 42 48 0 79 79 0 0 64 64 0 0 44 44 44 44 59 47 14 0 41 41 0 0 0 104 91 21 46 55 81 0 81 14 67 68 31 27 42 0 53 53 48 55 10 69 0 0 0 81 41 68 68 69 69 49 22 43 0 0 51 51 0 0 103 10 105 30 0 79 41 93 0 55 55 0 74 74 0 55 22 65 0 51 51 55 55 0 0 66 41 69 0 0 101 30 105 10 0 73 31 47 69 66 66 0 67 56 58 0 69 92 70 10 10 0 64 43 51 55 0 0 44 44 0 0 105 81 21 70 81 81 73 18 88 101 10 105 0 0 30 30 57 57 94 48 14 80 0 0 48 22 55 0 90 90 0 64 46 31 92 50 50 0 0 41 64 91 90 94 75 61 61 59 55 10 69 0 0 93 93 0 0 0 </values>
2520.06/2505.70	v </instantiation>
2520.06/2505.70	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 (5929 MiB free)
  memory of node 1: 16384 MiB (6744 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306558-1534124328/watcher-4306558-1534124328 -o /tmp/evaluation-result-4306558-1534124328/solver-4306558-1534124328 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24482 --watchdog 2580 HOME/xcsp3-exec -seed 2147210039 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306558-1534124328.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB

solver pid=29096, runsolver pid=29093

[startup+0.100174 s]*
/proc/loadavg: 1.81 1.73 1.73 4/218 29112
/proc/meminfo: memFree=12961472/32770624 swapFree=67108860/67108860
[pid=29096] ppid=29093 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29096/stat : 29096 (xcsp3-exec) S 29093 29096 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229995950 115843072 363 33554432000 4194304 5098028 140736737981008 140736737979112 139800485683836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31752192 140736737989690 140736737989892 140736737989892 140736737992650 0
/proc/29096/statm: 28282 363 305 221 0 87 0
[pid=29098] ppid=29096 vsize=14082940 memory=29100 CPUtime=0.12 cores=0,2,4,6
/proc/29098/stat : 29098 (java) S 29096 29096 24451 0 -1 1077944320 5643 0 0 0 11 1 0 0 20 0 15 0 229995950 14420930560 7275 33554432000 4194304 4196468 140722501798192 140722501780736 140202884136695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
/proc/29098/statm: 3520735 7275 3008 1 0 3483012 0
[pid=29098/tid=29099] ppid=29096 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29098/task/29099/stat : 29099 (java) R 29096 29096 24451 0 -1 4202560 3649 0 0 0 8 1 0 0 20 0 15 0 229995951 14420930560 7275 33554432000 4194304 4196468 140722501798192 140202888368888 140202869303509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29100] ppid=29096 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29100/stat : 29100 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14420930560 7275 33554432000 4194304 4196468 140722501798192 140202836757392 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29101] ppid=29096 vsize=14082940 memory=139995323709056 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29101/stat : 29101 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14420930560 7275 33554432000 4194304 4196468 140722501798192 140202835704592 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29102] ppid=29096 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29102/stat : 29102 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995951 14420930560 7275 33554432000 4194304 4196468 140722501798192 140202834652304 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29103] ppid=29096 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29103/stat : 29103 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14420930560 7275 33554432000 4194304 4196468 140722501798192 140202833599504 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29104] ppid=29096 vsize=14082940 memory=139995323709056 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29104/stat : 29104 (java) S 29096 29096 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229995953 14420930560 7275 33554432000 4194304 4196468 140722501798192 140201886189680 140202884147842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29105] ppid=29096 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29105/stat : 29105 (java) S 29096 29096 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229995953 14420930560 7275 33554432000 4194304 4196468 140722501798192 140201885135648 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29106] ppid=29096 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29106/stat : 29106 (java) S 29096 29096 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229995953 14420930560 7275 33554432000 4194304 4196468 140722501798192 140201884083312 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29107] ppid=29096 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29107/stat : 29107 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14420930560 7275 33554432000 4194304 4196468 140722501798192 140201883031632 140202884155291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29108] ppid=29096 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29108/stat : 29108 (java) S 29096 29096 24451 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 229995956 14420930560 7275 33554432000 4194304 4196468 140722501798192 140201881979504 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29109] ppid=29096 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29109/stat : 29109 (java) S 29096 29096 24451 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 229995956 14420930560 7275 33554432000 4194304 4196468 140722501798192 140201880926704 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29110] ppid=29096 vsize=14082940 memory=139995323709056 CPUtime=0.01 cores=0,2,4,6
/proc/29098/task/29110/stat : 29110 (java) R 29096 29096 24451 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 15 0 229995956 14420930560 7275 33554432000 4194304 4196468 140722501798192 140201879871352 140202884148630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29111] ppid=29096 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29111/stat : 29111 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14420930560 7275 33554432000 4194304 4196468 140722501798192 140201878821856 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29112] ppid=29096 vsize=14082940 memory=139995323709056 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29112/stat : 29112 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995956 14420930560 7275 33554432000 4194304 4196468 140722501798192 140201877768624 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30552 KiB

[startup+0.213073 s]*
/proc/loadavg: 1.81 1.73 1.73 3/218 29112
/proc/meminfo: memFree=12950404/32770624 swapFree=67108860/67108860
[pid=29096] ppid=29093 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29096/stat : 29096 (xcsp3-exec) S 29093 29096 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229995950 115843072 363 33554432000 4194304 5098028 140736737981008 140736737979112 139800485683836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31752192 140736737989690 140736737989892 140736737989892 140736737992650 0
/proc/29096/statm: 28282 363 305 221 0 87 0
[pid=29098] ppid=29096 vsize=14082940 memory=40656 CPUtime=0.34 cores=0,2,4,6
/proc/29098/stat : 29098 (java) S 29096 29096 24451 0 -1 1077944320 8211 0 0 0 32 2 0 0 20 0 15 0 229995950 14420930560 10164 33554432000 4194304 4196468 140722501798192 140722501780736 140202884136695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
/proc/29098/statm: 3520735 10164 3165 1 0 3483012 0
[pid=29098/tid=29099] ppid=29096 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29098/task/29099/stat : 29099 (java) R 29096 29096 24451 0 -1 4202560 5450 0 0 0 19 1 0 0 20 0 15 0 229995951 14420930560 10164 33554432000 4194304 4196468 140722501798192 140202888371232 140202868217182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29100] ppid=29096 vsize=14082940 memory=12591 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29100/stat : 29100 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14420930560 10164 33554432000 4194304 4196468 140722501798192 140202836757392 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29101] ppid=29096 vsize=14082940 memory=288370371475420800 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29101/stat : 29101 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14420930560 10164 33554432000 4194304 4196468 140722501798192 140202835704592 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29102] ppid=29096 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29102/stat : 29102 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995951 14420930560 10164 33554432000 4194304 4196468 140722501798192 140202834652304 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29103] ppid=29096 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29103/stat : 29103 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14420930560 10164 33554432000 4194304 4196468 140722501798192 140202833599504 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29104] ppid=29096 vsize=14082940 memory=139995323709056 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29104/stat : 29104 (java) S 29096 29096 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229995953 14420930560 10164 33554432000 4194304 4196468 140722501798192 140201886189680 140202884147842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29105] ppid=29096 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29105/stat : 29105 (java) S 29096 29096 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229995953 14420930560 10164 33554432000 4194304 4196468 140722501798192 140201885135648 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29106] ppid=29096 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29106/stat : 29106 (java) S 29096 29096 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229995953 14420930560 10164 33554432000 4194304 4196468 140722501798192 140201884083312 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29107] ppid=29096 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29107/stat : 29107 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14420930560 10164 33554432000 4194304 4196468 140722501798192 140201883031632 140202884155291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29108] ppid=29096 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29098/task/29108/stat : 29108 (java) S 29096 29096 24451 0 -1 1077944384 455 0 0 0 3 0 0 0 20 0 15 0 229995956 14420930560 10164 33554432000 4194304 4196468 140722501798192 140201881979504 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29109] ppid=29096 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29098/task/29109/stat : 29109 (java) S 29096 29096 24451 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 229995956 14420930560 10164 33554432000 4194304 4196468 140722501798192 140201880926704 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29110] ppid=29096 vsize=14082940 memory=139995323709056 CPUtime=0.08 cores=0,2,4,6
/proc/29098/task/29110/stat : 29110 (java) S 29096 29096 24451 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 229995956 14420930560 10164 33554432000 4194304 4196468 140722501798192 140201879874416 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29111] ppid=29096 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29111/stat : 29111 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14420930560 10164 33554432000 4194304 4196468 140722501798192 140201878821856 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29112] ppid=29096 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29112/stat : 29112 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995956 14420930560 10164 33554432000 4194304 4196468 140722501798192 140201877768624 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42108 KiB

[startup+0.310502 s]*
/proc/loadavg: 1.81 1.73 1.73 5/218 29112
/proc/meminfo: memFree=12944448/32770624 swapFree=67108860/67108860
[pid=29096] ppid=29093 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29096/stat : 29096 (xcsp3-exec) S 29093 29096 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229995950 115843072 363 33554432000 4194304 5098028 140736737981008 140736737979112 139800485683836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31752192 140736737989690 140736737989892 140736737989892 140736737992650 0
/proc/29096/statm: 28282 363 305 221 0 87 0
[pid=29098] ppid=29096 vsize=14087196 memory=47896 CPUtime=0.53 cores=0,2,4,6
/proc/29098/stat : 29098 (java) S 29096 29096 24451 0 -1 1077944320 9116 0 0 0 50 3 0 0 20 0 15 0 229995950 14425288704 11974 33554432000 4194304 4196468 140722501798192 140722501780736 140202884136695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
/proc/29098/statm: 3521799 11974 3246 1 0 3483012 0
[pid=29098/tid=29099] ppid=29096 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29098/task/29099/stat : 29099 (java) R 29096 29096 24451 0 -1 4202560 6102 0 0 0 27 2 0 0 20 0 15 0 229995951 14425288704 11974 33554432000 4194304 4196468 140722501798192 140202888373984 140202868217182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29100] ppid=29096 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29100/stat : 29100 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14425288704 11974 33554432000 4194304 4196468 140722501798192 140202836757392 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29101] ppid=29096 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29101/stat : 29101 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14425288704 11974 33554432000 4194304 4196468 140722501798192 140202835704592 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29102] ppid=29096 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29102/stat : 29102 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995951 14425288704 11974 33554432000 4194304 4196468 140722501798192 140202834652304 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29103] ppid=29096 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29103/stat : 29103 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14425288704 11974 33554432000 4194304 4196468 140722501798192 140202833599504 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29104] ppid=29096 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29104/stat : 29104 (java) S 29096 29096 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229995953 14425288704 11974 33554432000 4194304 4196468 140722501798192 140201886189680 140202884147842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29105] ppid=29096 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29105/stat : 29105 (java) S 29096 29096 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229995953 14425288704 11974 33554432000 4194304 4196468 140722501798192 140201885135648 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29106] ppid=29096 vsize=14087196 memory=4425519512236233619 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29106/stat : 29106 (java) S 29096 29096 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229995953 14425288704 11974 33554432000 4194304 4196468 140722501798192 140201884083312 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29107] ppid=29096 vsize=14087196 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29107/stat : 29107 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14425288704 11974 33554432000 4194304 4196468 140722501798192 140201883031632 140202884155291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29108] ppid=29096 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29098/task/29108/stat : 29108 (java) R 29096 29096 24451 0 -1 4202560 536 0 0 0 5 0 0 0 20 0 15 0 229995956 14425288704 11974 33554432000 4194304 4196468 140722501798192 140201881969888 140202863382543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29109] ppid=29096 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29098/task/29109/stat : 29109 (java) S 29096 29096 24451 0 -1 1077944384 250 0 0 0 3 0 0 0 20 0 15 0 229995956 14425288704 11974 33554432000 4194304 4196468 140722501798192 140201880926704 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29110] ppid=29096 vsize=14087196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29098/task/29110/stat : 29110 (java) S 29096 29096 24451 0 -1 1077944384 920 0 0 0 13 0 0 0 20 0 15 0 229995956 14425288704 11974 33554432000 4194304 4196468 140722501798192 140201879874416 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29111] ppid=29096 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29111/stat : 29111 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14425288704 11974 33554432000 4194304 4196468 140722501798192 140201878821856 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29112] ppid=29096 vsize=14087196 memory=3544956536867594289 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29112/stat : 29112 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995956 14425288704 11974 33554432000 4194304 4196468 140722501798192 140201877768624 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49348 KiB

[startup+0.706679 s]
/proc/loadavg: 1.98 1.77 1.74 4/218 29112
/proc/meminfo: memFree=12920380/32770624 swapFree=67108860/67108860
[pid=29096] ppid=29093 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29096/stat : 29096 (xcsp3-exec) S 29093 29096 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229995950 115843072 363 33554432000 4194304 5098028 140736737981008 140736737979112 139800485683836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31752192 140736737989690 140736737989892 140736737989892 140736737992650 0
/proc/29096/statm: 28282 363 305 221 0 87 0
[pid=29098] ppid=29096 vsize=14089320 memory=119424 CPUtime=1.77 cores=0,2,4,6
/proc/29098/stat : 29098 (java) S 29096 29096 24451 0 -1 1077944320 12708 0 0 0 173 4 0 0 20 0 15 0 229995950 14427463680 29856 33554432000 4194304 4196468 140722501798192 140722501780736 140202884136695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
/proc/29098/statm: 3522330 29856 3349 1 0 3483524 0
[pid=29098/tid=29099] ppid=29096 vsize=14089320 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/29098/task/29099/stat : 29099 (java) R 29096 29096 24451 0 -1 4202560 6643 0 0 0 65 3 0 0 20 0 15 0 229995951 14427463680 29856 33554432000 4194304 4196468 140722501798192 140202888371712 140202516493871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29100] ppid=29096 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29100/stat : 29100 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14427463680 29856 33554432000 4194304 4196468 140722501798192 140202836757392 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29101] ppid=29096 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29101/stat : 29101 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14427463680 29856 33554432000 4194304 4196468 140722501798192 140202835704592 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29102] ppid=29096 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29102/stat : 29102 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995951 14427463680 29856 33554432000 4194304 4196468 140722501798192 140202834652304 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29103] ppid=29096 vsize=14089320 memory=62384 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29103/stat : 29103 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995951 14427463680 29856 33554432000 4194304 4196468 140722501798192 140202833599504 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29104] ppid=29096 vsize=14089320 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29104/stat : 29104 (java) S 29096 29096 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229995953 14427463680 29856 33554432000 4194304 4196468 140722501798192 140201886189680 140202884147842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29105] ppid=29096 vsize=14089320 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29105/stat : 29105 (java) S 29096 29096 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229995953 14427463680 29856 33554432000 4194304 4196468 140722501798192 140201885135648 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29106] ppid=29096 vsize=14089320 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29106/stat : 29106 (java) S 29096 29096 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229995953 14427463680 29856 33554432000 4194304 4196468 140722501798192 140201884083312 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29107] ppid=29096 vsize=14089320 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29107/stat : 29107 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14427463680 29856 33554432000 4194304 4196468 140722501798192 140201883031632 140202884155291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29108] ppid=29096 vsize=14089320 memory=796 CPUtime=0.39 cores=0,2,4,6
/proc/29098/task/29108/stat : 29108 (java) R 29096 29096 24451 0 -1 4202560 1604 0 0 0 39 0 0 0 20 0 15 0 229995956 14427463680 29856 33554432000 4194304 4196468 140722501798192 140201881977904 140202864772628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29109] ppid=29096 vsize=14089320 memory=5408 CPUtime=0.35 cores=0,2,4,6
/proc/29098/task/29109/stat : 29109 (java) R 29096 29096 24451 0 -1 4202560 1324 0 0 0 35 0 0 0 20 0 15 0 229995956 14427463680 29856 33554432000 4194304 4196468 140722501798192 140201880907720 140202863392384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29110] ppid=29096 vsize=14089320 memory=876 CPUtime=0.32 cores=0,2,4,6
/proc/29098/task/29110/stat : 29110 (java) R 29096 29096 24451 0 -1 1077944384 1828 0 0 0 32 0 0 0 20 0 15 0 229995956 14427463680 29856 33554432000 4194304 4196468 140722501798192 140201879872208 140202884146901 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29111] ppid=29096 vsize=14089320 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29111/stat : 29111 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14427463680 29856 33554432000 4194304 4196468 140722501798192 140201878821856 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29112] ppid=29096 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29112/stat : 29112 (java) S 29096 29096 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229995956 14427463680 29856 33554432000 4194304 4196468 140722501798192 140201877768624 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 120876 KiB

[startup+1.50111 s]
/proc/loadavg: 1.98 1.77 1.74 6/218 29112
/proc/meminfo: memFree=12838032/32770624 swapFree=67108860/67108860
[pid=29096] ppid=29093 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29096/stat : 29096 (xcsp3-exec) S 29093 29096 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229995950 115843072 363 33554432000 4194304 5098028 140736737981008 140736737979112 139800485683836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31752192 140736737989690 140736737989892 140736737989892 140736737992650 0
/proc/29096/statm: 28282 363 305 221 0 87 0

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

/proc/29098/task/29106/stat : 29106 (java) S 29096 29096 24451 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201884083312 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29107] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29107/stat : 29107 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201883031632 140202884155291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29108] ppid=29096 vsize=14091368 memory=1452 CPUtime=5.5 cores=0,2,4,6
/proc/29098/task/29108/stat : 29108 (java) S 29096 29096 24451 0 -1 1077944384 26426 0 0 0 548 2 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201881979504 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29109] ppid=29096 vsize=14091368 memory=2348644 CPUtime=5.73 cores=0,2,4,6
/proc/29098/task/29109/stat : 29109 (java) S 29096 29096 24451 0 -1 1077944384 23911 0 0 0 570 3 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201880926704 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29110] ppid=29096 vsize=14091368 memory=1452 CPUtime=1.11 cores=0,2,4,6
/proc/29098/task/29110/stat : 29110 (java) S 29096 29096 24451 0 -1 1077944384 16503 0 0 0 109 2 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201879874416 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29111] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29111/stat : 29111 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201878821856 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29112] ppid=29096 vsize=14091368 memory=1452 CPUtime=1.32 cores=0,2,4,6
/proc/29098/task/29112/stat : 29112 (java) S 29096 29096 24451 0 -1 1077944384 1356 0 0 0 66 66 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201877768624 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
Current children cumulated CPU time: 2456.63 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2350096 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/218 29343
/proc/meminfo: memFree=8654360/32770624 swapFree=67108860/67108860
[pid=29096] ppid=29093 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29096/stat : 29096 (xcsp3-exec) S 29093 29096 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229995950 115843072 363 33554432000 4194304 5098028 140736737981008 140736737979112 139800485683836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31752192 140736737989690 140736737989892 140736737989892 140736737992650 0
/proc/29096/statm: 28282 363 305 221 0 87 0
[pid=29098] ppid=29096 vsize=14091368 memory=2348644 CPUtime=2516.66 cores=0,2,4,6
/proc/29098/stat : 29098 (java) S 29096 29096 24451 0 -1 1077944320 133345 0 0 0 251533 133 0 0 20 0 15 0 229995950 14429560832 587161 33554432000 4194304 4196468 140722501798192 140722501780736 140202884136695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
/proc/29098/statm: 3522842 587161 3436 1 0 3484036 0
[pid=29098/tid=29099] ppid=29096 vsize=14091368 memory=1452 CPUtime=2501.69 cores=0,2,4,6
/proc/29098/task/29099/stat : 29099 (java) R 29096 29096 24451 0 -1 4202560 49461 0 0 0 250131 38 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202888376192 140202517584585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29100] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.27 cores=0,2,4,6
/proc/29098/task/29100/stat : 29100 (java) S 29096 29096 24451 0 -1 1077944384 2931 0 0 0 20 7 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202836757392 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29101] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.3 cores=0,2,4,6
/proc/29098/task/29101/stat : 29101 (java) S 29096 29096 24451 0 -1 1077944384 3001 0 0 0 22 8 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202835704592 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29102] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.27 cores=0,2,4,6
/proc/29098/task/29102/stat : 29102 (java) S 29096 29096 24451 0 -1 1077944384 3409 0 0 0 19 8 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202834652304 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29103] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.27 cores=0,2,4,6
/proc/29098/task/29103/stat : 29103 (java) S 29096 29096 24451 0 -1 1077944384 940 0 0 0 20 7 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202833599504 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29104] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.08 cores=0,2,4,6
/proc/29098/task/29104/stat : 29104 (java) S 29096 29096 24451 0 -1 1077944384 3994 0 0 0 5 3 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201886189680 140202884147842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29105] ppid=29096 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29105/stat : 29105 (java) S 29096 29096 24451 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201885135712 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29106] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29106/stat : 29106 (java) S 29096 29096 24451 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201884083312 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29107] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29107/stat : 29107 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201883031632 140202884155291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29108] ppid=29096 vsize=14091368 memory=2348644 CPUtime=5.51 cores=0,2,4,6
/proc/29098/task/29108/stat : 29108 (java) S 29096 29096 24451 0 -1 1077944384 26430 0 0 0 548 3 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201881979504 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29109] ppid=29096 vsize=14091368 memory=1452 CPUtime=5.73 cores=0,2,4,6
/proc/29098/task/29109/stat : 29109 (java) S 29096 29096 24451 0 -1 1077944384 23918 0 0 0 570 3 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201880926704 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29110] ppid=29096 vsize=14091368 memory=2348644 CPUtime=1.11 cores=0,2,4,6
/proc/29098/task/29110/stat : 29110 (java) S 29096 29096 24451 0 -1 1077944384 16507 0 0 0 109 2 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201879874416 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29111] ppid=29096 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29111/stat : 29111 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201878821856 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29112] ppid=29096 vsize=14091368 memory=1452 CPUtime=1.36 cores=0,2,4,6
/proc/29098/task/29112/stat : 29112 (java) S 29096 29096 24451 0 -1 1077944384 1386 0 0 0 68 68 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201877768624 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
Current children cumulated CPU time: 2516.66 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2350096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2505.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/218 29343
/proc/meminfo: memFree=8654484/32770624 swapFree=67108860/67108860
[pid=29096] ppid=29093 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29096/stat : 29096 (xcsp3-exec) S 29093 29096 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229995950 115843072 363 33554432000 4194304 5098028 140736737981008 140736737979112 139800485683836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31752192 140736737989690 140736737989892 140736737989892 140736737992650 0
/proc/29096/statm: 28282 363 305 221 0 87 0
[pid=29098] ppid=29096 vsize=14091368 memory=2348644 CPUtime=2520.06 cores=0,2,4,6
/proc/29098/stat : 29098 (java) S 29096 29096 24451 0 -1 1077944320 133349 0 0 0 251873 133 0 0 20 0 15 0 229995950 14429560832 587161 33554432000 4194304 4196468 140722501798192 140722501780736 140202884136695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
/proc/29098/statm: 3522842 587161 3436 1 0 3484036 0
[pid=29098/tid=29099] ppid=29096 vsize=14091368 memory=1452 CPUtime=2505.09 cores=0,2,4,6
/proc/29098/task/29099/stat : 29099 (java) R 29096 29096 24451 0 -1 4202560 49465 0 0 0 250471 38 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202888376192 140202523493805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29100] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.27 cores=0,2,4,6
/proc/29098/task/29100/stat : 29100 (java) S 29096 29096 24451 0 -1 1077944384 2931 0 0 0 20 7 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202836757392 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29101] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.3 cores=0,2,4,6
/proc/29098/task/29101/stat : 29101 (java) S 29096 29096 24451 0 -1 1077944384 3001 0 0 0 22 8 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202835704592 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29102] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.27 cores=0,2,4,6
/proc/29098/task/29102/stat : 29102 (java) S 29096 29096 24451 0 -1 1077944384 3409 0 0 0 19 8 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202834652304 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29103] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.27 cores=0,2,4,6
/proc/29098/task/29103/stat : 29103 (java) S 29096 29096 24451 0 -1 1077944384 940 0 0 0 20 7 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202833599504 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29104] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.08 cores=0,2,4,6
/proc/29098/task/29104/stat : 29104 (java) S 29096 29096 24451 0 -1 1077944384 3994 0 0 0 5 3 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201886189680 140202884147842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29105] ppid=29096 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29105/stat : 29105 (java) S 29096 29096 24451 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201885135712 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29106] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29106/stat : 29106 (java) S 29096 29096 24451 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201884083312 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29107] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29107/stat : 29107 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201883031632 140202884155291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29108] ppid=29096 vsize=14091368 memory=2348644 CPUtime=5.51 cores=0,2,4,6
/proc/29098/task/29108/stat : 29108 (java) S 29096 29096 24451 0 -1 1077944384 26430 0 0 0 548 3 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201881979504 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29109] ppid=29096 vsize=14091368 memory=2348644 CPUtime=5.73 cores=0,2,4,6
/proc/29098/task/29109/stat : 29109 (java) S 29096 29096 24451 0 -1 1077944384 23918 0 0 0 570 3 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201880926704 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29110] ppid=29096 vsize=14091368 memory=1452 CPUtime=1.11 cores=0,2,4,6
/proc/29098/task/29110/stat : 29110 (java) S 29096 29096 24451 0 -1 1077944384 16507 0 0 0 109 2 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201879874416 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29111] ppid=29096 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29111/stat : 29111 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201878821856 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29112] ppid=29096 vsize=14091368 memory=1452 CPUtime=1.36 cores=0,2,4,6
/proc/29098/task/29112/stat : 29112 (java) S 29096 29096 24451 0 -1 1077944384 1386 0 0 0 68 68 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201877768624 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2350096 KiB

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

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

[startup+2505.72 s]
# the end of solver process 29098 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.75 s, system=1.35827 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+2505.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/218 29343
/proc/meminfo: memFree=8654484/32770624 swapFree=67108860/67108860
[pid=29096] ppid=29093 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29096/stat : 29096 (xcsp3-exec) S 29093 29096 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229995950 115843072 363 33554432000 4194304 5098028 140736737981008 140736737979112 139800485683836 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31752192 140736737989690 140736737989892 140736737989892 140736737992650 0
/proc/29096/statm: 28282 363 305 221 0 87 0
[pid=29098] ppid=29096 vsize=14091368 memory=2348644 CPUtime=2520.06 cores=0,2,4,6
/proc/29098/stat : 29098 (java) S 29096 29096 24451 0 -1 1077944320 133349 0 0 0 251873 133 0 0 20 0 15 0 229995950 14429560832 587161 33554432000 4194304 4196468 140722501798192 140722501780736 140202884136695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
/proc/29098/statm: 3522842 587161 3436 1 0 3484036 0
[pid=29098/tid=29099] ppid=29096 vsize=14091368 memory=1452 CPUtime=2505.09 cores=0,2,4,6
/proc/29098/task/29099/stat : 29099 (java) R 29096 29096 24451 0 -1 4202560 49465 0 0 0 250471 38 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202888376192 140202523493805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29100] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.27 cores=0,2,4,6
/proc/29098/task/29100/stat : 29100 (java) S 29096 29096 24451 0 -1 1077944384 2931 0 0 0 20 7 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202836757392 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29101] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.3 cores=0,2,4,6
/proc/29098/task/29101/stat : 29101 (java) S 29096 29096 24451 0 -1 1077944384 3001 0 0 0 22 8 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202835704592 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29102] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.27 cores=0,2,4,6
/proc/29098/task/29102/stat : 29102 (java) S 29096 29096 24451 0 -1 1077944384 3409 0 0 0 19 8 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202834652304 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29103] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.27 cores=0,2,4,6
/proc/29098/task/29103/stat : 29103 (java) S 29096 29096 24451 0 -1 1077944384 940 0 0 0 20 7 0 0 20 0 15 0 229995951 14429560832 587161 33554432000 4194304 4196468 140722501798192 140202833599504 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29104] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0.08 cores=0,2,4,6
/proc/29098/task/29104/stat : 29104 (java) S 29096 29096 24451 0 -1 1077944384 3994 0 0 0 5 3 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201886189680 140202884147842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29105] ppid=29096 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29105/stat : 29105 (java) S 29096 29096 24451 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201885135712 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29106] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29106/stat : 29106 (java) S 29096 29096 24451 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 229995953 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201884083312 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29107] ppid=29096 vsize=14091368 memory=2348644 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29107/stat : 29107 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201883031632 140202884155291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29108] ppid=29096 vsize=14091368 memory=2348644 CPUtime=5.51 cores=0,2,4,6
/proc/29098/task/29108/stat : 29108 (java) S 29096 29096 24451 0 -1 1077944384 26430 0 0 0 548 3 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201881979504 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29109] ppid=29096 vsize=14091368 memory=2348644 CPUtime=5.73 cores=0,2,4,6
/proc/29098/task/29109/stat : 29109 (java) S 29096 29096 24451 0 -1 1077944384 23918 0 0 0 570 3 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201880926704 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29110] ppid=29096 vsize=14091368 memory=1452 CPUtime=1.11 cores=0,2,4,6
/proc/29098/task/29110/stat : 29110 (java) S 29096 29096 24451 0 -1 1077944384 16507 0 0 0 109 2 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201879874416 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29111] ppid=29096 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29098/task/29111/stat : 29111 (java) S 29096 29096 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201878821856 140202884146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
[pid=29098/tid=29112] ppid=29096 vsize=14091368 memory=1452 CPUtime=1.36 cores=0,2,4,6
/proc/29098/task/29112/stat : 29112 (java) S 29096 29096 24451 0 -1 1077944384 1386 0 0 0 68 68 0 0 20 0 15 0 229995956 14429560832 587161 33554432000 4194304 4196468 140722501798192 140201877768624 140202884147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 20819968 140722501805190 140722501805361 140722501805361 140722501808079 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2350096 KiB

Child status: 143
Real time (s): 2505.72
CPU time (s): 2520.11
CPU user time (s): 2518.75
CPU system time (s): 1.35827
CPU usage (%): 100.574
Max. virtual memory (cumulated for all children) (KiB): 14206496
Max. memory (cumulated for all children) (KiB): 2350108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.75
system time used= 1.35827
maximum resident set size= 2349092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58375
involuntary context switches= 2886


# summary of solver processes directly reported to runsolver:
#   pid: 29096,29098
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.75
#   total CPU system time (s): 1.35827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6242 second user time and 26.227 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml
MD5SUM	7a3ba77b7a6be046779b0525cfa105c0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14498
Best CPU time to get the best result obtained on this benchmark	2520.11
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 4306558

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