2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT (TO)	854	19520	2520.2

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399991-1568703571.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399991-1568703571.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.00/1.22	c solve instance...
14.87/2.68	o 2638 
14.87/2.70	o 2637 
15.57/2.71	o 2555 
15.57/2.73	o 2538 
15.57/2.74	o 2516 
15.57/2.74	o 2515 
15.57/2.75	o 2499 
15.57/2.75	o 2455 
15.57/2.76	o 2438 
15.57/2.77	o 2434 
15.57/2.77	o 2433 
15.57/2.78	o 2407 
15.57/2.78	o 2406 
15.57/2.79	o 2403 
16.23/2.81	o 2402 
16.23/2.81	o 2401 
16.23/2.88	o 1808 
16.23/2.90	o 1807 
16.98/2.91	o 1799 
16.98/2.93	o 1770 
16.98/2.98	o 1729 
16.98/2.99	o 1728 
16.98/2.99	o 1666 
17.73/3.03	o 1665 
17.73/3.04	o 1664 
17.73/3.06	o 1657 
17.73/3.08	o 1620 
19.95/3.35	o 1614 
19.95/3.36	o 1551 
19.95/3.37	o 1542 
21.55/3.51	o 1504 
21.55/3.57	o 1501 
23.07/3.73	o 1460 
23.07/3.75	o 1457 
23.07/3.76	o 1432 
23.07/3.78	o 1394 
26.98/4.29	o 1345 
29.40/4.53	o 1344 
29.40/4.54	o 1332 
30.87/4.71	o 1292 
30.87/4.72	o 1279 
30.87/4.75	o 1246 
31.64/4.83	o 1239 
35.62/5.36	o 1212 
36.39/5.43	o 1204 
36.39/5.44	o 1195 
36.39/5.46	o 1193 
42.69/6.25	o 1181 
45.04/6.52	o 1167 
57.85/8.12	o 1166 
66.50/9.21	o 1137 
68.08/9.44	o 1127 
70.44/9.72	o 1126 
77.56/10.68	o 1112 
80.78/11.01	o 1104 
82.28/11.22	o 1098 
85.44/11.66	o 1088 
90.21/12.21	o 1086 
90.21/12.21	o 1058 
96.63/13.08	o 1037 
116.47/15.59	o 1027 
127.52/16.90	o 1024 
161.03/21.12	o 1021 
161.72/21.28	o 1009 
173.67/22.78	o 986 
178.08/23.39	o 977 
190.83/24.96	o 953 
197.99/25.85	o 952 
198.77/25.98	o 947 
436.45/55.72	o 945 
562.41/71.51	o 944 
592.33/75.43	o 942 
776.39/98.50	o 935 
1128.25/142.73	o 929 
1290.28/163.79	o 924 
1404.07/180.56	o 916 
1658.40/212.67	o 906 
2264.02/288.75	o 904 
2848.03/365.75	o 888 
2988.16/384.92	o 884 
3357.32/436.75	o 883 
3916.12/511.31	o 882 
3916.83/511.46	o 864 
4387.53/574.66	o 861 
11046.76/1422.01	o 855 
19407.43/2505.13	o 854 
19519.05/2520.08	s SATISFIABLE
19519.05/2520.08	v <instantiation>
19519.05/2520.08	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] </list>
19519.05/2520.08	v 	<values>0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 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 1 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 1 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 1 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 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 0 0 0 1 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 1 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 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 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 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 66 28 74 54 75 36 86 44 23 89 57 75 51 17 46 42 64 19 24 70 98 20 75 86 33 88 32 93 79 25 21 44 100 60 88 78 14 </values>
19519.05/2520.08	v </instantiation>
19519.05/2520.08	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 (13801 MiB free)
  memory of node 1: 16384 MiB (15808 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399991-1568703571/watcher-4399991-1568703571 -o /tmp/evaluation-result-4399991-1568703571/solver-4399991-1568703571 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568700954-9021 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 808880964 HOME/instance-4399991-1568703571.xml 

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

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


[startup+0.100138 s]*
/proc/loadavg: 7.68 7.98 7.99 2/211 9749
/proc/meminfo: memFree=30304316/32770624 swapFree=66998768/67108860
[pid=9728] ppid=9725 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9728/stat : 9728 (xcsp3-exec) S 9725 9728 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446621954 115843072 363 33554432000 4194304 5098028 140736679813072 140736679811176 140697337778812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12419072 140736679822198 140736679822441 140736679822441 140736679825354 0
/proc/9728/statm: 28282 363 304 221 0 87 0
[pid=9730] ppid=9728 vsize=28227396 memory=29152 CPUtime=0.12 cores=0-7
/proc/9730/stat : 9730 (java) S 9728 9728 8994 0 -1 1077944320 5691 0 0 0 11 1 0 0 20 0 20 0 446621954 28904853504 7288 33554432000 4194304 4196468 140725875122320 140725875104864 139758706331383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
/proc/9730/statm: 7056849 7288 3161 1 0 7019032 0
[pid=9730/tid=9731] ppid=9728 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/9730/task/9731/stat : 9731 (java) R 9728 9728 8994 0 -1 4202560 3581 0 0 0 8 0 0 0 20 0 20 0 446621954 28904853504 7288 33554432000 4194304 4196468 140725875122320 139758710564160 139758706343318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9732] ppid=9728 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9730/task/9732/stat : 9732 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 7288 33554432000 4194304 4196468 140725875122320 139758658952080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9733] ppid=9728 vsize=28227396 memory=140138077247104 CPUtime=0 cores=0-7
/proc/9730/task/9733/stat : 9733 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 7288 33554432000 4194304 4196468 140725875122320 139758657899280 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9734] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9734/stat : 9734 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 7288 33554432000 4194304 4196468 140725875122320 139758656846992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9735] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9735/stat : 9735 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 7288 33554432000 4194304 4196468 140725875122320 139758655794192 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9736] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9736/stat : 9736 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 7288 33554432000 4194304 4196468 140725875122320 139758654740880 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9737] ppid=9728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9730/task/9737/stat : 9737 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 7288 33554432000 4194304 4196468 140725875122320 139758653688080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9738] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9738/stat : 9738 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 7288 33554432000 4194304 4196468 140725875122320 139758652635792 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9739] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9739/stat : 9739 (java) S 9728 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 7288 33554432000 4194304 4196468 140725875122320 139758651582992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9740] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9740/stat : 9740 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621957 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757755517552 139758706342530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9741] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9741/stat : 9741 (java) S 9728 9728 8994 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 446621957 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757754463520 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9742] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9742/stat : 9742 (java) S 9728 9728 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446621957 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757753411184 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9743] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9743/stat : 9743 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621960 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757752359504 139758706349979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9744] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9744/stat : 9744 (java) S 9728 9728 8994 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 446621960 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757751306352 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9745] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9745/stat : 9745 (java) S 9728 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446621960 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757750253552 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9746] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9746/stat : 9746 (java) S 9728 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446621960 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757749201264 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9747] ppid=9728 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9730/task/9747/stat : 9747 (java) S 9728 9728 8994 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 20 0 446621960 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757748148464 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9748] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9748/stat : 9748 (java) S 9728 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446621960 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757747096416 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9749] ppid=9728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9730/task/9749/stat : 9749 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621960 28904853504 7288 33554432000 4194304 4196468 140725875122320 139757746043696 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30604 KiB

