2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	SAT (TO)	31216	2400.39	633.196

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400597-1568679416.xml"  -tl '2400s' -p 4
0.14/0.18	c Choco e747e1e
0.14/0.18	c [HOME/instance-4400597-1568679416.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
9.59/3.24	c solve instance...
12.57/4.01	o 31908 
12.57/4.08	o 31907 
12.96/4.14	o 31904 
13.89/4.40	o 31894 
13.89/4.41	o 31878 
17.56/6.19	o 31869 
18.45/6.46	o 31865 
19.03/6.68	o 31846 
19.73/6.94	o 31836 
22.02/8.70	o 31827 
23.64/9.16	o 31820 
28.71/11.29	o 31817 
31.66/12.07	o 31812 
38.94/14.43	o 31768 
38.94/14.46	o 31757 
39.24/14.52	o 31741 
39.64/14.63	o 31737 
40.03/14.78	o 31727 
40.42/14.80	o 31722 
42.81/15.44	o 31689 
44.71/17.16	o 31674 
44.71/17.17	o 31656 
55.34/20.12	o 31637 
55.34/20.14	o 31610 
55.66/20.29	o 31589 
60.48/22.68	o 31580 
65.80/25.21	o 31566 
65.80/25.22	o 31546 
73.35/27.88	o 31540 
73.52/27.91	o 31522 
85.42/30.98	o 31494 
90.51/33.48	o 31482 
99.33/36.39	o 31476 
101.87/37.03	o 31457 
113.80/40.03	o 31452 
117.90/42.14	o 31447 
120.69/42.92	o 31444 
122.61/44.62	o 31435 
130.34/47.33	o 31434 
153.12/53.32	o 31422 
156.66/54.23	o 31417 
160.40/56.03	o 31415 
173.07/59.29	o 31413 
173.07/59.29	o 31378 
198.10/65.54	o 31365 
212.47/69.18	o 31363 
215.11/71.03	o 31358 
217.39/71.62	o 31357 
217.78/71.73	o 31355 
279.09/87.12	o 31354 
309.56/95.79	o 31351 
317.41/98.58	o 31336 
349.24/107.83	o 31331 
361.92/111.05	o 31328 
435.34/129.56	o 31324 
658.47/185.70	o 31318 
672.60/190.37	o 31296 
679.79/193.13	o 31292 
679.79/193.15	o 31290 
733.96/207.42	o 31282 
752.59/213.05	o 31275 
843.63/236.80	o 31272 
844.02/236.91	o 31268 
875.72/245.75	o 31267 
908.61/254.44	o 31258 
991.57/275.53	o 31256 
1095.23/302.06	o 31248 
1627.35/435.81	o 31246 
1633.12/438.46	o 31229 
1898.73/505.52	o 31226 
2019.77/536.46	o 31223 
2019.77/536.49	o 31222 
2076.09/551.71	o 31216 
2400.08/633.17	s SATISFIABLE
2400.08/633.17	v <instantiation>
2400.08/633.17	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][48] d[3][49] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][49] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][13] d[12][14] d[12][15] d[12][16] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][49] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][49] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][49] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][49] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][46] d[45][47] d[45][48] d[45][49] d[46][47] d[46][48] d[46][49] d[47][48] d[47][49] d[48][49] </list>
2400.08/633.17	v 	<values>46 48 0 16 21 32 3 25 27 2 41 43 17 42 1 44 34 12 18 28 45 37 10 38 4 14 47 23 8 20 7 22 5 29 36 39 13 19 6 31 33 30 35 26 9 40 49 15 24 11 28 23 34 22 37 28 27 14 9 31 37 15 25 35 14 19 39 29 31 31 42 11 42 22 17 21 13 21 15 49 16 7 23 26 21 12 14 25 35 40 27 23 23 18 22 20 5 21 34 44 26 42 26 36 43 30 29 40 14 29 15 30 26 10 23 28 12 18 20 22 14 22 31 35 13 46 23 32 6 23 41 16 39 26 17 17 48 45 34 29 17 31 27 35 35 10 40 21 21 14 29 27 33 24 27 34 23 29 31 33 23 37 26 27 35 31 25 28 7 19 29 47 12 22 29 38 14 17 31 41 14 20 25 11 33 19 42 29 25 30 12 9 14 37 25 19 16 18 31 36 39 21 24 28 26 23 20 27 33 18 34 35 22 27 5 19 31 37 18 20 37 35 36 38 15 15 15 26 34 31 28 35 34 20 28 21 13 28 21 25 29 24 6 17 21 34 5 22 33 18 38 30 25 31 30 16 17 13 7 11 11 30 16 32 41 17 26 28 10 19 33 18 28 16 22 11 19 34 29 32 27 11 47 25 28 11 38 33 25 37 34 19 2 28 48 35 19 41 29 22 45 42 10 17 25 20 28 44 31 28 12 35 27 33 33 7 34 22 23 19 34 17 8 9 2 28 14 24 41 24 22 25 30 34 38 17 24 19 40 21 25 22 47 7 19 24 16 31 24 33 28 19 36 22 21 23 23 31 26 24 19 19 11 28 25 25 14 31 31 35 26 26 37 24 13 16 22 35 24 22 25 26 34 35 38 22 27 22 30 28 23 29 36 11 36 20 30 26 45 32 47 16 24 35 34 22 15 46 32 33 46 27 8 24 14 18 37 22 21 16 7 10 29 33 33 18 25 20 14 32 22 30 18 29 30 34 38 32 24 27 18 40 23 27 30 33 20 35 5 6 6 26 32 4 21 46 12 25 21 9 27 27 31 32 25 9 27 21 26 18 13 38 25 8 22 19 40 36 32 26 19 26 29 7 27 15 35 28 27 35 43 28 23 23 24 4 8 25 32 39 26 44 33 6 30 21 25 28 33 25 29 26 28 24 22 13 19 25 13 27 39 20 33 34 14 39 25 13 25 9 38 35 21 36 32 24 3 32 39 29 28 24 41 36 24 20 5 38 44 18 12 31 28 32 34 37 43 19 41 13 26 29 26 27 24 40 38 24 30 6 21 35 21 19 35 32 28 34 11 39 28 14 41 7 20 30 24 9 38 18 22 11 21 35 33 25 41 13 40 27 31 32 6 17 13 40 37 27 44 32 33 4 34 15 47 14 24 11 27 31 22 30 35 43 35 15 30 20 35 27 13 25 29 25 22 36 44 28 18 28 12 30 22 23 17 43 38 38 24 22 31 11 14 31 24 17 15 29 29 31 29 9 31 36 42 26 29 32 21 44 44 26 23 26 8 35 30 38 24 35 26 35 23 33 13 34 29 29 31 8 21 28 10 43 20 36 10 43 33 46 29 27 30 35 23 14 38 36 33 36 27 35 27 26 17 35 20 27 8 42 15 36 7 34 20 26 28 8 33 15 29 33 16 9 33 26 18 30 27 28 31 31 35 5 25 27 14 35 24 30 23 37 37 24 34 37 47 15 33 36 32 16 21 41 41 26 24 21 14 34 17 36 34 26 15 31 32 29 22 27 22 29 17 44 42 29 28 35 25 34 14 25 11 37 24 27 31 25 29 20 14 20 22 22 20 25 27 23 35 21 21 28 14 23 31 42 29 29 36 30 45 28 31 33 40 8 12 21 8 3 18 11 24 38 22 36 18 24 17 18 27 30 40 28 41 30 37 20 26 29 24 25 29 7 17 30 28 16 14 35 26 32 27 30 24 23 20 29 33 16 22 22 36 22 46 22 12 33 34 25 40 30 18 19 35 30 20 13 26 48 11 15 11 16 22 39 16 13 27 19 9 6 36 15 17 9 26 29 22 27 14 35 35 30 15 33 31 16 24 25 21 35 29 25 17 24 20 24 27 14 21 30 33 31 36 11 36 28 17 25 41 36 29 21 6 19 44 38 43 28 40 38 33 2 22 14 14 37 23 38 24 44 26 27 15 32 20 28 36 26 14 29 35 5 34 35 23 42 24 17 42 11 7 26 27 42 8 14 10 11 33 35 21 24 30 30 27 19 14 18 20 35 31 8 38 29 25 16 27 21 19 41 22 14 28 45 39 24 11 29 26 46 31 19 38 17 23 5 25 42 23 27 34 16 33 39 18 12 48 43 16 29 29 18 26 37 35 28 5 27 28 24 21 24 20 45 33 5 15 22 35 13 35 30 34 19 28 16 5 26 35 29 49 11 13 25 22 38 25 30 21 29 14 17 28 30 36 10 35 32 15 23 31 15 24 35 21 28 36 33 29 30 26 27 26 13 29 30 34 30 36 28 16 20 19 7 37 34 38 36 26 29 17 26 27 34 32 4 28 21 16 27 7 17 36 25 10 39 10 16 22 11 35 28 39 39 31 29 30 41 17 24 24 23 18 38 32 42 28 26 46 10 14 37 26 44 34 47 11 18 15 8 25 45 48 34 27 14 29 28 24 12 26 7 28 27 24 44 27 11 15 15 42 18 22 26 34 12 16 27 37 34 24 19 39 14 17 34 44 28 28 9 33 6 20 27 37 20 30 41 20 29 33 34 38 23 45 33 21 19 27 16 26 35 32 44 28 16 42 34 14 10 10 23 19 8 19 32 26 </values>
2400.08/633.17	v </instantiation>
2400.08/633.17	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 (15116 MiB free)
  memory of node 1: 16384 MiB (15530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400597-1568679416/watcher-4400597-1568679416 -o /tmp/evaluation-result-4400597-1568679416/solver-4400597-1568679416 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1076744166 HOME/instance-4400597-1568679416.xml 

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

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

solver pid=10413, runsolver pid=10410

[startup+0.102153 s]*
/proc/loadavg: 8.27 8.50 8.49 7/233 10429
/proc/meminfo: memFree=31366236/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15144776 memory=27900 CPUtime=0.14 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 5934 0 0 0 12 2 0 0 20 0 15 0 444194648 15508250624 6975 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3786194 6975 3152 1 0 3748377 0
[pid=10415/tid=10416] ppid=10413 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) R 10413 10413 32513 0 -1 4202560 3752 0 0 0 8 1 0 0 20 0 15 0 444194648 15508250624 6975 33554432000 4194304 4196468 140733324615344 139760287218032 139760283000214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 6975 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759750522272 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759749469680 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) R 10413 10413 32513 0 -1 4202560 423 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759747364848 139760283000214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0.02 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) R 10413 10413 32513 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 6975 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29348 KiB

