2017 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 4.0.5 par (2017-08-18)	SAT (TO)	684	19965.5	2520.1001

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280638-1503132146.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280638-1503132146.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.27	c parse instance...
2.81/0.99	c solve instance...
3.29/1.10	o 1730 
11.82/2.16	o 1707 
12.45/2.25	o 1658 
12.45/2.28	o 1556 
13.23/2.33	o 1552 
13.23/2.37	o 1539 
13.90/2.40	o 1510 
13.90/2.40	o 1475 
13.90/2.41	o 1446 
13.90/2.45	o 1438 
28.90/4.39	o 1418 
389.24/49.56	o 1385 
390.19/49.73	o 1364 
390.19/49.75	o 1342 
390.19/49.76	o 1335 
390.19/49.77	o 1333 
390.19/49.79	o 1303 
390.66/49.85	o 1301 
394.46/50.36	o 1295 
396.58/50.61	o 1285 
397.24/50.76	o 1271 
403.25/51.51	o 1246 
415.44/53.26	o 1227 
420.59/54.30	o 1212 
423.76/55.10	o 1173 
427.46/55.60	o 1160 
444.17/57.80	o 1157 
446.04/58.01	o 1150 
446.85/58.15	o 1115 
451.92/58.92	o 1074 
454.10/59.58	o 1071 
454.35/59.65	o 1066 
478.84/62.72	o 1043 
480.96/63.02	o 1034 
495.39/65.24	o 1032 
519.75/68.34	o 1027 
534.09/70.39	o 1025 
594.03/77.92	o 1006 
620.98/81.41	o 1004 
625.75/82.04	o 999 
655.14/86.04	o 977 
668.92/88.00	o 974 
674.60/88.92	o 962 
742.08/97.49	o 952 
796.30/104.23	o 950 
796.30/104.24	o 946 
796.30/104.25	o 944 
838.45/109.71	o 943 
867.84/113.64	o 935 
873.78/114.53	o 934 
882.05/115.95	o 915 
951.41/124.83	o 913 
1016.57/133.23	o 912 
1080.15/141.26	o 908 
1174.22/153.08	o 897 
1190.96/155.11	o 893 
1341.62/174.07	o 890 
1397.24/181.05	o 878 
1608.54/207.52	o 875 
1814.28/233.37	o 855 
2152.14/275.72	o 851 
2166.47/277.57	o 849 
2488.47/317.94	o 846 
2797.61/356.85	o 839 
2907.98/370.76	o 834 
3044.83/387.97	o 822 
3252.55/414.19	o 819 
3383.32/430.62	o 813 
3427.64/436.26	o 811 
3860.37/490.68	o 805 
3919.86/498.13	o 797 
3937.00/500.38	o 776 
4045.67/514.09	o 774 
4099.13/520.87	o 750 
5798.35/735.10	o 747 
6042.42/765.71	o 727 
7161.54/906.89	o 723 
7246.66/917.70	o 702 
9937.51/1256.99	o 688 
10122.36/1280.11	o 685 
11352.36/1435.22	o 684 
19964.82/2520.08	s SATISFIABLE
19964.82/2520.08	v <instantiation>
19964.82/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
19964.82/2520.08	v 	<values>0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 1 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 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 1 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 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 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 1 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 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 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 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 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 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 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 74 30 80 13 25 33 61 71 66 22 83 99 97 59 37 92 47 69 47 38 69 19 98 15 62 42 48 52 100 89 98 100 </values>
19964.82/2520.08	v </instantiation>
19964.82/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 (10005 MiB free)
  memory of node 1: 16384 MiB (12218 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280638-1503132146/watcher-4280638-1503132146 -o /tmp/evaluation-result-4280638-1503132146/solver-4280638-1503132146 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503128761-21213 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 664810723 HOME/instance-4280638-1503132146.xml 

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

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

solver pid=22029, runsolver pid=22026

[startup+0.100114 s]*
/proc/loadavg: 7.89 7.72 7.78 2/199 22050
/proc/meminfo: memFree=22742060/32770624 swapFree=67108860/67108860
[pid=22029] ppid=22026 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22029/stat : 22029 (xcsp3-exec) S 22026 22029 21186 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146295642 9740288 346 33554432000 4194304 5098028 140729265649920 140729265648024 140429966021244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22982656 140729265656933 140729265657143 140729265657143 140729265659883 0
/proc/22029/statm: 2378 346 289 221 0 87 0
[pid=22031] ppid=22029 vsize=25999808 memory=26424 CPUtime=0.11 cores=0-7
/proc/22031/stat : 22031 (java) S 22029 22029 21186 0 -1 1077944320 5495 0 0 0 10 1 0 0 20 0 20 0 146295642 26623803392 6606 33554432000 4194304 4196468 140723056263264 140723056245808 140170260565751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
/proc/22031/statm: 6499952 6606 2873 1 0 6488269 0
[pid=22031/tid=22032] ppid=22029 vsize=25999808 memory=7680497122154551962 CPUtime=0.08 cores=0-7
/proc/22031/task/22032/stat : 22032 (java) R 22029 22029 21186 0 -1 4202560 3500 0 0 0 8 0 0 0 20 0 20 0 146295643 26623803392 6606 33554432000 4194304 4196468 140723056263264 140170264781904 140169896297857 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22033] ppid=22029 vsize=25999808 memory=732369772840733669 CPUtime=0 cores=0-7
/proc/22031/task/22033/stat : 22033 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26623803392 6606 33554432000 4194304 4196468 140723056263264 140170219325712 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22034] ppid=22029 vsize=25999808 memory=139634503280256 CPUtime=0 cores=0-7
/proc/22031/task/22034/stat : 22034 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26623803392 6672 33554432000 4194304 4196468 140723056263264 140170218273168 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22035] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22035/stat : 22035 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26623803392 6672 33554432000 4194304 4196468 140723056263264 140169817115152 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22036] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22036/stat : 22036 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146295644 26623803392 6672 33554432000 4194304 4196468 140723056263264 140169816062608 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22037] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22037/stat : 22037 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26623803392 6672 33554432000 4194304 4196468 140723056263264 140169815010064 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22038] ppid=22029 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22031/task/22038/stat : 22038 (java) S 22029 22029 21186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146295644 26623803392 6672 33554432000 4194304 4196468 140723056263264 140169813957520 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22039] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22039/stat : 22039 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26623803392 6672 33554432000 4194304 4196468 140723056263264 140169812904976 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22040] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22040/stat : 22040 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26623803392 6672 33554432000 4194304 4196468 140723056263264 140169811852432 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22041] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22041/stat : 22041 (java) S 22029 22029 21186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146295645 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168599140336 140170260576898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22042] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22042/stat : 22042 (java) S 22029 22029 21186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146295645 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168598086560 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22043] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22043/stat : 22043 (java) S 22029 22029 21186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146295646 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168597033968 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22044] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22044/stat : 22044 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295648 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168595982544 140170260584347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22045] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22045/stat : 22045 (java) S 22029 22029 21186 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 146295648 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168594930160 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22046] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22046/stat : 22046 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146295648 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168593877616 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22047] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22047/stat : 22047 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146295648 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168592825072 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22048] ppid=22029 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22031/task/22048/stat : 22048 (java) S 22029 22029 21186 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 146295648 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168591772528 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22049] ppid=22029 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22049/stat : 22049 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146295648 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168590719200 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22050] ppid=22029 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22031/task/22050/stat : 22050 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295649 26623803392 6672 33554432000 4194304 4196468 140723056263264 140168589666736 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27808 KiB

