2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	15022	20050.7	2520.13

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297432-1532726003.xml"  -tl '20160s' -p 8
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297432-1532726003.xml, -tl, 20160s, -p, 8]
0.12/0.21	c 8 solvers in parallel
0.34/0.28	c parse instance...
34.47/10.80	c solve instance...
89.11/17.77	o 16265 
89.80/17.80	o 16207 
89.80/17.80	o 16164 
89.80/17.82	o 16138 
161.95/26.91	o 16051 
161.95/26.92	o 15948 
369.92/53.05	o 15859 
420.00/59.37	o 15766 
640.00/86.96	o 15704 
640.84/87.01	o 15690 
640.84/87.03	o 15659 
640.84/87.05	o 15635 
644.57/87.50	o 15594 
644.57/87.51	o 15582 
653.23/88.67	o 15545 
653.23/88.67	o 15542 
787.94/105.56	o 15258 
787.94/105.57	o 15250 
788.67/105.66	o 15211 
797.41/106.77	o 15190 
798.93/106.95	o 15151 
803.72/107.51	o 15121 
2745.30/350.93	o 15109 
2762.07/353.05	o 15102 
2762.07/353.08	o 15088 
2764.40/353.32	o 15080 
2764.40/353.36	o 15073 
2783.39/355.71	o 15022 
20049.92/2520.09	s SATISFIABLE
20049.92/2520.09	v <instantiation>
20049.92/2520.09	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>
20049.92/2520.09	v 	<values>4 8 5 7 3 12 13 2 8 1 2 1 11 6 4 10 9 3 12 9 11 10 6 5 13 7 3 4 13 12 12 10 11 6 11 0 7 0 2 5 2 8 6 5 10 4 9 13 3 8 7 9 10 11 8 10 13 3 12 0 12 7 0 11 1 4 1 3 4 13 7 5 6 8 9 6 9 5 1 10 6 11 0 2 8 7 13 9 9 4 6 7 5 2 8 0 13 10 4 11 1 12 5 12 0 1 10 8 11 5 7 13 5 8 12 3 9 2 0 11 2 9 6 1 3 12 7 13 10 6 11 12 0 6 10 4 6 8 4 11 8 13 7 1 3 9 12 1 9 2 13 7 10 0 3 2 8 13 3 5 9 13 5 1 7 12 11 10 3 0 7 12 1 10 4 11 2 9 0 2 8 4 12 9 11 0 8 9 4 3 6 2 1 8 5 3 6 13 10 11 2 13 12 5 4 10 1 0 6 0 2 4 7 11 3 5 0 4 5 7 13 9 9 1 3 12 11 12 10 2 13 1 6 10 13 7 12 13 6 7 10 11 10 3 3 12 4 8 8 5 0 4 5 0 1 6 2 11 2 1 2 3 4 2 5 1 9 12 9 13 13 6 12 11 11 0 7 6 1 3 8 0 5 7 4 8 5 2 7 3 4 8 1 9 1 5 6 2 0 10 10 4 13 7 8 6 0 3 12 9 12 13 7 5 9 1 1 0 2 10 2 6 4 9 10 13 13 6 5 8 0 8 7 4 11 3 11 3 9 6 1 9 2 6 0 4 3 10 10 5 8 12 12 7 11 2 3 7 5 1 8 4 0 11 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 48 48 44 14 34 0 15 15 0 0 10 10 44 18 36 51 51 57 57 55 10 55 39 75 59 0 0 31 31 55 55 65 10 64 0 10 10 0 22 22 0 46 31 27 40 0 0 64 50 32 44 79 43 55 10 69 53 61 50 80 48 0 0 15 15 0 0 22 22 45 45 56 48 27 56 49 49 0 0 0 32 65 75 47 0 0 68 81 41 50 67 55 51 0 0 47 47 34 34 0 0 66 66 0 41 94 80 36 36 74 74 0 35 48 41 91 21 21 0 55 49 45 70 70 0 0 31 32 80 73 0 0 18 18 44 105 57 39 0 0 27 27 35 35 42 42 0 40 32 41 0 0 81 81 75 41 69 51 0 50 50 31 104 92 27 27 0 0 39 39 0 70 10 69 47 59 90 88 0 18 18 0 69 51 15 56 0 0 90 90 0 0 81 68 79 0 59 56 22 44 48 41 14 0 69 10 67 41 41 0 64 64 0 44 44 0 0 0 21 21 69 69 42 39 48 0 81 41 93 68 0 68 80 81 0 73 55 53 46 39 31 0 93 41 79 0 69 69 103 10 105 67 67 30 30 0 68 42 81 55 55 51 10 43 0 0 49 49 0 0 0 0 55 50 51 0 101 30 93 66 0 0 10 10 55 55 75 39 32 69 0 0 69 64 21 73 0 0 67 14 51 70 0 0 64 40 44 58 15 55 10 10 69 69 69 31 70 0 105 30 105 0 0 0 0 30 30 55 10 57 0 48 56 18 73 101 66 90 0 94 94 0 81 81 90 0 80 66 105 0 0 0 64 43 93 92 44 59 0 0 66 51 75 0 90 90 41 61 47 50 0 0 104 21 91 69 69 </values>
20049.92/2520.09	v </instantiation>
20049.92/2520.09	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 (11676 MiB free)
  memory of node 1: 16384 MiB (15863 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297432-1532726003/watcher-4297432-1532726003 -o /tmp/evaluation-result-4297432-1532726003/solver-4297432-1532726003 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532723481-23117 --watchdog 2580 HOME/xcsp3-exec -seed 843606885 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297432-1532726003.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23423, runsolver pid=23420
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 8.16 8.28 8.26 2/200 23444
/proc/meminfo: memFree=28183956/32770624 swapFree=67108860/67108860
[pid=23423] ppid=23420 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23423/stat : 23423 (xcsp3-exec) S 23420 23423 23090 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90163508 115843072 364 33554432000 4194304 5098028 140729812362992 140729812361096 140542854750844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28524544 140729812370486 140729812370688 140729812370688 140729812373450 0
/proc/23423/statm: 28282 364 306 221 0 87 0
[pid=23425] ppid=23423 vsize=26104152 memory=27496 CPUtime=0.12 cores=0-7
/proc/23425/stat : 23425 (java) S 23423 23423 23090 0 -1 1077944320 5655 0 0 0 11 1 0 0 20 0 20 0 90163508 26730651648 6874 33554432000 4194304 4196468 140736003641824 140736003624368 139989804867319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
/proc/23425/statm: 6526038 6874 3064 1 0 6488315 0
[pid=23425/tid=23426] ppid=23423 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/23425/task/23426/stat : 23426 (java) R 23423 23423 23090 0 -1 4202560 3671 0 0 0 8 0 0 0 20 0 20 0 90163508 26730651648 6874 33554432000 4194304 4196468 140736003641824 139989809100592 139989788910949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23427] ppid=23423 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23425/task/23427/stat : 23427 (java) S 23423 23423 23090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 6874 33554432000 4194304 4196468 140736003641824 139989363588112 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23428] ppid=23423 vsize=26104152 memory=139885829019264 CPUtime=0 cores=0-7
/proc/23425/task/23428/stat : 23428 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 6874 33554432000 4194304 4196468 140736003641824 139989362535568 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23429] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23429/stat : 23429 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 6874 33554432000 4194304 4196468 140736003641824 139989361482512 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23430] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23430/stat : 23430 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 6874 33554432000 4194304 4196468 140736003641824 139989360429968 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23431] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23431/stat : 23431 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 6874 33554432000 4194304 4196468 140736003641824 139989359376912 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23432] ppid=23423 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23425/task/23432/stat : 23432 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 6874 33554432000 4194304 4196468 140736003641824 139989358324368 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23433] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23433/stat : 23433 (java) S 23423 23423 23090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 6874 33554432000 4194304 4196468 140736003641824 139989357271312 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23434] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23434/stat : 23434 (java) S 23423 23423 23090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 6874 33554432000 4194304 4196468 140736003641824 139989356218768 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23435] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23435/stat : 23435 (java) S 23423 23423 23090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90163510 26730651648 6874 33554432000 4194304 4196468 140736003641824 139988009188080 139989804878466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23436] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23436/stat : 23436 (java) S 23423 23423 23090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90163511 26730651648 6874 33554432000 4194304 4196468 140736003641824 139988008134304 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23437] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23437/stat : 23437 (java) S 23423 23423 23090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90163511 26730651648 6874 33554432000 4194304 4196468 140736003641824 139988007081200 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23438] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23438/stat : 23438 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163513 26730651648 6874 33554432000 4194304 4196468 140736003641824 139988006029776 139989804885915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23439] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23439/stat : 23439 (java) S 23423 23423 23090 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 20 0 90163513 26730651648 6874 33554432000 4194304 4196468 140736003641824 139988004976880 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23440] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23440/stat : 23440 (java) S 23423 23423 23090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90163514 26730651648 6874 33554432000 4194304 4196468 140736003641824 139988003924336 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23441] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23441/stat : 23441 (java) R 23423 23423 23090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90163514 26730651648 6874 33554432000 4194304 4196468 140736003641824 139988002871280 139989804878466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23442] ppid=23423 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/23425/task/23442/stat : 23442 (java) R 23423 23423 23090 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 90163514 26730651648 6874 33554432000 4194304 4196468 140736003641824 139988001818736 139989788947806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23443] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23443/stat : 23443 (java) S 23423 23423 23090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90163514 26730651648 6874 33554432000 4194304 4196468 140736003641824 139988000766944 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23444] ppid=23423 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23425/task/23444/stat : 23444 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163514 26730651648 6874 33554432000 4194304 4196468 140736003641824 139987999714480 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28952 KiB

