2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	14498	2400.07	2386.22

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292264-1532556150.xml"  -tl '2400s' -p 1 -x 0
0.11/0.17	c Choco 493a269
0.11/0.18	c [HOME/instance-4292264-1532556150.xml, -tl, 2400s, -p, 1, -x, 0]
0.11/0.21	c simple solver
0.33/0.28	c parse instance...
6.25/2.40	c solve instance...
18.75/8.84	o 15966 
46.23/35.16	o 15922 
46.45/35.31	o 15863 
51.84/40.34	o 15394 
51.84/40.36	o 15361 
51.84/40.39	o 15254 
51.94/40.42	o 15221 
52.56/41.10	o 15216 
55.77/44.26	o 15169 
56.08/44.50	o 15117 
63.51/51.98	o 15067 
63.51/52.00	o 15034 
63.62/52.04	o 14987 
63.62/52.06	o 14954 
64.52/52.90	o 14830 
64.63/53.02	o 14785 
64.63/53.07	o 14558 
924.12/911.48	o 14520 
924.23/911.50	o 14518 
969.45/956.65	o 14498 
2400.03/2386.20	s SATISFIABLE
2400.03/2386.20	v <instantiation>
2400.03/2386.20	v 	<list>o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] </list>
2400.03/2386.20	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>
2400.03/2386.20	v </instantiation>
2400.03/2386.20	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 (9691 MiB free)
  memory of node 1: 16384 MiB (9294 MiB free)
  node distances:
     10  21
     21  10

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=817, runsolver pid=814

[startup+0.10015 s]*
/proc/loadavg: 1.82 1.91 1.94 3/219 833
/proc/meminfo: memFree=19424952/32770624 swapFree=67108860/67108860
[pid=817] ppid=814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/817/stat : 817 (xcsp3-exec) S 814 817 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 73178158 115843072 363 33554432000 4194304 5098028 140723914646432 140723914644536 139995501191804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8916992 140723914654779 140723914654980 140723914654980 140723914657738 0
/proc/817/statm: 28282 363 305 221 0 87 0
[pid=819] ppid=817 vsize=14082840 memory=29000 CPUtime=0.11 cores=0,2,4,6
/proc/819/stat : 819 (java) S 817 817 27722 0 -1 1077944320 5585 0 0 0 10 1 0 0 20 0 15 0 73178158 14420828160 7250 33554432000 4194304 4196468 140721803392736 140721803375280 140404747325175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
/proc/819/statm: 3520710 7250 3002 1 0 3483008 0
[pid=819/tid=820] ppid=817 vsize=14082840 memory=7022364632946311227 CPUtime=0.09 cores=0,2,4,6
/proc/819/task/820/stat : 820 (java) R 817 817 27722 0 -1 4202560 3619 0 0 0 8 1 0 0 20 0 15 0 73178158 14420828160 7250 33554432000 4194304 4196468 140721803392736 140404751541328 140404747337110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=821] ppid=817 vsize=14082840 memory=4294979974 CPUtime=0 cores=0,2,4,6
/proc/819/task/821/stat : 821 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14420828160 7250 33554432000 4194304 4196468 140721803392736 140404699945744 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=822] ppid=817 vsize=14082840 memory=288370582816560768 CPUtime=0 cores=0,2,4,6
/proc/819/task/822/stat : 822 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14420828160 7250 33554432000 4194304 4196468 140721803392736 140404698893200 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=823] ppid=817 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/823/stat : 823 (java) S 817 817 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73178159 14420828160 7250 33554432000 4194304 4196468 140721803392736 140404697840656 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=824] ppid=817 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/819/task/824/stat : 824 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14420828160 7250 33554432000 4194304 4196468 140721803392736 140404696788112 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=825] ppid=817 vsize=14082840 memory=140206664849024 CPUtime=0 cores=0,2,4,6
/proc/819/task/825/stat : 825 (java) S 817 817 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73178160 14420828160 7250 33554432000 4194304 4196468 140721803392736 140403861071856 140404747336322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=826] ppid=817 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/819/task/826/stat : 826 (java) S 817 817 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73178161 14420828160 7250 33554432000 4194304 4196468 140721803392736 140403860018080 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=827] ppid=817 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/827/stat : 827 (java) S 817 817 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73178161 14420828160 7250 33554432000 4194304 4196468 140721803392736 140403858965488 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=828] ppid=817 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/828/stat : 828 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14420828160 7250 33554432000 4194304 4196468 140721803392736 140403857914064 140404747343771 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=829] ppid=817 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/829/stat : 829 (java) R 817 817 27722 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 73178164 14420828160 7250 33554432000 4194304 4196468 140721803392736 140403856861680 140404747336322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=830] ppid=817 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/819/task/830/stat : 830 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14420828160 7250 33554432000 4194304 4196468 140721803392736 140403855809136 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=831] ppid=817 vsize=14082840 memory=140206664849024 CPUtime=0.01 cores=0,2,4,6
/proc/819/task/831/stat : 831 (java) R 817 817 27722 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 15 0 73178164 14420828160 7250 33554432000 4194304 4196468 140721803392736 140403854756592 140404726294028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=832] ppid=817 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/819/task/832/stat : 832 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14420828160 7250 33554432000 4194304 4196468 140721803392736 140403853704288 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=833] ppid=817 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/833/stat : 833 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178164 14420828160 7250 33554432000 4194304 4196468 140721803392736 140403852650800 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30452 KiB

