2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	14558	252.059	238.618

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4302083-1532888159.xml"  -tl '252s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4302083-1532888159.xml, -tl, 252s, -p, 1]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
6.25/2.40	c solve instance...
19.76/9.22	o 15966 
48.85/36.23	o 15922 
48.95/36.37	o 15863 
54.52/41.53	o 15394 
54.52/41.54	o 15361 
54.52/41.55	o 15254 
54.52/41.56	o 15221 
55.22/42.25	o 15216 
58.44/45.48	o 15169 
58.74/45.71	o 15117 
66.45/53.43	o 15067 
66.45/53.43	o 15034 
66.45/53.45	o 14987 
66.45/53.46	o 14954 
67.34/54.32	o 14830 
67.44/54.42	o 14785 
67.44/54.45	o 14558 
252.03/238.60	s SATISFIABLE
252.03/238.60	v <instantiation>
252.03/238.60	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>
252.03/238.60	v 	<values>1 9 4 11 2 9 12 6 12 6 4 3 8 13 1 10 7 5 7 3 13 5 2 8 11 10 0 12 8 10 13 11 2 3 8 3 11 9 4 4 0 13 12 7 5 10 7 2 6 6 5 9 9 13 10 3 0 5 1 10 7 11 12 13 11 5 7 6 6 4 8 12 3 1 0 4 9 8 12 5 12 2 11 13 9 1 5 1 7 0 6 8 4 9 13 6 4 0 2 11 10 10 8 7 5 10 0 5 12 12 7 7 13 8 0 8 1 1 3 11 10 2 3 9 9 6 11 2 13 6 4 3 7 4 10 2 8 13 3 13 10 12 7 2 9 12 9 0 1 6 6 0 8 11 1 11 11 8 9 12 9 8 13 0 10 0 13 7 3 7 11 2 2 3 12 5 5 4 1 1 10 4 13 11 5 9 8 10 4 4 2 10 3 6 5 6 2 8 0 1 0 11 1 12 9 13 12 3 10 6 1 13 7 6 5 9 1 4 9 4 0 3 12 7 11 12 2 13 11 10 5 0 3 2 2 0 6 7 6 0 3 8 11 12 8 1 13 10 5 3 5 11 10 4 4 13 7 12 2 1 8 4 2 1 5 7 11 2 6 7 5 11 12 9 13 0 4 13 9 1 12 8 3 3 6 0 6 7 13 0 3 1 10 12 9 2 1 10 2 12 6 4 8 9 13 7 8 3 4 5 0 5 3 1 3 6 4 4 0 11 0 9 2 5 10 11 8 5 1 8 6 2 10 7 13 9 7 13 7 2 11 8 1 3 6 5 4 5 6 2 9 0 10 1 3 10 11 8 0 9 12 7 4 12 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 10 10 0 0 15 49 30 57 0 44 18 36 0 59 59 0 0 39 48 14 34 0 0 48 69 10 55 0 0 0 65 66 64 22 47 68 46 64 64 0 31 36 10 55 55 0 0 44 44 0 39 27 81 43 49 93 61 47 47 0 0 55 69 56 48 48 58 44 50 56 56 45 21 53 0 22 10 15 0 0 0 80 94 41 0 0 50 50 0 0 32 32 34 34 68 68 67 67 47 18 51 47 58 10 69 0 14 14 0 0 36 39 35 73 73 64 41 104 21 0 31 31 51 51 74 74 0 55 55 18 70 58 45 0 0 35 35 0 0 51 55 50 0 41 50 75 0 48 48 81 30 94 0 40 39 27 39 48 42 0 44 44 70 69 31 88 30 69 92 59 55 75 0 59 14 47 0 0 56 56 0 0 27 27 39 39 0 18 18 0 67 44 48 81 73 74 64 0 0 14 14 0 59 56 56 44 10 44 0 0 90 30 93 41 0 0 0 0 46 46 0 31 27 42 0 0 68 55 36 48 81 90 81 0 0 104 69 10 73 0 68 47 53 0 51 44 59 79 0 67 68 68 30 30 43 64 93 0 0 81 44 10 103 55 55 0 0 49 49 0 73 21 45 55 0 0 10 10 0 69 48 51 0 103 93 59 55 0 0 65 55 101 0 69 47 75 0 0 0 0 55 34 32 64 105 30 49 58 10 10 0 70 18 21 69 69 41 67 0 0 44 44 0 0 0 55 32 80 73 73 0 0 57 57 0 94 51 10 105 0 0 81 31 56 48 0 0 30 79 41 90 41 41 69 69 104 0 0 75 75 0 92 56 61 0 0 64 32 69 66 0 59 51 30 90 91 91 0 </values>
252.03/238.60	v </instantiation>
252.03/238.60	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 (10472 MiB free)
  memory of node 1: 16384 MiB (12658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302083-1532888159/watcher-4302083-1532888159 -o /tmp/evaluation-result-4302083-1532888159/solver-4302083-1532888159 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 1970256098 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302083-1532888159.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15303, runsolver pid=15300
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 2.05 1.77 1.79 3/217 15319
/proc/meminfo: memFree=23668984/32770624 swapFree=67108860/67108860
[pid=15303] ppid=15300 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (xcsp3-exec) S 15300 15303 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106379101 115843072 364 33554432000 4194304 5098028 140721151937024 140721151935128 139905589949052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37302272 140721151939648 140721151939849 140721151939849 140721151942602 0
/proc/15303/statm: 28282 364 306 221 0 87 0
[pid=15305] ppid=15303 vsize=14082940 memory=29548 CPUtime=0.12 cores=1,3,5,7
/proc/15305/stat : 15305 (java) S 15303 15303 6396 0 -1 1077944320 5238 0 0 0 11 1 0 0 20 0 15 0 106379101 14420930560 7387 33554432000 4194304 4196468 140720787914576 140720787897120 140017906429687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
/proc/15305/statm: 3520735 7387 3027 1 0 3483012 0
[pid=15305/tid=15306] ppid=15303 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/15305/task/15306/stat : 15306 (java) R 15303 15303 6396 0 -1 4202560 3250 0 0 0 8 0 0 0 20 0 15 0 106379102 14420930560 7387 33554432000 4194304 4196468 140720787914576 140017910655408 140017906441622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15307] ppid=15303 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15307/stat : 15307 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14420930560 7387 33554432000 4194304 4196468 140720787914576 140017821498384 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15308] ppid=15303 vsize=14082940 memory=139791608833664 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15308/stat : 15308 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14420930560 7451 33554432000 4194304 4196468 140720787914576 140017820445840 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15309] ppid=15303 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15309/stat : 15309 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14420930560 7451 33554432000 4194304 4196468 140720787914576 140017819392784 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15310] ppid=15303 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15310/stat : 15310 (java) S 15303 15303 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106379102 14420930560 7451 33554432000 4194304 4196468 140720787914576 140017818340240 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15311] ppid=15303 vsize=14082940 memory=139791608833664 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15311/stat : 15311 (java) S 15303 15303 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106379104 14420930560 7451 33554432000 4194304 4196468 140720787914576 140016818567408 140017906440834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15312] ppid=15303 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15312/stat : 15312 (java) S 15303 15303 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106379104 14420930560 7451 33554432000 4194304 4196468 140720787914576 140016817513632 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15313] ppid=15303 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15313/stat : 15313 (java) S 15303 15303 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106379104 14420930560 7451 33554432000 4194304 4196468 140720787914576 140016816460528 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15314] ppid=15303 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15314/stat : 15314 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14420930560 7451 33554432000 4194304 4196468 140720787914576 140016815409104 140017906448283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15315] ppid=15303 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15315/stat : 15315 (java) S 15303 15303 6396 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 106379107 14420930560 7451 33554432000 4194304 4196468 140720787914576 140016814357232 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15316] ppid=15303 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15316/stat : 15316 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14420930560 7451 33554432000 4194304 4196468 140720787914576 140016813304688 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15317] ppid=15303 vsize=14082940 memory=139791608833664 CPUtime=0.01 cores=1,3,5,7
/proc/15305/task/15317/stat : 15317 (java) R 15303 15303 6396 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 15 0 106379107 14420930560 7451 33554432000 4194304 4196468 140720787914576 140016812251632 140017887667248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15318] ppid=15303 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15318/stat : 15318 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14420930560 7451 33554432000 4194304 4196468 140720787914576 140016811199328 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15319] ppid=15303 vsize=14082940 memory=139791608833664 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15319/stat : 15319 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379107 14420930560 7451 33554432000 4194304 4196468 140720787914576 140016810146352 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31004 KiB

