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)	10766	20050	2520.15

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297527-1532691823.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297527-1532691823.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
17.21/4.27	c solve instance...
24.64/5.29	o 37973 
25.46/5.34	o 37972 
25.46/5.38	o 37872 
26.20/5.40	o 37871 
26.20/5.43	o 37771 
26.20/5.43	o 37770 
26.20/5.47	o 37670 
26.86/5.58	o 37669 
27.58/5.67	o 37569 
27.58/5.67	o 37568 
31.57/6.16	o 37468 
32.96/6.64	o 37467 
40.61/7.88	o 37367 
40.61/7.88	o 37366 
57.64/10.07	o 37266 
72.64/11.94	o 37165 
99.64/15.34	o 37064 
139.43/20.39	o 36963 
292.58/39.71	o 36862 
503.03/66.12	o 36761 
514.88/67.70	o 12611 
515.37/67.71	o 12609 
516.16/67.82	o 12608 
600.40/79.16	o 12596 
3321.05/421.10	o 11431 
3321.18/421.11	o 11330 
3475.96/440.85	o 11253 
3724.92/472.16	o 11235 
14617.84/1837.81	o 10868 
14617.84/1837.82	o 10867 
14621.60/1838.58	o 10866 
14640.45/1841.40	o 10766 
20049.15/2520.09	s SATISFIABLE
20049.15/2520.09	v <instantiation>
20049.15/2520.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[0][5] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[197] cn[198] cn[199] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] </list>
20049.15/2520.10	v 	<values>3 5 0 3 5 3 5 2 4 1 5 5 0 3 3 5 5 1 2 5 0 1 5 0 0 5 5 0 5 5 2 5 0 5 5 3 0 1 5 2 3 5 0 3 5 4 5 1 4 1 1 5 0 3 3 5 5 2 2 5 0 1 5 0 0 5 1 1 0 2 2 5 0 5 5 3 3 4 5 2 3 5 0 3 5 5 5 1 4 4 1 0 5 3 3 5 5 2 2 5 5 3 0 5 5 1 1 5 0 2 1 0 0 5 5 3 5 5 0 2 5 0 3 4 3 5 0 1 5 5 5 2 5 3 3 0 0 1 5 2 5 4 0 5 5 1 5 5 1 5 5 0 0 0 3 3 5 5 0 2 5 0 3 4 3 4 0 1 5 5 5 2 5 3 3 1 0 5 5 2 0 5 5 0 0 1 5 2 3 5 5 5 0 2 3 5 1 1 4 5 5 0 5 5 5 4 0 5 5 1 5 5 0 5 5 1 0 5 3 2 0 5 5 0 0 5 3 2 4 2 1 5 5 2 3 5 1 1 5 5 5 0 5 5 5 4 0 5 5 1 5 5 1 5 5 1 0 5 3 2 0 3 4 0 0 5 3 1 5 2 2 5 5 2 4 5 1 1 5 5 5 0 3 5 3 5 0 2 5 4 5 5 1 3 5 1 0 0 3 2 0 3 4 0 0 2 3 1 5 2 5 5 5 2 5 5 1 1 0 5 5 5 3 2 3 5 5 1 0 4 5 5 1 3 5 5 5 0 3 5 3 3 4 5 5 1 5 1 0 2 5 0 5 5 5 0 1 5 0 5 1 5 3 1 3 5 5 5 0 5 1 0 5 3 5 5 5 5 3 5 5 3 4 5 5 1 5 5 0 2 1 0 0 5 0 2 5 5 5 2 3 0 3 5 3 5 5 5 1 5 1 0 5 3 2 0 0 5 5 2 5 3 4 0 0 1 1 5 5 5 2 3 0 0 4 2 5 1 5 2 3 0 5 5 3 5 5 5 1 1 1 0 3 5 2 0 0 2 5 2 3 5 5 0 0 5 1 5 5 5 2 3 0 0 4 2 5 1 5 3 5 0 5 5 5 1 5 2 5 1 5 5 3 5 5 5 5 1 5 2 3 5 5 5 5 5 1 5 5 5 5 5 0 5 5 5 5 1 5 4 5 0 5 2 5 1 5 2 5 3 5 5 3 5 5 5 5 2 5 3 3 5 5 5 5 0 3 5 5 5 5 5 0 5 5 5 5 1 0 4 1 5 0 2 3 1 0 2 1 4 5 5 3 5 0 0 3 2 1 3 5 5 5 0 0 0 3 4 3 0 5 3 5 2 5 5 0 1 0 5 1 5 0 2 3 1 0 5 1 4 5 5 3 5 2 0 3 2 1 5 5 5 0 0 0 0 5 4 3 0 5 3 5 2 5 5 0 5 0 5 3 0 0 2 4 1 0 5 5 5 4 1 5 3 5 0 3 5 1 5 0 0 0 5 5 0 5 4 5 0 5 3 5 5 3 5 0 5 0 3 5 0 0 2 5 5 0 1 5 5 4 1 5 3 5 0 3 5 5 2 0 1 0 5 5 0 3 5 5 2 3 5 5 5 3 5 1 1 0 3 5 0 5 5 5 5 4 2 1 5 4 1 5 3 0 4 3 0 5 3 0 1 0 0 0 5 3 5 3 2 3 5 0 0 3 1 5 1 5 5 1 5 5 5 3 5 5 5 1 5 4 2 5 3 0 5 5 0 1 5 5 5 0 0 0 5 5 2 4 5 3 2 0 0 3 2 5 5 5 5 1 5 5 5 3 5 5 5 1 5 4 2 5 3 0 5 5 0 1 5 5 5 5 0 0 5 5 1 4 5 3 2 0 0 3 2 5 5 5 0 1 0 0 3 3 3 2 1 1 5 5 5 0 5 2 5 5 5 2 3 0 5 5 0 5 5 5 1 5 0 5 2 5 5 5 4 5 1 5 0 1 0 0 3 3 3 4 2 5 5 5 5 0 5 5 5 0 5 1 3 0 5 0 5 5 5 3 1 5 0 5 2 5 5 5 4 5 1 4 0 1 0 5 5 3 3 4 2 5 1 1 2 1 5 5 5 0 2 2 3 0 5 1 5 0 2 3 1 3 5 2 2 5 0 3 5 5 5 4 0 5 0 5 5 5 3 5 5 5 3 1 1 1 3 0 0 5 2 5 3 0 0 1 0 0 2 3 5 3 5 2 5 0 0 3 5 0 5 5 0 5 5 0 2 5 3 5 5 1 3 1 1 1 3 0 0 5 2 5 5 5 1 5 0 0 1 3 5 3 0 2 5 0 0 4 2 0 5 5 5 1 5 0 2 3 5 0 1 1 5 1 1 5 3 0 0 0 5 5 5 5 1 5 5 5 2 5 5 5 0 5 2 5 5 5 2 0 5 4 5 1 5 0 2 3 5 0 1 1 5 1 1 5 5 0 0 0 5 5 5 5 1 5 5 5 3 5 5 5 5 5 2 5 5 5 2 0 5 4 5 0 10 0 6 0 12 16 0 0 0 0 12 12 0 0 6 0 10 0 1 9 5 2 11 0 0 0 16 1 11 0 5 0 6 4 13 11 0 1 0 3 13 0 9 8 0 0 11 2 11 0 0 3 12 0 7 0 3 5 13 0 10 0 0 5 13 4 7 5 0 0 12 5 6 0 5 0 12 0 0 0 17 0 11 8 0 4 5 0 11 11 4 0 0 1 12 11 0 0 5 0 12 5 3 9 0 0 11 0 6 5 5 0 12 0 0 9 7 0 12 13 0 0 4 0 11 2 7 0 6 1 12 8 2 0 0 5 13 16 0 0 0 0 12 16 0 0 0 0 12 5 7 4 1 0 11 0 5 0 11 0 12 1 8 3 0 3 13 4 1 0 7 3 13 7 0 9 0 0 12 0 3 8 4 0 13 4 0 7 5 0 12 15 0 0 0 0 13 9 0 6 0 0 13 1 0 0 10 4 13 1 1 8 4 2 12 8 6 0 1 0 13 0 14 0 0 1 13 9 0 0 0 5 14 5 0 6 3 2 12 8 4 4 6 1 17 7 6 5 6 3 13 7 5 4 6 2 16 9 4 3 6 2 16 7 5 4 6 3 15 7 5 4 3 2 19 6 6 4 3 3 18 8 5 5 6 2 14 6 5 2 6 2 19 6 5 3 5 1 20 8 5 5 6 2 14 8 5 5 6 1 15 2 5 2 2 1 28 4 2 3 5 1 25 10 5 4 7 2 12 10 4 4 5 2 15 11 3 1 6 3 16 8 5 3 6 1 17 9 5 2 7 3 14 7 3 4 4 2 20 7 4 3 4 2 20 7 5 4 4 1 19 8 4 2 5 3 18 6 6 7 6 2 13 11 4 3 7 0 15 9 6 4 5 1 15 7 6 4 2 1 20 6 6 3 2 1 22 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 2 2 0 1 1 0 0 0 0 2 2 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 2 0 1 1 1 1 2 0 0 2 1 1 0 0 0 0 0 0 1 0 0 3 3 0 0 0 0 0 2 2 0 0 0 0 2 3 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 3 3 0 0 3 3 3 0 0 3 3 3 0 2 0 0 2 2 0 0 2 2 0 0 0 0 0 0 3 0 0 0 1 1 1 0 2 2 0 0 0 1 0 0 0 0 0 1 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 1 1 200 100 0 0 2 1 100 0 1 0 1 0 100 0 0 0 3 0 0 100 0 0 1 0 0 0 2 0 0 0 0 300 100 0 0 0 300 200 0 0 2 0 0 0 0 0 200 0 300 1 200 0 0 0 0 0 0 0 3 0 0 0 1 0 1 0 0 0 0 0 300 0 300 500 200 0 300 300 400 300 0 0 2 100 100 0 0 0 3 100 100 100 1 0 2 100 400 100 0 0 2 0 200 0 0 0 2 100 300 0 1 0 1 200 100 100 100 0 0 100 300 300 0 0 1 0 200 300 0 0 2 200 400 100 0 0 2 1 0 0 0 0 3 1 0 0 100 0 2 1 100 200 100 0 0 0 0 500 100 0 100 0 100 400 0 0 </values>
20049.15/2520.10	v </instantiation>
20049.15/2520.10	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 (7872 MiB free)
  memory of node 1: 16384 MiB (13430 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297527-1532691823/watcher-4297527-1532691823 -o /tmp/evaluation-result-4297527-1532691823/solver-4297527-1532691823 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532685355-30031 --watchdog 2580 HOME/xcsp3-exec -seed 333899144 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297527-1532691823.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=31842, runsolver pid=31839

[startup+0.103679 s]*
/proc/loadavg: 7.76 8.28 8.36 3/205 31863
/proc/meminfo: memFree=21799780/32770624 swapFree=67108860/67108860
[pid=31842] ppid=31839 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31842/stat : 31842 (xcsp3-exec) S 31839 31842 30004 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86745485 115843072 363 33554432000 4194304 5098028 140728967031552 140728967029656 139960119177852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30744576 140728967038006 140728967038208 140728967038208 140728967040970 0
/proc/31842/statm: 28282 363 306 221 0 87 0
[pid=31844] ppid=31842 vsize=26104152 memory=27032 CPUtime=0.12 cores=0-7
/proc/31844/stat : 31844 (java) S 31842 31842 30004 0 -1 1077944320 5708 0 0 0 10 2 0 0 20 0 20 0 86745485 26730651648 6758 33554432000 4194304 4196468 140736017841824 140736017824368 140427551297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
/proc/31844/statm: 6526038 6758 3004 1 0 6488315 0
[pid=31844/tid=31845] ppid=31842 vsize=26104152 memory=8256677498992893339 CPUtime=0.09 cores=0-7
/proc/31844/task/31845/stat : 31845 (java) R 31842 31842 30004 0 -1 4202560 3716 0 0 0 8 1 0 0 20 0 20 0 86745485 26730651648 6758 33554432000 4194304 4196468 140736017841824 140427555530544 140427551309206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31846] ppid=31842 vsize=26104152 memory=732369935381707749 CPUtime=0 cores=0-7
/proc/31844/task/31846/stat : 31846 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 6758 33554432000 4194304 4196468 140736017841824 140427514403472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31847] ppid=31842 vsize=26104152 memory=139797044254336 CPUtime=0 cores=0-7
/proc/31844/task/31847/stat : 31847 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 6758 33554432000 4194304 4196468 140736017841824 140427108153872 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31848] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31848/stat : 31848 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 6758 33554432000 4194304 4196468 140736017841824 140427107101072 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31849] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31849/stat : 31849 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 6758 33554432000 4194304 4196468 140736017841824 140427106048272 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31850] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31850/stat : 31850 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 6758 33554432000 4194304 4196468 140736017841824 140427104996496 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31851] ppid=31842 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/31844/task/31851/stat : 31851 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 6758 33554432000 4194304 4196468 140736017841824 140427103943696 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31852] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31852/stat : 31852 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 6758 33554432000 4194304 4196468 140736017841824 140427102890896 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31853] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31853/stat : 31853 (java) S 31842 31842 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 6758 33554432000 4194304 4196468 140736017841824 140427101838096 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31854] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31854/stat : 31854 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745488 26730651648 6758 33554432000 4194304 4196468 140736017841824 140425890314608 140427551308418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31855] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31855/stat : 31855 (java) S 31842 31842 30004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86745488 26730651648 6758 33554432000 4194304 4196468 140736017841824 140425889260576 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31856] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31856/stat : 31856 (java) S 31842 31842 30004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86745488 26730651648 6758 33554432000 4194304 4196468 140736017841824 140425888207728 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31857] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31857/stat : 31857 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 6758 33554432000 4194304 4196468 140736017841824 140425887156048 140427551315867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31858] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31858/stat : 31858 (java) S 31842 31842 30004 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 6823 33554432000 4194304 4196468 140736017841824 140425886104432 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31859] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31859/stat : 31859 (java) S 31842 31842 30004 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 6823 33554432000 4194304 4196468 140736017841824 140425885051632 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31860] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31860/stat : 31860 (java) S 31842 31842 30004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 6823 33554432000 4194304 4196468 140736017841824 140425883998832 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31861] ppid=31842 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/31844/task/31861/stat : 31861 (java) R 31842 31842 30004 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 20 0 86745491 26730651648 6823 33554432000 4194304 4196468 140736017841824 140425882946032 140427529665910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31862] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31862/stat : 31862 (java) S 31842 31842 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 6823 33554432000 4194304 4196468 140736017841824 140425881893472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31863] ppid=31842 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/31844/task/31863/stat : 31863 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 6823 33554432000 4194304 4196468 140736017841824 140425880840752 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28484 KiB