[startup+0.210943 s]*
/proc/loadavg: 1.82 1.91 1.94 4/219 833
/proc/meminfo: memFree=19414044/32770624 swapFree=67108860/67108860
[pid=817] ppid=814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/817/stat : 817 (xcsp3-exec) S 814 817 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 73178158 115843072 363 33554432000 4194304 5098028 140723914646432 140723914644536 139995501191804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8916992 140723914654779 140723914654980 140723914654980 140723914657738 0
/proc/817/statm: 28282 363 305 221 0 87 0
[pid=819] ppid=817 vsize=14082840 memory=41156 CPUtime=0.33 cores=0,2,4,6
/proc/819/stat : 819 (java) S 817 817 27722 0 -1 1077944320 8276 0 0 0 31 2 0 0 20 0 15 0 73178158 14420828160 10289 33554432000 4194304 4196468 140721803392736 140721803375280 140404747325175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
/proc/819/statm: 3520710 10289 3193 1 0 3483008 0
[pid=819/tid=820] ppid=817 vsize=14082840 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/819/task/820/stat : 820 (java) D 817 817 27722 0 -1 1077944384 5434 0 0 0 19 1 0 0 20 0 15 0 73178158 14420828160 10344 33554432000 4194304 4196468 140721803392736 140404751547320 140404749600455 0 4 0 16800975 18446744072101625380 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=821] ppid=817 vsize=14082840 memory=4294979974 CPUtime=0 cores=0,2,4,6
/proc/819/task/821/stat : 821 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14420828160 10344 33554432000 4194304 4196468 140721803392736 140404699945744 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=822] ppid=817 vsize=14082840 memory=288370582816560768 CPUtime=0 cores=0,2,4,6
/proc/819/task/822/stat : 822 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14420828160 10344 33554432000 4194304 4196468 140721803392736 140404698893200 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=823] ppid=817 vsize=14084956 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/823/stat : 823 (java) S 817 817 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73178159 14422994944 10344 33554432000 4194304 4196468 140721803392736 140404697840656 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=824] ppid=817 vsize=14084956 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/819/task/824/stat : 824 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14422994944 10344 33554432000 4194304 4196468 140721803392736 140404696788112 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=825] ppid=817 vsize=14084956 memory=140206664849024 CPUtime=0 cores=0,2,4,6
/proc/819/task/825/stat : 825 (java) S 817 817 27722 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73178160 14422994944 10344 33554432000 4194304 4196468 140721803392736 140403861071856 140404747336322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=826] ppid=817 vsize=14084956 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/819/task/826/stat : 826 (java) S 817 817 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73178161 14422994944 10344 33554432000 4194304 4196468 140721803392736 140403860018080 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=827] ppid=817 vsize=14084956 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/827/stat : 827 (java) S 817 817 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73178161 14422994944 10344 33554432000 4194304 4196468 140721803392736 140403858965488 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=828] ppid=817 vsize=14084956 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/828/stat : 828 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14422994944 10344 33554432000 4194304 4196468 140721803392736 140403857914064 140404747343771 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=829] ppid=817 vsize=14084956 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/819/task/829/stat : 829 (java) S 817 817 27722 0 -1 1077944384 727 0 0 0 3 0 0 0 20 0 15 0 73178164 14422994944 10344 33554432000 4194304 4196468 140721803392736 140403856861680 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=830] ppid=817 vsize=14084956 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/819/task/830/stat : 830 (java) S 817 817 27722 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 73178164 14422994944 10344 33554432000 4194304 4196468 140721803392736 140403855809136 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=831] ppid=817 vsize=14084956 memory=140206664849024 CPUtime=0.07 cores=0,2,4,6
/proc/819/task/831/stat : 831 (java) S 817 817 27722 0 -1 1077944384 756 0 0 0 7 0 0 0 20 0 15 0 73178164 14422994944 10344 33554432000 4194304 4196468 140721803392736 140403854756592 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=832] ppid=817 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/819/task/832/stat : 832 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14425186304 10347 33554432000 4194304 4196468 140721803392736 140403853704288 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=833] ppid=817 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/833/stat : 833 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178164 14425186304 10347 33554432000 4194304 4196468 140721803392736 140403852650800 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42608 KiB