[startup+0.210701 s]*
/proc/loadavg: 7.68 7.98 7.99 2/211 9749
/proc/meminfo: memFree=30292292/32770624 swapFree=66998768/67108860
[pid=9728] ppid=9725 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9728/stat : 9728 (xcsp3-exec) S 9725 9728 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446621954 115843072 363 33554432000 4194304 5098028 140736679813072 140736679811176 140697337778812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12419072 140736679822198 140736679822441 140736679822441 140736679825354 0
/proc/9728/statm: 28282 363 304 221 0 87 0
[pid=9730] ppid=9728 vsize=28227396 memory=41124 CPUtime=0.34 cores=0-7
/proc/9730/stat : 9730 (java) S 9728 9728 8994 0 -1 1077944320 9534 0 0 0 31 3 0 0 20 0 20 0 446621954 28904853504 10281 33554432000 4194304 4196468 140725875122320 140725875104864 139758706331383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
/proc/9730/statm: 7056849 10281 3308 1 0 7019032 0
[pid=9730/tid=9731] ppid=9728 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9730/task/9731/stat : 9731 (java) R 9728 9728 8994 0 -1 4202560 6616 0 0 0 17 2 0 0 20 0 20 0 446621954 28904853504 10281 33554432000 4194304 4196468 140725875122320 139758710571056 139758690411870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9732] ppid=9728 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/9730/task/9732/stat : 9732 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 10281 33554432000 4194304 4196468 140725875122320 139758658952080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9733] ppid=9728 vsize=28227396 memory=140138077257085 CPUtime=0 cores=0-7
/proc/9730/task/9733/stat : 9733 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 10281 33554432000 4194304 4196468 140725875122320 139758657899280 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9734] ppid=9728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9730/task/9734/stat : 9734 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 10281 33554432000 4194304 4196468 140725875122320 139758656846992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9735] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9735/stat : 9735 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 10281 33554432000 4194304 4196468 140725875122320 139758655794192 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9736] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9736/stat : 9736 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 10281 33554432000 4194304 4196468 140725875122320 139758654740880 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9737] ppid=9728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9730/task/9737/stat : 9737 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 10281 33554432000 4194304 4196468 140725875122320 139758653688080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9738] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9738/stat : 9738 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 10281 33554432000 4194304 4196468 140725875122320 139758652635792 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9739] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9739/stat : 9739 (java) S 9728 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446621955 28904853504 10281 33554432000 4194304 4196468 140725875122320 139758651582992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9740] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9740/stat : 9740 (java) S 9728 9728 8994 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446621957 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757755517552 139758706342530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9741] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9741/stat : 9741 (java) S 9728 9728 8994 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 446621957 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757754463520 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9742] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9742/stat : 9742 (java) S 9728 9728 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446621957 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757753411184 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9743] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9743/stat : 9743 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621960 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757752359504 139758706349979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9744] ppid=9728 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9730/task/9744/stat : 9744 (java) S 9728 9728 8994 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 20 0 446621960 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757751306352 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9745] ppid=9728 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9730/task/9745/stat : 9745 (java) S 9728 9728 8994 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 446621960 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757750253552 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9746] ppid=9728 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9730/task/9746/stat : 9746 (java) S 9728 9728 8994 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 20 0 446621960 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757749201264 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9747] ppid=9728 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/9730/task/9747/stat : 9747 (java) R 9728 9728 8994 0 -1 4202560 762 0 0 0 7 0 0 0 20 0 20 0 446621960 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757748148464 139758685459851 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9748] ppid=9728 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9748/stat : 9748 (java) S 9728 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446621960 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757747096416 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9749] ppid=9728 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9730/task/9749/stat : 9749 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621960 28904853504 10281 33554432000 4194304 4196468 140725875122320 139757746043696 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42576 KiB