[startup+0.210928 s]*
/proc/loadavg: 7.76 8.28 8.36 4/205 31863
/proc/meminfo: memFree=21787888/32770624 swapFree=67108860/67108860
[pid=31842] ppid=31839 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31842/stat : 31842 (xcsp3-exec) S 31839 31842 30004 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86745485 115843072 363 33554432000 4194304 5098028 140728967031552 140728967029656 139960119177852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30744576 140728967038006 140728967038208 140728967038208 140728967040970 0
/proc/31842/statm: 28282 363 306 221 0 87 0
[pid=31844] ppid=31842 vsize=26104152 memory=39712 CPUtime=0.33 cores=0-7
/proc/31844/stat : 31844 (java) S 31842 31842 30004 0 -1 1077944320 8505 0 0 0 30 3 0 0 20 0 20 0 86745485 26730651648 9928 33554432000 4194304 4196468 140736017841824 140736017824368 140427551297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
/proc/31844/statm: 6526038 9928 3177 1 0 6488315 0
[pid=31844/tid=31845] ppid=31842 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/31844/task/31845/stat : 31845 (java) S 31842 31842 30004 0 -1 1077944384 5625 0 0 0 18 2 0 0 20 0 20 0 86745485 26730651648 9928 33554432000 4194304 4196468 140736017841824 140427555532256 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31846] ppid=31842 vsize=26104152 memory=732369935381707749 CPUtime=0 cores=0-7
/proc/31844/task/31846/stat : 31846 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 9928 33554432000 4194304 4196468 140736017841824 140427514403472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31847] ppid=31842 vsize=26104152 memory=139797044254336 CPUtime=0 cores=0-7
/proc/31844/task/31847/stat : 31847 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 9928 33554432000 4194304 4196468 140736017841824 140427108153872 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31848] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31848/stat : 31848 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 9928 33554432000 4194304 4196468 140736017841824 140427107101072 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31849] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31849/stat : 31849 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 9928 33554432000 4194304 4196468 140736017841824 140427106048272 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31850] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31850/stat : 31850 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 9928 33554432000 4194304 4196468 140736017841824 140427104996496 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31851] ppid=31842 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/31844/task/31851/stat : 31851 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 9928 33554432000 4194304 4196468 140736017841824 140427103943696 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31852] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31852/stat : 31852 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 9928 33554432000 4194304 4196468 140736017841824 140427102890896 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31853] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31853/stat : 31853 (java) S 31842 31842 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86745486 26730651648 9928 33554432000 4194304 4196468 140736017841824 140427101838096 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31854] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31854/stat : 31854 (java) S 31842 31842 30004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86745488 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425890314608 140427551308418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31855] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31855/stat : 31855 (java) S 31842 31842 30004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86745488 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425889260576 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31856] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31856/stat : 31856 (java) S 31842 31842 30004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86745488 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425888207728 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31857] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31857/stat : 31857 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425887156048 140427551315867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31858] ppid=31842 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/31844/task/31858/stat : 31858 (java) S 31842 31842 30004 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 20 0 86745491 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425886104432 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31859] ppid=31842 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/31844/task/31859/stat : 31859 (java) S 31842 31842 30004 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 86745491 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425885051632 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31860] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31860/stat : 31860 (java) S 31842 31842 30004 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425883998832 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31861] ppid=31842 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/31844/task/31861/stat : 31861 (java) S 31842 31842 30004 0 -1 1077944384 774 0 0 0 7 0 0 0 20 0 20 0 86745491 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425882946032 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31862] ppid=31842 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31862/stat : 31862 (java) S 31842 31842 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425881893472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31863] ppid=31842 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/31844/task/31863/stat : 31863 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745491 26730651648 9928 33554432000 4194304 4196468 140736017841824 140425880840752 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41164 KiB