[startup+0.314263 s]*
/proc/loadavg: 1.82 1.91 1.94 4/219 833
/proc/meminfo: memFree=19407220/32770624 swapFree=67108860/67108860
[pid=817] ppid=814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/817/stat : 817 (xcsp3-exec) S 814 817 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 73178158 115843072 363 33554432000 4194304 5098028 140723914646432 140723914644536 139995501191804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8916992 140723914654779 140723914654980 140723914654980 140723914657738 0
/proc/817/statm: 28282 363 305 221 0 87 0
[pid=819] ppid=817 vsize=14087096 memory=48544 CPUtime=0.52 cores=0,2,4,6
/proc/819/stat : 819 (java) S 817 817 27722 0 -1 1077944320 9246 0 0 0 50 2 0 0 20 0 15 0 73178158 14425186304 12136 33554432000 4194304 4196468 140721803392736 140721803375280 140404747325175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
/proc/819/statm: 3521774 12136 3246 1 0 3483008 0
[pid=819/tid=820] ppid=817 vsize=14087096 memory=1398720917958146503 CPUtime=0.3 cores=0,2,4,6
/proc/819/task/820/stat : 820 (java) R 817 817 27722 0 -1 4202560 6213 0 0 0 28 2 0 0 20 0 15 0 73178158 14425186304 12136 33554432000 4194304 4196468 140721803392736 140404751562000 140404731405662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=821] ppid=817 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/819/task/821/stat : 821 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14425186304 12136 33554432000 4194304 4196468 140721803392736 140404699945744 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=822] ppid=817 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/819/task/822/stat : 822 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14425186304 12136 33554432000 4194304 4196468 140721803392736 140404698893200 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=823] ppid=817 vsize=14087096 memory=-2895008908443675764 CPUtime=0 cores=0,2,4,6
/proc/819/task/823/stat : 823 (java) S 817 817 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73178159 14425186304 12136 33554432000 4194304 4196468 140721803392736 140404697840656 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=824] ppid=817 vsize=14087096 memory=-7176960581169618334 CPUtime=0 cores=0,2,4,6
/proc/819/task/824/stat : 824 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14425186304 12136 33554432000 4194304 4196468 140721803392736 140404696788112 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=825] ppid=817 vsize=14087096 memory=7234576917979478634 CPUtime=0 cores=0,2,4,6
/proc/819/task/825/stat : 825 (java) S 817 817 27722 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73178160 14425186304 12136 33554432000 4194304 4196468 140721803392736 140403861071856 140404747336322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=826] ppid=817 vsize=14087096 memory=-7025448733113094249 CPUtime=0 cores=0,2,4,6
/proc/819/task/826/stat : 826 (java) S 817 817 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73178161 14425186304 12136 33554432000 4194304 4196468 140721803392736 140403860018080 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=827] ppid=817 vsize=14087096 memory=3047711553320166262 CPUtime=0 cores=0,2,4,6
/proc/819/task/827/stat : 827 (java) S 817 817 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73178161 14425186304 12136 33554432000 4194304 4196468 140721803392736 140403858965488 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=828] ppid=817 vsize=14087096 memory=-7022969359889120089 CPUtime=0 cores=0,2,4,6
/proc/819/task/828/stat : 828 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14425186304 12136 33554432000 4194304 4196468 140721803392736 140403857914064 140404747343771 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=829] ppid=817 vsize=14087096 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/819/task/829/stat : 829 (java) S 817 817 27722 0 -1 1077944384 749 0 0 0 5 0 0 0 20 0 15 0 73178164 14425186304 12136 33554432000 4194304 4196468 140721803392736 140403856861680 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=830] ppid=817 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/819/task/830/stat : 830 (java) S 817 817 27722 0 -1 1077944384 213 0 0 0 4 0 0 0 20 0 15 0 73178164 14425186304 12136 33554432000 4194304 4196468 140721803392736 140403855809136 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=831] ppid=817 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/819/task/831/stat : 831 (java) S 817 817 27722 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 15 0 73178164 14425186304 12136 33554432000 4194304 4196468 140721803392736 140403854756592 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=832] ppid=817 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/832/stat : 832 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14425186304 12136 33554432000 4194304 4196468 140721803392736 140403853704288 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=833] ppid=817 vsize=14087096 memory=3467825809047630131 CPUtime=0 cores=0,2,4,6
/proc/819/task/833/stat : 833 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178164 14425186304 12136 33554432000 4194304 4196468 140721803392736 140403852650800 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49996 KiB