[startup+0.209856 s]*
/proc/loadavg: 8.16 8.28 8.26 3/200 23444
/proc/meminfo: memFree=28172528/32770624 swapFree=67108860/67108860
[pid=23423] ppid=23420 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23423/stat : 23423 (xcsp3-exec) S 23420 23423 23090 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90163508 115843072 364 33554432000 4194304 5098028 140729812362992 140729812361096 140542854750844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28524544 140729812370486 140729812370688 140729812370688 140729812373450 0
/proc/23423/statm: 28282 364 306 221 0 87 0
[pid=23425] ppid=23423 vsize=26104152 memory=39240 CPUtime=0.34 cores=0-7
/proc/23425/stat : 23425 (java) S 23423 23423 23090 0 -1 1077944320 8462 0 0 0 32 2 0 0 20 0 20 0 90163508 26730651648 9810 33554432000 4194304 4196468 140736003641824 140736003624368 139989804867319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
/proc/23425/statm: 6526038 9810 3167 1 0 6488315 0
[pid=23425/tid=23426] ppid=23423 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23425/task/23426/stat : 23426 (java) R 23423 23423 23090 0 -1 4202560 5578 0 0 0 18 1 0 0 20 0 20 0 90163508 26730651648 9810 33554432000 4194304 4196468 140736003641824 139989809106240 139989788910949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23427] ppid=23423 vsize=26104152 memory=327 CPUtime=0 cores=0-7
/proc/23425/task/23427/stat : 23427 (java) S 23423 23423 23090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 9810 33554432000 4194304 4196468 140736003641824 139989363588112 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23428] ppid=23423 vsize=26104152 memory=139885829533278 CPUtime=0 cores=0-7
/proc/23425/task/23428/stat : 23428 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 9810 33554432000 4194304 4196468 140736003641824 139989362535568 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23429] ppid=23423 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23425/task/23429/stat : 23429 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 9810 33554432000 4194304 4196468 140736003641824 139989361482512 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23430] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23430/stat : 23430 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 9810 33554432000 4194304 4196468 140736003641824 139989360429968 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23431] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23431/stat : 23431 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 9810 33554432000 4194304 4196468 140736003641824 139989359376912 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23432] ppid=23423 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23425/task/23432/stat : 23432 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 9810 33554432000 4194304 4196468 140736003641824 139989358324368 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23433] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23433/stat : 23433 (java) S 23423 23423 23090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 9810 33554432000 4194304 4196468 140736003641824 139989357271312 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23434] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23434/stat : 23434 (java) S 23423 23423 23090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90163509 26730651648 9810 33554432000 4194304 4196468 140736003641824 139989356218768 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23435] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23435/stat : 23435 (java) S 23423 23423 23090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90163510 26730651648 9810 33554432000 4194304 4196468 140736003641824 139988009188080 139989804878466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23436] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23436/stat : 23436 (java) S 23423 23423 23090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90163511 26730651648 9810 33554432000 4194304 4196468 140736003641824 139988008134304 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23437] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23437/stat : 23437 (java) S 23423 23423 23090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90163511 26730651648 9810 33554432000 4194304 4196468 140736003641824 139988007081200 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23438] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23438/stat : 23438 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163513 26730651648 9810 33554432000 4194304 4196468 140736003641824 139988006029776 139989804885915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23439] ppid=23423 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/23425/task/23439/stat : 23439 (java) S 23423 23423 23090 0 -1 1077944384 584 0 0 0 1 0 0 0 20 0 20 0 90163513 26730651648 9810 33554432000 4194304 4196468 140736003641824 139988004976880 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23440] ppid=23423 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/23425/task/23440/stat : 23440 (java) S 23423 23423 23090 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 90163514 26730651648 9810 33554432000 4194304 4196468 140736003641824 139988003924336 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23441] ppid=23423 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/23425/task/23441/stat : 23441 (java) S 23423 23423 23090 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 20 0 90163514 26730651648 9810 33554432000 4194304 4196468 140736003641824 139988002871280 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23442] ppid=23423 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/23425/task/23442/stat : 23442 (java) R 23423 23423 23090 0 -1 4202560 777 0 0 0 7 0 0 0 20 0 20 0 90163514 26730651648 9810 33554432000 4194304 4196468 140736003641824 139988001818736 139989804888666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23443] ppid=23423 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23443/stat : 23443 (java) S 23423 23423 23090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90163514 26730651648 9810 33554432000 4194304 4196468 140736003641824 139988000766944 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23444] ppid=23423 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/23425/task/23444/stat : 23444 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163514 26730651648 9810 33554432000 4194304 4196468 140736003641824 139987999714480 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40696 KiB