[startup+0.310838 s]*
/proc/loadavg: 7.76 8.28 8.36 5/205 31863
/proc/meminfo: memFree=21782180/32770624 swapFree=67108860/67108860
[pid=31842] ppid=31839 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31842/stat : 31842 (xcsp3-exec) S 31839 31842 30004 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86745485 115843072 363 33554432000 4194304 5098028 140728967031552 140728967029656 139960119177852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30744576 140728967038006 140728967038208 140728967038208 140728967040970 0
/proc/31842/statm: 28282 363 306 221 0 87 0
[pid=31844] ppid=31842 vsize=26108408 memory=46508 CPUtime=0.51 cores=0-7
/proc/31844/stat : 31844 (java) S 31842 31842 30004 0 -1 1077944320 9376 0 0 0 48 3 0 0 20 0 20 0 86745485 26735009792 11627 33554432000 4194304 4196468 140736017841824 140736017824368 140427551297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
/proc/31844/statm: 6527102 11627 3217 1 0 6488315 0
[pid=31844/tid=31845] ppid=31842 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31844/task/31845/stat : 31845 (java) R 31842 31842 30004 0 -1 4202560 6310 0 0 0 27 2 0 0 20 0 20 0 86745485 26735009792 11627 33554432000 4194304 4196468 140736017841824 140427555528384 140427535377758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31846] ppid=31842 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31846/stat : 31846 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26735009792 11627 33554432000 4194304 4196468 140736017841824 140427514403472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31847] ppid=31842 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31847/stat : 31847 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26735009792 11627 33554432000 4194304 4196468 140736017841824 140427108153872 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31848] ppid=31842 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31848/stat : 31848 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26735009792 11627 33554432000 4194304 4196468 140736017841824 140427107101072 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31849] ppid=31842 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31849/stat : 31849 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26735009792 11627 33554432000 4194304 4196468 140736017841824 140427106048272 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31850] ppid=31842 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/31844/task/31850/stat : 31850 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26735009792 11627 33554432000 4194304 4196468 140736017841824 140427104996496 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31851] ppid=31842 vsize=26108408 memory=139796890612655 CPUtime=0 cores=0-7
/proc/31844/task/31851/stat : 31851 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26735009792 11627 33554432000 4194304 4196468 140736017841824 140427103943696 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31852] ppid=31842 vsize=26108408 memory=139796890614960 CPUtime=0 cores=0-7
/proc/31844/task/31852/stat : 31852 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26735009792 11627 33554432000 4194304 4196468 140736017841824 140427102890896 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31853] ppid=31842 vsize=26108408 memory=139796890617264 CPUtime=0 cores=0-7
/proc/31844/task/31853/stat : 31853 (java) S 31842 31842 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86745486 26735009792 11627 33554432000 4194304 4196468 140736017841824 140427101838096 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31854] ppid=31842 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31854/stat : 31854 (java) S 31842 31842 30004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86745488 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425890314608 140427551308418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31855] ppid=31842 vsize=26108408 memory=279593781241488 CPUtime=0 cores=0-7
/proc/31844/task/31855/stat : 31855 (java) S 31842 31842 30004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86745488 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425889260576 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31856] ppid=31842 vsize=26108408 memory=279593781248400 CPUtime=0 cores=0-7
/proc/31844/task/31856/stat : 31856 (java) S 31842 31842 30004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86745488 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425888207728 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31857] ppid=31842 vsize=26108408 memory=279593781189680 CPUtime=0 cores=0-7
/proc/31844/task/31857/stat : 31857 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745491 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425887156048 140427551315867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31858] ppid=31842 vsize=26108408 memory=279593781262224 CPUtime=0.03 cores=0-7
/proc/31844/task/31858/stat : 31858 (java) S 31842 31842 30004 0 -1 1077944384 554 0 0 0 3 0 0 0 20 0 20 0 86745491 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425886104432 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31859] ppid=31842 vsize=26108408 memory=279593781269136 CPUtime=0.02 cores=0-7
/proc/31844/task/31859/stat : 31859 (java) R 31842 31842 30004 0 -1 4202560 251 0 0 0 2 0 0 0 20 0 20 0 86745491 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425885051728 140427532841778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31860] ppid=31842 vsize=26108408 memory=279593781266832 CPUtime=0.01 cores=0-7
/proc/31844/task/31860/stat : 31860 (java) S 31842 31842 30004 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 20 0 86745491 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425883998832 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31861] ppid=31842 vsize=26108408 memory=279593781282992 CPUtime=0.12 cores=0-7
/proc/31844/task/31861/stat : 31861 (java) S 31842 31842 30004 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 86745491 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425882946032 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31862] ppid=31842 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/31844/task/31862/stat : 31862 (java) S 31842 31842 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86745491 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425881893472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31863] ppid=31842 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/31844/task/31863/stat : 31863 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745491 26735009792 11627 33554432000 4194304 4196468 140736017841824 140425880840752 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47960 KiB