[startup+0.210561 s]*
/proc/loadavg: 2.05 1.77 1.79 4/217 15319
/proc/meminfo: memFree=23658796/32770624 swapFree=67108860/67108860
[pid=15303] ppid=15300 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (xcsp3-exec) S 15300 15303 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106379101 115843072 364 33554432000 4194304 5098028 140721151937024 140721151935128 139905589949052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37302272 140721151939648 140721151939849 140721151939849 140721151942602 0
/proc/15303/statm: 28282 364 306 221 0 87 0
[pid=15305] ppid=15303 vsize=14082940 memory=40796 CPUtime=0.34 cores=1,3,5,7
/proc/15305/stat : 15305 (java) S 15303 15303 6396 0 -1 1077944320 7691 0 0 0 32 2 0 0 20 0 15 0 106379101 14420930560 10199 33554432000 4194304 4196468 140720787914576 140720787897120 140017906429687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
/proc/15305/statm: 3520735 10199 3210 1 0 3483012 0
[pid=15305/tid=15306] ppid=15303 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15305/task/15306/stat : 15306 (java) R 15303 15303 6396 0 -1 4202560 4947 0 0 0 18 2 0 0 20 0 15 0 106379102 14420930560 10199 33554432000 4194304 4196468 140720787914576 140017910653672 140017899108909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15307] ppid=15303 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15307/stat : 15307 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14420930560 10199 33554432000 4194304 4196468 140720787914576 140017821498384 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15308] ppid=15303 vsize=14082940 memory=139791609327399 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15308/stat : 15308 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14420930560 10199 33554432000 4194304 4196468 140720787914576 140017820445840 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15309] ppid=15303 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15309/stat : 15309 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14420930560 10199 33554432000 4194304 4196468 140720787914576 140017819392784 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15310] ppid=15303 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15310/stat : 15310 (java) S 15303 15303 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106379102 14420930560 10199 33554432000 4194304 4196468 140720787914576 140017818340240 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15311] ppid=15303 vsize=14082940 memory=139791608833664 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15311/stat : 15311 (java) S 15303 15303 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106379104 14420930560 10199 33554432000 4194304 4196468 140720787914576 140016818567408 140017906440834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15312] ppid=15303 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15312/stat : 15312 (java) S 15303 15303 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106379104 14420930560 10199 33554432000 4194304 4196468 140720787914576 140016817513632 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15313] ppid=15303 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15313/stat : 15313 (java) S 15303 15303 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106379104 14420963328 10199 33554432000 4194304 4196468 140720787914576 140016816460528 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15314] ppid=15303 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15314/stat : 15314 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14420963328 10199 33554432000 4194304 4196468 140720787914576 140016815409104 140017906448283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15315] ppid=15303 vsize=14082972 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15305/task/15315/stat : 15315 (java) S 15303 15303 6396 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 106379107 14420963328 10240 33554432000 4194304 4196468 140720787914576 140016814357232 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15316] ppid=15303 vsize=14082940 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/15305/task/15316/stat : 15316 (java) S 15303 15303 6396 0 -1 1077944384 152 0 0 0 3 0 0 0 20 0 15 0 106379107 14420930560 10240 33554432000 4194304 4196468 140720787914576 140016813304688 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15317] ppid=15303 vsize=14082940 memory=139791608833664 CPUtime=0.08 cores=1,3,5,7
/proc/15305/task/15317/stat : 15317 (java) S 15303 15303 6396 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 15 0 106379107 14420930560 10240 33554432000 4194304 4196468 140720787914576 140016812251632 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15318] ppid=15303 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15318/stat : 15318 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14420930560 10240 33554432000 4194304 4196468 140720787914576 140016811199328 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15319] ppid=15303 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15319/stat : 15319 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379107 14420930560 10240 33554432000 4194304 4196468 140720787914576 140016810146352 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42252 KiB