[startup+0.311356 s]*
/proc/loadavg: 7.68 7.98 7.99 4/211 9749
/proc/meminfo: memFree=30284784/32770624 swapFree=66998768/67108860
[pid=9728] ppid=9725 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9728/stat : 9728 (xcsp3-exec) S 9725 9728 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446621954 115843072 363 33554432000 4194304 5098028 140736679813072 140736679811176 140697337778812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12419072 140736679822198 140736679822441 140736679822441 140736679825354 0
/proc/9728/statm: 28282 363 304 221 0 87 0
[pid=9730] ppid=9728 vsize=28231652 memory=50260 CPUtime=0.52 cores=0-7
/proc/9730/stat : 9730 (java) S 9728 9728 8994 0 -1 1077944320 10913 0 0 0 48 4 0 0 20 0 20 0 446621954 28909211648 12565 33554432000 4194304 4196468 140725875122320 140725875104864 139758706331383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
/proc/9730/statm: 7057913 12565 3357 1 0 7019032 0
[pid=9730/tid=9731] ppid=9728 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9730/task/9731/stat : 9731 (java) R 9728 9728 8994 0 -1 4202560 7782 0 0 0 26 3 0 0 20 0 20 0 446621954 28909211648 12565 33554432000 4194304 4196468 140725875122320 139758710562496 139758690411870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9732] ppid=9728 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9732/stat : 9732 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621955 28909211648 12565 33554432000 4194304 4196468 140725875122320 139758658952080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9733] ppid=9728 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9733/stat : 9733 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28909211648 12565 33554432000 4194304 4196468 140725875122320 139758657899280 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9734] ppid=9728 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9734/stat : 9734 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28909211648 12565 33554432000 4194304 4196468 140725875122320 139758656846992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9735] ppid=9728 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9735/stat : 9735 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28909211648 12565 33554432000 4194304 4196468 140725875122320 139758655794192 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9736] ppid=9728 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9736/stat : 9736 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28909211648 12565 33554432000 4194304 4196468 140725875122320 139758654740880 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9737] ppid=9728 vsize=28231652 memory=140137937857199 CPUtime=0 cores=0-7
/proc/9730/task/9737/stat : 9737 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28909211648 12565 33554432000 4194304 4196468 140725875122320 139758653688080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9738] ppid=9728 vsize=28231652 memory=140137937859504 CPUtime=0 cores=0-7
/proc/9730/task/9738/stat : 9738 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621955 28909211648 12565 33554432000 4194304 4196468 140725875122320 139758652635792 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9739] ppid=9728 vsize=28231652 memory=140137937861808 CPUtime=0 cores=0-7
/proc/9730/task/9739/stat : 9739 (java) S 9728 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446621955 28909211648 12565 33554432000 4194304 4196468 140725875122320 139758651582992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9740] ppid=9728 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9740/stat : 9740 (java) S 9728 9728 8994 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446621957 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757755517552 139758706342530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9741] ppid=9728 vsize=28231652 memory=280275875737488 CPUtime=0 cores=0-7
/proc/9730/task/9741/stat : 9741 (java) S 9728 9728 8994 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 446621957 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757754463520 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9742] ppid=9728 vsize=28231652 memory=280275875735184 CPUtime=0 cores=0-7
/proc/9730/task/9742/stat : 9742 (java) S 9728 9728 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446621957 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757753411184 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9743] ppid=9728 vsize=28231652 memory=280275875742096 CPUtime=0 cores=0-7
/proc/9730/task/9743/stat : 9743 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621960 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757752359504 139758706349979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9744] ppid=9728 vsize=28231652 memory=280275875683376 CPUtime=0.03 cores=0-7
/proc/9730/task/9744/stat : 9744 (java) R 9728 9728 8994 0 -1 4202560 598 0 0 0 3 0 0 0 20 0 20 0 446621960 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757751296736 139758687858262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9745] ppid=9728 vsize=28231652 memory=280275875755920 CPUtime=0.02 cores=0-7
/proc/9730/task/9745/stat : 9745 (java) S 9728 9728 8994 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 20 0 446621960 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757750253552 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9746] ppid=9728 vsize=28231652 memory=280275875762832 CPUtime=0.03 cores=0-7
/proc/9730/task/9746/stat : 9746 (java) S 9728 9728 8994 0 -1 1077944384 319 0 0 0 3 0 0 0 20 0 20 0 446621960 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757749201264 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9747] ppid=9728 vsize=28231652 memory=280275875760528 CPUtime=0.12 cores=0-7
/proc/9730/task/9747/stat : 9747 (java) S 9728 9728 8994 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 20 0 446621960 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757748148464 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9748] ppid=9728 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9748/stat : 9748 (java) S 9728 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446621960 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757747096416 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9749] ppid=9728 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9730/task/9749/stat : 9749 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621960 28909211648 12565 33554432000 4194304 4196468 140725875122320 139757746043696 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51712 KiB