[startup+0.210199 s]*
/proc/loadavg: 7.89 7.72 7.78 3/199 22050
/proc/meminfo: memFree=22730248/32770624 swapFree=67108860/67108860
[pid=22029] ppid=22026 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22029/stat : 22029 (xcsp3-exec) S 22026 22029 21186 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146295642 9740288 346 33554432000 4194304 5098028 140729265649920 140729265648024 140429966021244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22982656 140729265656933 140729265657143 140729265657143 140729265659883 0
/proc/22029/statm: 2378 346 289 221 0 87 0
[pid=22031] ppid=22029 vsize=26004064 memory=38904 CPUtime=0.32 cores=0-7
/proc/22031/stat : 22031 (java) S 22029 22029 21186 0 -1 1077944320 8308 0 0 0 30 2 0 0 20 0 20 0 146295642 26628161536 9726 33554432000 4194304 4196468 140723056263264 140723056245808 140170260565751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
/proc/22031/statm: 6501016 9726 3013 1 0 6488269 0
[pid=22031/tid=22032] ppid=22029 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/22031/task/22032/stat : 22032 (java) R 22029 22029 21186 0 -1 4202560 5409 0 0 0 18 1 0 0 20 0 20 0 146295643 26628161536 9726 33554432000 4194304 4196468 140723056263264 140170264786744 140170244646238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22033] ppid=22029 vsize=26004064 memory=279268856129272 CPUtime=0 cores=0-7
/proc/22031/task/22033/stat : 22033 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 9726 33554432000 4194304 4196468 140723056263264 140170219325712 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22034] ppid=22029 vsize=26004064 memory=139634503280256 CPUtime=0 cores=0-7
/proc/22031/task/22034/stat : 22034 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 9726 33554432000 4194304 4196468 140723056263264 140170218273168 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22035] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22035/stat : 22035 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 9726 33554432000 4194304 4196468 140723056263264 140169817115152 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22036] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22036/stat : 22036 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 9726 33554432000 4194304 4196468 140723056263264 140169816062608 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22037] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22037/stat : 22037 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 9726 33554432000 4194304 4196468 140723056263264 140169815010064 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22038] ppid=22029 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22031/task/22038/stat : 22038 (java) S 22029 22029 21186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 9726 33554432000 4194304 4196468 140723056263264 140169813957520 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22039] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22039/stat : 22039 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 9726 33554432000 4194304 4196468 140723056263264 140169812904976 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22040] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22040/stat : 22040 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 9726 33554432000 4194304 4196468 140723056263264 140169811852432 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22041] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22041/stat : 22041 (java) S 22029 22029 21186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146295645 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168599140336 140170260576898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22042] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22042/stat : 22042 (java) S 22029 22029 21186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146295645 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168598086560 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22043] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22043/stat : 22043 (java) S 22029 22029 21186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146295646 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168597033968 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22044] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22044/stat : 22044 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295648 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168595982544 140170260584347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22045] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22045/stat : 22045 (java) S 22029 22029 21186 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 146295648 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168594930160 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22046] ppid=22029 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22031/task/22046/stat : 22046 (java) S 22029 22029 21186 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 146295648 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168593877616 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22047] ppid=22029 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/22031/task/22047/stat : 22047 (java) S 22029 22029 21186 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 20 0 146295648 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168592825072 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22048] ppid=22029 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/22031/task/22048/stat : 22048 (java) R 22029 22029 21186 0 -1 4202560 728 0 0 0 7 0 0 0 20 0 20 0 146295648 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168591772528 140170244817945 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22049] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22049/stat : 22049 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146295648 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168590719200 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22050] ppid=22029 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22031/task/22050/stat : 22050 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295649 26628161536 9726 33554432000 4194304 4196468 140723056263264 140168589666736 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40288 KiB