[startup+0.210838 s]*
/proc/loadavg: 8.27 8.50 8.49 7/233 10429
/proc/meminfo: memFree=31353368/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15144776 memory=40128 CPUtime=0.34 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 9747 0 0 0 31 3 0 0 20 0 15 0 444194648 15508250624 10032 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3786194 10032 3320 1 0 3748377 0
[pid=10415/tid=10416] ppid=10413 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) R 10413 10413 32513 0 -1 4202560 6697 0 0 0 18 2 0 0 20 0 15 0 444194648 15508250624 10032 33554432000 4194304 4196468 140733324615344 139760287226592 139760283000214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 10032 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15144776 memory=140503245061358 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194649 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759750522272 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444194651 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759749469680 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) S 10413 10413 32513 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759747364848 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 372 0 0 0 3 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15144776 memory=140503245035136 CPUtime=0.08 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 898 0 0 0 8 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194654 15508250624 10032 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41576 KiB

[startup+0.310712 s]*
/proc/loadavg: 8.27 8.50 8.49 7/233 10429
/proc/meminfo: memFree=31346564/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15149032 memory=49424 CPUtime=0.52 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 11163 0 0 0 48 4 0 0 20 0 15 0 444194648 15512608768 12356 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3787258 12356 3363 1 0 3748377 0
[pid=10415/tid=10416] ppid=10413 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) R 10413 10413 32513 0 -1 4202560 7850 0 0 0 27 3 0 0 20 0 15 0 444194648 15512608768 12356 33554432000 4194304 4196468 140733324615344 139760287219392 139760267068766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15512608768 12356 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15149032 memory=15822218080154965 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194649 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444194651 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444194651 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759750522272 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444194651 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759749469680 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) R 10413 10413 32513 0 -1 4202560 598 0 0 0 4 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759747364848 139760260876752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 392 0 0 0 4 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 1036 0 0 0 12 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194654 15512608768 12356 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50872 KiB