[startup+0.701037 s]
/proc/loadavg: 7.68 7.98 7.99 6/211 9749
/proc/meminfo: memFree=30262816/32770624 swapFree=66998768/67108860
[pid=9728] ppid=9725 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9728/stat : 9728 (xcsp3-exec) S 9725 9728 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446621954 115843072 363 33554432000 4194304 5098028 140736679813072 140736679811176 140697337778812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12419072 140736679822198 140736679822441 140736679822441 140736679825354 0
/proc/9728/statm: 28282 363 304 221 0 87 0
[pid=9730] ppid=9728 vsize=28233776 memory=94652 CPUtime=1.87 cores=0-7
/proc/9730/stat : 9730 (java) S 9728 9728 8994 0 -1 1077944320 15835 0 0 0 179 8 0 0 20 0 20 0 446621954 28911386624 23663 33554432000 4194304 4196468 140725875122320 140725875104864 139758706331383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
/proc/9730/statm: 7058444 23663 3452 1 0 7019544 0
[pid=9730/tid=9731] ppid=9728 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/9730/task/9731/stat : 9731 (java) R 9728 9728 8994 0 -1 4202560 9267 0 0 0 63 4 0 0 20 0 20 0 446621954 28911386624 23663 33554432000 4194304 4196468 140725875122320 139758710566064 139758690375013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9732] ppid=9728 vsize=28233776 memory=140137938068336 CPUtime=0 cores=0-7
/proc/9730/task/9732/stat : 9732 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446621955 28911386624 23663 33554432000 4194304 4196468 140725875122320 139758658952080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9733] ppid=9728 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9730/task/9733/stat : 9733 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28911386624 23685 33554432000 4194304 4196468 140725875122320 139758657899280 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9734] ppid=9728 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/9730/task/9734/stat : 9734 (java) S 9728 9728 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446621955 28911386624 23685 33554432000 4194304 4196468 140725875122320 139758656846992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0

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

