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)	9584	20071.1	2520.13

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297431-1532726286.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297431-1532726286.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
19.49/5.98	c solve instance...
42.63/8.94	o 10928 
42.63/8.98	o 10904 
43.42/9.08	o 10863 
49.75/9.82	o 10739 
51.17/10.08	o 10716 
53.47/10.32	o 10709 
66.18/11.96	o 10695 
68.53/12.27	o 10688 
70.04/12.41	o 10681 
70.81/12.55	o 10674 
88.53/14.82	o 10636 
88.53/14.86	o 10572 
88.53/14.89	o 10558 
89.10/14.96	o 10546 
89.10/15.00	o 10474 
89.84/15.10	o 10448 
90.63/15.11	o 10436 
139.04/21.22	o 10415 
139.04/21.25	o 10103 
360.71/49.08	o 10065 
365.40/49.69	o 10055 
449.88/60.28	o 9994 
452.26/60.52	o 9930 
452.26/60.53	o 9899 
463.40/61.91	o 9898 
626.04/82.39	o 9858 
1022.34/132.02	o 9857 
1026.22/132.55	o 9785 
1029.14/132.95	o 9731 
1033.05/133.44	o 9702 
1037.88/134.05	o 9664 
1047.19/135.20	o 9663 
1047.96/135.36	o 9632 
1052.01/135.96	o 9614 
1060.82/137.13	o 9606 
1061.10/137.30	o 9584 
20070.24/2520.09	s SATISFIABLE
20070.24/2520.09	v <instantiation>
20070.24/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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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] </list>
20070.24/2520.09	v 	<values>1 10 4 6 2 1 3 7 11 9 8 11 10 5 3 6 2 4 8 9 7 5 0 4 11 4 6 0 8 10 7 10 2 3 8 6 5 7 5 11 9 2 9 3 3 7 5 3 0 6 11 11 10 7 1 8 9 4 8 4 0 10 6 1 5 9 2 8 7 2 11 9 0 4 5 6 5 1 6 10 0 11 9 7 4 8 10 1 10 1 0 1 9 7 9 3 8 11 10 5 5 2 6 2 11 0 3 7 6 8 6 9 2 7 10 11 10 6 3 8 3 4 4 0 1 8 1 9 7 11 2 0 5 11 9 0 1 2 7 5 9 3 11 10 3 1 4 0 8 8 2 10 4 7 11 2 3 5 8 4 6 0 1 2 9 9 11 8 10 1 10 3 5 4 0 6 9 3 10 11 7 10 1 9 4 5 0 2 1 7 2 5 6 6 0 3 11 4 8 5 6 10 4 3 4 8 6 0 7 7 2 11 11 10 3 5 1 0 1 2 4 0 8 9 5 8 5 1 2 1 4 6 0 3 7 9 7 2 11 6 3 11 7 6 1 8 3 5 2 2 0 4 6 0 7 9 9 3 4 1 10 5 8 10 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 10 10 36 18 44 0 34 14 44 51 51 55 10 51 39 0 15 15 48 48 0 0 0 0 31 31 0 0 10 10 65 69 44 0 0 46 31 27 40 0 64 105 49 22 32 32 47 14 48 50 15 15 0 58 10 55 22 22 49 55 21 53 0 0 56 56 0 0 0 0 0 0 47 58 105 67 51 35 27 47 32 32 0 34 34 0 14 14 68 73 69 0 0 0 0 31 43 55 0 0 21 69 10 74 35 35 18 56 45 36 34 14 64 0 0 0 0 0 48 48 44 10 75 27 0 41 51 35 0 0 42 46 43 81 0 50 15 39 27 27 0 0 39 22 56 59 69 69 70 10 69 47 0 44 48 31 0 0 18 18 0 67 67 14 14 81 21 64 0 0 56 49 79 0 0 69 65 44 0 48 48 44 44 59 68 67 69 73 0 0 46 46 0 42 39 15 53 81 81 0 0 31 31 0 69 70 21 0 81 27 69 0 0 55 21 68 0 0 79 79 0 105 10 69 67 0 51 10 22 49 74 36 55 103 81 42 73 0 0 65 65 0 0 69 69 0 69 56 55 75 75 10 10 0 70 39 46 69 0 58 58 55 55 0 0 67 79 105 66 51 70 10 51 44 0 0 </values>
20070.24/2520.09	v </instantiation>
20070.24/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 (9947 MiB free)
  memory of node 1: 16384 MiB (12779 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297431-1532726286/watcher-4297431-1532726286 -o /tmp/evaluation-result-4297431-1532726286/solver-4297431-1532726286 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532726286-26461 --watchdog 2580 HOME/xcsp3-exec -seed 1633728923 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297431-1532726286.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
Current StackSize limit: 8192 KiB

solver pid=26478, runsolver pid=26475

[startup+0.100113 s]*
/proc/loadavg: 8.46 8.29 8.25 2/199 26499
/proc/meminfo: memFree=23256804/32770624 swapFree=67108860/67108860
[pid=26478] ppid=26475 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26478/stat : 26478 (xcsp3-exec) S 26475 26478 26434 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90191778 115843072 363 33554432000 4194304 5098028 140728281845632 140728281843736 140414700974716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15126528 140728281846837 140728281847040 140728281847040 140728281849802 0
/proc/26478/statm: 28282 363 306 221 0 87 0
[pid=26480] ppid=26478 vsize=26104152 memory=27044 CPUtime=0.11 cores=0-7
/proc/26480/stat : 26480 (java) S 26478 26478 26434 0 -1 1077944320 5680 0 0 0 9 2 0 0 20 0 20 0 90191779 26730651648 6761 33554432000 4194304 4196468 140725801381824 140725801364368 140170459598583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
/proc/26480/statm: 6526038 6761 2995 1 0 6488315 0
[pid=26480/tid=26481] ppid=26478 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/26480/task/26481/stat : 26481 (java) R 26478 26478 26434 0 -1 4202560 3684 0 0 0 7 1 0 0 20 0 20 0 90191779 26730651648 6761 33554432000 4194304 4196468 140725801381824 140170463819392 140170443679070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26482] ppid=26478 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26480/task/26482/stat : 26482 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 6761 33554432000 4194304 4196468 140725801381824 140170420558992 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26483] ppid=26478 vsize=26104152 memory=140258828314240 CPUtime=0 cores=0-7
/proc/26480/task/26483/stat : 26483 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 6761 33554432000 4194304 4196468 140725801381824 140170419506192 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26484] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26484/stat : 26484 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 6761 33554432000 4194304 4196468 140725801381824 140170016242576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26485] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26485/stat : 26485 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 6761 33554432000 4194304 4196468 140725801381824 140170015189776 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26486] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26486/stat : 26486 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 6761 33554432000 4194304 4196468 140725801381824 140170014136976 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26487] ppid=26478 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/26480/task/26487/stat : 26487 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 6761 33554432000 4194304 4196468 140725801381824 140170013084176 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26488] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26488/stat : 26488 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 6761 33554432000 4194304 4196468 140725801381824 140170012031376 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26489] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26489/stat : 26489 (java) S 26478 26478 26434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 6761 33554432000 4194304 4196468 140725801381824 140170010978576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26490] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26490/stat : 26490 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191781 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169587067760 140170459609730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26491] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26491/stat : 26491 (java) S 26478 26478 26434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90191782 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169586013728 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26492] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26492/stat : 26492 (java) S 26478 26478 26434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90191782 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169584960880 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26493] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26493/stat : 26493 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191784 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169583909200 140170459617179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26494] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26494/stat : 26494 (java) S 26478 26478 26434 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 90191784 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169582856560 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26495] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26495/stat : 26495 (java) S 26478 26478 26434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90191784 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169581803760 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26496] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26496/stat : 26496 (java) S 26478 26478 26434 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 90191784 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169580750960 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26497] ppid=26478 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/26480/task/26497/stat : 26497 (java) R 26478 26478 26434 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 90191784 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169579698160 140170439565702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26498] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26498/stat : 26498 (java) S 26478 26478 26434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90191785 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169578646624 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26499] ppid=26478 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/26480/task/26499/stat : 26499 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191785 26730651648 6761 33554432000 4194304 4196468 140725801381824 140169577593904 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28496 KiB