[startup+0.310468 s]*
/proc/loadavg: 2.05 1.77 1.79 3/217 15319
/proc/meminfo: memFree=23652200/32770624 swapFree=67108860/67108860
[pid=15303] ppid=15300 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (xcsp3-exec) S 15300 15303 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106379101 115843072 364 33554432000 4194304 5098028 140721151937024 140721151935128 139905589949052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37302272 140721151939648 140721151939849 140721151939849 140721151942602 0
/proc/15303/statm: 28282 364 306 221 0 87 0
[pid=15305] ppid=15303 vsize=14087196 memory=47692 CPUtime=0.52 cores=1,3,5,7
/proc/15305/stat : 15305 (java) S 15303 15303 6396 0 -1 1077944320 8592 0 0 0 49 3 0 0 20 0 15 0 106379101 14425288704 11923 33554432000 4194304 4196468 140720787914576 140720787897120 140017906429687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
/proc/15305/statm: 3521799 11923 3242 1 0 3483012 0
[pid=15305/tid=15306] ppid=15303 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15305/task/15306/stat : 15306 (java) R 15303 15303 6396 0 -1 4202560 5676 0 0 0 27 2 0 0 20 0 15 0 106379102 14425288704 11932 33554432000 4194304 4196468 140720787914576 140017910660800 140017888015184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15307] ppid=15303 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15307/stat : 15307 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14425288704 11932 33554432000 4194304 4196468 140720787914576 140017821498384 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15308] ppid=15303 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15308/stat : 15308 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14425288704 11932 33554432000 4194304 4196468 140720787914576 140017820445840 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15309] ppid=15303 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15309/stat : 15309 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14425288704 11932 33554432000 4194304 4196468 140720787914576 140017819392784 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15310] ppid=15303 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15310/stat : 15310 (java) S 15303 15303 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106379102 14425288704 11932 33554432000 4194304 4196468 140720787914576 140017818340240 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15311] ppid=15303 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15311/stat : 15311 (java) S 15303 15303 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106379104 14425288704 11932 33554432000 4194304 4196468 140720787914576 140016818567408 140017906440834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15312] ppid=15303 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15312/stat : 15312 (java) S 15303 15303 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106379104 14425288704 11932 33554432000 4194304 4196468 140720787914576 140016817513632 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15313] ppid=15303 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15313/stat : 15313 (java) S 15303 15303 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106379104 14425288704 11932 33554432000 4194304 4196468 140720787914576 140016816460528 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15314] ppid=15303 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15314/stat : 15314 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14425288704 11932 33554432000 4194304 4196468 140720787914576 140016815409104 140017906448283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15315] ppid=15303 vsize=14087196 memory=4628975386420216973 CPUtime=0.04 cores=1,3,5,7
/proc/15305/task/15315/stat : 15315 (java) S 15303 15303 6396 0 -1 1077944384 548 0 0 0 4 0 0 0 20 0 15 0 106379107 14425288704 11932 33554432000 4194304 4196468 140720787914576 140016814357232 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15316] ppid=15303 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15305/task/15316/stat : 15316 (java) S 15303 15303 6396 0 -1 1077944384 161 0 0 0 4 0 0 0 20 0 15 0 106379107 14425288704 11932 33554432000 4194304 4196468 140720787914576 140016813304688 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15317] ppid=15303 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15305/task/15317/stat : 15317 (java) S 15303 15303 6396 0 -1 1077944384 902 0 0 0 12 0 0 0 20 0 15 0 106379107 14425288704 11932 33554432000 4194304 4196468 140720787914576 140016812251632 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15318] ppid=15303 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15318/stat : 15318 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14425288704 11932 33554432000 4194304 4196468 140720787914576 140016811199328 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15319] ppid=15303 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15319/stat : 15319 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379107 14425288704 11932 33554432000 4194304 4196468 140720787914576 140016810146352 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49148 KiB