[startup+0.703593 s]
/proc/loadavg: 8.27 8.50 8.49 9/233 10429
/proc/meminfo: memFree=31323736/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15151156 memory=99580 CPUtime=1.71 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 15035 0 0 0 164 7 0 0 20 0 15 0 444194648 15514783744 24895 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3787789 24895 3444 1 0 3748889 0
[pid=10415/tid=10416] ppid=10413 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) R 10413 10413 32513 0 -1 4202560 9210 0 0 0 63 4 0 0 20 0 15 0 444194648 15514783744 24895 33554432000 4194304 4196468 140733324615344 139760287225872 139759919440547 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15151156 memory=143 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15514783744 24895 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194649 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444194649 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444194651 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444194651 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759750522272 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444194651 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759749469680 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15151156 memory=1764 CPUtime=0.27 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) R 10413 10413 32513 0 -1 4202560 1034 0 0 0 27 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759747364848 139760264532736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15151156 memory=111628 CPUtime=0.34 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) R 10413 10413 32513 0 -1 4202560 1245 0 0 0 34 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759746302016 139760262841821 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15151156 memory=796 CPUtime=0.38 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 2240 0 0 0 38 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444194654 15514783744 24895 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101028 KiB

[startup+1.50164 s]
/proc/loadavg: 8.27 8.50 8.49 6/233 10429
/proc/meminfo: memFree=31128820/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0

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