[startup+0.210465 s]*
/proc/loadavg: 8.46 8.29 8.25 3/199 26499
/proc/meminfo: memFree=23244572/32770624 swapFree=67108860/67108860
[pid=26478] ppid=26475 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26478/stat : 26478 (xcsp3-exec) S 26475 26478 26434 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90191778 115843072 363 33554432000 4194304 5098028 140728281845632 140728281843736 140414700974716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15126528 140728281846837 140728281847040 140728281847040 140728281849802 0
/proc/26478/statm: 28282 363 306 221 0 87 0
[pid=26480] ppid=26478 vsize=26104152 memory=40088 CPUtime=0.33 cores=0-7
/proc/26480/stat : 26480 (java) S 26478 26478 26434 0 -1 1077944320 8545 0 0 0 30 3 0 0 20 0 20 0 90191779 26730651648 10022 33554432000 4194304 4196468 140725801381824 140725801364368 140170459598583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
/proc/26480/statm: 6526038 10022 3209 1 0 6488315 0
[pid=26480/tid=26481] ppid=26478 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26480/task/26481/stat : 26481 (java) R 26478 26478 26434 0 -1 4202560 5578 0 0 0 17 2 0 0 20 0 20 0 90191779 26730651648 10022 33554432000 4194304 4196468 140725801381824 140170463828304 140170459620509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26482] ppid=26478 vsize=26104152 memory=331 CPUtime=0 cores=0-7
/proc/26480/task/26482/stat : 26482 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 10022 33554432000 4194304 4196468 140725801381824 140170420558992 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26483] ppid=26478 vsize=26104152 memory=3906794361230681760 CPUtime=0 cores=0-7
/proc/26480/task/26483/stat : 26483 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 10022 33554432000 4194304 4196468 140725801381824 140170419506192 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26484] ppid=26478 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/26480/task/26484/stat : 26484 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 10022 33554432000 4194304 4196468 140725801381824 140170016242576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26485] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26485/stat : 26485 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 10022 33554432000 4194304 4196468 140725801381824 140170015189776 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26486] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26486/stat : 26486 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 10022 33554432000 4194304 4196468 140725801381824 140170014136976 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26487] ppid=26478 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/26480/task/26487/stat : 26487 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 10022 33554432000 4194304 4196468 140725801381824 140170013084176 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26488] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26488/stat : 26488 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 10022 33554432000 4194304 4196468 140725801381824 140170012031376 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26489] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26489/stat : 26489 (java) S 26478 26478 26434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90191780 26730651648 10022 33554432000 4194304 4196468 140725801381824 140170010978576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26490] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26490/stat : 26490 (java) S 26478 26478 26434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90191781 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169587067760 140170459609730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26491] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26491/stat : 26491 (java) S 26478 26478 26434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90191782 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169586013728 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26492] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26492/stat : 26492 (java) S 26478 26478 26434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90191782 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169584960880 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26493] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26493/stat : 26493 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191784 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169583909200 140170459617179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26494] ppid=26478 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/26480/task/26494/stat : 26494 (java) S 26478 26478 26434 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 90191784 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169582856560 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26495] ppid=26478 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/26480/task/26495/stat : 26495 (java) R 26478 26478 26434 0 -1 4202560 41 0 0 0 1 0 0 0 20 0 20 0 90191784 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169581803760 140170439517055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26496] ppid=26478 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/26480/task/26496/stat : 26496 (java) S 26478 26478 26434 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 20 0 90191784 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169580750960 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26497] ppid=26478 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/26480/task/26497/stat : 26497 (java) R 26478 26478 26434 0 -1 4202560 729 0 0 0 8 0 0 0 20 0 20 0 90191784 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169579698160 140170459610518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26498] ppid=26478 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26498/stat : 26498 (java) S 26478 26478 26434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90191785 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169578646624 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26499] ppid=26478 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/26480/task/26499/stat : 26499 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191785 26730651648 10022 33554432000 4194304 4196468 140725801381824 140169577593904 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41540 KiB