[startup+0.702297 s]
/proc/loadavg: 2.05 1.77 1.79 4/217 15319
/proc/meminfo: memFree=23627884/32770624 swapFree=67108860/67108860
[pid=15303] ppid=15300 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (xcsp3-exec) S 15300 15303 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106379101 115843072 364 33554432000 4194304 5098028 140721151937024 140721151935128 139905589949052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37302272 140721151939648 140721151939849 140721151939849 140721151942602 0
/proc/15303/statm: 28282 364 306 221 0 87 0
[pid=15305] ppid=15303 vsize=14089320 memory=121088 CPUtime=1.76 cores=1,3,5,7
/proc/15305/stat : 15305 (java) S 15303 15303 6396 0 -1 1077944320 12656 0 0 0 171 5 0 0 20 0 15 0 106379101 14427463680 30272 33554432000 4194304 4196468 140720787914576 140720787897120 140017906429687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
/proc/15305/statm: 3522330 30272 3354 1 0 3483524 0
[pid=15305/tid=15306] ppid=15303 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/15305/task/15306/stat : 15306 (java) R 15303 15303 6396 0 -1 4202560 6150 0 0 0 64 3 0 0 20 0 15 0 106379102 14427463680 30272 33554432000 4194304 4196468 140720787914576 140017910663136 140017497157036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15307] ppid=15303 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15307/stat : 15307 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14427463680 30272 33554432000 4194304 4196468 140720787914576 140017821498384 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15308] ppid=15303 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15308/stat : 15308 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14427463680 30272 33554432000 4194304 4196468 140720787914576 140017820445840 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15309] ppid=15303 vsize=14089320 memory=30260 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15309/stat : 15309 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379102 14427463680 30272 33554432000 4194304 4196468 140720787914576 140017819392784 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15310] ppid=15303 vsize=14089320 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15310/stat : 15310 (java) S 15303 15303 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106379102 14427463680 30272 33554432000 4194304 4196468 140720787914576 140017818340240 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15311] ppid=15303 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15311/stat : 15311 (java) S 15303 15303 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106379104 14427463680 30272 33554432000 4194304 4196468 140720787914576 140016818567408 140017906440834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15312] ppid=15303 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15312/stat : 15312 (java) S 15303 15303 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106379104 14427463680 30272 33554432000 4194304 4196468 140720787914576 140016817513632 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15313] ppid=15303 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15313/stat : 15313 (java) S 15303 15303 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106379104 14427463680 30272 33554432000 4194304 4196468 140720787914576 140016816460528 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15314] ppid=15303 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15314/stat : 15314 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14427463680 30272 33554432000 4194304 4196468 140720787914576 140016815409104 140017906448283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15315] ppid=15303 vsize=14089320 memory=5408 CPUtime=0.36 cores=1,3,5,7
/proc/15305/task/15315/stat : 15315 (java) R 15303 15303 6396 0 -1 4202560 1845 0 0 0 36 0 0 0 20 0 15 0 106379107 14427463680 30272 33554432000 4194304 4196468 140720787914576 140016814344256 140017885779397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15316] ppid=15303 vsize=14089320 memory=1008 CPUtime=0.37 cores=1,3,5,7
/proc/15305/task/15316/stat : 15316 (java) R 15303 15303 6396 0 -1 4202560 1535 0 0 0 37 0 0 0 20 0 15 0 106379107 14427463680 30272 33554432000 4194304 4196468 140720787914576 140016813294800 140017886260921 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15317] ppid=15303 vsize=14089320 memory=9992 CPUtime=0.31 cores=1,3,5,7
/proc/15305/task/15317/stat : 15317 (java) S 15303 15303 6396 0 -1 1077944384 1817 0 0 0 31 0 0 0 20 0 15 0 106379107 14427463680 30272 33554432000 4194304 4196468 140720787914576 140016812251632 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15318] ppid=15303 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15318/stat : 15318 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14427463680 30272 33554432000 4194304 4196468 140720787914576 140016811199328 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15319] ppid=15303 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15319/stat : 15319 (java) S 15303 15303 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106379107 14427463680 30272 33554432000 4194304 4196468 140720787914576 140016810146352 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 122544 KiB