[startup+0.309559 s]*
/proc/loadavg: 7.67 8.17 8.23 5/200 23444
/proc/meminfo: memFree=28166448/32770624 swapFree=67108860/67108860
[pid=23423] ppid=23420 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23423/stat : 23423 (xcsp3-exec) S 23420 23423 23090 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90163508 115843072 364 33554432000 4194304 5098028 140729812362992 140729812361096 140542854750844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28524544 140729812370486 140729812370688 140729812370688 140729812373450 0
/proc/23423/statm: 28282 364 306 221 0 87 0
[pid=23425] ppid=23423 vsize=26108408 memory=46568 CPUtime=0.52 cores=0-7
/proc/23425/stat : 23425 (java) S 23423 23423 23090 0 -1 1077944320 9348 0 0 0 49 3 0 0 20 0 20 0 90163508 26735009792 11642 33554432000 4194304 4196468 140736003641824 140736003624368 139989804867319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
/proc/23425/statm: 6527102 11642 3263 1 0 6488315 0
[pid=23425/tid=23426] ppid=23423 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23425/task/23426/stat : 23426 (java) R 23423 23423 23090 0 -1 4202560 6258 0 0 0 27 2 0 0 20 0 20 0 90163508 26735009792 11642 33554432000 4194304 4196468 140736003641824 139989809096992 139989804889245 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23427] ppid=23423 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23427/stat : 23427 (java) S 23423 23423 23090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90163509 26735009792 11642 33554432000 4194304 4196468 140736003641824 139989363588112 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23428] ppid=23423 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23428/stat : 23428 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26735009792 11642 33554432000 4194304 4196468 140736003641824 139989362535568 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23429] ppid=23423 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23429/stat : 23429 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26735009792 11642 33554432000 4194304 4196468 140736003641824 139989361482512 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23430] ppid=23423 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23430/stat : 23430 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26735009792 11642 33554432000 4194304 4196468 140736003641824 139989360429968 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23431] ppid=23423 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/23425/task/23431/stat : 23431 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26735009792 11642 33554432000 4194304 4196468 140736003641824 139989359376912 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23432] ppid=23423 vsize=26108408 memory=139885675639727 CPUtime=0 cores=0-7
/proc/23425/task/23432/stat : 23432 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26735009792 11642 33554432000 4194304 4196468 140736003641824 139989358324368 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23433] ppid=23423 vsize=26108408 memory=139885675642032 CPUtime=0 cores=0-7
/proc/23425/task/23433/stat : 23433 (java) S 23423 23423 23090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90163509 26735009792 11642 33554432000 4194304 4196468 140736003641824 139989357271312 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23434] ppid=23423 vsize=26108408 memory=139885675644336 CPUtime=0 cores=0-7
/proc/23425/task/23434/stat : 23434 (java) S 23423 23423 23090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90163509 26735009792 11642 33554432000 4194304 4196468 140736003641824 139989356218768 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23435] ppid=23423 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23435/stat : 23435 (java) S 23423 23423 23090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90163510 26735009792 11642 33554432000 4194304 4196468 140736003641824 139988009188080 139989804878466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23436] ppid=23423 vsize=26108408 memory=279771351295632 CPUtime=0 cores=0-7
/proc/23425/task/23436/stat : 23436 (java) S 23423 23423 23090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90163511 26735009792 11642 33554432000 4194304 4196468 140736003641824 139988008134304 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23437] ppid=23423 vsize=26108408 memory=279771351302544 CPUtime=0 cores=0-7
/proc/23425/task/23437/stat : 23437 (java) S 23423 23423 23090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90163511 26735009792 11642 33554432000 4194304 4196468 140736003641824 139988007081200 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23438] ppid=23423 vsize=26108408 memory=279771351243792 CPUtime=0 cores=0-7
/proc/23425/task/23438/stat : 23438 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163513 26735009792 11642 33554432000 4194304 4196468 140736003641824 139988006029776 139989804885915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23439] ppid=23423 vsize=26108408 memory=279771351316368 CPUtime=0.03 cores=0-7
/proc/23425/task/23439/stat : 23439 (java) R 23423 23423 23090 0 -1 4202560 687 0 0 0 3 0 0 0 20 0 20 0 90163513 26735009792 11642 33554432000 4194304 4196468 140736003641824 139988004967264 139989786388770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23440] ppid=23423 vsize=26108408 memory=279771351323280 CPUtime=0.02 cores=0-7
/proc/23425/task/23440/stat : 23440 (java) S 23423 23423 23090 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 20 0 90163514 26735009792 11642 33554432000 4194304 4196468 140736003641824 139988003924336 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23441] ppid=23423 vsize=26108408 memory=279771351320976 CPUtime=0.03 cores=0-7
/proc/23425/task/23441/stat : 23441 (java) S 23423 23423 23090 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 20 0 90163514 26735009792 11642 33554432000 4194304 4196468 140736003641824 139988002871280 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23442] ppid=23423 vsize=26108408 memory=279771351337136 CPUtime=0.12 cores=0-7
/proc/23425/task/23442/stat : 23442 (java) S 23423 23423 23090 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 20 0 90163514 26735009792 11642 33554432000 4194304 4196468 140736003641824 139988001818736 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23443] ppid=23423 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23443/stat : 23443 (java) S 23423 23423 23090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90163514 26735009792 11642 33554432000 4194304 4196468 140736003641824 139988000766944 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23444] ppid=23423 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/23425/task/23444/stat : 23444 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163514 26735009792 11642 33554432000 4194304 4196468 140736003641824 139987999714480 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48024 KiB