[startup+0.310529 s]*
/proc/loadavg: 8.46 8.29 8.25 3/199 26499
/proc/meminfo: memFree=23238864/32770624 swapFree=67108860/67108860
[pid=26478] ppid=26475 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26478/stat : 26478 (xcsp3-exec) S 26475 26478 26434 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90191778 115843072 363 33554432000 4194304 5098028 140728281845632 140728281843736 140414700974716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15126528 140728281846837 140728281847040 140728281847040 140728281849802 0
/proc/26478/statm: 28282 363 306 221 0 87 0
[pid=26480] ppid=26478 vsize=26108408 memory=46880 CPUtime=0.52 cores=0-7
/proc/26480/stat : 26480 (java) S 26478 26478 26434 0 -1 1077944320 9372 0 0 0 48 4 0 0 20 0 20 0 90191779 26735009792 11654 33554432000 4194304 4196468 140725801381824 140725801364368 140170459598583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
/proc/26480/statm: 6527102 11720 3251 1 0 6488315 0
[pid=26480/tid=26481] ppid=26478 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/26480/task/26481/stat : 26481 (java) R 26478 26478 26434 0 -1 4202560 6253 0 0 0 26 3 0 0 20 0 20 0 90191779 26735009792 11720 33554432000 4194304 4196468 140725801381824 140170463823808 140170443679070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26482] ppid=26478 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26482/stat : 26482 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26735009792 11720 33554432000 4194304 4196468 140725801381824 140170420558992 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26483] ppid=26478 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26483/stat : 26483 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26735009792 11720 33554432000 4194304 4196468 140725801381824 140170419506192 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26484] ppid=26478 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26484/stat : 26484 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26735009792 11720 33554432000 4194304 4196468 140725801381824 140170016242576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26485] ppid=26478 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26485/stat : 26485 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26735009792 11720 33554432000 4194304 4196468 140725801381824 140170015189776 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26486] ppid=26478 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/26480/task/26486/stat : 26486 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26735009792 11720 33554432000 4194304 4196468 140725801381824 140170014136976 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26487] ppid=26478 vsize=26108408 memory=140258666705839 CPUtime=0 cores=0-7
/proc/26480/task/26487/stat : 26487 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26735009792 11720 33554432000 4194304 4196468 140725801381824 140170013084176 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26488] ppid=26478 vsize=26108408 memory=140258666708144 CPUtime=0 cores=0-7
/proc/26480/task/26488/stat : 26488 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26735009792 11720 33554432000 4194304 4196468 140725801381824 140170012031376 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26489] ppid=26478 vsize=26108408 memory=140258666710448 CPUtime=0 cores=0-7
/proc/26480/task/26489/stat : 26489 (java) S 26478 26478 26434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90191780 26735009792 11730 33554432000 4194304 4196468 140725801381824 140170010978576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26490] ppid=26478 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26490/stat : 26490 (java) S 26478 26478 26434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90191781 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169587067760 140170459609730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26491] ppid=26478 vsize=26108408 memory=280517333427856 CPUtime=0 cores=0-7
/proc/26480/task/26491/stat : 26491 (java) S 26478 26478 26434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90191782 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169586013728 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26492] ppid=26478 vsize=26108408 memory=280517333434768 CPUtime=0 cores=0-7
/proc/26480/task/26492/stat : 26492 (java) S 26478 26478 26434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90191782 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169584960880 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26493] ppid=26478 vsize=26108408 memory=280517333376048 CPUtime=0 cores=0-7
/proc/26480/task/26493/stat : 26493 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191784 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169583909200 140170459617179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26494] ppid=26478 vsize=26108408 memory=280517333448592 CPUtime=0.02 cores=0-7
/proc/26480/task/26494/stat : 26494 (java) S 26478 26478 26434 0 -1 1077944384 485 0 0 0 2 0 0 0 20 0 20 0 90191784 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169582856560 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26495] ppid=26478 vsize=26108408 memory=280517333455504 CPUtime=0.03 cores=0-7
/proc/26480/task/26495/stat : 26495 (java) R 26478 26478 26434 0 -1 4202560 137 0 0 0 3 0 0 0 20 0 20 0 90191784 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169581784776 140170444724375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26496] ppid=26478 vsize=26108408 memory=280517333453200 CPUtime=0.02 cores=0-7
/proc/26480/task/26496/stat : 26496 (java) S 26478 26478 26434 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 20 0 90191784 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169580750960 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26497] ppid=26478 vsize=26108408 memory=280517333469360 CPUtime=0.12 cores=0-7
/proc/26480/task/26497/stat : 26497 (java) S 26478 26478 26434 0 -1 1077944384 782 0 0 0 12 0 0 0 20 0 20 0 90191784 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169579698160 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26498] ppid=26478 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26498/stat : 26498 (java) S 26478 26478 26434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90191785 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169578646624 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26499] ppid=26478 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/26480/task/26499/stat : 26499 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191785 26735009792 11730 33554432000 4194304 4196468 140725801381824 140169577593904 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48332 KiB