[pid=9730/tid=10571] ppid=9728 vsize=28834900 memory=8112282956445269571 CPUtime=1027.43 cores=0-7
/proc/9730/task/10571/stat : 10571 (java) S 9728 9728 8994 0 -1 1077944384 52477 0 0 0 102722 21 0 0 20 0 28 0 446764155 29526937600 166255 33554432000 4194304 4196468 140725875122320 139757731575248 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10572] ppid=9728 vsize=28834900 memory=2020 CPUtime=1030.24 cores=0-7
/proc/9730/task/10572/stat : 10572 (java) S 9728 9728 8994 0 -1 1077944384 9558 0 0 0 103019 5 0 0 20 0 28 0 446764155 29526937600 166255 33554432000 4194304 4196468 140725875122320 139757727364432 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
Current children cumulated CPU time: 19404.6 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 666472 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.79 8.11 8.07 9/220 10665
/proc/meminfo: memFree=29653656/32770624 swapFree=66998776/67108860
[pid=9728] ppid=9725 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9728/stat : 9728 (xcsp3-exec) S 9725 9728 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446621954 115843072 363 33554432000 4194304 5098028 140736679813072 140736679811176 140697337778812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12419072 140736679822198 140736679822441 140736679822441 140736679825354 0
/proc/9728/statm: 28282 363 304 221 0 87 0
[pid=9730] ppid=9728 vsize=28834900 memory=677820 CPUtime=19519.1 cores=0-7
/proc/9730/stat : 9730 (java) S 9728 9728 8994 0 -1 1077944320 767821 0 0 0 1948122 3783 0 0 20 0 28 0 446621954 29526937600 169455 33554432000 4194304 4196468 140725875122320 140725875104864 139758706331383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
/proc/9730/statm: 7208725 169455 3555 1 0 7169825 0
[pid=9730/tid=9731] ppid=9728 vsize=28834900 memory=640088 CPUtime=1.29 cores=0-7
/proc/9730/task/9731/stat : 9731 (java) S 9728 9728 8994 0 -1 1077944384 14164 0 0 0 122 7 0 0 20 0 28 0 446621954 29526937600 169455 33554432000 4194304 4196468 140725875122320 139758710572160 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9732] ppid=9728 vsize=28834900 memory=4108 CPUtime=7.95 cores=0-7
/proc/9730/task/9732/stat : 9732 (java) S 9728 9728 8994 0 -1 1077944384 21691 0 0 0 760 35 0 0 20 0 28 0 446621955 29526937600 169455 33554432000 4194304 4196468 140725875122320 139758658952080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9733] ppid=9728 vsize=28834900 memory=4126316290023845779 CPUtime=7.97 cores=0-7
/proc/9730/task/9733/stat : 9733 (java) S 9728 9728 8994 0 -1 1077944384 21002 0 0 0 763 34 0 0 20 0 28 0 446621955 29526937600 169455 33554432000 4194304 4196468 140725875122320 139758657899280 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9734] ppid=9728 vsize=28834900 memory=1552 CPUtime=8.02 cores=0-7
/proc/9730/task/9734/stat : 9734 (java) S 9728 9728 8994 0 -1 1077944384 24920 0 0 0 769 33 0 0 20 0 28 0 446621955 29526937600 169455 33554432000 4194304 4196468 140725875122320 139758656846992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9735] ppid=9728 vsize=28834900 memory=1204 CPUtime=8.02 cores=0-7
/proc/9730/task/9735/stat : 9735 (java) S 9728 9728 8994 0 -1 1077944384 26421 0 0 0 768 34 0 0 20 0 28 0 446621955 29526937600 169455 33554432000 4194304 4196468 140725875122320 139758655794192 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9736] ppid=9728 vsize=28834900 memory=1072 CPUtime=7.97 cores=0-7
/proc/9730/task/9736/stat : 9736 (java) S 9728 9728 8994 0 -1 1077944384 20580 0 0 0 766 31 0 0 20 0 28 0 446621955 29526937600 169455 33554432000 4194304 4196468 140725875122320 139758654740880 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9737] ppid=9728 vsize=28834900 memory=5860 CPUtime=8.01 cores=0-7
/proc/9730/task/9737/stat : 9737 (java) S 9728 9728 8994 0 -1 1077944384 17114 0 0 0 768 33 0 0 20 0 28 0 446621955 29526937600 169455 33554432000 4194304 4196468 140725875122320 139758653688080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9738] ppid=9728 vsize=28834900 memory=1544 CPUtime=7.95 cores=0-7
/proc/9730/task/9738/stat : 9738 (java) S 9728 9728 8994 0 -1 1077944384 24007 0 0 0 763 32 0 0 20 0 28 0 446621955 29526937600 169455 33554432000 4194304 4196468 140725875122320 139758652635792 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9739] ppid=9728 vsize=28834900 memory=776 CPUtime=7.94 cores=0-7
/proc/9730/task/9739/stat : 9739 (java) S 9728 9728 8994 0 -1 1077944384 23920 0 0 0 761 33 0 0 20 0 28 0 446621955 29526937600 169455 33554432000 4194304 4196468 140725875122320 139758651582992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9740] ppid=9728 vsize=28834900 memory=1056 CPUtime=45.95 cores=0-7
/proc/9730/task/9740/stat : 9740 (java) S 9728 9728 8994 0 -1 1077944384 67483 0 0 0 1531 3064 0 0 20 0 28 0 446621957 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757755517552 139758706342530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9741] ppid=9728 vsize=28834900 memory=14012 CPUtime=0 cores=0-7
/proc/9730/task/9741/stat : 9741 (java) S 9728 9728 8994 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 446621957 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757754463584 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9742] ppid=9728 vsize=28834900 memory=24860 CPUtime=0 cores=0-7
/proc/9730/task/9742/stat : 9742 (java) S 9728 9728 8994 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 446621957 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757753411200 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9743] ppid=9728 vsize=28834900 memory=908 CPUtime=0 cores=0-7
/proc/9730/task/9743/stat : 9743 (java) S 9728 9728 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446621960 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757752359504 139758706349979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9744] ppid=9728 vsize=28834900 memory=1440 CPUtime=2.25 cores=0-7
/proc/9730/task/9744/stat : 9744 (java) S 9728 9728 8994 0 -1 1077944384 13105 0 0 0 222 3 0 0 20 0 28 0 446621960 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757751306352 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9745] ppid=9728 vsize=28834900 memory=1760 CPUtime=2.18 cores=0-7
/proc/9730/task/9745/stat : 9745 (java) S 9728 9728 8994 0 -1 1077944384 10189 0 0 0 216 2 0 0 20 0 28 0 446621960 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757750253552 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9746] ppid=9728 vsize=28834900 memory=111632 CPUtime=2 cores=0-7
/proc/9730/task/9746/stat : 9746 (java) S 9728 9728 8994 0 -1 1077944384 8714 0 0 0 199 1 0 0 20 0 28 0 446621960 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757749201264 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9747] ppid=9728 vsize=28834900 memory=800 CPUtime=1.01 cores=0-7
/proc/9730/task/9747/stat : 9747 (java) S 9728 9728 8994 0 -1 1077944384 18375 0 0 0 97 4 0 0 20 0 28 0 446621960 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757748148464 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9748] ppid=9728 vsize=28834900 memory=1804 CPUtime=0 cores=0-7
/proc/9730/task/9748/stat : 9748 (java) S 9728 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446621960 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757747096416 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9749] ppid=9728 vsize=28834900 memory=920 CPUtime=0.68 cores=0-7
/proc/9730/task/9749/stat : 9749 (java) S 9728 9728 8994 0 -1 1077944384 6789 0 0 0 40 28 0 0 20 0 28 0 446621960 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757746043696 139758706342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10658] ppid=9728 vsize=28834900 memory=8112282956445269571 CPUtime=13.57 cores=0-7
/proc/9730/task/10658/stat : 10658 (java) R 9728 9728 8994 0 -1 4202560 174 0 0 0 1357 0 0 0 20 0 28 0 446872467 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757731569104 139758327271723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10659] ppid=9728 vsize=28834900 memory=1408 CPUtime=13.54 cores=0-7
/proc/9730/task/10659/stat : 10659 (java) R 9728 9728 8994 0 -1 4202560 126 0 0 0 1354 0 0 0 20 0 28 0 446872467 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757729465216 139758327516064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10660] ppid=9728 vsize=28834900 memory=4108 CPUtime=13.56 cores=0-7
/proc/9730/task/10660/stat : 10660 (java) R 9728 9728 8994 0 -1 4202560 199 0 0 0 1356 0 0 0 20 0 28 0 446872467 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757736827664 139758327516132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10661] ppid=9728 vsize=28834900 memory=675648 CPUtime=13.65 cores=0-7
/proc/9730/task/10661/stat : 10661 (java) R 9728 9728 8994 0 -1 4202560 903 0 0 0 1365 0 0 0 20 0 28 0 446872467 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757732622128 139758329831140 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10662] ppid=9728 vsize=28834900 memory=671552 CPUtime=14.7 cores=0-7
/proc/9730/task/10662/stat : 10662 (java) R 9728 9728 8994 0 -1 4202560 45 0 0 0 1470 0 0 0 20 0 28 0 446872467 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757733675184 139758329831428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10663] ppid=9728 vsize=28834900 memory=1432 CPUtime=13.51 cores=0-7
/proc/9730/task/10663/stat : 10663 (java) R 9728 9728 8994 0 -1 4202560 146 0 0 0 1351 0 0 0 20 0 28 0 446872467 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757727359064 139758327516110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10664] ppid=9728 vsize=28834900 memory=9396 CPUtime=13.44 cores=0-7
/proc/9730/task/10664/stat : 10664 (java) R 9728 9728 8994 0 -1 4202560 204 0 0 0 1344 0 0 0 20 0 28 0 446872467 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757728412120 139758327093516 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10665] ppid=9728 vsize=28834900 memory=656 CPUtime=13.55 cores=0-7
/proc/9730/task/10665/stat : 10665 (java) R 9728 9728 8994 0 -1 4202560 111 0 0 0 1355 0 0 0 20 0 28 0 446872467 29526937600 169455 33554432000 4194304 4196468 140725875122320 139757730517560 139758327754928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
Current children cumulated CPU time: 19519.1 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 679272 KiB

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

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