[startup+0.309588 s]*
/proc/loadavg: 7.89 7.72 7.78 4/199 22050
/proc/meminfo: memFree=22725484/32770624 swapFree=67108860/67108860
[pid=22029] ppid=22026 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22029/stat : 22029 (xcsp3-exec) S 22026 22029 21186 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146295642 9740288 346 33554432000 4194304 5098028 140729265649920 140729265648024 140429966021244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22982656 140729265656933 140729265657143 140729265657143 140729265659883 0
/proc/22029/statm: 2378 346 289 221 0 87 0
[pid=22031] ppid=22029 vsize=26004064 memory=43820 CPUtime=0.49 cores=0-7
/proc/22031/stat : 22031 (java) S 22029 22029 21186 0 -1 1077944320 9183 0 0 0 46 3 0 0 20 0 20 0 146295642 26628161536 10955 33554432000 4194304 4196468 140723056263264 140723056245808 140170260565751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
/proc/22031/statm: 6501016 10955 3102 1 0 6488269 0
[pid=22031/tid=22032] ppid=22029 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22031/task/22032/stat : 22032 (java) R 22029 22029 21186 0 -1 4202560 6085 0 0 0 28 1 0 0 20 0 20 0 146295643 26628161536 10955 33554432000 4194304 4196468 140723056263264 140170264803648 140169896263196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22033] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22033/stat : 22033 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 10955 33554432000 4194304 4196468 140723056263264 140170219325712 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22034] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22034/stat : 22034 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 10955 33554432000 4194304 4196468 140723056263264 140170218273168 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22035] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22035/stat : 22035 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 10955 33554432000 4194304 4196468 140723056263264 140169817115152 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22036] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22036/stat : 22036 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 10955 33554432000 4194304 4196468 140723056263264 140169816062608 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22037] ppid=22029 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22031/task/22037/stat : 22037 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 10955 33554432000 4194304 4196468 140723056263264 140169815010064 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22038] ppid=22029 vsize=26004064 memory=139634352944047 CPUtime=0 cores=0-7
/proc/22031/task/22038/stat : 22038 (java) S 22029 22029 21186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 10955 33554432000 4194304 4196468 140723056263264 140169813957520 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22039] ppid=22029 vsize=26004064 memory=139634352946352 CPUtime=0 cores=0-7
/proc/22031/task/22039/stat : 22039 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 10955 33554432000 4194304 4196468 140723056263264 140169812904976 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22040] ppid=22029 vsize=26004064 memory=139634352948656 CPUtime=0 cores=0-7
/proc/22031/task/22040/stat : 22040 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26628161536 10955 33554432000 4194304 4196468 140723056263264 140169811852432 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22041] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22041/stat : 22041 (java) S 22029 22029 21186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146295645 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168599140336 140170260576898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22042] ppid=22029 vsize=26004064 memory=279268705904272 CPUtime=0 cores=0-7
/proc/22031/task/22042/stat : 22042 (java) S 22029 22029 21186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146295645 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168598086560 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22043] ppid=22029 vsize=26004064 memory=279268705911184 CPUtime=0 cores=0-7
/proc/22031/task/22043/stat : 22043 (java) S 22029 22029 21186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146295646 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168597033968 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22044] ppid=22029 vsize=26004064 memory=279268705852464 CPUtime=0 cores=0-7
/proc/22031/task/22044/stat : 22044 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295648 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168595982544 140170260584347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22045] ppid=22029 vsize=26004064 memory=279268705925008 CPUtime=0.01 cores=0-7
/proc/22031/task/22045/stat : 22045 (java) S 22029 22029 21186 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 20 0 146295648 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168594930160 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22046] ppid=22029 vsize=26004064 memory=279268705931920 CPUtime=0.01 cores=0-7
/proc/22031/task/22046/stat : 22046 (java) S 22029 22029 21186 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 146295648 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168593877616 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22047] ppid=22029 vsize=26004064 memory=279268705929616 CPUtime=0.02 cores=0-7
/proc/22031/task/22047/stat : 22047 (java) S 22029 22029 21186 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 20 0 146295648 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168592825072 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22048] ppid=22029 vsize=26004064 memory=279268705945776 CPUtime=0.12 cores=0-7
/proc/22031/task/22048/stat : 22048 (java) R 22029 22029 21186 0 -1 4202560 846 0 0 0 12 0 0 0 20 0 20 0 146295648 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168591772528 140170239701197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22049] ppid=22029 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22049/stat : 22049 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146295648 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168590719200 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22050] ppid=22029 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22031/task/22050/stat : 22050 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295649 26628161536 10955 33554432000 4194304 4196468 140723056263264 140168589666736 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45204 KiB