[startup+0.701131 s]
/proc/loadavg: 1.82 1.91 1.94 4/219 833
/proc/meminfo: memFree=19382532/32770624 swapFree=67108860/67108860
[pid=817] ppid=814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/817/stat : 817 (xcsp3-exec) S 814 817 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 73178158 115843072 363 33554432000 4194304 5098028 140723914646432 140723914644536 139995501191804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8916992 140723914654779 140723914654980 140723914654980 140723914657738 0
/proc/817/statm: 28282 363 305 221 0 87 0
[pid=819] ppid=817 vsize=14089220 memory=122020 CPUtime=1.76 cores=0,2,4,6
/proc/819/stat : 819 (java) S 817 817 27722 0 -1 1077944320 12837 0 0 0 171 5 0 0 20 0 15 0 73178158 14427361280 30505 33554432000 4194304 4196468 140721803392736 140721803375280 140404747325175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
/proc/819/statm: 3522305 30505 3334 1 0 3483520 0
[pid=819/tid=820] ppid=817 vsize=14089220 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/819/task/820/stat : 820 (java) R 817 817 27722 0 -1 4202560 6643 0 0 0 65 3 0 0 20 0 15 0 73178158 14427361280 30505 33554432000 4194304 4196468 140721803392736 140404751561184 140404377870753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=821] ppid=817 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/821/stat : 821 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14427361280 30505 33554432000 4194304 4196468 140721803392736 140404699945744 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=822] ppid=817 vsize=14089220 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/819/task/822/stat : 822 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14427361280 30505 33554432000 4194304 4196468 140721803392736 140404698893200 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=823] ppid=817 vsize=14089220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/819/task/823/stat : 823 (java) S 817 817 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73178159 14427361280 30505 33554432000 4194304 4196468 140721803392736 140404697840656 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=824] ppid=817 vsize=14089220 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/819/task/824/stat : 824 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178159 14427361280 30505 33554432000 4194304 4196468 140721803392736 140404696788112 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=825] ppid=817 vsize=14089220 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/819/task/825/stat : 825 (java) S 817 817 27722 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73178160 14427361280 30505 33554432000 4194304 4196468 140721803392736 140403861071856 140404747336322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=826] ppid=817 vsize=14089220 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/819/task/826/stat : 826 (java) S 817 817 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73178161 14427361280 30505 33554432000 4194304 4196468 140721803392736 140403860018080 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=827] ppid=817 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/819/task/827/stat : 827 (java) S 817 817 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73178161 14427361280 30505 33554432000 4194304 4196468 140721803392736 140403858965488 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=828] ppid=817 vsize=14089220 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/819/task/828/stat : 828 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14427361280 30505 33554432000 4194304 4196468 140721803392736 140403857914064 140404747343771 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=829] ppid=817 vsize=14089220 memory=1008 CPUtime=0.37 cores=0,2,4,6
/proc/819/task/829/stat : 829 (java) S 817 817 27722 0 -1 1077944384 1766 0 0 0 37 0 0 0 20 0 15 0 73178164 14427361280 30505 33554432000 4194304 4196468 140721803392736 140403856851504 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=830] ppid=817 vsize=14089220 memory=792 CPUtime=0.36 cores=0,2,4,6
/proc/819/task/830/stat : 830 (java) R 817 817 27722 0 -1 1077944384 1260 0 0 0 36 0 0 0 20 0 15 0 73178164 14427361280 30505 33554432000 4194304 4196468 140721803392736 140403855798736 140404747335381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=831] ppid=817 vsize=14089220 memory=1716 CPUtime=0.32 cores=0,2,4,6
/proc/819/task/831/stat : 831 (java) S 817 817 27722 0 -1 1077944384 1860 0 0 0 31 1 0 0 20 0 15 0 73178164 14427361280 30505 33554432000 4194304 4196468 140721803392736 140403854756592 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=832] ppid=817 vsize=14089220 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/819/task/832/stat : 832 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14427361280 30505 33554432000 4194304 4196468 140721803392736 140403853704288 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=833] ppid=817 vsize=14089220 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/819/task/833/stat : 833 (java) S 817 817 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73178164 14427361280 30505 33554432000 4194304 4196468 140721803392736 140403852650800 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 123472 KiB