[startup+2520.2 s]
# the end of solver process 9730 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19482.1 s, system=37.9036 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: 7.79 8.11 8.07 3/219 10667
/proc/meminfo: memFree=29653284/32770624 swapFree=66998776/67108860
[pid=9730] ppid=9725 vsize=28901464 memory=677988 CPUtime=19519.8 cores=0-7
/proc/9730/stat : 9730 (java) S 9725 9728 8994 0 -1 1077944320 768089 0 0 0 1948198 3787 0 0 20 0 28 0 446621954 29595099136 169497 33554432000 4194304 4196468 140725875122320 140725875104864 139758706331383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
/proc/9730/statm: 7225366 169497 3555 1 0 7186466 0
[pid=9730/tid=9731] ppid=9725 vsize=28901464 memory=1398722017469774279 CPUtime=1.29 cores=0-7
/proc/9730/task/9731/stat : 9731 (java) S 9725 9728 8994 0 -1 1077944384 14164 0 0 0 122 7 0 0 20 0 28 0 446621954 29595099136 169497 33554432000 4194304 4196468 140725875122320 139758710572160 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9732] ppid=9725 vsize=28901464 memory=4126316290023845779 CPUtime=7.95 cores=0-7
/proc/9730/task/9732/stat : 9732 (java) S 9725 9728 8994 0 -1 1077944384 21691 0 0 0 760 35 0 0 20 0 28 0 446621955 29595099136 169497 33554432000 4194304 4196468 140725875122320 139758658952080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9733] ppid=9725 vsize=28901464 memory=496 CPUtime=7.97 cores=0-7
/proc/9730/task/9733/stat : 9733 (java) S 9725 9728 8994 0 -1 1077944384 21002 0 0 0 763 34 0 0 20 0 28 0 446621955 29595099136 169497 33554432000 4194304 4196468 140725875122320 139758657899280 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9734] ppid=9725 vsize=28901464 memory=1560 CPUtime=8.02 cores=0-7
/proc/9730/task/9734/stat : 9734 (java) S 9725 9728 8994 0 -1 1077944384 24920 0 0 0 769 33 0 0 20 0 28 0 446621955 29595099136 169497 33554432000 4194304 4196468 140725875122320 139758656846992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9735] ppid=9725 vsize=28901464 memory=932 CPUtime=8.02 cores=0-7
/proc/9730/task/9735/stat : 9735 (java) S 9725 9728 8994 0 -1 1077944384 26421 0 0 0 768 34 0 0 20 0 28 0 446621955 29595099136 169497 33554432000 4194304 4196468 140725875122320 139758655794192 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9736] ppid=9725 vsize=28901464 memory=1980 CPUtime=7.97 cores=0-7
/proc/9730/task/9736/stat : 9736 (java) S 9725 9728 8994 0 -1 1077944384 20580 0 0 0 766 31 0 0 20 0 28 0 446621955 29595099136 169497 33554432000 4194304 4196468 140725875122320 139758654740880 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9737] ppid=9725 vsize=28901464 memory=2428 CPUtime=8.01 cores=0-7
/proc/9730/task/9737/stat : 9737 (java) S 9725 9728 8994 0 -1 1077944384 17114 0 0 0 768 33 0 0 20 0 28 0 446621955 29595099136 169497 33554432000 4194304 4196468 140725875122320 139758653688080 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9738] ppid=9725 vsize=28901464 memory=1580 CPUtime=7.95 cores=0-7
/proc/9730/task/9738/stat : 9738 (java) S 9725 9728 8994 0 -1 1077944384 24007 0 0 0 763 32 0 0 20 0 28 0 446621955 29595099136 169497 33554432000 4194304 4196468 140725875122320 139758652635792 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9739] ppid=9725 vsize=28901464 memory=288230574492221466 CPUtime=7.94 cores=0-7
/proc/9730/task/9739/stat : 9739 (java) S 9725 9728 8994 0 -1 1077944384 23920 0 0 0 761 33 0 0 20 0 28 0 446621955 29595099136 169497 33554432000 4194304 4196468 140725875122320 139758651582992 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9740] ppid=9725 vsize=28901464 memory=288230621803970871 CPUtime=45.99 cores=0-7
/proc/9730/task/9740/stat : 9740 (java) R 9725 9728 8994 0 -1 4202560 67483 0 0 0 1532 3067 0 0 20 0 28 0 446621957 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757755517704 139758698959591 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9741] ppid=9725 vsize=28901464 memory=14691894252800627 CPUtime=0 cores=0-7
/proc/9730/task/9741/stat : 9741 (java) S 9725 9728 8994 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 446621957 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757754463584 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9742] ppid=9725 vsize=28901464 memory=9396 CPUtime=0 cores=0-7
/proc/9730/task/9742/stat : 9742 (java) S 9725 9728 8994 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 446621957 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757753411200 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9743] ppid=9725 vsize=28901464 memory=656 CPUtime=0 cores=0-7
/proc/9730/task/9743/stat : 9743 (java) S 9725 9728 8994 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 446621960 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757752359152 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9744] ppid=9725 vsize=28901464 memory=4036 CPUtime=2.25 cores=0-7
/proc/9730/task/9744/stat : 9744 (java) S 9725 9728 8994 0 -1 1077944384 13107 0 0 0 222 3 0 0 20 0 28 0 446621960 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757751306400 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9745] ppid=9725 vsize=28901464 memory=2832 CPUtime=2.18 cores=0-7
/proc/9730/task/9745/stat : 9745 (java) S 9725 9728 8994 0 -1 1077944384 10191 0 0 0 216 2 0 0 20 0 28 0 446621960 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757750253600 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9746] ppid=9725 vsize=28901464 memory=8112282956445269571 CPUtime=2 cores=0-7
/proc/9730/task/9746/stat : 9746 (java) S 9725 9728 8994 0 -1 1077944384 8716 0 0 0 199 1 0 0 20 0 28 0 446621960 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757749201024 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9747] ppid=9725 vsize=28901464 memory=666252 CPUtime=1.01 cores=0-7
/proc/9730/task/9747/stat : 9747 (java) S 9725 9728 8994 0 -1 1077944384 18377 0 0 0 97 4 0 0 20 0 28 0 446621960 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757748148512 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=9748] ppid=9725 vsize=28901464 memory=800 CPUtime=0 cores=0-7
/proc/9730/task/9748/stat : 9748 (java) S 9725 9728 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446621960 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757747096416 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10658] ppid=9725 vsize=28901464 memory=1452 CPUtime=13.65 cores=0-7
/proc/9730/task/10658/stat : 10658 (java) S 9725 9728 8994 0 -1 1077944384 176 0 0 0 1365 0 0 0 20 0 28 0 446872467 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757731569552 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10659] ppid=9725 vsize=28901464 memory=988 CPUtime=13.63 cores=0-7
/proc/9730/task/10659/stat : 10659 (java) S 9725 9728 8994 0 -1 1077944384 128 0 0 0 1363 0 0 0 20 0 28 0 446872467 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757729465216 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10660] ppid=9725 vsize=28901464 memory=2020 CPUtime=13.64 cores=0-7
/proc/9730/task/10660/stat : 10660 (java) S 9725 9728 8994 0 -1 1077944384 200 0 0 0 1364 0 0 0 20 0 28 0 446872467 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757736825152 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10661] ppid=9725 vsize=28901464 memory=1452 CPUtime=13.77 cores=0-7
/proc/9730/task/10661/stat : 10661 (java) S 9725 9728 8994 0 -1 1077944384 903 0 0 0 1377 0 0 0 20 0 28 0 446872467 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757732622128 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10662] ppid=9725 vsize=28901464 memory=664204 CPUtime=14.83 cores=0-7
/proc/9730/task/10662/stat : 10662 (java) R 9725 9728 8994 0 -1 4202560 45 0 0 0 1483 0 0 0 20 0 28 0 446872467 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757733675072 139758329831436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10663] ppid=9725 vsize=28901464 memory=1452 CPUtime=13.59 cores=0-7
/proc/9730/task/10663/stat : 10663 (java) S 9725 9728 8994 0 -1 1077944384 147 0 0 0 1359 0 0 0 20 0 28 0 446872467 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757727359360 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10664] ppid=9725 vsize=28901464 memory=665020 CPUtime=13.52 cores=0-7
/proc/9730/task/10664/stat : 10664 (java) S 9725 9728 8994 0 -1 1077944384 204 0 0 0 1352 0 0 0 20 0 28 0 446872467 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757728412288 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10665] ppid=9725 vsize=28901464 memory=1398722017469774279 CPUtime=13.63 cores=0-7
/proc/9730/task/10665/stat : 10665 (java) S 9725 9728 8994 0 -1 1077944384 114 0 0 0 1363 0 0 0 20 0 28 0 446872467 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757730517632 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
[pid=9730/tid=10666] ppid=9725 vsize=28901464 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9730/task/10666/stat : 10666 (java) S 9725 9728 8994 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 446873957 29595099136 169497 33554432000 4194304 4196468 140725875122320 139757726311280 139758706341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140725875127274 140725875127446 140725875127446 140725875130319 0
Current cumulated CPU time of completed processes: 0.002319 s
Current children cumulated CPU time: 19519.8 s
Current children cumulated vsize: 28901464 KiB
Current children cumulated memory: 677988 KiB