[startup+0.70098 s]
/proc/loadavg: 8.46 8.29 8.25 3/199 26499
/proc/meminfo: memFree=23217292/32770624 swapFree=67108860/67108860
[pid=26478] ppid=26475 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26478/stat : 26478 (xcsp3-exec) S 26475 26478 26434 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90191778 115843072 363 33554432000 4194304 5098028 140728281845632 140728281843736 140414700974716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15126528 140728281846837 140728281847040 140728281847040 140728281849802 0
/proc/26478/statm: 28282 363 306 221 0 87 0
[pid=26480] ppid=26478 vsize=26110532 memory=112032 CPUtime=1.94 cores=0-7
/proc/26480/stat : 26480 (java) S 26478 26478 26434 0 -1 1077944320 13919 0 0 0 189 5 0 0 20 0 20 0 90191779 26737184768 28008 33554432000 4194304 4196468 140725801381824 140725801364368 140170459598583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
/proc/26480/statm: 6527633 28008 3352 1 0 6488827 0
[pid=26480/tid=26481] ppid=26478 vsize=26110532 memory=280517333827248 CPUtime=0.67 cores=0-7
/proc/26480/task/26481/stat : 26481 (java) R 26478 26478 26434 0 -1 4202560 6860 0 0 0 63 4 0 0 20 0 20 0 90191779 26737184768 28008 33554432000 4194304 4196468 140725801381824 140170463832400 140170459622173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26482] ppid=26478 vsize=26110532 memory=140258666914672 CPUtime=0 cores=0-7
/proc/26480/task/26482/stat : 26482 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26737184768 28008 33554432000 4194304 4196468 140725801381824 140170420558992 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26483] ppid=26478 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/26480/task/26483/stat : 26483 (java) S 26478 26478 26434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90191780 26737184768 28008 33554432000 4194304 4196468 140725801381824 140170419506192 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26484] ppid=26478 vsize=26110532 memory=1012 CPUtime=0 cores=0-7
/proc/26480/task/26484/stat : 26484 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90191780 26737184768 28008 33554432000 4194304 4196468 140725801381824 140170016242576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0

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