[startup+1.51227 s]
/proc/loadavg: 1.82 1.91 1.94 5/219 833
/proc/meminfo: memFree=19300556/32770624 swapFree=67108860/67108860
[pid=817] ppid=814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/817/stat : 817 (xcsp3-exec) S 814 817 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 73178158 115843072 363 33554432000 4194304 5098028 140723914646432 140723914644536 139995501191804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8916992 140723914654779 140723914654980 140723914654980 140723914657738 0
/proc/817/statm: 28282 363 305 221 0 87 0

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

/proc/819/task/827/stat : 827 (java) S 817 817 27722 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 73178161 14429458432 585247 33554432000 4194304 4196468 140721803392736 140403858965488 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=828] ppid=817 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/828/stat : 828 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14429458432 585247 33554432000 4194304 4196468 140721803392736 140403857914064 140404747343771 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=829] ppid=817 vsize=14091268 memory=2340988 CPUtime=5.56 cores=0,2,4,6
/proc/819/task/829/stat : 829 (java) S 817 817 27722 0 -1 1077944384 27913 0 0 0 553 3 0 0 20 0 15 0 73178164 14429458432 585247 33554432000 4194304 4196468 140721803392736 140403856861680 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=830] ppid=817 vsize=14091268 memory=2340988 CPUtime=4.95 cores=0,2,4,6
/proc/819/task/830/stat : 830 (java) S 817 817 27722 0 -1 1077944384 21992 0 0 0 492 3 0 0 20 0 15 0 73178164 14429458432 585247 33554432000 4194304 4196468 140721803392736 140403855809136 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=831] ppid=817 vsize=14091268 memory=1452 CPUtime=1.09 cores=0,2,4,6
/proc/819/task/831/stat : 831 (java) S 817 817 27722 0 -1 1077944384 14436 0 0 0 106 3 0 0 20 0 15 0 73178164 14429458432 585247 33554432000 4194304 4196468 140721803392736 140403854756592 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=832] ppid=817 vsize=14091268 memory=2340988 CPUtime=0 cores=0,2,4,6
/proc/819/task/832/stat : 832 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14429458432 585247 33554432000 4194304 4196468 140721803392736 140403853704288 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=833] ppid=817 vsize=14091268 memory=22080 CPUtime=1.31 cores=0,2,4,6
/proc/819/task/833/stat : 833 (java) S 817 817 27722 0 -1 1077944384 1930 0 0 0 64 67 0 0 20 0 15 0 73178164 14429458432 585247 33554432000 4194304 4196468 140721803392736 140403852650800 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
Current children cumulated CPU time: 2276.05 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2342440 KiB