[startup+1.50083 s]
/proc/loadavg: 2.05 1.77 1.79 5/217 15319
/proc/meminfo: memFree=23541504/32770624 swapFree=67108860/67108860
[pid=15303] ppid=15300 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (xcsp3-exec) S 15300 15303 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106379101 115843072 364 33554432000 4194304 5098028 140721151937024 140721151935128 139905589949052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37302272 140721151939648 140721151939849 140721151939849 140721151942602 0
/proc/15303/statm: 28282 364 306 221 0 87 0

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

[pid=15305/tid=15311] ppid=15303 vsize=14091368 memory=531172 CPUtime=0.01 cores=1,3,5,7
/proc/15305/task/15311/stat : 15311 (java) S 15303 15303 6396 0 -1 1077944384 967 0 0 0 1 0 0 0 20 0 15 0 106379104 14429560832 132796 33554432000 4194304 4196468 140720787914576 140016818567408 140017906440834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15312] ppid=15303 vsize=14091368 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15312/stat : 15312 (java) S 15303 15303 6396 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 106379104 14429560832 132796 33554432000 4194304 4196468 140720787914576 140016817513696 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15313] ppid=15303 vsize=14091368 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15313/stat : 15313 (java) S 15303 15303 6396 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 106379104 14429560832 132796 33554432000 4194304 4196468 140720787914576 140016816460544 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15314] ppid=15303 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15314/stat : 15314 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14429560832 132796 33554432000 4194304 4196468 140720787914576 140016815409104 140017906448283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15315] ppid=15303 vsize=14091368 memory=1456 CPUtime=5.78 cores=1,3,5,7
/proc/15305/task/15315/stat : 15315 (java) S 15303 15303 6396 0 -1 1077944384 17025 0 0 0 576 2 0 0 20 0 15 0 106379107 14429560832 132796 33554432000 4194304 4196468 140720787914576 140016814357232 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15316] ppid=15303 vsize=14091368 memory=1292 CPUtime=5.89 cores=1,3,5,7
/proc/15305/task/15316/stat : 15316 (java) S 15303 15303 6396 0 -1 1077944384 25859 0 0 0 585 4 0 0 20 0 15 0 106379107 14429560832 132796 33554432000 4194304 4196468 140720787914576 140016813304688 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15317] ppid=15303 vsize=14091368 memory=2416 CPUtime=1.06 cores=1,3,5,7
/proc/15305/task/15317/stat : 15317 (java) S 15303 15303 6396 0 -1 1077944384 6889 0 0 0 103 3 0 0 20 0 15 0 106379107 14429560832 132796 33554432000 4194304 4196468 140720787914576 140016812251632 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15318] ppid=15303 vsize=14091368 memory=279582910407296 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15318/stat : 15318 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14429560832 132796 33554432000 4194304 4196468 140720787914576 140016811199328 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15319] ppid=15303 vsize=14091368 memory=279582909402256 CPUtime=0.05 cores=1,3,5,7
/proc/15305/task/15319/stat : 15319 (java) S 15303 15303 6396 0 -1 1077944384 807 0 0 0 2 3 0 0 20 0 15 0 106379107 14429560832 132796 33554432000 4194304 4196468 140720787914576 140016810146352 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
Current children cumulated CPU time: 115.58 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 532640 KiB