[startup+0.700913 s]
/proc/loadavg: 7.67 8.17 8.23 4/200 23444
/proc/meminfo: memFree=28141636/32770624 swapFree=67108860/67108860
[pid=23423] ppid=23420 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23423/stat : 23423 (xcsp3-exec) S 23420 23423 23090 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90163508 115843072 364 33554432000 4194304 5098028 140729812362992 140729812361096 140542854750844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28524544 140729812370486 140729812370688 140729812370688 140729812373450 0
/proc/23423/statm: 28282 364 306 221 0 87 0
[pid=23425] ppid=23423 vsize=26110532 memory=128204 CPUtime=1.95 cores=0-7
/proc/23425/stat : 23425 (java) S 23423 23423 23090 0 -1 1077944320 13938 0 0 0 190 5 0 0 20 0 20 0 90163508 26737184768 32051 33554432000 4194304 4196468 140736003641824 140736003624368 139989804867319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
/proc/23425/statm: 6527633 32051 3359 1 0 6488827 0
[pid=23425/tid=23426] ppid=23423 vsize=26110532 memory=279771351695024 CPUtime=0.67 cores=0-7
/proc/23425/task/23426/stat : 23426 (java) R 23423 23423 23090 0 -1 4202560 6812 0 0 0 64 3 0 0 20 0 20 0 90163508 26737184768 32051 33554432000 4194304 4196468 140736003641824 139989809102560 139989445664960 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23427] ppid=23423 vsize=26110532 memory=139885675848560 CPUtime=0 cores=0-7
/proc/23425/task/23427/stat : 23427 (java) S 23423 23423 23090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90163509 26737184768 32051 33554432000 4194304 4196468 140736003641824 139989363588112 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23428] ppid=23423 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/23425/task/23428/stat : 23428 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26737184768 32051 33554432000 4194304 4196468 140736003641824 139989362535568 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23429] ppid=23423 vsize=26110532 memory=1020 CPUtime=0 cores=0-7
/proc/23425/task/23429/stat : 23429 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90163509 26737184768 32051 33554432000 4194304 4196468 140736003641824 139989361482512 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0

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