[startup+0.701054 s]
/proc/loadavg: 7.76 8.28 8.36 6/205 31863
/proc/meminfo: memFree=21760672/32770624 swapFree=67108860/67108860
[pid=31842] ppid=31839 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31842/stat : 31842 (xcsp3-exec) S 31839 31842 30004 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86745485 115843072 363 33554432000 4194304 5098028 140728967031552 140728967029656 139960119177852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30744576 140728967038006 140728967038208 140728967038208 140728967040970 0
/proc/31842/statm: 28282 363 306 221 0 87 0
[pid=31844] ppid=31842 vsize=26110532 memory=105636 CPUtime=1.94 cores=0-7
/proc/31844/stat : 31844 (java) S 31842 31842 30004 0 -1 1077944320 15381 0 0 0 188 6 0 0 20 0 20 0 86745485 26737184768 26409 33554432000 4194304 4196468 140736017841824 140736017824368 140427551297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
/proc/31844/statm: 6527633 26409 3356 1 0 6488827 0
[pid=31844/tid=31845] ppid=31842 vsize=26110532 memory=279593781577920 CPUtime=0.67 cores=0-7
/proc/31844/task/31845/stat : 31845 (java) R 31842 31842 30004 0 -1 4202560 6901 0 0 0 64 3 0 0 20 0 20 0 86745485 26737184768 26409 33554432000 4194304 4196468 140736017841824 140427555535632 140427191799591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31846] ppid=31842 vsize=26110532 memory=1948 CPUtime=0 cores=0-7
/proc/31844/task/31846/stat : 31846 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26737184768 26409 33554432000 4194304 4196468 140736017841824 140427514403472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31847] ppid=31842 vsize=26110532 memory=1224 CPUtime=0 cores=0-7
/proc/31844/task/31847/stat : 31847 (java) S 31842 31842 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86745486 26737184768 26409 33554432000 4194304 4196468 140736017841824 140427108153872 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31848] ppid=31842 vsize=26110532 memory=1716 CPUtime=0 cores=0-7
/proc/31844/task/31848/stat : 31848 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86745486 26737184768 26409 33554432000 4194304 4196468 140736017841824 140427107101072 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0

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