[startup+162.301 s]
/proc/loadavg: 1.97 1.91 1.85 3/217 15401
/proc/meminfo: memFree=23167924/32770624 swapFree=67108860/67108860
[pid=15303] ppid=15300 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (xcsp3-exec) S 15300 15303 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106379101 115843072 364 33554432000 4194304 5098028 140721151937024 140721151935128 139905589949052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37302272 140721151939648 140721151939849 140721151939849 140721151942602 0
/proc/15303/statm: 28282 364 306 221 0 87 0
[pid=15305] ppid=15303 vsize=14091368 memory=560348 CPUtime=175.68 cores=1,3,5,7
/proc/15305/stat : 15305 (java) S 15303 15303 6396 0 -1 1077944320 70152 0 0 0 17521 47 0 0 20 0 15 0 106379101 14429560832 140087 33554432000 4194304 4196468 140720787914576 140720787897120 140017906429687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
/proc/15305/statm: 3522842 140087 3431 1 0 3484036 0
[pid=15305/tid=15306] ppid=15303 vsize=14091368 memory=1456 CPUtime=162.04 cores=1,3,5,7
/proc/15305/task/15306/stat : 15306 (java) R 15303 15303 6396 0 -1 4202560 13762 0 0 0 16196 8 0 0 20 0 15 0 106379102 14429560832 140087 33554432000 4194304 4196468 140720787914576 140017910669368 140017503011187 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15307] ppid=15303 vsize=14091368 memory=560348 CPUtime=0.2 cores=1,3,5,7
/proc/15305/task/15307/stat : 15307 (java) S 15303 15303 6396 0 -1 1077944384 472 0 0 0 14 6 0 0 20 0 15 0 106379102 14429560832 140087 33554432000 4194304 4196468 140720787914576 140017821498384 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15308] ppid=15303 vsize=14091368 memory=531184 CPUtime=0.18 cores=1,3,5,7
/proc/15305/task/15308/stat : 15308 (java) S 15303 15303 6396 0 -1 1077944384 330 0 0 0 12 6 0 0 20 0 15 0 106379102 14429560832 140087 33554432000 4194304 4196468 140720787914576 140017820445840 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15309] ppid=15303 vsize=14091368 memory=531184 CPUtime=0.17 cores=1,3,5,7
/proc/15305/task/15309/stat : 15309 (java) S 15303 15303 6396 0 -1 1077944384 541 0 0 0 12 5 0 0 20 0 15 0 106379102 14429560832 140087 33554432000 4194304 4196468 140720787914576 140017819392784 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15310] ppid=15303 vsize=14091368 memory=531184 CPUtime=0.2 cores=1,3,5,7
/proc/15305/task/15310/stat : 15310 (java) S 15303 15303 6396 0 -1 1077944384 1309 0 0 0 14 6 0 0 20 0 15 0 106379102 14429560832 140087 33554432000 4194304 4196468 140720787914576 140017818340240 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15311] ppid=15303 vsize=14091368 memory=560348 CPUtime=0.01 cores=1,3,5,7
/proc/15305/task/15311/stat : 15311 (java) S 15303 15303 6396 0 -1 1077944384 1183 0 0 0 1 0 0 0 20 0 15 0 106379104 14429560832 140087 33554432000 4194304 4196468 140720787914576 140016818567408 140017906440834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15312] ppid=15303 vsize=14091368 memory=560348 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15312/stat : 15312 (java) S 15303 15303 6396 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 106379104 14429560832 140087 33554432000 4194304 4196468 140720787914576 140016817513696 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15313] ppid=15303 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15313/stat : 15313 (java) S 15303 15303 6396 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106379104 14429560832 140087 33554432000 4194304 4196468 140720787914576 140016816460544 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15314] ppid=15303 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15314/stat : 15314 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14429560832 140087 33554432000 4194304 4196468 140720787914576 140016815409104 140017906448283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15315] ppid=15303 vsize=14091368 memory=531184 CPUtime=5.78 cores=1,3,5,7
/proc/15305/task/15315/stat : 15315 (java) S 15303 15303 6396 0 -1 1077944384 17029 0 0 0 576 2 0 0 20 0 15 0 106379107 14429560832 140087 33554432000 4194304 4196468 140720787914576 140016814357232 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15316] ppid=15303 vsize=14091368 memory=1456 CPUtime=5.89 cores=1,3,5,7
/proc/15305/task/15316/stat : 15316 (java) S 15303 15303 6396 0 -1 1077944384 25861 0 0 0 585 4 0 0 20 0 15 0 106379107 14429560832 140087 33554432000 4194304 4196468 140720787914576 140016813304688 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15317] ppid=15303 vsize=14091368 memory=1456 CPUtime=1.06 cores=1,3,5,7
/proc/15305/task/15317/stat : 15317 (java) S 15303 15303 6396 0 -1 1077944384 7459 0 0 0 103 3 0 0 20 0 15 0 106379107 14429560832 140087 33554432000 4194304 4196468 140720787914576 140016812251632 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15318] ppid=15303 vsize=14091368 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15318/stat : 15318 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14429560832 140087 33554432000 4194304 4196468 140720787914576 140016811199328 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15319] ppid=15303 vsize=14091368 memory=4124 CPUtime=0.08 cores=1,3,5,7
/proc/15305/task/15319/stat : 15319 (java) S 15303 15303 6396 0 -1 1077944384 845 0 0 0 3 5 0 0 20 0 15 0 106379107 14429560832 140087 33554432000 4194304 4196468 140720787914576 140016810146352 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
Current children cumulated CPU time: 175.68 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 561804 KiB