Child status: 143
Real time (s): 2520.2
CPU time (s): 19520
CPU user time (s): 19482.1
CPU system time (s): 37.9036
CPU usage (%): 774.542
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 2246512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19482.1
system time used= 37.9036
maximum resident set size= 2252712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 768661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136652
involuntary context switches= 222711


# summary of solver processes directly reported to runsolver:
#   pid: 9728,9730
#   total CPU time (s): 19520
#   total CPU user time (s): 19482.1
#   total CPU system time (s): 37.9036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7339 second user time and 27.8731 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n38-k5.xml
MD5SUM	681710e79c8377b968f88ec392af942b
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	770
Best CPU time to get the best result obtained on this benchmark	2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	1482
Number of constraints	1443
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":38},{"size":2,"count":1406},{"size":101,"count":37}]
Minimum variable degree	0
Maximum variable degree	73
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":38},{"degree":2,"count":74},{"degree":4,"count":1332},{"degree":73,"count":37}]
Minimum constraint arity	1
Maximum constraint arity	37
Distribution of constraint arities	[{"arity":1,"count":37},{"arity":3,"count":1332},{"arity":37,"count":74}]
Number of extensional constraints	0
Number of intensional constraints	37
Distribution of constraint types	[{"type":"intension","count":37},{"type":"sum","count":1332},{"type":"count","count":74}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4399991

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