/proc/meminfo: memFree=15852932/32770624 swapFree=67108860/67108860
[pid=31842] ppid=31839 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31842/stat : 31842 (xcsp3-exec) S 31839 31842 30004 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86745485 115843072 363 33554432000 4194304 5098028 140728967031552 140728967029656 139960119177852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30744576 140728967038006 140728967038208 140728967038208 140728967040970 0
/proc/31842/statm: 28282 363 306 221 0 87 0
[pid=31844] ppid=31842 vsize=26645092 memory=5965792 CPUtime=19908.1 cores=0-7
/proc/31844/stat : 31844 (java) S 31842 31842 30004 0 -1 1077944320 689548 0 0 0 1989738 1069 0 0 20 0 28 0 86745485 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140736017824368 140427551297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
/proc/31844/statm: 6661273 1491448 3473 1 0 6622467 0
[pid=31844/tid=31845] ppid=31842 vsize=26645092 memory=5966668 CPUtime=3.96 cores=0-7
/proc/31844/task/31845/stat : 31845 (java) S 31842 31842 30004 0 -1 1077944384 13001 0 0 0 386 10 0 0 20 0 28 0 86745485 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140427555538048 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31846] ppid=31842 vsize=26645092 memory=5966720 CPUtime=2.48 cores=0-7
/proc/31844/task/31846/stat : 31846 (java) S 31842 31842 30004 0 -1 1077944384 8575 0 0 0 223 25 0 0 20 0 28 0 86745486 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140427514403472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31847] ppid=31842 vsize=26645092 memory=5965724 CPUtime=2.45 cores=0-7
/proc/31844/task/31847/stat : 31847 (java) S 31842 31842 30004 0 -1 1077944384 13271 0 0 0 216 29 0 0 20 0 28 0 86745486 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140427108153872 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31848] ppid=31842 vsize=26645092 memory=5965724 CPUtime=2.5 cores=0-7
/proc/31844/task/31848/stat : 31848 (java) S 31842 31842 30004 0 -1 1077944384 10643 0 0 0 223 27 0 0 20 0 28 0 86745486 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140427107101072 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31849] ppid=31842 vsize=26645092 memory=5965724 CPUtime=2.5 cores=0-7
/proc/31844/task/31849/stat : 31849 (java) S 31842 31842 30004 0 -1 1077944384 11186 0 0 0 226 24 0 0 20 0 28 0 86745486 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140427106048272 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31850] ppid=31842 vsize=26645092 memory=5965724 CPUtime=2.51 cores=0-7
/proc/31844/task/31850/stat : 31850 (java) S 31842 31842 30004 0 -1 1077944384 8391 0 0 0 225 26 0 0 20 0 28 0 86745486 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140427104996496 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31851] ppid=31842 vsize=26645092 memory=5965792 CPUtime=2.51 cores=0-7
/proc/31844/task/31851/stat : 31851 (java) S 31842 31842 30004 0 -1 1077944384 10570 0 0 0 225 26 0 0 20 0 28 0 86745486 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140427103943696 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31852] ppid=31842 vsize=26645092 memory=5965792 CPUtime=2.47 cores=0-7
/proc/31844/task/31852/stat : 31852 (java) S 31842 31842 30004 0 -1 1077944384 11298 0 0 0 224 23 0 0 20 0 28 0 86745486 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140427102890896 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31853] ppid=31842 vsize=26645092 memory=1452 CPUtime=2.47 cores=0-7
/proc/31844/task/31853/stat : 31853 (java) S 31842 31842 30004 0 -1 1077944384 11614 0 0 0 222 25 0 0 20 0 28 0 86745486 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140427101838096 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31854] ppid=31842 vsize=26645092 memory=5913752 CPUtime=0.69 cores=0-7
/proc/31844/task/31854/stat : 31854 (java) S 31842 31842 30004 0 -1 1077944384 39771 0 0 0 53 16 0 0 20 0 28 0 86745488 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425890314608 140427551308418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31855] ppid=31842 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/31844/task/31855/stat : 31855 (java) S 31842 31842 30004 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 86745488 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425889260640 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31856] ppid=31842 vsize=26645092 memory=5965724 CPUtime=0 cores=0-7
/proc/31844/task/31856/stat : 31856 (java) S 31842 31842 30004 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 86745488 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425888207744 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31857] ppid=31842 vsize=26645092 memory=1008 CPUtime=0 cores=0-7
/proc/31844/task/31857/stat : 31857 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86745491 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425887156048 140427551315867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31858] ppid=31842 vsize=26645092 memory=5966240 CPUtime=6.52 cores=0-7
/proc/31844/task/31858/stat : 31858 (java) S 31842 31842 30004 0 -1 1077944384 35263 0 0 0 645 7 0 0 20 0 28 0 86745491 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425886104432 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31859] ppid=31842 vsize=26645092 memory=1452 CPUtime=7.11 cores=0-7
/proc/31844/task/31859/stat : 31859 (java) S 31842 31842 30004 0 -1 1077944384 39708 0 0 0 703 8 0 0 20 0 28 0 86745491 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425885051632 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31860] ppid=31842 vsize=26645092 memory=1452 CPUtime=7.01 cores=0-7
/proc/31844/task/31860/stat : 31860 (java) S 31842 31842 30004 0 -1 1077944384 37795 0 0 0 696 5 0 0 20 0 28 0 86745491 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425883998832 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31861] ppid=31842 vsize=26645092 memory=5862256 CPUtime=1.59 cores=0-7
/proc/31844/task/31861/stat : 31861 (java) S 31842 31842 30004 0 -1 1077944384 37338 0 0 0 153 6 0 0 20 0 28 0 86745491 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425882946032 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31862] ppid=31842 vsize=26645092 memory=1424 CPUtime=0 cores=0-7
/proc/31844/task/31862/stat : 31862 (java) S 31842 31842 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86745491 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425881893472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31863] ppid=31842 vsize=26645092 memory=1452 CPUtime=0.92 cores=0-7
/proc/31844/task/31863/stat : 31863 (java) S 31842 31842 30004 0 -1 1077944384 7389 0 0 0 70 22 0 0 20 0 28 0 86745491 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425880840752 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32177] ppid=31842 vsize=26645092 memory=5965724 CPUtime=656.59 cores=0-7
/proc/31844/task/32177/stat : 32177 (java) R 31842 31842 30004 0 -1 4202560 7612 0 0 0 65653 6 0 0 20 0 28 0 86929625 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425865935368 140427194269354 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32178] ppid=31842 vsize=26645092 memory=1452 CPUtime=658.64 cores=0-7
/proc/31844/task/32178/stat : 32178 (java) R 31842 31842 30004 0 -1 4202560 6267 0 0 0 65860 4 0 0 20 0 28 0 86929625 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425868042024 140427189025831 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32179] ppid=31842 vsize=26645092 memory=1452 CPUtime=658 cores=0-7
/proc/31844/task/32179/stat : 32179 (java) R 31842 31842 30004 0 -1 4202560 7817 0 0 0 65790 10 0 0 20 0 28 0 86929625 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425862779576 140427199715151 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32180] ppid=31842 vsize=26645092 memory=5966240 CPUtime=654.03 cores=0-7
/proc/31844/task/32180/stat : 32180 (java) R 31842 31842 30004 0 -1 4202560 7371 0 0 0 65397 6 0 0 20 0 28 0 86929625 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425863831856 140427195114163 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32181] ppid=31842 vsize=26645092 memory=4132 CPUtime=658.22 cores=0-7
/proc/31844/task/32181/stat : 32181 (java) R 31842 31842 30004 0 -1 4202560 7706 0 0 0 65814 8 0 0 20 0 28 0 86929625 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425864884728 140427197298576 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32182] ppid=31842 vsize=26645092 memory=1452 CPUtime=655.63 cores=0-7
/proc/31844/task/32182/stat : 32182 (java) R 31842 31842 30004 0 -1 4202560 4619 0 0 0 65558 5 0 0 20 0 28 0 86929625 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425870147816 140427199921887 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32183] ppid=31842 vsize=26645092 memory=5966240 CPUtime=657.63 cores=0-7
/proc/31844/task/32183/stat : 32183 (java) R 31842 31842 30004 0 -1 4202560 29128 0 0 0 65725 38 0 0 20 0 28 0 86929625 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425866989144 140427190180626 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32184] ppid=31842 vsize=26645092 memory=1452 CPUtime=658.97 cores=0-7
/proc/31844/task/32184/stat : 32184 (java) R 31842 31842 30004 0 -1 4202560 12137 0 0 0 65890 7 0 0 20 0 28 0 86929625 27284574208 1491448 33554432000 4194304 4196468 140736017841824 140425869097616 140427191210324 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
Current children cumulated CPU time: 19908.1 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5967244 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.30 8.38 9/212 32196
/proc/meminfo: memFree=15853764/32770624 swapFree=67108860/67108860
[pid=31842] ppid=31839 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/31842/stat : 31842 (xcsp3-exec) S 31839 31842 30004 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86745485 115843072 363 33554432000 4194304 5098028 140728967031552 140728967029656 139960119177852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30744576 140728967038006 140728967038208 140728967038208 140728967040970 0
/proc/31842/statm: 28282 363 306 221 0 87 0
[pid=31844] ppid=31842 vsize=26645092 memory=5965416 CPUtime=20049.2 cores=0-7
/proc/31844/stat : 31844 (java) S 31842 31842 30004 0 -1 1077944320 693755 0 0 0 2003845 1070 0 0 20 0 28 0 86745485 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140736017824368 140427551297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
/proc/31844/statm: 6661273 1491354 3473 1 0 6622467 0
[pid=31844/tid=31845] ppid=31842 vsize=26645092 memory=5965824 CPUtime=3.96 cores=0-7
/proc/31844/task/31845/stat : 31845 (java) S 31842 31842 30004 0 -1 1077944384 13001 0 0 0 386 10 0 0 20 0 28 0 86745485 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140427555538048 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31846] ppid=31842 vsize=26645092 memory=-7003737579269690708 CPUtime=2.5 cores=0-7
/proc/31844/task/31846/stat : 31846 (java) S 31842 31842 30004 0 -1 1077944384 8616 0 0 0 225 25 0 0 20 0 28 0 86745486 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140427514403472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31847] ppid=31842 vsize=26645092 memory=1452 CPUtime=2.48 cores=0-7
/proc/31844/task/31847/stat : 31847 (java) S 31842 31842 30004 0 -1 1077944384 13434 0 0 0 219 29 0 0 20 0 28 0 86745486 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140427108153872 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31848] ppid=31842 vsize=26645092 memory=5965312 CPUtime=2.52 cores=0-7
/proc/31844/task/31848/stat : 31848 (java) S 31842 31842 30004 0 -1 1077944384 11131 0 0 0 225 27 0 0 20 0 28 0 86745486 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140427107101072 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31849] ppid=31842 vsize=26645092 memory=14984 CPUtime=2.52 cores=0-7
/proc/31844/task/31849/stat : 31849 (java) S 31842 31842 30004 0 -1 1077944384 11449 0 0 0 228 24 0 0 20 0 28 0 86745486 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140427106048272 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31850] ppid=31842 vsize=26645092 memory=18276 CPUtime=2.54 cores=0-7
/proc/31844/task/31850/stat : 31850 (java) S 31842 31842 30004 0 -1 1077944384 8521 0 0 0 228 26 0 0 20 0 28 0 86745486 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140427104996496 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31851] ppid=31842 vsize=26645092 memory=4048 CPUtime=2.52 cores=0-7
/proc/31844/task/31851/stat : 31851 (java) S 31842 31842 30004 0 -1 1077944384 10635 0 0 0 226 26 0 0 20 0 28 0 86745486 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140427103943696 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31852] ppid=31842 vsize=26645092 memory=1792 CPUtime=2.49 cores=0-7
/proc/31844/task/31852/stat : 31852 (java) S 31842 31842 30004 0 -1 1077944384 11362 0 0 0 226 23 0 0 20 0 28 0 86745486 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140427102890896 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31853] ppid=31842 vsize=26645092 memory=1236 CPUtime=2.5 cores=0-7
/proc/31844/task/31853/stat : 31853 (java) S 31842 31842 30004 0 -1 1077944384 11755 0 0 0 225 25 0 0 20 0 28 0 86745486 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140427101838096 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31854] ppid=31842 vsize=26645092 memory=648 CPUtime=0.69 cores=0-7
/proc/31844/task/31854/stat : 31854 (java) S 31842 31842 30004 0 -1 1077944384 40309 0 0 0 53 16 0 0 20 0 28 0 86745488 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425890314608 140427551308418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31855] ppid=31842 vsize=26645092 memory=956 CPUtime=0 cores=0-7
/proc/31844/task/31855/stat : 31855 (java) S 31842 31842 30004 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 86745488 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425889260640 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31856] ppid=31842 vsize=26645092 memory=2340 CPUtime=0 cores=0-7
/proc/31844/task/31856/stat : 31856 (java) S 31842 31842 30004 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 86745488 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425888207744 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31857] ppid=31842 vsize=26645092 memory=1584 CPUtime=0 cores=0-7
/proc/31844/task/31857/stat : 31857 (java) S 31842 31842 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86745491 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425887156048 140427551315867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31858] ppid=31842 vsize=26645092 memory=928 CPUtime=6.52 cores=0-7
/proc/31844/task/31858/stat : 31858 (java) S 31842 31842 30004 0 -1 1077944384 35263 0 0 0 645 7 0 0 20 0 28 0 86745491 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425886104432 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31859] ppid=31842 vsize=26645092 memory=2236 CPUtime=7.11 cores=0-7
/proc/31844/task/31859/stat : 31859 (java) S 31842 31842 30004 0 -1 1077944384 39709 0 0 0 703 8 0 0 20 0 28 0 86745491 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425885051632 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31860] ppid=31842 vsize=26645092 memory=4128 CPUtime=7.01 cores=0-7
/proc/31844/task/31860/stat : 31860 (java) S 31842 31842 30004 0 -1 1077944384 37795 0 0 0 696 5 0 0 20 0 28 0 86745491 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425883998832 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31861] ppid=31842 vsize=26645092 memory=2196 CPUtime=1.59 cores=0-7
/proc/31844/task/31861/stat : 31861 (java) S 31842 31842 30004 0 -1 1077944384 37338 0 0 0 153 6 0 0 20 0 28 0 86745491 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425882946032 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31862] ppid=31842 vsize=26645092 memory=7288 CPUtime=0 cores=0-7
/proc/31844/task/31862/stat : 31862 (java) S 31842 31842 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86745491 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425881893472 140427551307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=31863] ppid=31842 vsize=26645092 memory=836 CPUtime=0.92 cores=0-7
/proc/31844/task/31863/stat : 31863 (java) S 31842 31842 30004 0 -1 1077944384 7421 0 0 0 70 22 0 0 20 0 28 0 86745491 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425880840752 140427551308418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32177] ppid=31842 vsize=26645092 memory=1224 CPUtime=674.22 cores=0-7
/proc/31844/task/32177/stat : 32177 (java) R 31842 31842 30004 0 -1 4202560 7861 0 0 0 67416 6 0 0 20 0 28 0 86929625 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425865939280 140427199946952 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32178] ppid=31842 vsize=26645092 memory=1716 CPUtime=676.3 cores=0-7
/proc/31844/task/32178/stat : 32178 (java) R 31842 31842 30004 0 -1 4202560 6491 0 0 0 67626 4 0 0 20 0 28 0 86929625 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425868041944 140427199946274 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32179] ppid=31842 vsize=26645092 memory=1424 CPUtime=675.67 cores=0-7
/proc/31844/task/32179/stat : 32179 (java) R 31842 31842 30004 0 -1 4202560 8067 0 0 0 67557 10 0 0 20 0 28 0 86929625 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425862779624 140427188324732 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32180] ppid=31842 vsize=26645092 memory=796 CPUtime=671.48 cores=0-7
/proc/31844/task/32180/stat : 32180 (java) R 31842 31842 30004 0 -1 4202560 7659 0 0 0 67142 6 0 0 20 0 28 0 86929625 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425863832152 140427192988759 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32181] ppid=31842 vsize=26645092 memory=8448 CPUtime=675.76 cores=0-7
/proc/31844/task/32181/stat : 32181 (java) R 31842 31842 30004 0 -1 4202560 7952 0 0 0 67568 8 0 0 20 0 28 0 86929625 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425864884528 140427188710688 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32182] ppid=31842 vsize=26645092 memory=2477 CPUtime=673.23 cores=0-7
/proc/31844/task/32182/stat : 32182 (java) R 31842 31842 30004 0 -1 4202560 4736 0 0 0 67318 5 0 0 20 0 28 0 86929625 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425870147816 140427199921280 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32183] ppid=31842 vsize=26645092 memory=1832 CPUtime=675.29 cores=0-7
/proc/31844/task/32183/stat : 32183 (java) R 31842 31842 30004 0 -1 4202560 29713 0 0 0 67491 38 0 0 20 0 28 0 86929625 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425866992344 140427199921617 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
[pid=31844/tid=32184] ppid=31842 vsize=26645092 memory=1948 CPUtime=676.64 cores=0-7
/proc/31844/task/32184/stat : 32184 (java) R 31842 31842 30004 0 -1 4202560 12459 0 0 0 67657 7 0 0 20 0 28 0 86929625 27284574208 1491354 33554432000 4194304 4196468 140736017841824 140425869094984 140427194824139 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18030592 140736017847425 140736017847597 140736017847597 140736017850319 0
Current children cumulated CPU time: 20049.1 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5966868 KiB

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

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