[startup+222.301 s]
/proc/loadavg: 1.92 1.91 1.85 3/217 15402
/proc/meminfo: memFree=23158632/32770624 swapFree=67108860/67108860
[pid=15303] ppid=15300 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (xcsp3-exec) S 15300 15303 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106379101 115843072 364 33554432000 4194304 5098028 140721151937024 140721151935128 139905589949052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37302272 140721151939648 140721151939849 140721151939849 140721151942602 0
/proc/15303/statm: 28282 364 306 221 0 87 0
[pid=15305] ppid=15303 vsize=14091368 memory=560352 CPUtime=235.72 cores=1,3,5,7
/proc/15305/stat : 15305 (java) S 15303 15303 6396 0 -1 1077944320 70918 0 0 0 23523 49 0 0 20 0 15 0 106379101 14429560832 140088 33554432000 4194304 4196468 140720787914576 140720787897120 140017906429687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
/proc/15305/statm: 3522842 140088 3431 1 0 3484036 0
[pid=15305/tid=15306] ppid=15303 vsize=14091368 memory=560352 CPUtime=222.04 cores=1,3,5,7
/proc/15305/task/15306/stat : 15306 (java) R 15303 15303 6396 0 -1 4202560 14129 0 0 0 22196 8 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017910668520 140017502739548 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15307] ppid=15303 vsize=14091368 memory=1456 CPUtime=0.2 cores=1,3,5,7
/proc/15305/task/15307/stat : 15307 (java) S 15303 15303 6396 0 -1 1077944384 472 0 0 0 14 6 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017821498384 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15308] ppid=15303 vsize=14091368 memory=1456 CPUtime=0.18 cores=1,3,5,7
/proc/15305/task/15308/stat : 15308 (java) S 15303 15303 6396 0 -1 1077944384 330 0 0 0 12 6 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017820445840 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15309] ppid=15303 vsize=14091368 memory=4128 CPUtime=0.17 cores=1,3,5,7
/proc/15305/task/15309/stat : 15309 (java) S 15303 15303 6396 0 -1 1077944384 541 0 0 0 12 5 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017819392784 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15310] ppid=15303 vsize=14091368 memory=1456 CPUtime=0.2 cores=1,3,5,7
/proc/15305/task/15310/stat : 15310 (java) S 15303 15303 6396 0 -1 1077944384 1309 0 0 0 14 6 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017818340240 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15311] ppid=15303 vsize=14091368 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/15305/task/15311/stat : 15311 (java) S 15303 15303 6396 0 -1 1077944384 1185 0 0 0 1 0 0 0 20 0 15 0 106379104 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016818567408 140017906440834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15312] ppid=15303 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15312/stat : 15312 (java) S 15303 15303 6396 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 106379104 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016817513696 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15313] ppid=15303 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15313/stat : 15313 (java) S 15303 15303 6396 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106379104 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016816460544 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15314] ppid=15303 vsize=14091368 memory=560352 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15314/stat : 15314 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016815409104 140017906448283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15315] ppid=15303 vsize=14091368 memory=30260 CPUtime=5.78 cores=1,3,5,7
/proc/15305/task/15315/stat : 15315 (java) S 15303 15303 6396 0 -1 1077944384 17029 0 0 0 576 2 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016814357232 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15316] ppid=15303 vsize=14091368 memory=1292 CPUtime=5.89 cores=1,3,5,7
/proc/15305/task/15316/stat : 15316 (java) S 15303 15303 6396 0 -1 1077944384 25861 0 0 0 585 4 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016813304688 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15317] ppid=15303 vsize=14091368 memory=2416 CPUtime=1.06 cores=1,3,5,7
/proc/15305/task/15317/stat : 15317 (java) S 15303 15303 6396 0 -1 1077944384 7845 0 0 0 103 3 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016812251632 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15318] ppid=15303 vsize=14091368 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15318/stat : 15318 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016811199328 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15319] ppid=15303 vsize=14091368 memory=1704 CPUtime=0.11 cores=1,3,5,7
/proc/15305/task/15319/stat : 15319 (java) S 15303 15303 6396 0 -1 1077944384 856 0 0 0 4 7 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016810146352 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
Current children cumulated CPU time: 235.72 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 561808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+238.601 s]
/proc/loadavg: 1.94 1.92 1.86 3/217 15403
/proc/meminfo: memFree=23157640/32770624 swapFree=67108860/67108860
[pid=15303] ppid=15300 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15303/stat : 15303 (xcsp3-exec) S 15300 15303 6396 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106379101 115843072 364 33554432000 4194304 5098028 140721151937024 140721151935128 139905589949052 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37302272 140721151939648 140721151939849 140721151939849 140721151942602 0
/proc/15303/statm: 28282 364 306 221 0 87 0
[pid=15305] ppid=15303 vsize=14091368 memory=560352 CPUtime=252.03 cores=1,3,5,7
/proc/15305/stat : 15305 (java) S 15303 15303 6396 0 -1 1077944320 71260 0 0 0 25154 49 0 0 20 0 15 0 106379101 14429560832 140088 33554432000 4194304 4196468 140720787914576 140720787897120 140017906429687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
/proc/15305/statm: 3522842 140088 3431 1 0 3484036 0
[pid=15305/tid=15306] ppid=15303 vsize=14091368 memory=560352 CPUtime=238.33 cores=1,3,5,7
/proc/15305/task/15306/stat : 15306 (java) R 15303 15303 6396 0 -1 4202560 14155 0 0 0 23825 8 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017910668296 140017504229513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15307] ppid=15303 vsize=14091368 memory=1404 CPUtime=0.2 cores=1,3,5,7
/proc/15305/task/15307/stat : 15307 (java) S 15303 15303 6396 0 -1 1077944384 472 0 0 0 14 6 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017821498384 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15308] ppid=15303 vsize=14091368 memory=3036 CPUtime=0.18 cores=1,3,5,7
/proc/15305/task/15308/stat : 15308 (java) S 15303 15303 6396 0 -1 1077944384 330 0 0 0 12 6 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017820445840 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15309] ppid=15303 vsize=14091368 memory=1452 CPUtime=0.17 cores=1,3,5,7
/proc/15305/task/15309/stat : 15309 (java) S 15303 15303 6396 0 -1 1077944384 541 0 0 0 12 5 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017819392784 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15310] ppid=15303 vsize=14091368 memory=217932 CPUtime=0.2 cores=1,3,5,7
/proc/15305/task/15310/stat : 15310 (java) S 15303 15303 6396 0 -1 1077944384 1309 0 0 0 14 6 0 0 20 0 15 0 106379102 14429560832 140088 33554432000 4194304 4196468 140720787914576 140017818340240 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15311] ppid=15303 vsize=14091368 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/15305/task/15311/stat : 15311 (java) S 15303 15303 6396 0 -1 1077944384 1185 0 0 0 1 0 0 0 20 0 15 0 106379104 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016818567408 140017906440834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15312] ppid=15303 vsize=14091368 memory=560352 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15312/stat : 15312 (java) S 15303 15303 6396 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 106379104 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016817513696 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15313] ppid=15303 vsize=14091368 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15313/stat : 15313 (java) S 15303 15303 6396 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106379104 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016816460544 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15314] ppid=15303 vsize=14091368 memory=840 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15314/stat : 15314 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016815409104 140017906448283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15315] ppid=15303 vsize=14091368 memory=1796 CPUtime=5.78 cores=1,3,5,7
/proc/15305/task/15315/stat : 15315 (java) S 15303 15303 6396 0 -1 1077944384 17031 0 0 0 576 2 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016814357232 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15316] ppid=15303 vsize=14091368 memory=916 CPUtime=5.89 cores=1,3,5,7
/proc/15305/task/15316/stat : 15316 (java) S 15303 15303 6396 0 -1 1077944384 25863 0 0 0 585 4 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016813304688 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15317] ppid=15303 vsize=14091368 memory=3848 CPUtime=1.07 cores=1,3,5,7
/proc/15305/task/15317/stat : 15317 (java) S 15303 15303 6396 0 -1 1077944384 8157 0 0 0 104 3 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016812251632 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15318] ppid=15303 vsize=14091368 memory=2768 CPUtime=0 cores=1,3,5,7
/proc/15305/task/15318/stat : 15318 (java) S 15303 15303 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016811199328 140017906439893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
[pid=15305/tid=15319] ppid=15303 vsize=14091368 memory=2732 CPUtime=0.13 cores=1,3,5,7
/proc/15305/task/15319/stat : 15319 (java) S 15303 15303 6396 0 -1 1077944384 856 0 0 0 5 8 0 0 20 0 15 0 106379107 14429560832 140088 33554432000 4194304 4196468 140720787914576 140016810146352 140017906440834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10215424 140720787915916 140720787916086 140720787916086 140720787918799 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 561808 KiB

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

[startup+238.618 s]
# the end of solver process 15303 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.554 s, system=0.505326 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 238.618
CPU time (s): 252.059
CPU user time (s): 251.554
CPU system time (s): 0.505326
CPU usage (%): 105.633
Max. virtual memory (cumulated for all children) (KiB): 14206576
Max. memory (cumulated for all children) (KiB): 561808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.554
system time used= 0.505326
maximum resident set size= 560932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8962
involuntary context switches= 126


# summary of solver processes directly reported to runsolver:
#   pid: 15303
#   total CPU time (s): 252.059
#   total CPU user time (s): 251.554
#   total CPU system time (s): 0.505326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.07352 second user time and 1.76379 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	14558
Best CPU time to get the best result obtained on this benchmark	252.059
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 4302083

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