[pid=23425/tid=23676] ppid=23423 vsize=26645092 memory=4101820 CPUtime=2085.15 cores=0-7
/proc/23425/task/23676/stat : 23676 (java) R 23423 23423 23090 0 -1 4202560 17275 0 0 0 208494 21 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987985863352 139989455494383 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
Current children cumulated CPU time: 19430 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4103276 KiB

[startup+2502.3 s]
/proc/loadavg: 8.32 8.22 8.24 9/209 23726
/proc/meminfo: memFree=24102400/32770624 swapFree=67108860/67108860
[pid=23423] ppid=23420 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23423/stat : 23423 (xcsp3-exec) S 23420 23423 23090 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90163508 115843072 364 33554432000 4194304 5098028 140729812362992 140729812361096 140542854750844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28524544 140729812370486 140729812370688 140729812370688 140729812373450 0
/proc/23423/statm: 28282 364 306 221 0 87 0
[pid=23425] ppid=23423 vsize=26645092 memory=4101820 CPUtime=19908.6 cores=0-7
/proc/23425/stat : 23425 (java) S 23423 23423 23090 0 -1 1077944320 534259 0 0 0 1989572 1292 0 0 20 0 28 0 90163508 27284574208 1025455 33554432000 4194304 4196468 140736003641824 140736003624368 139989804867319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
/proc/23425/statm: 6661273 1025455 3470 1 0 6622467 0
[pid=23425/tid=23426] ppid=23423 vsize=26645092 memory=4101820 CPUtime=8.7 cores=0-7
/proc/23425/task/23426/stat : 23426 (java) S 23423 23423 23090 0 -1 1077944384 12734 0 0 0 851 19 0 0 20 0 28 0 90163508 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989809108096 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23427] ppid=23423 vsize=26645092 memory=4101820 CPUtime=3.67 cores=0-7
/proc/23425/task/23427/stat : 23427 (java) S 23423 23423 23090 0 -1 1077944384 6630 0 0 0 275 92 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989363588112 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23428] ppid=23423 vsize=26645092 memory=4101820 CPUtime=3.71 cores=0-7
/proc/23425/task/23428/stat : 23428 (java) S 23423 23423 23090 0 -1 1077944384 6125 0 0 0 274 97 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989362535568 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23429] ppid=23423 vsize=26645092 memory=1456 CPUtime=3.67 cores=0-7
/proc/23425/task/23429/stat : 23429 (java) S 23423 23423 23090 0 -1 1077944384 6739 0 0 0 271 96 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989361482512 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23430] ppid=23423 vsize=26645092 memory=1456 CPUtime=3.73 cores=0-7
/proc/23425/task/23430/stat : 23430 (java) S 23423 23423 23090 0 -1 1077944384 6880 0 0 0 278 95 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989360429968 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23431] ppid=23423 vsize=26645092 memory=3472328296227679313 CPUtime=3.73 cores=0-7
/proc/23425/task/23431/stat : 23431 (java) S 23423 23423 23090 0 -1 1077944384 6758 0 0 0 275 98 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989359376912 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23432] ppid=23423 vsize=26645092 memory=8747226831578988619 CPUtime=3.71 cores=0-7
/proc/23425/task/23432/stat : 23432 (java) S 23423 23423 23090 0 -1 1077944384 6602 0 0 0 277 94 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989358324368 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23433] ppid=23423 vsize=26645092 memory=1456 CPUtime=3.72 cores=0-7
/proc/23425/task/23433/stat : 23433 (java) S 23423 23423 23090 0 -1 1077944384 7035 0 0 0 273 99 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989357271312 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23434] ppid=23423 vsize=26645092 memory=4101820 CPUtime=3.72 cores=0-7
/proc/23425/task/23434/stat : 23434 (java) S 23423 23423 23090 0 -1 1077944384 5686 0 0 0 277 95 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989356218768 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23435] ppid=23423 vsize=26645092 memory=1456 CPUtime=0.16 cores=0-7
/proc/23425/task/23435/stat : 23435 (java) S 23423 23423 23090 0 -1 1077944384 9184 0 0 0 13 3 0 0 20 0 28 0 90163510 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988009188080 139989804878466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23436] ppid=23423 vsize=26645092 memory=4140 CPUtime=0 cores=0-7
/proc/23425/task/23436/stat : 23436 (java) S 23423 23423 23090 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 90163511 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988008134368 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23437] ppid=23423 vsize=26645092 memory=496 CPUtime=0 cores=0-7
/proc/23425/task/23437/stat : 23437 (java) S 23423 23423 23090 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 90163511 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988007081216 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23438] ppid=23423 vsize=26645092 memory=928 CPUtime=0 cores=0-7
/proc/23425/task/23438/stat : 23438 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90163513 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988006029776 139989804885915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23439] ppid=23423 vsize=26645092 memory=10368 CPUtime=6.46 cores=0-7
/proc/23425/task/23439/stat : 23439 (java) S 23423 23423 23090 0 -1 1077944384 27655 0 0 0 640 6 0 0 20 0 28 0 90163513 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988004976880 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23440] ppid=23423 vsize=26645092 memory=1696 CPUtime=6.93 cores=0-7
/proc/23425/task/23440/stat : 23440 (java) S 23423 23423 23090 0 -1 1077944384 29907 0 0 0 688 5 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988003924336 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23441] ppid=23423 vsize=26645092 memory=1456 CPUtime=6.1 cores=0-7
/proc/23425/task/23441/stat : 23441 (java) S 23423 23423 23090 0 -1 1077944384 36403 0 0 0 603 7 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988002871280 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23442] ppid=23423 vsize=26645092 memory=4101820 CPUtime=1.57 cores=0-7
/proc/23425/task/23442/stat : 23442 (java) S 23423 23423 23090 0 -1 1077944384 27360 0 0 0 151 6 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988001818736 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23443] ppid=23423 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/23425/task/23443/stat : 23443 (java) S 23423 23423 23090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988000766944 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23444] ppid=23423 vsize=26645092 memory=4101820 CPUtime=1.18 cores=0-7
/proc/23425/task/23444/stat : 23444 (java) S 23423 23423 23090 0 -1 1077944384 4882 0 0 0 59 59 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987999714480 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23669] ppid=23423 vsize=26645092 memory=1456 CPUtime=2138.92 cores=0-7
/proc/23425/task/23669/stat : 23669 (java) R 23423 23423 23090 0 -1 4202560 10988 0 0 0 213872 20 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987983756424 139989445836044 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23670] ppid=23423 vsize=26645092 memory=1456 CPUtime=2145.02 cores=0-7
/proc/23425/task/23670/stat : 23670 (java) R 23423 23423 23090 0 -1 4202560 10242 0 0 0 214491 11 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987981652616 139989445834565 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23671] ppid=23423 vsize=26645092 memory=1456 CPUtime=2134.36 cores=0-7
/proc/23425/task/23671/stat : 23671 (java) R 23423 23423 23090 0 -1 4202560 13484 0 0 0 213417 19 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987986915384 139989445835491 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23672] ppid=23423 vsize=26645092 memory=1456 CPUtime=2145.1 cores=0-7
/proc/23425/task/23672/stat : 23672 (java) R 23423 23423 23090 0 -1 4202560 26482 0 0 0 214432 78 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987989023600 139989445837638 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23673] ppid=23423 vsize=26645092 memory=4101820 CPUtime=2126.84 cores=0-7
/proc/23425/task/23673/stat : 23673 (java) R 23423 23423 23090 0 -1 4202560 18696 0 0 0 212638 46 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987987967504 139989456320932 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23674] ppid=23423 vsize=26645092 memory=1456 CPUtime=2134.49 cores=0-7
/proc/23425/task/23674/stat : 23674 (java) R 23423 23423 23090 0 -1 4202560 10004 0 0 0 213435 14 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987984809784 139989456320954 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23675] ppid=23423 vsize=26645092 memory=1456 CPUtime=2145.05 cores=0-7
/proc/23425/task/23675/stat : 23675 (java) R 23423 23423 23090 0 -1 4202560 10358 0 0 0 214495 10 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987982705080 139989456320949 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23676] ppid=23423 vsize=26645092 memory=4101820 CPUtime=2145.14 cores=0-7
/proc/23425/task/23676/stat : 23676 (java) R 23423 23423 23090 0 -1 4202560 17769 0 0 0 214493 21 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987985863352 139989456320803 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
Current children cumulated CPU time: 19908.6 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4103276 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.54 8.28 8.26 9/209 23726
/proc/meminfo: memFree=24102608/32770624 swapFree=67108860/67108860
[pid=23423] ppid=23420 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23423/stat : 23423 (xcsp3-exec) S 23420 23423 23090 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90163508 115843072 364 33554432000 4194304 5098028 140729812362992 140729812361096 140542854750844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28524544 140729812370486 140729812370688 140729812370688 140729812373450 0
/proc/23423/statm: 28282 364 306 221 0 87 0
[pid=23425] ppid=23423 vsize=26645092 memory=4101820 CPUtime=20049.9 cores=0-7
/proc/23425/stat : 23425 (java) S 23423 23423 23090 0 -1 1077944320 534637 0 0 0 2003699 1293 0 0 20 0 28 0 90163508 27284574208 1025455 33554432000 4194304 4196468 140736003641824 140736003624368 139989804867319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
/proc/23425/statm: 6661273 1025455 3470 1 0 6622467 0
[pid=23425/tid=23426] ppid=23423 vsize=26645092 memory=6791534058613427641 CPUtime=8.7 cores=0-7
/proc/23425/task/23426/stat : 23426 (java) S 23423 23423 23090 0 -1 1077944384 12734 0 0 0 851 19 0 0 20 0 28 0 90163508 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989809108096 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23427] ppid=23423 vsize=26645092 memory=4872558044660077418 CPUtime=3.67 cores=0-7
/proc/23425/task/23427/stat : 23427 (java) S 23423 23423 23090 0 -1 1077944384 6630 0 0 0 275 92 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989363588112 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23428] ppid=23423 vsize=26645092 memory=26132 CPUtime=3.71 cores=0-7
/proc/23425/task/23428/stat : 23428 (java) S 23423 23423 23090 0 -1 1077944384 6125 0 0 0 274 97 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989362535568 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23429] ppid=23423 vsize=26645092 memory=2204 CPUtime=3.67 cores=0-7
/proc/23425/task/23429/stat : 23429 (java) S 23423 23423 23090 0 -1 1077944384 6739 0 0 0 271 96 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989361482512 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23430] ppid=23423 vsize=26645092 memory=1240 CPUtime=3.73 cores=0-7
/proc/23425/task/23430/stat : 23430 (java) S 23423 23423 23090 0 -1 1077944384 6880 0 0 0 278 95 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989360429968 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23431] ppid=23423 vsize=26645092 memory=1520 CPUtime=3.73 cores=0-7
/proc/23425/task/23431/stat : 23431 (java) S 23423 23423 23090 0 -1 1077944384 6758 0 0 0 275 98 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989359376912 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23432] ppid=23423 vsize=26645092 memory=6791534058613427641 CPUtime=3.71 cores=0-7
/proc/23425/task/23432/stat : 23432 (java) S 23423 23423 23090 0 -1 1077944384 6602 0 0 0 277 94 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989358324368 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23433] ppid=23423 vsize=26645092 memory=1408 CPUtime=3.72 cores=0-7
/proc/23425/task/23433/stat : 23433 (java) S 23423 23423 23090 0 -1 1077944384 7035 0 0 0 273 99 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989357271312 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23434] ppid=23423 vsize=26645092 memory=3872 CPUtime=3.72 cores=0-7
/proc/23425/task/23434/stat : 23434 (java) S 23423 23423 23090 0 -1 1077944384 5686 0 0 0 277 95 0 0 20 0 28 0 90163509 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139989356218768 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23435] ppid=23423 vsize=26645092 memory=1456 CPUtime=0.17 cores=0-7
/proc/23425/task/23435/stat : 23435 (java) S 23423 23423 23090 0 -1 1077944384 9184 0 0 0 13 4 0 0 20 0 28 0 90163510 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988009188080 139989804878466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23436] ppid=23423 vsize=26645092 memory=4101820 CPUtime=0 cores=0-7
/proc/23425/task/23436/stat : 23436 (java) S 23423 23423 23090 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 90163511 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988008134368 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23437] ppid=23423 vsize=26645092 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23425/task/23437/stat : 23437 (java) S 23423 23423 23090 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 90163511 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988007081216 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23438] ppid=23423 vsize=26645092 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23425/task/23438/stat : 23438 (java) S 23423 23423 23090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90163513 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988006029776 139989804885915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23439] ppid=23423 vsize=26645092 memory=2724 CPUtime=6.46 cores=0-7
/proc/23425/task/23439/stat : 23439 (java) S 23423 23423 23090 0 -1 1077944384 27655 0 0 0 640 6 0 0 20 0 28 0 90163513 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988004976880 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23440] ppid=23423 vsize=26645092 memory=6791534058613427641 CPUtime=6.93 cores=0-7
/proc/23425/task/23440/stat : 23440 (java) S 23423 23423 23090 0 -1 1077944384 29907 0 0 0 688 5 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988003924336 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23441] ppid=23423 vsize=26645092 memory=2204 CPUtime=6.1 cores=0-7
/proc/23425/task/23441/stat : 23441 (java) S 23423 23423 23090 0 -1 1077944384 36403 0 0 0 603 7 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988002871280 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23442] ppid=23423 vsize=26645092 memory=1240 CPUtime=1.57 cores=0-7
/proc/23425/task/23442/stat : 23442 (java) S 23423 23423 23090 0 -1 1077944384 27360 0 0 0 151 6 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988001818736 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23443] ppid=23423 vsize=26645092 memory=1696 CPUtime=0 cores=0-7
/proc/23425/task/23443/stat : 23443 (java) S 23423 23423 23090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139988000766944 139989804877525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23444] ppid=23423 vsize=26645092 memory=1172 CPUtime=1.18 cores=0-7
/proc/23425/task/23444/stat : 23444 (java) S 23423 23423 23090 0 -1 1077944384 4884 0 0 0 59 59 0 0 20 0 28 0 90163514 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987999714480 139989804878466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23669] ppid=23423 vsize=26645092 memory=1812 CPUtime=2156.62 cores=0-7
/proc/23425/task/23669/stat : 23669 (java) R 23423 23423 23090 0 -1 4202560 11053 0 0 0 215642 20 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987983756424 139989455229873 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23670] ppid=23423 vsize=26645092 memory=1020 CPUtime=2162.73 cores=0-7
/proc/23425/task/23670/stat : 23670 (java) R 23423 23423 23090 0 -1 4202560 10259 0 0 0 216261 12 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987981652616 139989456320932 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23671] ppid=23423 vsize=26645092 memory=5444 CPUtime=2152.07 cores=0-7
/proc/23425/task/23671/stat : 23671 (java) R 23423 23423 23090 0 -1 4202560 13510 0 0 0 215188 19 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987986915384 139989445834274 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23672] ppid=23423 vsize=26645092 memory=756 CPUtime=2162.81 cores=0-7
/proc/23425/task/23672/stat : 23672 (java) R 23423 23423 23090 0 -1 4202560 26658 0 0 0 216202 79 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987989023600 139989445835491 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23673] ppid=23423 vsize=26645092 memory=14572 CPUtime=2144.17 cores=0-7
/proc/23425/task/23673/stat : 23673 (java) R 23423 23423 23090 0 -1 4202560 18739 0 0 0 214371 46 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987987967504 139989456321839 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23674] ppid=23423 vsize=26645092 memory=12708 CPUtime=2152.19 cores=0-7
/proc/23425/task/23674/stat : 23674 (java) R 23423 23423 23090 0 -1 4202560 10023 0 0 0 215205 14 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987984809784 139989445835872 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23675] ppid=23423 vsize=26645092 memory=14788 CPUtime=2162.75 cores=0-7
/proc/23425/task/23675/stat : 23675 (java) R 23423 23423 23090 0 -1 4202560 10378 0 0 0 216265 10 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987982705080 139989445836086 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
[pid=23425/tid=23676] ppid=23423 vsize=26645092 memory=2324 CPUtime=2162.85 cores=0-7
/proc/23425/task/23676/stat : 23676 (java) R 23423 23423 23090 0 -1 4202560 17779 0 0 0 216264 21 0 0 20 0 28 0 90199080 27284574208 1025455 33554432000 4194304 4196468 140736003641824 139987985863352 139989445835332 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22990848 140736003650689 140736003650861 140736003650861 140736003653583 0
Current children cumulated CPU time: 20049.9 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4103276 KiB

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

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

[startup+2520.13 s]
# the end of solver process 23425 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20037.7 s, system=12.9635 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): 2520.13
CPU time (s): 20050.7
CPU user time (s): 20037.7
CPU system time (s): 12.9635
CPU usage (%): 795.621
Max. virtual memory (cumulated for all children) (KiB): 26760240
Max. memory (cumulated for all children) (KiB): 4103276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20037.7
system time used= 12.9635
maximum resident set size= 4102236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536931
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= 68449
involuntary context switches= 200377


# summary of solver processes directly reported to runsolver:
#   pid: 23423,23425
#   total CPU time (s): 20050.7
#   total CPU user time (s): 20037.7
#   total CPU system time (s): 12.9635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8735 second user time and 33.2314 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	15022
Best CPU time to get the best result obtained on this benchmark	20050.7
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 4297432

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