[startup+0.700953 s]
/proc/loadavg: 7.89 7.72 7.78 5/199 22050
/proc/meminfo: memFree=22701912/32770624 swapFree=67108860/67108860
[pid=22029] ppid=22026 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22029/stat : 22029 (xcsp3-exec) S 22026 22029 21186 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146295642 9740288 346 33554432000 4194304 5098028 140729265649920 140729265648024 140429966021244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22982656 140729265656933 140729265657143 140729265657143 140729265659883 0
/proc/22029/statm: 2378 346 289 221 0 87 0
[pid=22031] ppid=22029 vsize=26006188 memory=95204 CPUtime=1.96 cores=0-7
/proc/22031/stat : 22031 (java) S 22029 22029 21186 0 -1 1077944320 13323 0 0 0 191 5 0 0 20 0 20 0 146295642 26630336512 23801 33554432000 4194304 4196468 140723056263264 140723056245808 140170260565751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
/proc/22031/statm: 6501547 23801 3205 1 0 6488781 0
[pid=22031/tid=22032] ppid=22029 vsize=26006188 memory=279268706240640 CPUtime=0.67 cores=0-7
/proc/22031/task/22032/stat : 22032 (java) R 22029 22029 21186 0 -1 4202560 6701 0 0 0 65 2 0 0 20 0 20 0 146295643 26630336512 23801 33554432000 4194304 4196468 140723056263264 140170264800336 140169898968572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22033] ppid=22029 vsize=26006188 memory=5111011083407 CPUtime=0 cores=0-7
/proc/22031/task/22033/stat : 22033 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26630336512 23866 33554432000 4194304 4196468 140723056263264 140170219325712 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22034] ppid=22029 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22034/stat : 22034 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26630336512 23866 33554432000 4194304 4196468 140723056263264 140170218273168 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22035] ppid=22029 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22031/task/22035/stat : 22035 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146295644 26630336512 23866 33554432000 4194304 4196468 140723056263264 140169817115152 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0

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

[pid=22031/tid=22729] ppid=22029 vsize=26605264 memory=526784 CPUtime=994.57 cores=0-7
/proc/22031/task/22729/stat : 22729 (java) S 22029 22029 21186 0 -1 1077944384 5370 0 0 0 99452 5 0 0 20 0 28 0 146439166 27243790336 131824 33554432000 4194304 4196468 140723056263264 140168576892736 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
Current children cumulated CPU time: 19347.5 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 528680 KiB