/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 530564 0 0 0 219614 175 0 0 20 0 19 0 444194648 15789527040 436561 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3854865 436561 3556 1 0 3815965 0
[pid=10415/tid=10416] ppid=10413 vsize=15419460 memory=1448 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) S 10413 10413 32513 0 -1 1077944384 21719 0 0 0 175 8 0 0 20 0 19 0 444194648 15789527040 436561 33554432000 4194304 4196468 140733324615344 139760287229056 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15419460 memory=1746244 CPUtime=1.84 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 9954 0 0 0 156 28 0 0 20 0 19 0 444194649 15789527040 436561 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15419460 memory=1746244 CPUtime=1.8 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 11080 0 0 0 153 27 0 0 20 0 19 0 444194649 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15419460 memory=1738096 CPUtime=1.8 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 11211 0 0 0 154 26 0 0 20 0 19 0 444194649 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15419460 memory=1738096 CPUtime=1.82 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 10665 0 0 0 153 29 0 0 20 0 19 0 444194649 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15419460 memory=1740120 CPUtime=0.1 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 9384 0 0 0 9 1 0 0 20 0 19 0 444194651 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15419460 memory=1740120 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759750522336 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759749469696 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15419460 memory=1746244 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15419460 memory=1448 CPUtime=4.74 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) S 10413 10413 32513 0 -1 1077944384 37546 0 0 0 471 3 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759747364848 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15419460 memory=1448 CPUtime=4.21 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 26436 0 0 0 418 3 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15419460 memory=1746244 CPUtime=1.11 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 35573 0 0 0 107 4 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15419460 memory=1746244 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15419460 memory=111628 CPUtime=0.24 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 3971 0 0 0 8 16 0 0 20 0 19 0 444194654 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11515] ppid=10413 vsize=15419460 memory=796 CPUtime=30.01 cores=1,3,5,7
/proc/10415/task/11515/stat : 11515 (java) R 10413 10413 32513 0 -1 4202560 1418 0 0 0 3001 0 0 0 20 0 19 0 444249819 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759733934728 139759926640785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11516] ppid=10413 vsize=15419460 memory=1746244 CPUtime=30.56 cores=1,3,5,7
/proc/10415/task/11516/stat : 11516 (java) R 10413 10413 32513 0 -1 4202560 2813 0 0 0 3056 0 0 0 20 0 19 0 444249819 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759732885984 139759924450841 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11517] ppid=10413 vsize=15419460 memory=3504 CPUtime=30.57 cores=1,3,5,7
/proc/10415/task/11517/stat : 11517 (java) R 10413 10413 32513 0 -1 4202560 2805 0 0 0 3057 0 0 0 20 0 19 0 444249819 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759730780008 139759926556498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11518] ppid=10413 vsize=15419460 memory=1448 CPUtime=30.56 cores=1,3,5,7
/proc/10415/task/11518/stat : 11518 (java) R 10413 10413 32513 0 -1 4202560 1961 0 0 0 3056 0 0 0 20 0 19 0 444249819 15789527040 436561 33554432000 4194304 4196468 140733324615344 139759731830856 139759926640349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 2197.89 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1747692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+633.112 s]
/proc/loadavg: 8.35 8.42 8.41 10/237 11523
/proc/meminfo: memFree=29063648/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15419460 memory=1731812 CPUtime=2400.08 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 539597 0 0 0 239831 177 0 0 20 0 19 0 444194648 15789527040 432953 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3854865 432953 3556 1 0 3815965 0
[pid=10415/tid=10416] ppid=10413 vsize=15419460 memory=1738096 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) S 10413 10413 32513 0 -1 1077944384 21719 0 0 0 175 8 0 0 20 0 19 0 444194648 15789527040 432953 33554432000 4194304 4196468 140733324615344 139760287229056 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15419460 memory=1740120 CPUtime=1.85 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 10434 0 0 0 157 28 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.81 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 11506 0 0 0 154 27 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.81 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 11970 0 0 0 155 26 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 11507 0 0 0 154 29 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0.1 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 9962 0 0 0 9 1 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759750522336 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759749469696 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15419460 memory=1731812 CPUtime=4.74 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) S 10413 10413 32513 0 -1 1077944384 37556 0 0 0 471 3 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759747364848 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15419460 memory=1448 CPUtime=4.21 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 26441 0 0 0 418 3 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.11 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 35819 0 0 0 107 4 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15419460 memory=3504 CPUtime=0.27 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 4016 0 0 0 9 18 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11515] ppid=10413 vsize=15419460 memory=47928 CPUtime=79.99 cores=1,3,5,7
/proc/10415/task/11515/stat : 11515 (java) R 10413 10413 32513 0 -1 4202560 1913 0 0 0 7999 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759733934480 139759926640395 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11516] ppid=10413 vsize=15419460 memory=1448 CPUtime=81.19 cores=1,3,5,7
/proc/10415/task/11516/stat : 11516 (java) R 10413 10413 32513 0 -1 4202560 4606 0 0 0 8119 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759732883272 139759925481972 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11517] ppid=10413 vsize=15419460 memory=1731812 CPUtime=81.34 cores=1,3,5,7
/proc/10415/task/11517/stat : 11517 (java) R 10413 10413 32513 0 -1 4202560 5327 0 0 0 8134 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759730777544 139759927381373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11518] ppid=10413 vsize=15419460 memory=1448 CPUtime=81.29 cores=1,3,5,7
/proc/10415/task/11518/stat : 11518 (java) R 10413 10413 32513 0 -1 4202560 2793 0 0 0 8129 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759731830664 139759926699114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1733260 KiB

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

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