[startup+2520.15 s]
# the end of solver process 31844 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20039.2 s, system=10.7543 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2520.13 s]*
/proc/loadavg: 8.07 8.30 8.38 2/185 32198
/proc/meminfo: memFree=19372532/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002275 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 20050
CPU user time (s): 20039.2
CPU system time (s): 10.7543
CPU usage (%): 795.586
Max. virtual memory (cumulated for all children) (KiB): 26760804
Max. memory (cumulated for all children) (KiB): 6475456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20039.2
system time used= 10.7543
maximum resident set size= 6496560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 694944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82868
involuntary context switches= 225352


# summary of solver processes directly reported to runsolver:
#   pid: 31842,31844
#   total CPU time (s): 20050
#   total CPU user time (s): 20039.2
#   total CPU system time (s): 10.7543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0029 second user time and 31.827 second system time

The end

Name	NurseRostering/ NurseRostering-10_c18.xml
MD5SUM	8e8c57bbf90dbce08cf7a3cf301ec8dd
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	10766
Best CPU time to get the best result obtained on this benchmark	20050
Satisfiable
(Un)Satisfiability was proved
Number of variables	2140
Number of constraints	5421
Number of domains	18
Minimum domain size	1
Maximum domain size	41
Distribution of domain sizes	[{"size":1,"count":94},{"size":2,"count":444},{"size":6,"count":1141},{"size":9,"count":7},{"size":10,"count":18},{"size":29,"count":128},{"size":41,"count":308}]
Minimum variable degree	2
Maximum variable degree	27
Distribution of variable degrees	[{"degree":2,"count":860},{"degree":3,"count":160},{"degree":17,"count":33},{"degree":18,"count":41},{"degree":19,"count":6},{"degree":20,"count":31},{"degree":21,"count":40},{"degree":22,"count":67},{"degree":23,"count":71},{"degree":24,"count":80},{"degree":25,"count":360},{"degree":26,"count":293},{"degree":27,"count":98}]
Minimum constraint arity	2
Maximum constraint arity	80
Distribution of constraint arities	[{"arity":2,"count":1932},{"arity":3,"count":2080},{"arity":4,"count":40},{"arity":6,"count":960},{"arity":29,"count":240},{"arity":41,"count":168},{"arity":80,"count":1}]
Number of extensional constraints	1248
Number of intensional constraints	684
Distribution of constraint types	[{"type":"extension","count":1248},{"type":"intension","count":684},{"type":"regular","count":2080},{"type":"sum","count":80},{"type":"count","count":1328},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4297527

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