[startup+2322.3 s]
/proc/loadavg: 0.92 1.22 1.62 2/196 967
/proc/meminfo: memFree=18084492/32770624 swapFree=67108860/67108860
[pid=817] ppid=814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/817/stat : 817 (xcsp3-exec) S 814 817 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 73178158 115843072 363 33554432000 4194304 5098028 140723914646432 140723914644536 139995501191804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8916992 140723914654779 140723914654980 140723914654980 140723914657738 0
/proc/817/statm: 28282 363 305 221 0 87 0
[pid=819] ppid=817 vsize=14091268 memory=2347120 CPUtime=2336.11 cores=0,2,4,6
/proc/819/stat : 819 (java) S 817 817 27722 0 -1 1077944320 129753 0 0 0 233475 136 0 0 20 0 15 0 73178158 14429458432 586780 33554432000 4194304 4196468 140721803392736 140721803375280 140404747325175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
/proc/819/statm: 3522817 586780 3416 1 0 3484032 0
[pid=819/tid=820] ppid=817 vsize=14091268 memory=2347120 CPUtime=2321.88 cores=0,2,4,6
/proc/819/task/820/stat : 820 (java) R 817 817 27722 0 -1 4202560 48568 0 0 0 232151 37 0 0 20 0 15 0 73178158 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404751564624 140404387308290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=821] ppid=817 vsize=14091268 memory=2347120 CPUtime=0.27 cores=0,2,4,6
/proc/819/task/821/stat : 821 (java) S 817 817 27722 0 -1 1077944384 1179 0 0 0 19 8 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404699945744 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=822] ppid=817 vsize=14091268 memory=2347120 CPUtime=0.26 cores=0,2,4,6
/proc/819/task/822/stat : 822 (java) S 817 817 27722 0 -1 1077944384 2796 0 0 0 18 8 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404698893200 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=823] ppid=817 vsize=14091268 memory=1452 CPUtime=0.27 cores=0,2,4,6
/proc/819/task/823/stat : 823 (java) S 817 817 27722 0 -1 1077944384 2663 0 0 0 20 7 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404697840656 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=824] ppid=817 vsize=14091268 memory=4140 CPUtime=0.29 cores=0,2,4,6
/proc/819/task/824/stat : 824 (java) S 817 817 27722 0 -1 1077944384 2848 0 0 0 20 9 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404696788112 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=825] ppid=817 vsize=14091268 memory=22080 CPUtime=0.08 cores=0,2,4,6
/proc/819/task/825/stat : 825 (java) S 817 817 27722 0 -1 1077944384 4057 0 0 0 5 3 0 0 20 0 15 0 73178160 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403861071856 140404747336322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=826] ppid=817 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/819/task/826/stat : 826 (java) S 817 817 27722 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 73178161 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403860018144 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=827] ppid=817 vsize=14091268 memory=2340988 CPUtime=0 cores=0,2,4,6
/proc/819/task/827/stat : 827 (java) S 817 817 27722 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 73178161 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403858965488 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=828] ppid=817 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/819/task/828/stat : 828 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403857914064 140404747343771 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=829] ppid=817 vsize=14091268 memory=1452 CPUtime=5.56 cores=0,2,4,6
/proc/819/task/829/stat : 829 (java) S 817 817 27722 0 -1 1077944384 27913 0 0 0 553 3 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403856861680 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=830] ppid=817 vsize=14091268 memory=1428 CPUtime=4.95 cores=0,2,4,6
/proc/819/task/830/stat : 830 (java) S 817 817 27722 0 -1 1077944384 21992 0 0 0 492 3 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403855809136 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=831] ppid=817 vsize=14091268 memory=1196 CPUtime=1.09 cores=0,2,4,6
/proc/819/task/831/stat : 831 (java) S 817 817 27722 0 -1 1077944384 14436 0 0 0 106 3 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403854756592 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=832] ppid=817 vsize=14091268 memory=2347120 CPUtime=0 cores=0,2,4,6
/proc/819/task/832/stat : 832 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403853704288 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=833] ppid=817 vsize=14091268 memory=303148748257886234 CPUtime=1.34 cores=0,2,4,6
/proc/819/task/833/stat : 833 (java) S 817 817 27722 0 -1 1077944384 1937 0 0 0 67 67 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403852650800 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
Current children cumulated CPU time: 2336.11 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2348572 KiB