[pid=26480/tid=26802] ppid=26478 vsize=26645092 memory=1452 CPUtime=2297.17 cores=0-7
/proc/26480/task/26802/stat : 26802 (java) R 26478 26478 26434 0 -1 4202560 9198 0 0 0 229704 13 0 0 20 0 28 0 90205509 27284574208 793856 33554432000 4194304 4196468 140725801381824 140169565659544 140170107746997 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
Current children cumulated CPU time: 19450.3 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 3176876 KiB

[startup+2502.3 s]
/proc/loadavg: 8.45 8.55 8.41 9/207 26843
/proc/meminfo: memFree=20101700/32770624 swapFree=67108860/67108860
[pid=26478] ppid=26475 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26478/stat : 26478 (xcsp3-exec) S 26475 26478 26434 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90191778 115843072 363 33554432000 4194304 5098028 140728281845632 140728281843736 140414700974716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15126528 140728281846837 140728281847040 140728281847040 140728281849802 0
/proc/26478/statm: 28282 363 306 221 0 87 0
[pid=26480] ppid=26478 vsize=26645092 memory=3176072 CPUtime=19929 cores=0-7
/proc/26480/stat : 26480 (java) S 26478 26478 26434 0 -1 1077944320 429194 0 0 0 1991818 1080 0 0 20 0 28 0 90191779 27284574208 794018 33554432000 4194304 4196468 140725801381824 140725801364368 140170459598583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
/proc/26480/statm: 6661273 794018 3473 1 0 6622467 0
[pid=26480/tid=26481] ppid=26478 vsize=26645092 memory=3176072 CPUtime=4.94 cores=0-7
/proc/26480/task/26481/stat : 26481 (java) S 26478 26478 26434 0 -1 1077944384 11409 0 0 0 482 12 0 0 20 0 28 0 90191779 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170463839360 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26482] ppid=26478 vsize=26645092 memory=1452 CPUtime=2.7 cores=0-7
/proc/26480/task/26482/stat : 26482 (java) S 26478 26478 26434 0 -1 1077944384 5288 0 0 0 192 78 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170420558992 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26483] ppid=26478 vsize=26645092 memory=3176072 CPUtime=2.69 cores=0-7
/proc/26480/task/26483/stat : 26483 (java) S 26478 26478 26434 0 -1 1077944384 4110 0 0 0 191 78 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170419506192 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26484] ppid=26478 vsize=26645092 memory=1452 CPUtime=2.72 cores=0-7
/proc/26480/task/26484/stat : 26484 (java) S 26478 26478 26434 0 -1 1077944384 3823 0 0 0 194 78 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170016242576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26485] ppid=26478 vsize=26645092 memory=3176072 CPUtime=2.7 cores=0-7
/proc/26480/task/26485/stat : 26485 (java) S 26478 26478 26434 0 -1 1077944384 4233 0 0 0 195 75 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170015189776 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26486] ppid=26478 vsize=26645092 memory=1452 CPUtime=2.69 cores=0-7
/proc/26480/task/26486/stat : 26486 (java) S 26478 26478 26434 0 -1 1077944384 5870 0 0 0 198 71 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170014136976 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26487] ppid=26478 vsize=26645092 memory=1452 CPUtime=2.69 cores=0-7
/proc/26480/task/26487/stat : 26487 (java) S 26478 26478 26434 0 -1 1077944384 4359 0 0 0 194 75 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170013084176 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26488] ppid=26478 vsize=26645092 memory=1452 CPUtime=2.68 cores=0-7
/proc/26480/task/26488/stat : 26488 (java) S 26478 26478 26434 0 -1 1077944384 3707 0 0 0 194 74 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170012031376 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26489] ppid=26478 vsize=26645092 memory=1452 CPUtime=2.65 cores=0-7
/proc/26480/task/26489/stat : 26489 (java) S 26478 26478 26434 0 -1 1077944384 5779 0 0 0 191 74 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170010978576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26490] ppid=26478 vsize=26645092 memory=3175864 CPUtime=0.29 cores=0-7
/proc/26480/task/26490/stat : 26490 (java) S 26478 26478 26434 0 -1 1077944384 14648 0 0 0 23 6 0 0 20 0 28 0 90191781 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169587067760 140170459609730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26491] ppid=26478 vsize=26645092 memory=4124 CPUtime=0 cores=0-7
/proc/26480/task/26491/stat : 26491 (java) S 26478 26478 26434 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 28 0 90191782 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169586013792 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26492] ppid=26478 vsize=26645092 memory=2200 CPUtime=0 cores=0-7
/proc/26480/task/26492/stat : 26492 (java) S 26478 26478 26434 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 90191782 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169584960896 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26493] ppid=26478 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/26480/task/26493/stat : 26493 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169583909200 140170459617179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26494] ppid=26478 vsize=26645092 memory=1452 CPUtime=6.54 cores=0-7
/proc/26480/task/26494/stat : 26494 (java) S 26478 26478 26434 0 -1 1077944384 29117 0 0 0 648 6 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169582856560 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26495] ppid=26478 vsize=26645092 memory=3175436 CPUtime=7.05 cores=0-7
/proc/26480/task/26495/stat : 26495 (java) S 26478 26478 26434 0 -1 1077944384 32694 0 0 0 701 4 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169581803760 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26496] ppid=26478 vsize=26645092 memory=26136 CPUtime=6.8 cores=0-7
/proc/26480/task/26496/stat : 26496 (java) S 26478 26478 26434 0 -1 1077944384 32146 0 0 0 672 8 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169580750960 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26497] ppid=26478 vsize=26645092 memory=1452 CPUtime=1.55 cores=0-7
/proc/26480/task/26497/stat : 26497 (java) S 26478 26478 26434 0 -1 1077944384 31142 0 0 0 149 6 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169579698160 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26498] ppid=26478 vsize=26645092 memory=4140 CPUtime=0 cores=0-7
/proc/26480/task/26498/stat : 26498 (java) S 26478 26478 26434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90191785 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169578646624 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26499] ppid=26478 vsize=26645092 memory=1452 CPUtime=1.15 cores=0-7
/proc/26480/task/26499/stat : 26499 (java) S 26478 26478 26434 0 -1 1077944384 4550 0 0 0 19 96 0 0 20 0 28 0 90191785 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169577593904 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26795] ppid=26478 vsize=26645092 memory=3176072 CPUtime=2362.81 cores=0-7
/proc/26480/task/26795/stat : 26795 (java) R 26478 26478 26434 0 -1 4202560 8119 0 0 0 236270 11 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169560394872 140170108220162 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26796] ppid=26478 vsize=26645092 memory=1452 CPUtime=2362.9 cores=0-7
/proc/26480/task/26796/stat : 26796 (java) R 26478 26478 26434 0 -1 4202560 11572 0 0 0 236282 8 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169562501384 140170107747366 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26797] ppid=26478 vsize=26645092 memory=1452 CPUtime=2350.67 cores=0-7
/proc/26480/task/26797/stat : 26797 (java) R 26478 26478 26434 0 -1 4202560 32027 0 0 0 235023 44 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169559343080 140170108871223 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26798] ppid=26478 vsize=26645092 memory=3175904 CPUtime=2351.62 cores=0-7
/proc/26480/task/26798/stat : 26798 (java) R 26478 26478 26434 0 -1 4202560 28357 0 0 0 235066 96 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169561448296 140170108220045 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26799] ppid=26478 vsize=26645092 memory=13044 CPUtime=2362.79 cores=0-7
/proc/26480/task/26799/stat : 26799 (java) R 26478 26478 26434 0 -1 4202560 20171 0 0 0 236237 42 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169564606184 140170108218700 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26800] ppid=26478 vsize=26645092 memory=8556 CPUtime=2355.4 cores=0-7
/proc/26480/task/26800/stat : 26800 (java) R 26478 26478 26434 0 -1 4202560 7057 0 0 0 235529 11 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169566711400 140170108088752 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26801] ppid=26478 vsize=26645092 memory=1712 CPUtime=2350.3 cores=0-7
/proc/26480/task/26801/stat : 26801 (java) R 26478 26478 26434 0 -1 4202560 28962 0 0 0 234981 49 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169563557232 140170107747366 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26802] ppid=26478 vsize=26645092 memory=5412 CPUtime=2357.14 cores=0-7
/proc/26480/task/26802/stat : 26802 (java) R 26478 26478 26434 0 -1 4202560 9339 0 0 0 235701 13 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169565659120 140170108088799 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
Current children cumulated CPU time: 19929 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 3177524 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.32 8.51 8.41 9/208 26850
/proc/meminfo: memFree=20101532/32770624 swapFree=67108860/67108860
[pid=26478] ppid=26475 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26478/stat : 26478 (xcsp3-exec) S 26475 26478 26434 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90191778 115843072 363 33554432000 4194304 5098028 140728281845632 140728281843736 140414700974716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15126528 140728281846837 140728281847040 140728281847040 140728281849802 0
/proc/26478/statm: 28282 363 306 221 0 87 0
[pid=26480] ppid=26478 vsize=26645092 memory=3176072 CPUtime=20070.2 cores=0-7
/proc/26480/stat : 26480 (java) S 26478 26478 26434 0 -1 1077944320 430164 0 0 0 2005943 1081 0 0 20 0 28 0 90191779 27284574208 794018 33554432000 4194304 4196468 140725801381824 140725801364368 140170459598583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
/proc/26480/statm: 6661273 794018 3473 1 0 6622467 0
[pid=26480/tid=26481] ppid=26478 vsize=26645092 memory=6791534058613427641 CPUtime=4.94 cores=0-7
/proc/26480/task/26481/stat : 26481 (java) S 26478 26478 26434 0 -1 1077944384 11409 0 0 0 482 12 0 0 20 0 28 0 90191779 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170463839360 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26482] ppid=26478 vsize=26645092 memory=4872558044660077418 CPUtime=2.7 cores=0-7
/proc/26480/task/26482/stat : 26482 (java) S 26478 26478 26434 0 -1 1077944384 5288 0 0 0 192 78 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170420558992 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26483] ppid=26478 vsize=26645092 memory=1836 CPUtime=2.69 cores=0-7
/proc/26480/task/26483/stat : 26483 (java) S 26478 26478 26434 0 -1 1077944384 4110 0 0 0 191 78 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170419506192 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26484] ppid=26478 vsize=26645092 memory=1452 CPUtime=2.72 cores=0-7
/proc/26480/task/26484/stat : 26484 (java) S 26478 26478 26434 0 -1 1077944384 3823 0 0 0 194 78 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170016242576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26485] ppid=26478 vsize=26645092 memory=6791534058613427641 CPUtime=2.7 cores=0-7
/proc/26480/task/26485/stat : 26485 (java) S 26478 26478 26434 0 -1 1077944384 4233 0 0 0 195 75 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170015189776 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26486] ppid=26478 vsize=26645092 memory=13044 CPUtime=2.69 cores=0-7
/proc/26480/task/26486/stat : 26486 (java) S 26478 26478 26434 0 -1 1077944384 5870 0 0 0 198 71 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170014136976 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26487] ppid=26478 vsize=26645092 memory=792 CPUtime=2.69 cores=0-7
/proc/26480/task/26487/stat : 26487 (java) S 26478 26478 26434 0 -1 1077944384 4359 0 0 0 194 75 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170013084176 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26488] ppid=26478 vsize=26645092 memory=1452 CPUtime=2.68 cores=0-7
/proc/26480/task/26488/stat : 26488 (java) S 26478 26478 26434 0 -1 1077944384 3707 0 0 0 194 74 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170012031376 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26489] ppid=26478 vsize=26645092 memory=3176072 CPUtime=2.65 cores=0-7
/proc/26480/task/26489/stat : 26489 (java) S 26478 26478 26434 0 -1 1077944384 5779 0 0 0 191 74 0 0 20 0 28 0 90191780 27284574208 794018 33554432000 4194304 4196468 140725801381824 140170010978576 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26490] ppid=26478 vsize=26645092 memory=4140 CPUtime=0.29 cores=0-7
/proc/26480/task/26490/stat : 26490 (java) S 26478 26478 26434 0 -1 1077944384 14650 0 0 0 23 6 0 0 20 0 28 0 90191781 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169587067760 140170459609730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26491] ppid=26478 vsize=26645092 memory=26136 CPUtime=0 cores=0-7
/proc/26480/task/26491/stat : 26491 (java) S 26478 26478 26434 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 28 0 90191782 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169586013792 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26492] ppid=26478 vsize=26645092 memory=1296 CPUtime=0 cores=0-7
/proc/26480/task/26492/stat : 26492 (java) S 26478 26478 26434 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 90191782 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169584960896 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26493] ppid=26478 vsize=26645092 memory=2400 CPUtime=0 cores=0-7
/proc/26480/task/26493/stat : 26493 (java) S 26478 26478 26434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169583909200 140170459617179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26494] ppid=26478 vsize=26645092 memory=1836 CPUtime=6.54 cores=0-7
/proc/26480/task/26494/stat : 26494 (java) S 26478 26478 26434 0 -1 1077944384 29120 0 0 0 648 6 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169582856560 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26495] ppid=26478 vsize=26645092 memory=13044 CPUtime=7.05 cores=0-7
/proc/26480/task/26495/stat : 26495 (java) S 26478 26478 26434 0 -1 1077944384 32696 0 0 0 701 4 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169581803760 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26496] ppid=26478 vsize=26645092 memory=792 CPUtime=6.8 cores=0-7
/proc/26480/task/26496/stat : 26496 (java) S 26478 26478 26434 0 -1 1077944384 32148 0 0 0 672 8 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169580750960 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26497] ppid=26478 vsize=26645092 memory=1952 CPUtime=1.55 cores=0-7
/proc/26480/task/26497/stat : 26497 (java) S 26478 26478 26434 0 -1 1077944384 31144 0 0 0 149 6 0 0 20 0 28 0 90191784 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169579698160 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26498] ppid=26478 vsize=26645092 memory=1232 CPUtime=0 cores=0-7
/proc/26480/task/26498/stat : 26498 (java) S 26478 26478 26434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90191785 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169578646624 140170459608789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26499] ppid=26478 vsize=26645092 memory=1452 CPUtime=1.16 cores=0-7
/proc/26480/task/26499/stat : 26499 (java) S 26478 26478 26434 0 -1 1077944384 4569 0 0 0 19 97 0 0 20 0 28 0 90191785 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169577593904 140170459609730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26795] ppid=26478 vsize=26645092 memory=3176072 CPUtime=2380.51 cores=0-7
/proc/26480/task/26795/stat : 26795 (java) R 26478 26478 26434 0 -1 4202560 8185 0 0 0 238040 11 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169560394872 140170109718794 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26796] ppid=26478 vsize=26645092 memory=14692993764428366 CPUtime=2380.59 cores=0-7
/proc/26480/task/26796/stat : 26796 (java) R 26478 26478 26434 0 -1 4202560 11672 0 0 0 238051 8 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169562501384 140170109511550 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26797] ppid=26478 vsize=26645092 memory=2200 CPUtime=2368.01 cores=0-7
/proc/26480/task/26797/stat : 26797 (java) R 26478 26478 26434 0 -1 4202560 32193 0 0 0 236757 44 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169559343080 140170111108601 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26798] ppid=26478 vsize=26645092 memory=7288 CPUtime=2369.31 cores=0-7
/proc/26480/task/26798/stat : 26798 (java) R 26478 26478 26434 0 -1 4202560 28487 0 0 0 236835 96 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169561448296 140170107746837 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26799] ppid=26478 vsize=26645092 memory=840 CPUtime=2380.5 cores=0-7
/proc/26480/task/26799/stat : 26799 (java) R 26478 26478 26434 0 -1 4202560 20301 0 0 0 238008 42 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169564606184 140170108871166 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26800] ppid=26478 vsize=26645092 memory=4108 CPUtime=2373.11 cores=0-7
/proc/26480/task/26800/stat : 26800 (java) R 26478 26478 26434 0 -1 4202560 7171 0 0 0 237300 11 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169566711400 140170107747366 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26801] ppid=26478 vsize=26645092 memory=1692 CPUtime=2368 cores=0-7
/proc/26480/task/26801/stat : 26801 (java) R 26478 26478 26434 0 -1 4202560 29080 0 0 0 236751 49 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169563557232 140170107747366 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
[pid=26480/tid=26802] ppid=26478 vsize=26645092 memory=916 CPUtime=2374.85 cores=0-7
/proc/26480/task/26802/stat : 26802 (java) R 26478 26478 26434 0 -1 4202560 9455 0 0 0 237471 14 0 0 20 0 28 0 90205509 27284574208 794018 33554432000 4194304 4196468 140725801381824 140169565659120 140170107747366 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 7372800 140725801387137 140725801387309 140725801387309 140725801390031 0
Current children cumulated CPU time: 20070.2 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 3177524 KiB

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

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

[startup+2520.13 s]
# the end of solver process 26480 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20060.2 s, system=10.8355 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): 20071.1
CPU user time (s): 20060.2
CPU system time (s): 10.8355
CPU usage (%): 796.43
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 3291148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20060.2
system time used= 10.8355
maximum resident set size= 3289708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68736
involuntary context switches= 204845


# summary of solver processes directly reported to runsolver:
#   pid: 26478,26480
#   total CPU time (s): 20071.1
#   total CPU user time (s): 20060.2
#   total CPU system time (s): 10.8355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7137 second user time and 28.083 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml
MD5SUM	294b097d449017f2d3f7014537fb5318
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	9584
Best CPU time to get the best result obtained on this benchmark	20071.1
Satisfiable
(Un)Satisfiability was proved
Number of variables	1068
Number of constraints	3635
Number of domains	3
Minimum domain size	2
Maximum domain size	45
Distribution of domain sizes	[{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	22
Distribution of constraint arities	[{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}]
Number of extensional constraints	276
Number of intensional constraints	2785
Distribution of constraint types	[{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4297431

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