[startup+633.196 s]
# the end of solver process 10415 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.6 s, system=1.78858 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+633.112 s]
/proc/loadavg: 8.35 8.42 8.41 10/237 11523
/proc/meminfo: memFree=29063648/32770624 swapFree=66997372/67108860
[pid=10413] ppid=10410 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (xcsp3-exec) S 10410 10413 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444194648 115843072 362 33554432000 4194304 5098028 140731982613376 140731982611480 139777041248892 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140731982615418 140731982615661 140731982615661 140731982618570 0
/proc/10413/statm: 28282 362 304 221 0 87 0
[pid=10415] ppid=10413 vsize=15419460 memory=1731812 CPUtime=2400.08 cores=1,3,5,7
/proc/10415/stat : 10415 (java) S 10413 10413 32513 0 -1 1077944320 539597 0 0 0 239831 177 0 0 20 0 19 0 444194648 15789527040 432953 33554432000 4194304 4196468 140733324615344 140733324597888 139760282988279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
/proc/10415/statm: 3854865 432953 3556 1 0 3815965 0
[pid=10415/tid=10416] ppid=10413 vsize=15419460 memory=1738096 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10416/stat : 10416 (java) S 10413 10413 32513 0 -1 1077944384 21719 0 0 0 175 8 0 0 20 0 19 0 444194648 15789527040 432953 33554432000 4194304 4196468 140733324615344 139760287229056 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10417] ppid=10413 vsize=15419460 memory=1740120 CPUtime=1.85 cores=1,3,5,7
/proc/10415/task/10417/stat : 10417 (java) S 10413 10413 32513 0 -1 1077944384 10434 0 0 0 157 28 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139760250546448 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10418] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.81 cores=1,3,5,7
/proc/10415/task/10418/stat : 10418 (java) S 10413 10413 32513 0 -1 1077944384 11506 0 0 0 154 27 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759874402704 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10419] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.81 cores=1,3,5,7
/proc/10415/task/10419/stat : 10419 (java) S 10413 10413 32513 0 -1 1077944384 11970 0 0 0 155 26 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759873350160 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10420] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.83 cores=1,3,5,7
/proc/10415/task/10420/stat : 10420 (java) S 10413 10413 32513 0 -1 1077944384 11507 0 0 0 154 29 0 0 20 0 19 0 444194649 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759872297616 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10421] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0.1 cores=1,3,5,7
/proc/10415/task/10421/stat : 10421 (java) S 10413 10413 32513 0 -1 1077944384 9962 0 0 0 9 1 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759751576048 139760282999426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10422] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10422/stat : 10422 (java) S 10413 10413 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759750522336 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10423] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10423/stat : 10423 (java) S 10413 10413 32513 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 444194651 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759749469696 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10424] ppid=10413 vsize=15419460 memory=1731812 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10424/stat : 10424 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759748418256 139760283006875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10425] ppid=10413 vsize=15419460 memory=1731812 CPUtime=4.74 cores=1,3,5,7
/proc/10415/task/10425/stat : 10425 (java) S 10413 10413 32513 0 -1 1077944384 37556 0 0 0 471 3 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759747364848 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10426] ppid=10413 vsize=15419460 memory=1448 CPUtime=4.21 cores=1,3,5,7
/proc/10415/task/10426/stat : 10426 (java) S 10413 10413 32513 0 -1 1077944384 26441 0 0 0 418 3 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759746312304 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10427] ppid=10413 vsize=15419460 memory=1731812 CPUtime=1.11 cores=1,3,5,7
/proc/10415/task/10427/stat : 10427 (java) S 10413 10413 32513 0 -1 1077944384 35819 0 0 0 107 4 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759745259760 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10428] ppid=10413 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10415/task/10428/stat : 10428 (java) S 10413 10413 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759744207456 139760282998485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=10429] ppid=10413 vsize=15419460 memory=3504 CPUtime=0.27 cores=1,3,5,7
/proc/10415/task/10429/stat : 10429 (java) S 10413 10413 32513 0 -1 1077944384 4016 0 0 0 9 18 0 0 20 0 19 0 444194654 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759743154992 139760282999426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11515] ppid=10413 vsize=15419460 memory=47928 CPUtime=79.99 cores=1,3,5,7
/proc/10415/task/11515/stat : 11515 (java) R 10413 10413 32513 0 -1 4202560 1913 0 0 0 7999 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759733934480 139759926640395 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11516] ppid=10413 vsize=15419460 memory=1448 CPUtime=81.19 cores=1,3,5,7
/proc/10415/task/11516/stat : 11516 (java) R 10413 10413 32513 0 -1 4202560 4606 0 0 0 8119 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759732883272 139759925481972 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11517] ppid=10413 vsize=15419460 memory=1731812 CPUtime=81.34 cores=1,3,5,7
/proc/10415/task/11517/stat : 11517 (java) R 10413 10413 32513 0 -1 4202560 5327 0 0 0 8134 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759730777544 139759927381373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
[pid=10415/tid=11518] ppid=10413 vsize=15419460 memory=1448 CPUtime=81.29 cores=1,3,5,7
/proc/10415/task/11518/stat : 11518 (java) R 10413 10413 32513 0 -1 4202560 2793 0 0 0 8129 0 0 0 20 0 19 0 444249819 15789527040 432953 33554432000 4194304 4196468 140733324615344 139759731830664 139759926699114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39391232 140733324620783 140733324620954 140733324620954 140733324623823 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1733260 KiB

Child status: 143
Real time (s): 633.196
CPU time (s): 2400.39
CPU user time (s): 2398.6
CPU system time (s): 1.78858
CPU usage (%): 379.091
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 1747692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.6
system time used= 1.78858
maximum resident set size= 1750320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20989
involuntary context switches= 47494


# summary of solver processes directly reported to runsolver:
#   pid: 10413,10415
#   total CPU time (s): 2400.39
#   total CPU user time (s): 2398.6
#   total CPU system time (s): 1.78858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41462 second user time and 7.15566 second system time

The end

Name	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml
MD5SUM	4fcc0be526f5147180ee0aa4ecb06fa1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	31118
Best CPU time to get the best result obtained on this benchmark	2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	2550
Number of constraints	1200
Number of domains	2
Minimum domain size	49
Maximum domain size	50
Distribution of domain sizes	[{"size":49,"count":1199},{"size":50,"count":50}]
Minimum variable degree	0
Maximum variable degree	50
Distribution of variable degrees	[{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}]
Minimum constraint arity	3
Maximum constraint arity	50
Distribution of constraint arities	[{"arity":3,"count":1199},{"arity":50,"count":1}]
Number of extensional constraints	1199
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1199},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4400597

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