[startup+2382.3 s]
/proc/loadavg: 0.97 1.18 1.58 2/196 968
/proc/meminfo: memFree=18084440/32770624 swapFree=67108860/67108860
[pid=817] ppid=814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/817/stat : 817 (xcsp3-exec) S 814 817 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 73178158 115843072 363 33554432000 4194304 5098028 140723914646432 140723914644536 139995501191804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8916992 140723914654779 140723914654980 140723914654980 140723914657738 0
/proc/817/statm: 28282 363 305 221 0 87 0
[pid=819] ppid=817 vsize=14091268 memory=2347120 CPUtime=2396.13 cores=0,2,4,6
/proc/819/stat : 819 (java) S 817 817 27722 0 -1 1077944320 130537 0 0 0 239476 137 0 0 20 0 15 0 73178158 14429458432 586780 33554432000 4194304 4196468 140721803392736 140721803375280 140404747325175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
/proc/819/statm: 3522817 586780 3416 1 0 3484032 0
[pid=819/tid=820] ppid=817 vsize=14091268 memory=2347120 CPUtime=2381.87 cores=0,2,4,6
/proc/819/task/820/stat : 820 (java) R 817 817 27722 0 -1 4202560 49283 0 0 0 238150 37 0 0 20 0 15 0 73178158 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404751564624 140404385184975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=821] ppid=817 vsize=14091268 memory=2347120 CPUtime=0.27 cores=0,2,4,6
/proc/819/task/821/stat : 821 (java) S 817 817 27722 0 -1 1077944384 1179 0 0 0 19 8 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404699945744 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=822] ppid=817 vsize=14091268 memory=2347120 CPUtime=0.26 cores=0,2,4,6
/proc/819/task/822/stat : 822 (java) S 817 817 27722 0 -1 1077944384 2796 0 0 0 18 8 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404698893200 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=823] ppid=817 vsize=14091268 memory=2347120 CPUtime=0.27 cores=0,2,4,6
/proc/819/task/823/stat : 823 (java) S 817 817 27722 0 -1 1077944384 2663 0 0 0 20 7 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404697840656 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=824] ppid=817 vsize=14091268 memory=1452 CPUtime=0.29 cores=0,2,4,6
/proc/819/task/824/stat : 824 (java) S 817 817 27722 0 -1 1077944384 2848 0 0 0 20 9 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404696788112 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=825] ppid=817 vsize=14091268 memory=1452 CPUtime=0.08 cores=0,2,4,6
/proc/819/task/825/stat : 825 (java) S 817 817 27722 0 -1 1077944384 4062 0 0 0 5 3 0 0 20 0 15 0 73178160 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403861071856 140404747336322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=826] ppid=817 vsize=14091268 memory=2347120 CPUtime=0 cores=0,2,4,6
/proc/819/task/826/stat : 826 (java) S 817 817 27722 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 73178161 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403860018144 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=827] ppid=817 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/827/stat : 827 (java) S 817 817 27722 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 73178161 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403858965488 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=828] ppid=817 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/819/task/828/stat : 828 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403857914064 140404747343771 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=829] ppid=817 vsize=14091268 memory=2347120 CPUtime=5.56 cores=0,2,4,6
/proc/819/task/829/stat : 829 (java) S 817 817 27722 0 -1 1077944384 27916 0 0 0 553 3 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403856861680 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=830] ppid=817 vsize=14091268 memory=0 CPUtime=4.95 cores=0,2,4,6
/proc/819/task/830/stat : 830 (java) S 817 817 27722 0 -1 1077944384 22000 0 0 0 492 3 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403855809136 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=831] ppid=817 vsize=14091268 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/819/task/831/stat : 831 (java) S 817 817 27722 0 -1 1077944384 14440 0 0 0 107 3 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403854756592 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=832] ppid=817 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/819/task/832/stat : 832 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403853704288 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=833] ppid=817 vsize=14091268 memory=1452 CPUtime=1.38 cores=0,2,4,6
/proc/819/task/833/stat : 833 (java) S 817 817 27722 0 -1 1077944384 1986 0 0 0 69 69 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403852650800 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
Current children cumulated CPU time: 2396.13 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2348572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2386.2 s]
/proc/loadavg: 0.97 1.17 1.57 2/196 968
/proc/meminfo: memFree=18084440/32770624 swapFree=67108860/67108860
[pid=817] ppid=814 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/817/stat : 817 (xcsp3-exec) S 814 817 27722 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 73178158 115843072 363 33554432000 4194304 5098028 140723914646432 140723914644536 139995501191804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8916992 140723914654779 140723914654980 140723914654980 140723914657738 0
/proc/817/statm: 28282 363 305 221 0 87 0
[pid=819] ppid=817 vsize=14091268 memory=2347120 CPUtime=2400.03 cores=0,2,4,6
/proc/819/stat : 819 (java) S 817 817 27722 0 -1 1077944320 130547 0 0 0 239866 137 0 0 20 0 15 0 73178158 14429458432 586780 33554432000 4194304 4196468 140721803392736 140721803375280 140404747325175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
/proc/819/statm: 3522817 586780 3416 1 0 3484032 0
[pid=819/tid=820] ppid=817 vsize=14091268 memory=840 CPUtime=2385.77 cores=0,2,4,6
/proc/819/task/820/stat : 820 (java) R 817 817 27722 0 -1 4202560 49293 0 0 0 238540 37 0 0 20 0 15 0 73178158 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404751564624 140404385282253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=821] ppid=817 vsize=14091268 memory=1796 CPUtime=0.27 cores=0,2,4,6
/proc/819/task/821/stat : 821 (java) S 817 817 27722 0 -1 1077944384 1179 0 0 0 19 8 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404699945744 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=822] ppid=817 vsize=14091268 memory=288230574492221466 CPUtime=0.26 cores=0,2,4,6
/proc/819/task/822/stat : 822 (java) S 817 817 27722 0 -1 1077944384 2796 0 0 0 18 8 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404698893200 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=823] ppid=817 vsize=14091268 memory=288230583166042426 CPUtime=0.27 cores=0,2,4,6
/proc/819/task/823/stat : 823 (java) S 817 817 27722 0 -1 1077944384 2663 0 0 0 20 7 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404697840656 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=824] ppid=817 vsize=14091268 memory=15815586529674606 CPUtime=0.29 cores=0,2,4,6
/proc/819/task/824/stat : 824 (java) S 817 817 27722 0 -1 1077944384 2848 0 0 0 20 9 0 0 20 0 15 0 73178159 14429458432 586780 33554432000 4194304 4196468 140721803392736 140404696788112 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=825] ppid=817 vsize=14091268 memory=2574296024833 CPUtime=0.08 cores=0,2,4,6
/proc/819/task/825/stat : 825 (java) S 817 817 27722 0 -1 1077944384 4062 0 0 0 5 3 0 0 20 0 15 0 73178160 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403861071856 140404747336322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=826] ppid=817 vsize=14091268 memory=2587180926721 CPUtime=0 cores=0,2,4,6
/proc/819/task/826/stat : 826 (java) S 817 817 27722 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 73178161 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403860018144 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=827] ppid=817 vsize=14091268 memory=2664490338049 CPUtime=0 cores=0,2,4,6
/proc/819/task/827/stat : 827 (java) S 817 817 27722 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 73178161 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403858965488 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=828] ppid=817 vsize=14091268 memory=2797634324225 CPUtime=0 cores=0,2,4,6
/proc/819/task/828/stat : 828 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403857914064 140404747343771 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=829] ppid=817 vsize=14091268 memory=5666672478954 CPUtime=5.56 cores=0,2,4,6
/proc/819/task/829/stat : 829 (java) S 817 817 27722 0 -1 1077944384 27916 0 0 0 553 3 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403856861680 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=830] ppid=817 vsize=14091268 memory=5670967445994 CPUtime=4.95 cores=0,2,4,6
/proc/819/task/830/stat : 830 (java) S 817 817 27722 0 -1 1077944384 22000 0 0 0 492 3 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403855809136 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=831] ppid=817 vsize=14091268 memory=5683852347882 CPUtime=1.1 cores=0,2,4,6
/proc/819/task/831/stat : 831 (java) S 817 817 27722 0 -1 1077944384 14440 0 0 0 107 3 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403854756592 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=832] ppid=817 vsize=14091268 memory=5692442623722 CPUtime=0 cores=0,2,4,6
/proc/819/task/832/stat : 832 (java) S 817 817 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403853704288 140404747335381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
[pid=819/tid=833] ppid=817 vsize=14091268 memory=5692442282730 CPUtime=1.38 cores=0,2,4,6
/proc/819/task/833/stat : 833 (java) S 817 817 27722 0 -1 1077944384 1986 0 0 0 69 69 0 0 20 0 15 0 73178164 14429458432 586780 33554432000 4194304 4196468 140721803392736 140403852650800 140404747336322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140721803396225 140721803396401 140721803396401 140721803399119 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2348572 KiB

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

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

[startup+2386.22 s]
# the end of solver process 819 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.67 s, system=1.39533 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

Child status: 143
Real time (s): 2386.22
CPU time (s): 2400.07
CPU user time (s): 2398.67
CPU system time (s): 1.39533
CPU usage (%): 100.58
Max. virtual memory (cumulated for all children) (KiB): 14206292
Max. memory (cumulated for all children) (KiB): 2348572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.67
system time used= 1.39533
maximum resident set size= 2347552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55942
involuntary context switches= 2237


# summary of solver processes directly reported to runsolver:
#   pid: 817,819
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2398.67
#   total CPU system time (s): 1.39533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3779 second user time and 23.1773 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 4292264

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