[startup+2502.3 s]
/proc/loadavg: 8.27 8.19 8.22 9/207 22762
/proc/meminfo: memFree=22234856/32770624 swapFree=67108860/67108860
[pid=22029] ppid=22026 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22029/stat : 22029 (xcsp3-exec) S 22026 22029 21186 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146295642 9740288 346 33554432000 4194304 5098028 140729265649920 140729265648024 140429966021244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22982656 140729265656933 140729265657143 140729265657143 140729265659883 0
/proc/22029/statm: 2378 346 289 221 0 87 0
[pid=22031] ppid=22029 vsize=26605264 memory=530120 CPUtime=19824.2 cores=0-7
/proc/22031/stat : 22031 (java) S 22029 22029 21186 0 -1 1077944320 1146292 0 0 0 1981415 1004 0 0 20 0 28 0 146295642 27243790336 132530 33554432000 4194304 4196468 140723056263264 140723056245808 140170260565751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
/proc/22031/statm: 6651316 132530 3305 1 0 6638550 0
[pid=22031/tid=22032] ppid=22029 vsize=26605264 memory=522872 CPUtime=1.06 cores=0-7
/proc/22031/task/22032/stat : 22032 (java) S 22029 22029 21186 0 -1 1077944384 14084 0 0 0 101 5 0 0 20 0 28 0 146295643 27243790336 132530 33554432000 4194304 4196468 140723056263264 140170264806528 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22033] ppid=22029 vsize=26605264 memory=1384 CPUtime=8.06 cores=0-7
/proc/22031/task/22033/stat : 22033 (java) S 22029 22029 21186 0 -1 1077944384 39557 0 0 0 768 38 0 0 20 0 28 0 146295644 27243790336 132530 33554432000 4194304 4196468 140723056263264 140170219325712 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22034] ppid=22029 vsize=26605264 memory=490020 CPUtime=8.07 cores=0-7
/proc/22031/task/22034/stat : 22034 (java) S 22029 22029 21186 0 -1 1077944384 44281 0 0 0 771 36 0 0 20 0 28 0 146295644 27243790336 132530 33554432000 4194304 4196468 140723056263264 140170218273168 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22035] ppid=22029 vsize=26605264 memory=508020 CPUtime=8.05 cores=0-7
/proc/22031/task/22035/stat : 22035 (java) S 22029 22029 21186 0 -1 1077944384 39671 0 0 0 768 37 0 0 20 0 28 0 146295644 27243790336 132530 33554432000 4194304 4196468 140723056263264 140169817115152 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22036] ppid=22029 vsize=26605264 memory=524852 CPUtime=8.14 cores=0-7
/proc/22031/task/22036/stat : 22036 (java) S 22029 22029 21186 0 -1 1077944384 37497 0 0 0 777 37 0 0 20 0 28 0 146295644 27243790336 132530 33554432000 4194304 4196468 140723056263264 140169816062608 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22037] ppid=22029 vsize=26605264 memory=519348 CPUtime=8.06 cores=0-7
/proc/22031/task/22037/stat : 22037 (java) S 22029 22029 21186 0 -1 1077944384 43504 0 0 0 773 33 0 0 20 0 28 0 146295644 27243790336 132530 33554432000 4194304 4196468 140723056263264 140169815010064 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22038] ppid=22029 vsize=26605264 memory=514732 CPUtime=8.09 cores=0-7
/proc/22031/task/22038/stat : 22038 (java) S 22029 22029 21186 0 -1 1077944384 43856 0 0 0 773 36 0 0 20 0 28 0 146295644 27243790336 132530 33554432000 4194304 4196468 140723056263264 140169813957520 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22039] ppid=22029 vsize=26605264 memory=505500 CPUtime=8.01 cores=0-7
/proc/22031/task/22039/stat : 22039 (java) S 22029 22029 21186 0 -1 1077944384 43976 0 0 0 766 35 0 0 20 0 28 0 146295644 27243790336 132530 33554432000 4194304 4196468 140723056263264 140169812904976 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22040] ppid=22029 vsize=26605264 memory=515376 CPUtime=8.07 cores=0-7
/proc/22031/task/22040/stat : 22040 (java) S 22029 22029 21186 0 -1 1077944384 44175 0 0 0 769 38 0 0 20 0 28 0 146295644 27243790336 132530 33554432000 4194304 4196468 140723056263264 140169811852432 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22041] ppid=22029 vsize=26605264 memory=512868 CPUtime=8.2 cores=0-7
/proc/22031/task/22041/stat : 22041 (java) S 22029 22029 21186 0 -1 1077944384 186646 0 0 0 439 381 0 0 20 0 28 0 146295645 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168599140336 140170260576898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22042] ppid=22029 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/22031/task/22042/stat : 22042 (java) S 22029 22029 21186 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 146295645 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168598086624 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22043] ppid=22029 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/22031/task/22043/stat : 22043 (java) S 22029 22029 21186 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 146295646 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168597033984 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22044] ppid=22029 vsize=26605264 memory=520820 CPUtime=0 cores=0-7
/proc/22031/task/22044/stat : 22044 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146295648 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168595982544 140170260584347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22045] ppid=22029 vsize=26605264 memory=518256 CPUtime=2.76 cores=0-7
/proc/22031/task/22045/stat : 22045 (java) S 22029 22029 21186 0 -1 1077944384 11962 0 0 0 274 2 0 0 20 0 28 0 146295648 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168594930160 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22046] ppid=22029 vsize=26605264 memory=525488 CPUtime=3.21 cores=0-7
/proc/22031/task/22046/stat : 22046 (java) S 22029 22029 21186 0 -1 1077944384 18460 0 0 0 317 4 0 0 20 0 28 0 146295648 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168593877616 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22047] ppid=22029 vsize=26605264 memory=1384 CPUtime=2.91 cores=0-7
/proc/22031/task/22047/stat : 22047 (java) S 22029 22029 21186 0 -1 1077944384 15443 0 0 0 289 2 0 0 20 0 28 0 146295648 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168592825072 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22048] ppid=22029 vsize=26605264 memory=0 CPUtime=1.02 cores=0-7
/proc/22031/task/22048/stat : 22048 (java) S 22029 22029 21186 0 -1 1077944384 21863 0 0 0 99 3 0 0 20 0 28 0 146295648 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168591772528 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22049] ppid=22029 vsize=26605264 memory=516716 CPUtime=0 cores=0-7
/proc/22031/task/22049/stat : 22049 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146295648 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168590719200 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22050] ppid=22029 vsize=26605264 memory=528420 CPUtime=0.49 cores=0-7
/proc/22031/task/22050/stat : 22050 (java) S 22029 22029 21186 0 -1 1077944384 9009 0 0 0 8 41 0 0 20 0 28 0 146295649 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168589666736 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22722] ppid=22029 vsize=26605264 memory=1384 CPUtime=1055.63 cores=0-7
/proc/22031/task/22722/stat : 22722 (java) R 22029 22029 21186 0 -1 4202560 7350 0 0 0 105558 5 0 0 20 0 28 0 146439165 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168575835592 140169904775756 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22723] ppid=22029 vsize=26605264 memory=1384 CPUtime=1056.18 cores=0-7
/proc/22031/task/22723/stat : 22723 (java) R 22029 22029 21186 0 -1 4202560 21267 0 0 0 105611 7 0 0 20 0 28 0 146439165 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168581103832 140169904321083 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22724] ppid=22029 vsize=26605264 memory=1384 CPUtime=1052.27 cores=0-7
/proc/22031/task/22724/stat : 22724 (java) R 22029 22029 21186 0 -1 4202560 5695 0 0 0 105219 8 0 0 20 0 28 0 146439165 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168582151984 140169904775705 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22725] ppid=22029 vsize=26605264 memory=530120 CPUtime=1052.65 cores=0-7
/proc/22031/task/22725/stat : 22725 (java) R 22029 22029 21186 0 -1 4202560 34146 0 0 0 105249 16 0 0 20 0 28 0 146439165 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168580047416 140169904775764 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22726] ppid=22029 vsize=26605264 memory=1384 CPUtime=1055.92 cores=0-7
/proc/22031/task/22726/stat : 22726 (java) R 22029 22029 21186 0 -1 4202560 18958 0 0 0 105584 8 0 0 20 0 28 0 146439165 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168574784072 140169904774527 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22727] ppid=22029 vsize=26605264 memory=1384 CPUtime=1055.15 cores=0-7
/proc/22031/task/22727/stat : 22727 (java) R 22029 22029 21186 0 -1 4202560 68070 0 0 0 105471 44 0 0 20 0 28 0 146439165 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168578997712 140169902552690 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22728] ppid=22029 vsize=26605264 memory=514704 CPUtime=1052.75 cores=0-7
/proc/22031/task/22728/stat : 22728 (java) R 22029 22029 21186 0 -1 4202560 8663 0 0 0 105267 8 0 0 20 0 28 0 146439165 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168577945272 140169904775764 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22729] ppid=22029 vsize=26605264 memory=-3622645143214314312 CPUtime=1053.97 cores=0-7
/proc/22031/task/22729/stat : 22729 (java) R 22029 22029 21186 0 -1 4202560 6349 0 0 0 105391 6 0 0 20 0 28 0 146439166 27243790336 132530 33554432000 4194304 4196468 140723056263264 140168576889288 140169904773144 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
Current children cumulated CPU time: 19824.2 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 531504 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.29 8.20 8.22 10/208 22770
/proc/meminfo: memFree=22237556/32770624 swapFree=67108860/67108860
[pid=22029] ppid=22026 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22029/stat : 22029 (xcsp3-exec) S 22026 22029 21186 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146295642 9740288 346 33554432000 4194304 5098028 140729265649920 140729265648024 140429966021244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22982656 140729265656933 140729265657143 140729265657143 140729265659883 0
/proc/22029/statm: 2378 346 289 221 0 87 0
[pid=22031] ppid=22029 vsize=26605264 memory=527676 CPUtime=19964.8 cores=0-7
/proc/22031/stat : 22031 (java) S 22029 22029 21186 0 -1 1077944320 1157518 0 0 0 1995470 1012 0 0 20 0 28 0 146295642 27243790336 131919 33554432000 4194304 4196468 140723056263264 140723056245808 140170260565751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
/proc/22031/statm: 6651316 131919 3305 1 0 6638550 0
[pid=22031/tid=22032] ppid=22029 vsize=26605264 memory=1398720917958146503 CPUtime=1.06 cores=0-7
/proc/22031/task/22032/stat : 22032 (java) S 22029 22029 21186 0 -1 1077944384 14084 0 0 0 101 5 0 0 20 0 28 0 146295643 27243790336 131919 33554432000 4194304 4196468 140723056263264 140170264806528 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22033] ppid=22029 vsize=26605264 memory=5776 CPUtime=8.14 cores=0-7
/proc/22031/task/22033/stat : 22033 (java) S 22029 22029 21186 0 -1 1077944384 40430 0 0 0 775 39 0 0 20 0 28 0 146295644 27243790336 131919 33554432000 4194304 4196468 140723056263264 140170219325712 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22034] ppid=22029 vsize=26605264 memory=4616 CPUtime=8.14 cores=0-7
/proc/22031/task/22034/stat : 22034 (java) S 22029 22029 21186 0 -1 1077944384 45086 0 0 0 778 36 0 0 20 0 28 0 146295644 27243790336 131919 33554432000 4194304 4196468 140723056263264 140170218273168 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22035] ppid=22029 vsize=26605264 memory=792 CPUtime=8.12 cores=0-7
/proc/22031/task/22035/stat : 22035 (java) S 22029 22029 21186 0 -1 1077944384 39973 0 0 0 775 37 0 0 20 0 28 0 146295644 27243790336 131919 33554432000 4194304 4196468 140723056263264 140169817115152 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22036] ppid=22029 vsize=26605264 memory=-7003737579269690708 CPUtime=8.2 cores=0-7
/proc/22031/task/22036/stat : 22036 (java) S 22029 22029 21186 0 -1 1077944384 38008 0 0 0 783 37 0 0 20 0 28 0 146295644 27243790336 131919 33554432000 4194304 4196468 140723056263264 140169816062608 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22037] ppid=22029 vsize=26605264 memory=5776 CPUtime=8.14 cores=0-7
/proc/22031/task/22037/stat : 22037 (java) S 22029 22029 21186 0 -1 1077944384 43925 0 0 0 780 34 0 0 20 0 28 0 146295644 27243790336 131919 33554432000 4194304 4196468 140723056263264 140169815010064 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22038] ppid=22029 vsize=26605264 memory=4616 CPUtime=8.17 cores=0-7
/proc/22031/task/22038/stat : 22038 (java) S 22029 22029 21186 0 -1 1077944384 44311 0 0 0 780 37 0 0 20 0 28 0 146295644 27243790336 131919 33554432000 4194304 4196468 140723056263264 140169813957520 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22039] ppid=22029 vsize=26605264 memory=792 CPUtime=8.07 cores=0-7
/proc/22031/task/22039/stat : 22039 (java) S 22029 22029 21186 0 -1 1077944384 44330 0 0 0 772 35 0 0 20 0 28 0 146295644 27243790336 131919 33554432000 4194304 4196468 140723056263264 140169812904976 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22040] ppid=22029 vsize=26605264 memory=1424 CPUtime=8.13 cores=0-7
/proc/22031/task/22040/stat : 22040 (java) S 22029 22029 21186 0 -1 1077944384 44670 0 0 0 775 38 0 0 20 0 28 0 146295644 27243790336 131919 33554432000 4194304 4196468 140723056263264 140169811852432 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22041] ppid=22029 vsize=26605264 memory=1936 CPUtime=8.24 cores=0-7
/proc/22031/task/22041/stat : 22041 (java) S 22029 22029 21186 0 -1 1077944384 187687 0 0 0 441 383 0 0 20 0 28 0 146295645 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168599140336 140170260576898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22042] ppid=22029 vsize=26605264 memory=1224 CPUtime=0 cores=0-7
/proc/22031/task/22042/stat : 22042 (java) S 22029 22029 21186 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 146295645 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168598086624 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22043] ppid=22029 vsize=26605264 memory=1716 CPUtime=0 cores=0-7
/proc/22031/task/22043/stat : 22043 (java) S 22029 22029 21186 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 146295646 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168597033984 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22044] ppid=22029 vsize=26605264 memory=23696 CPUtime=0 cores=0-7
/proc/22031/task/22044/stat : 22044 (java) S 22029 22029 21186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146295648 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168595982544 140170260584347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22045] ppid=22029 vsize=26605264 memory=1796 CPUtime=2.76 cores=0-7
/proc/22031/task/22045/stat : 22045 (java) S 22029 22029 21186 0 -1 1077944384 11968 0 0 0 274 2 0 0 20 0 28 0 146295648 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168594930160 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22046] ppid=22029 vsize=26605264 memory=636 CPUtime=3.21 cores=0-7
/proc/22031/task/22046/stat : 22046 (java) S 22029 22029 21186 0 -1 1077944384 18466 0 0 0 317 4 0 0 20 0 28 0 146295648 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168593877616 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22047] ppid=22029 vsize=26605264 memory=960 CPUtime=2.91 cores=0-7
/proc/22031/task/22047/stat : 22047 (java) S 22029 22029 21186 0 -1 1077944384 15449 0 0 0 289 2 0 0 20 0 28 0 146295648 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168592825072 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22048] ppid=22029 vsize=26605264 memory=1236 CPUtime=1.02 cores=0-7
/proc/22031/task/22048/stat : 22048 (java) S 22029 22029 21186 0 -1 1077944384 21869 0 0 0 99 3 0 0 20 0 28 0 146295648 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168591772528 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22049] ppid=22029 vsize=26605264 memory=2424 CPUtime=0 cores=0-7
/proc/22031/task/22049/stat : 22049 (java) S 22029 22029 21186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146295648 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168590719200 140170260575957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22050] ppid=22029 vsize=26605264 memory=1580 CPUtime=0.5 cores=0-7
/proc/22031/task/22050/stat : 22050 (java) S 22029 22029 21186 0 -1 1077944384 9069 0 0 0 8 42 0 0 20 0 28 0 146295649 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168589666736 140170260576898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22722] ppid=22029 vsize=26605264 memory=928 CPUtime=1073.16 cores=0-7
/proc/22031/task/22722/stat : 22722 (java) R 22029 22029 21186 0 -1 4202560 7608 0 0 0 107310 6 0 0 20 0 28 0 146439165 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168575834944 140169904514199 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22723] ppid=22029 vsize=26605264 memory=2244 CPUtime=1073.71 cores=0-7
/proc/22031/task/22723/stat : 22723 (java) R 22029 22029 21186 0 -1 4202560 22092 0 0 0 107364 7 0 0 20 0 28 0 146439165 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168581099584 140169903242407 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22724] ppid=22029 vsize=26605264 memory=4124 CPUtime=1069.82 cores=0-7
/proc/22031/task/22724/stat : 22724 (java) R 22029 22029 21186 0 -1 4202560 5881 0 0 0 106974 8 0 0 20 0 28 0 146439165 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168582152272 140169904861680 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22725] ppid=22029 vsize=26605264 memory=15876 CPUtime=1070.07 cores=0-7
/proc/22031/task/22725/stat : 22725 (java) R 22029 22029 21186 0 -1 4202560 35127 0 0 0 106991 16 0 0 20 0 28 0 146439165 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168580047440 140169903867124 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22726] ppid=22029 vsize=26605264 memory=4044 CPUtime=1073.35 cores=0-7
/proc/22031/task/22726/stat : 22726 (java) R 22029 22029 21186 0 -1 4202560 19478 0 0 0 107327 8 0 0 20 0 28 0 146439165 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168574784584 140169902553848 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22727] ppid=22029 vsize=26605264 memory=16444 CPUtime=1072.62 cores=0-7
/proc/22031/task/22727/stat : 22727 (java) R 22029 22029 21186 0 -1 4202560 70669 0 0 0 107217 45 0 0 20 0 28 0 146439165 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168578997712 140169904778170 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22728] ppid=22029 vsize=26605264 memory=23696 CPUtime=1070.32 cores=0-7
/proc/22031/task/22728/stat : 22728 (java) R 22029 22029 21186 0 -1 4202560 8945 0 0 0 107024 8 0 0 20 0 28 0 146439165 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168577941016 140169902553607 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
[pid=22031/tid=22729] ppid=22029 vsize=26605264 memory=1796 CPUtime=1071.49 cores=0-7
/proc/22031/task/22729/stat : 22729 (java) R 22029 22029 21186 0 -1 4202560 6584 0 0 0 107143 6 0 0 20 0 28 0 146439166 27243790336 131919 33554432000 4194304 4196468 140723056263264 140168576889288 140169902553642 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34570240 140723056264338 140723056264515 140723056264515 140723056267215 0
Current children cumulated CPU time: 19964.8 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 529060 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.1
CPU time (s): 19965.5
CPU user time (s): 19955.4
CPU system time (s): 10.1304
CPU usage (%): 792.25
Max. virtual memory (cumulated for all children) (KiB): 26616772
Max. memory (cumulated for all children) (KiB): 1149024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19955.4
system time used= 10.1304
maximum resident set size= 1153220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1158579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 292341
involuntary context switches= 216259


# summary of solver processes directly reported to runsolver:
#   pid: 22029,22031
#   total CPU time (s): 19965.5
#   total CPU user time (s): 19955.4
#   total CPU system time (s): 10.1304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.8699 second user time and 24.7339 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml
MD5SUM	7965d79c566fadd70d01c63d02ba9078
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	661
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	1122
Number of constraints	1088
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}]
Minimum variable degree	0
Maximum variable degree	63
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}]
Minimum constraint arity	1
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	32
Distribution of constraint types	[{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4280638

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