2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	20261	20004.4	2520.15

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297433-1532725761.xml"  -tl '20160s' -p 8
0.11/0.17	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297433-1532725761.xml, -tl, 20160s, -p, 8]
0.33/0.21	c 8 solvers in parallel
0.33/0.28	c parse instance...
88.72/22.95	c solve instance...
100.91/24.58	o 28764 
101.69/24.62	o 28736 
101.69/24.64	o 28725 
101.69/24.65	o 28715 
101.69/24.65	o 28697 
101.69/24.67	o 28690 
102.37/24.71	o 28689 
104.66/25.08	o 28568 
105.47/25.13	o 28540 
105.47/25.19	o 28529 
105.98/25.24	o 28501 
105.98/25.25	o 28494 
105.98/25.29	o 28493 
106.63/25.36	o 28464 
106.63/25.37	o 28436 
106.63/25.38	o 28425 
107.37/25.42	o 28415 
107.37/25.43	o 28410 
107.37/25.49	o 28406 
108.92/25.63	o 28397 
108.92/25.64	o 28390 
108.92/25.69	o 28389 
109.64/25.70	o 28385 
109.64/25.76	o 28384 
109.64/25.77	o 28362 
110.42/25.81	o 28334 
110.42/25.81	o 28323 
110.42/25.83	o 28295 
110.42/25.87	o 28288 
110.42/25.89	o 28287 
111.03/25.90	o 28263 
111.03/25.91	o 28235 
111.03/25.91	o 28224 
111.03/25.96	o 28214 
111.03/25.97	o 28196 
111.03/25.98	o 28189 
111.03/25.99	o 28176 
112.60/26.13	o 28175 
113.28/26.25	o 28168 
114.05/26.30	o 28165 
114.05/26.31	o 28155 
115.61/26.51	o 28138 
115.61/26.52	o 28110 
115.61/26.53	o 28099 
115.61/26.54	o 28089 
115.61/26.57	o 28071 
115.61/26.58	o 28063 
116.30/26.63	o 28060 
116.30/26.65	o 28053 
116.30/26.66	o 28043 
122.63/27.46	o 28021 
122.63/27.46	o 27993 
122.63/27.47	o 27982 
122.63/27.47	o 27972 
122.63/27.49	o 27954 
122.63/27.50	o 27947 
123.28/27.52	o 27946 
147.01/30.57	o 27855 
148.51/30.75	o 27742 
149.25/30.85	o 27721 
200.18/37.27	o 22966 
243.79/42.74	o 22955 
243.79/42.75	o 22874 
243.79/42.76	o 22788 
245.29/42.94	o 22750 
245.29/42.95	o 22718 
246.09/43.02	o 22705 
250.82/43.67	o 22567 
374.31/59.17	o 22551 
374.31/59.19	o 22463 
374.31/59.20	o 22452 
374.79/59.27	o 22242 
374.79/59.28	o 22162 
375.38/59.31	o 22099 
376.09/59.43	o 22088 
378.43/59.73	o 22063 
378.43/59.74	o 22052 
1084.01/148.27	o 20641 
1084.01/148.29	o 20359 
1090.32/149.10	o 20261 
20003.57/2520.09	s SATISFIABLE
20003.57/2520.09	v <instantiation>
20003.57/2520.09	v 	<list>o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30] </list>
20003.57/2520.09	v 	<values>1 8 6 8 12 13 12 9 11 7 4 10 15 9 14 13 14 5 5 1 6 2 7 3 3 4 10 11 15 2 0 10 2 12 9 14 9 11 6 12 7 7 10 15 5 3 5 14 2 0 8 13 13 8 4 3 11 4 6 15 8 12 1 10 13 7 5 7 9 4 14 6 4 12 11 8 11 6 1 5 10 0 3 13 15 15 9 14 3 0 15 11 4 9 10 12 6 14 8 14 9 8 13 13 7 1 7 10 15 6 5 4 2 0 0 1 5 12 2 11 11 15 3 5 7 5 10 10 13 2 0 12 2 14 8 6 9 12 6 15 7 3 8 11 1 0 14 1 13 9 12 13 7 4 14 4 2 6 15 15 13 9 8 11 1 7 1 0 0 2 3 11 9 12 14 6 3 10 10 8 7 7 0 15 15 11 3 5 1 9 12 2 12 8 9 4 10 2 4 3 0 14 11 14 13 5 8 13 1 10 6 6 5 11 4 2 15 2 14 0 1 1 9 10 3 5 3 15 10 11 4 12 0 9 12 13 13 8 8 14 2 0 12 0 11 15 13 15 3 11 10 3 5 6 4 2 12 13 9 14 1 10 4 1 9 14 6 7 7 5 13 14 13 3 1 10 1 0 2 6 3 5 7 0 6 10 4 11 8 12 11 15 5 7 8 12 2 15 14 4 14 1 14 2 3 9 4 4 12 13 8 0 1 7 12 9 6 3 7 13 2 8 15 15 11 11 0 5 5 6 4 3 15 7 8 6 14 1 0 8 15 13 14 5 2 12 2 9 13 7 9 5 6 4 10 10 1 0 12 3 5 2 8 1 0 3 0 13 10 1 6 4 6 2 10 11 8 4 14 9 15 7 14 5 7 9 15 3 11 13 9 5 9 14 2 0 8 12 4 10 5 11 3 3 15 0 15 8 11 10 14 1 1 2 6 7 7 6 4 12 10 9 10 13 5 1 11 3 7 3 2 15 11 4 0 15 0 1 12 8 13 6 12 6 5 8 4 2 9 7 3 4 11 6 6 8 7 8 5 5 11 14 0 1 13 14 13 7 3 4 12 9 10 10 2 2 12 9 0 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 10 10 44 31 48 59 90 57 0 0 36 36 0 51 17 59 0 39 39 0 0 15 56 14 34 0 55 10 45 59 0 0 0 22 22 43 17 53 0 39 88 55 44 69 65 40 41 32 0 0 10 10 64 64 46 46 0 64 70 31 68 68 53 53 0 55 55 0 50 48 56 0 56 56 45 73 105 58 0 56 39 22 0 0 47 50 32 59 49 49 0 15 15 63 45 66 0 69 69 47 47 0 72 17 68 68 50 50 0 14 14 0 0 41 35 51 0 34 10 32 80 48 47 0 70 45 63 51 0 35 35 74 74 45 45 0 0 70 84 21 0 73 88 18 64 64 0 0 31 10 36 0 91 93 55 0 0 0 35 35 0 0 27 27 69 32 75 0 44 44 48 44 40 39 15 50 0 81 30 27 93 41 69 51 42 42 59 59 0 0 91 45 70 0 0 69 30 48 56 31 31 18 18 0 0 47 34 44 0 83 91 75 27 0 39 65 75 0 59 27 48 64 45 56 0 0 44 10 44 0 0 14 14 0 57 39 10 67 0 0 79 30 90 41 0 81 84 82 0 48 57 81 0 97 32 104 68 66 10 73 42 42 0 53 53 0 68 17 53 46 21 21 0 0 31 59 81 0 0 0 0 93 50 67 0 43 10 15 49 0 81 48 79 69 75 74 55 0 30 105 45 103 0 68 68 0 0 17 17 0 0 65 53 111 0 103 55 74 0 66 66 55 55 69 90 101 75 47 69 0 55 53 73 39 45 10 0 0 51 51 0 0 0 0 67 81 69 113 53 10 55 45 32 69 0 0 105 48 49 105 0 0 44 27 18 70 10 10 0 0 66 66 94 50 48 55 10 34 80 0 101 101 0 73 18 88 0 0 81 81 27 27 97 57 90 0 0 30 30 0 105 69 90 93 81 75 91 56 61 0 90 73 91 0 0 50 50 32 59 59 104 69 10 66 0 64 64 0 0 41 59 92 0 0 111 103 17 0 93 93 0 72 14 82 0 0 113 113 0 105 59 10 53 0 91 92 88 27 0 84 21 45 56 0 0 0 0 45 70 91 0 57 81 42 69 0 105 59 10 68 0 32 32 63 51 90 0 39 39 0 59 48 30 103 0 0 </values>
20003.57/2520.09	v </instantiation>
20003.57/2520.09	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9035 MiB free)
  memory of node 1: 16384 MiB (13942 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297433-1532725761/watcher-4297433-1532725761 -o /tmp/evaluation-result-4297433-1532725761/solver-4297433-1532725761 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532718097-17586 --watchdog 2580 HOME/xcsp3-exec -seed 483265971 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297433-1532725761.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=18493, runsolver pid=18490

[startup+0.100146 s]*
/proc/loadavg: 8.54 8.36 8.32 2/199 18514
/proc/meminfo: memFree=23512772/32770624 swapFree=67108688/67108860
[pid=18493] ppid=18490 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18493/stat : 18493 (xcsp3-exec) S 18490 18493 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90138958 115843072 363 33554432000 4194304 5098028 140722817495808 140722817493912 139625663119996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140722817500214 140722817500416 140722817500416 140722817503178 0
/proc/18493/statm: 28282 363 305 221 0 87 0
[pid=18495] ppid=18493 vsize=26104152 memory=26884 CPUtime=0.11 cores=0-7
/proc/18495/stat : 18495 (java) S 18493 18493 17559 0 -1 1077944320 5664 0 0 0 11 0 0 0 20 0 20 0 90138958 26730651648 6721 33554432000 4194304 4196468 140725801700720 140725801683264 139980620267255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
/proc/18495/statm: 6526038 6721 3006 1 0 6488315 0
[pid=18495/tid=18496] ppid=18493 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18495/task/18496/stat : 18496 (java) R 18493 18493 17559 0 -1 4202560 3676 0 0 0 9 0 0 0 20 0 20 0 90138959 26730651648 6721 33554432000 4194304 4196468 140725801700720 139980624493504 139980604347742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18497] ppid=18493 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18495/task/18497/stat : 18497 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 6721 33554432000 4194304 4196468 140725801700720 139980572887312 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18498] ppid=18493 vsize=26104152 memory=140398979544704 CPUtime=0 cores=0-7
/proc/18495/task/18498/stat : 18498 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 6721 33554432000 4194304 4196468 140725801700720 139980571834768 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18499] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18499/stat : 18499 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 6721 33554432000 4194304 4196468 140725801700720 139980570782224 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18500] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18500/stat : 18500 (java) S 18493 18493 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 6721 33554432000 4194304 4196468 140725801700720 139980569729680 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18501] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18501/stat : 18501 (java) S 18493 18493 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 6721 33554432000 4194304 4196468 140725801700720 139980568677136 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18502] ppid=18493 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18495/task/18502/stat : 18502 (java) S 18493 18493 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 6721 33554432000 4194304 4196468 140725801700720 139980173605776 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18503] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18503/stat : 18503 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 6721 33554432000 4194304 4196468 140725801700720 139980172553232 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18504] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18504/stat : 18504 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 6721 33554432000 4194304 4196468 140725801700720 139980171500688 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18505] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18505/stat : 18505 (java) S 18493 18493 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90138961 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979814537200 139980620278402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18506] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18506/stat : 18506 (java) S 18493 18493 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90138961 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979813483424 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18507] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18507/stat : 18507 (java) S 18493 18493 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90138961 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979812430832 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18508] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18508/stat : 18508 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138964 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979811379408 139980620285851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18509] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18509/stat : 18509 (java) S 18493 18493 17559 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 90138964 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979810327024 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18510] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18510/stat : 18510 (java) S 18493 18493 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90138964 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979809274480 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18511] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18511/stat : 18511 (java) S 18493 18493 17559 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 90138964 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979808221936 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18512] ppid=18493 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18495/task/18512/stat : 18512 (java) S 18493 18493 17559 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 90138964 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979807169392 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18513] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18513/stat : 18513 (java) S 18493 18493 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90138964 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979806116064 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18514] ppid=18493 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18495/task/18514/stat : 18514 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138964 26730651648 6721 33554432000 4194304 4196468 140725801700720 139979805063600 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28336 KiB

[startup+0.210035 s]*
/proc/loadavg: 8.54 8.36 8.32 3/199 18514
/proc/meminfo: memFree=23502968/32770624 swapFree=67108688/67108860
[pid=18493] ppid=18490 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18493/stat : 18493 (xcsp3-exec) S 18490 18493 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90138958 115843072 363 33554432000 4194304 5098028 140722817495808 140722817493912 139625663119996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140722817500214 140722817500416 140722817500416 140722817503178 0
/proc/18493/statm: 28282 363 305 221 0 87 0
[pid=18495] ppid=18493 vsize=26104152 memory=40088 CPUtime=0.33 cores=0-7
/proc/18495/stat : 18495 (java) S 18493 18493 17559 0 -1 1077944320 8526 0 0 0 31 2 0 0 20 0 20 0 90138958 26730651648 10022 33554432000 4194304 4196468 140725801700720 140725801683264 139980620267255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
/proc/18495/statm: 6526038 10022 3216 1 0 6488315 0
[pid=18495/tid=18496] ppid=18493 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18495/task/18496/stat : 18496 (java) R 18493 18493 17559 0 -1 4202560 5588 0 0 0 18 1 0 0 20 0 20 0 90138959 26730651648 10022 33554432000 4194304 4196468 140725801700720 139980624504304 139980620289181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18497] ppid=18493 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/18495/task/18497/stat : 18497 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 10022 33554432000 4194304 4196468 140725801700720 139980572887312 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18498] ppid=18493 vsize=26104152 memory=140398980053611 CPUtime=0 cores=0-7
/proc/18495/task/18498/stat : 18498 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 10022 33554432000 4194304 4196468 140725801700720 139980571834768 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18499] ppid=18493 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18495/task/18499/stat : 18499 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 10022 33554432000 4194304 4196468 140725801700720 139980570782224 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18500] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18500/stat : 18500 (java) S 18493 18493 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 10022 33554432000 4194304 4196468 140725801700720 139980569729680 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18501] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18501/stat : 18501 (java) S 18493 18493 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 10022 33554432000 4194304 4196468 140725801700720 139980568677136 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18502] ppid=18493 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18495/task/18502/stat : 18502 (java) S 18493 18493 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 10022 33554432000 4194304 4196468 140725801700720 139980173605776 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18503] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18503/stat : 18503 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 10022 33554432000 4194304 4196468 140725801700720 139980172553232 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18504] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18504/stat : 18504 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26730651648 10022 33554432000 4194304 4196468 140725801700720 139980171500688 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18505] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18505/stat : 18505 (java) S 18493 18493 17559 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 90138961 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979814537200 139980620278402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18506] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18506/stat : 18506 (java) S 18493 18493 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90138961 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979813483424 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18507] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18507/stat : 18507 (java) S 18493 18493 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90138961 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979812430832 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18508] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18508/stat : 18508 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138964 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979811379408 139980620285851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18509] ppid=18493 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18495/task/18509/stat : 18509 (java) S 18493 18493 17559 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 20 0 90138964 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979810327024 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18510] ppid=18493 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18495/task/18510/stat : 18510 (java) S 18493 18493 17559 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 90138964 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979809274480 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18511] ppid=18493 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/18495/task/18511/stat : 18511 (java) S 18493 18493 17559 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 20 0 90138964 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979808221936 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18512] ppid=18493 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/18495/task/18512/stat : 18512 (java) S 18493 18493 17559 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 20 0 90138964 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979807169392 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18513] ppid=18493 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18513/stat : 18513 (java) S 18493 18493 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90138964 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979806116064 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18514] ppid=18493 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18495/task/18514/stat : 18514 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138964 26730651648 10022 33554432000 4194304 4196468 140725801700720 139979805063600 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41540 KiB

[startup+0.309377 s]*
/proc/loadavg: 8.54 8.36 8.32 4/199 18514
/proc/meminfo: memFree=23496888/32770624 swapFree=67108688/67108860
[pid=18493] ppid=18490 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18493/stat : 18493 (xcsp3-exec) S 18490 18493 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90138958 115843072 363 33554432000 4194304 5098028 140722817495808 140722817493912 139625663119996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140722817500214 140722817500416 140722817500416 140722817503178 0
/proc/18493/statm: 28282 363 305 221 0 87 0
[pid=18495] ppid=18493 vsize=26108408 memory=46684 CPUtime=0.51 cores=0-7
/proc/18495/stat : 18495 (java) S 18493 18493 17559 0 -1 1077944320 9406 0 0 0 48 3 0 0 20 0 20 0 90138958 26735009792 11671 33554432000 4194304 4196468 140725801700720 140725801683264 139980620267255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
/proc/18495/statm: 6527102 11671 3252 1 0 6488315 0
[pid=18495/tid=18496] ppid=18493 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/18495/task/18496/stat : 18496 (java) R 18493 18493 17559 0 -1 4202560 6275 0 0 0 27 1 0 0 20 0 20 0 90138959 26735009792 11691 33554432000 4194304 4196468 140725801700720 139980624498368 139980620289181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18497] ppid=18493 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18497/stat : 18497 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26735009792 11691 33554432000 4194304 4196468 140725801700720 139980572887312 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18498] ppid=18493 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18498/stat : 18498 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26735009792 11691 33554432000 4194304 4196468 140725801700720 139980571834768 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18499] ppid=18493 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18499/stat : 18499 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26735009792 11691 33554432000 4194304 4196468 140725801700720 139980570782224 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18500] ppid=18493 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18500/stat : 18500 (java) S 18493 18493 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90138959 26735009792 11691 33554432000 4194304 4196468 140725801700720 139980569729680 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18501] ppid=18493 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18495/task/18501/stat : 18501 (java) S 18493 18493 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90138959 26735009792 11691 33554432000 4194304 4196468 140725801700720 139980568677136 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18502] ppid=18493 vsize=26108408 memory=140398857122735 CPUtime=0 cores=0-7
/proc/18495/task/18502/stat : 18502 (java) S 18493 18493 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90138959 26735009792 11691 33554432000 4194304 4196468 140725801700720 139980173605776 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18503] ppid=18493 vsize=26108408 memory=140398857125040 CPUtime=0 cores=0-7
/proc/18495/task/18503/stat : 18503 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26735009792 11691 33554432000 4194304 4196468 140725801700720 139980172553232 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18504] ppid=18493 vsize=26108408 memory=140398857127344 CPUtime=0 cores=0-7
/proc/18495/task/18504/stat : 18504 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26735009792 11691 33554432000 4194304 4196468 140725801700720 139980171500688 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18505] ppid=18493 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18505/stat : 18505 (java) S 18493 18493 17559 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 90138961 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979814537200 139980620278402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18506] ppid=18493 vsize=26108408 memory=280797714261648 CPUtime=0 cores=0-7
/proc/18495/task/18506/stat : 18506 (java) S 18493 18493 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90138961 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979813483424 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18507] ppid=18493 vsize=26108408 memory=280797714268560 CPUtime=0 cores=0-7
/proc/18495/task/18507/stat : 18507 (java) S 18493 18493 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90138961 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979812430832 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18508] ppid=18493 vsize=26108408 memory=280797714209712 CPUtime=0 cores=0-7
/proc/18495/task/18508/stat : 18508 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138964 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979811379408 139980620285851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18509] ppid=18493 vsize=26108408 memory=280797714282384 CPUtime=0.02 cores=0-7
/proc/18495/task/18509/stat : 18509 (java) S 18493 18493 17559 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 90138964 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979810327024 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18510] ppid=18493 vsize=26108408 memory=280797714289296 CPUtime=0.03 cores=0-7
/proc/18495/task/18510/stat : 18510 (java) R 18493 18493 17559 0 -1 4202560 383 0 0 0 3 0 0 0 20 0 20 0 90138964 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979809264864 139980601811905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18511] ppid=18493 vsize=26108408 memory=280797714286992 CPUtime=0.02 cores=0-7
/proc/18495/task/18511/stat : 18511 (java) S 18493 18493 17559 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 90138964 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979808221936 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18512] ppid=18493 vsize=26108408 memory=280797714303152 CPUtime=0.12 cores=0-7
/proc/18495/task/18512/stat : 18512 (java) S 18493 18493 17559 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 20 0 90138964 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979807169392 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18513] ppid=18493 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18513/stat : 18513 (java) S 18493 18493 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90138964 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979806116064 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18514] ppid=18493 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18495/task/18514/stat : 18514 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138964 26735009792 11691 33554432000 4194304 4196468 140725801700720 139979805063600 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48136 KiB

[startup+0.700922 s]
/proc/loadavg: 8.54 8.36 8.32 6/199 18514
/proc/meminfo: memFree=23472076/32770624 swapFree=67108688/67108860
[pid=18493] ppid=18490 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18493/stat : 18493 (xcsp3-exec) S 18490 18493 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90138958 115843072 363 33554432000 4194304 5098028 140722817495808 140722817493912 139625663119996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140722817500214 140722817500416 140722817500416 140722817503178 0
/proc/18493/statm: 28282 363 305 221 0 87 0
[pid=18495] ppid=18493 vsize=26110532 memory=142292 CPUtime=1.92 cores=0-7
/proc/18495/stat : 18495 (java) S 18493 18493 17559 0 -1 1077944320 14359 0 0 0 186 6 0 0 20 0 20 0 90138958 26737184768 35573 33554432000 4194304 4196468 140725801700720 140725801683264 139980620267255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
/proc/18495/statm: 6527633 35573 3357 1 0 6488827 0
[pid=18495/tid=18496] ppid=18493 vsize=26110532 memory=280797714661040 CPUtime=0.67 cores=0-7
/proc/18495/task/18496/stat : 18496 (java) R 18493 18493 17559 0 -1 4202560 6802 0 0 0 64 3 0 0 20 0 20 0 90138959 26737184768 35573 33554432000 4194304 4196468 140725801700720 139980624501344 139980252476960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18497] ppid=18493 vsize=26110532 memory=140398857331568 CPUtime=0 cores=0-7
/proc/18495/task/18497/stat : 18497 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26737184768 35573 33554432000 4194304 4196468 140725801700720 139980572887312 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18498] ppid=18493 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/18495/task/18498/stat : 18498 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26737184768 35573 33554432000 4194304 4196468 140725801700720 139980571834768 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18499] ppid=18493 vsize=26110532 memory=4616 CPUtime=0 cores=0-7
/proc/18495/task/18499/stat : 18499 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90138959 26737184768 35573 33554432000 4194304 4196468 140725801700720 139980570782224 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0

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

/proc/meminfo: memFree=17741836/32770624 swapFree=67108688/67108860
[pid=18493] ppid=18490 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18493/stat : 18493 (xcsp3-exec) S 18490 18493 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90138958 115843072 363 33554432000 4194304 5098028 140722817495808 140722817493912 139625663119996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140722817500214 140722817500416 140722817500416 140722817503178 0
/proc/18493/statm: 28282 363 305 221 0 87 0
[pid=18495] ppid=18493 vsize=26711656 memory=5793696 CPUtime=19862.3 cores=0-7
/proc/18495/stat : 18495 (java) S 18493 18493 17559 0 -1 1077944320 507544 0 0 0 1984422 1809 0 0 20 0 28 0 90138958 27352735744 1448424 33554432000 4194304 4196468 140725801700720 140725801683264 139980620267255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
/proc/18495/statm: 6677914 1448424 3465 1 0 6639108 0
[pid=18495/tid=18496] ppid=18493 vsize=26711656 memory=5793696 CPUtime=15.06 cores=0-7
/proc/18495/task/18496/stat : 18496 (java) S 18493 18493 17559 0 -1 1077944384 13127 0 0 0 1489 17 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980624508032 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18497] ppid=18493 vsize=26711656 memory=5793696 CPUtime=9.24 cores=0-7
/proc/18495/task/18497/stat : 18497 (java) S 18493 18493 17559 0 -1 1077944384 8222 0 0 0 783 141 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980572887312 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18498] ppid=18493 vsize=26711656 memory=1452 CPUtime=9.42 cores=0-7
/proc/18495/task/18498/stat : 18498 (java) S 18493 18493 17559 0 -1 1077944384 8964 0 0 0 793 149 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980571834768 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18499] ppid=18493 vsize=26711656 memory=0 CPUtime=9.3 cores=0-7
/proc/18495/task/18499/stat : 18499 (java) S 18493 18493 17559 0 -1 1077944384 6717 0 0 0 786 144 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980570782224 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18500] ppid=18493 vsize=26711656 memory=5793696 CPUtime=8.83 cores=0-7
/proc/18495/task/18500/stat : 18500 (java) S 18493 18493 17559 0 -1 1077944384 8410 0 0 0 747 136 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980569729680 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18501] ppid=18493 vsize=26711656 memory=1452 CPUtime=9.39 cores=0-7
/proc/18495/task/18501/stat : 18501 (java) S 18493 18493 17559 0 -1 1077944384 7367 0 0 0 792 147 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980568677136 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18502] ppid=18493 vsize=26711656 memory=5793696 CPUtime=9.01 cores=0-7
/proc/18495/task/18502/stat : 18502 (java) S 18493 18493 17559 0 -1 1077944384 6702 0 0 0 765 136 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980173605776 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18503] ppid=18493 vsize=26711656 memory=4124 CPUtime=9.17 cores=0-7
/proc/18495/task/18503/stat : 18503 (java) S 18493 18493 17559 0 -1 1077944384 6710 0 0 0 769 148 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980172553232 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18504] ppid=18493 vsize=26711656 memory=1452 CPUtime=9.49 cores=0-7
/proc/18495/task/18504/stat : 18504 (java) S 18493 18493 17559 0 -1 1077944384 9916 0 0 0 799 150 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980171500688 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18505] ppid=18493 vsize=26711656 memory=1452 CPUtime=0.34 cores=0-7
/proc/18495/task/18505/stat : 18505 (java) S 18493 18493 17559 0 -1 1077944384 16272 0 0 0 24 10 0 0 20 0 28 0 90138961 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979814537200 139980620278402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18506] ppid=18493 vsize=26711656 memory=3472328296227679313 CPUtime=0 cores=0-7
/proc/18495/task/18506/stat : 18506 (java) S 18493 18493 17559 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 90138961 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979813483488 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18507] ppid=18493 vsize=26711656 memory=7156900849672611943 CPUtime=0 cores=0-7
/proc/18495/task/18507/stat : 18507 (java) S 18493 18493 17559 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 90138961 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979812430848 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18508] ppid=18493 vsize=26711656 memory=4136 CPUtime=0 cores=0-7
/proc/18495/task/18508/stat : 18508 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979811379408 139980620285851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18509] ppid=18493 vsize=26711656 memory=4104 CPUtime=9.04 cores=0-7
/proc/18495/task/18509/stat : 18509 (java) S 18493 18493 17559 0 -1 1077944384 36775 0 0 0 898 6 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979810327024 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18510] ppid=18493 vsize=26711656 memory=16100 CPUtime=6.53 cores=0-7
/proc/18495/task/18510/stat : 18510 (java) S 18493 18493 17559 0 -1 1077944384 31427 0 0 0 649 4 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979809274480 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18511] ppid=18493 vsize=26711656 memory=1788 CPUtime=10.08 cores=0-7
/proc/18495/task/18511/stat : 18511 (java) S 18493 18493 17559 0 -1 1077944384 34684 0 0 0 1003 5 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979808221936 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18512] ppid=18493 vsize=26711656 memory=1452 CPUtime=1.59 cores=0-7
/proc/18495/task/18512/stat : 18512 (java) S 18493 18493 17559 0 -1 1077944384 22133 0 0 0 154 5 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979807169392 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18513] ppid=18493 vsize=26711656 memory=1452 CPUtime=0 cores=0-7
/proc/18495/task/18513/stat : 18513 (java) S 18493 18493 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979806116064 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18514] ppid=18493 vsize=26711656 memory=4872558044660077418 CPUtime=1.27 cores=0-7
/proc/18495/task/18514/stat : 18514 (java) S 18493 18493 17559 0 -1 1077944384 4196 0 0 0 42 85 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979805063600 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19162] ppid=18493 vsize=26711656 memory=8548 CPUtime=2346.73 cores=0-7
/proc/18495/task/19162/stat : 19162 (java) R 18493 18493 17559 0 -1 4202560 29135 0 0 0 234619 54 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979785951040 139980254291218 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19163] ppid=18493 vsize=26711656 memory=1452 CPUtime=2341.16 cores=0-7
/proc/18495/task/19163/stat : 19163 (java) R 18493 18493 17559 0 -1 4202560 15795 0 0 0 234104 12 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979787002344 139980251074334 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19164] ppid=18493 vsize=26711656 memory=2408 CPUtime=2351.56 cores=0-7
/proc/18495/task/19164/stat : 19164 (java) R 18493 18493 17559 0 -1 4202560 21962 0 0 0 235115 41 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979790159944 139980255209617 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19165] ppid=18493 vsize=26711656 memory=1724 CPUtime=2343.25 cores=0-7
/proc/18495/task/19165/stat : 19165 (java) R 18493 18493 17559 0 -1 4202560 42149 0 0 0 234243 82 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979792265496 139980255984704 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19166] ppid=18493 vsize=26711656 memory=1452 CPUtime=2350.69 cores=0-7
/proc/18495/task/19166/stat : 19166 (java) R 18493 18493 17559 0 -1 4202560 26186 0 0 0 235021 48 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979794370888 139980254075194 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19167] ppid=18493 vsize=26711656 memory=4140 CPUtime=2326.23 cores=0-7
/proc/18495/task/19167/stat : 19167 (java) R 18493 18493 17559 0 -1 4202560 23030 0 0 0 232579 44 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979791212968 139980254565824 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19168] ppid=18493 vsize=26711656 memory=26020 CPUtime=2351.6 cores=0-7
/proc/18495/task/19168/stat : 19168 (java) R 18493 18493 17559 0 -1 4202560 21458 0 0 0 235150 10 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979793317472 139980252223100 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19169] ppid=18493 vsize=26711656 memory=1296 CPUtime=2351.56 cores=0-7
/proc/18495/task/19169/stat : 19169 (java) R 18493 18493 17559 0 -1 4202560 22438 0 0 0 235105 51 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979788054344 139980255210840 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
Current children cumulated CPU time: 19862.3 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 5795148 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.22 8.45 8.40 9/209 19202
/proc/meminfo: memFree=17741728/32770624 swapFree=67108688/67108860
[pid=18493] ppid=18490 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18493/stat : 18493 (xcsp3-exec) S 18490 18493 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90138958 115843072 363 33554432000 4194304 5098028 140722817495808 140722817493912 139625663119996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140722817500214 140722817500416 140722817500416 140722817503178 0
/proc/18493/statm: 28282 363 305 221 0 87 0
[pid=18495] ppid=18493 vsize=26711656 memory=5793696 CPUtime=20003.6 cores=0-7
/proc/18495/stat : 18495 (java) S 18493 18493 17559 0 -1 1077944320 509753 0 0 0 1998548 1809 0 0 20 0 28 0 90138958 27352735744 1448424 33554432000 4194304 4196468 140725801700720 140725801683264 139980620267255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
/proc/18495/statm: 6677914 1448424 3465 1 0 6639108 0
[pid=18495/tid=18496] ppid=18493 vsize=26711656 memory=16100 CPUtime=15.06 cores=0-7
/proc/18495/task/18496/stat : 18496 (java) S 18493 18493 17559 0 -1 1077944384 13127 0 0 0 1489 17 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980624508032 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18497] ppid=18493 vsize=26711656 memory=1788 CPUtime=9.24 cores=0-7
/proc/18495/task/18497/stat : 18497 (java) S 18493 18493 17559 0 -1 1077944384 8222 0 0 0 783 141 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980572887312 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18498] ppid=18493 vsize=26711656 memory=644 CPUtime=9.42 cores=0-7
/proc/18495/task/18498/stat : 18498 (java) S 18493 18493 17559 0 -1 1077944384 8964 0 0 0 793 149 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980571834768 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18499] ppid=18493 vsize=26711656 memory=4872558044660077418 CPUtime=9.3 cores=0-7
/proc/18495/task/18499/stat : 18499 (java) S 18493 18493 17559 0 -1 1077944384 6717 0 0 0 786 144 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980570782224 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18500] ppid=18493 vsize=26711656 memory=18264 CPUtime=8.83 cores=0-7
/proc/18495/task/18500/stat : 18500 (java) S 18493 18493 17559 0 -1 1077944384 8410 0 0 0 747 136 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980569729680 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18501] ppid=18493 vsize=26711656 memory=952 CPUtime=9.39 cores=0-7
/proc/18495/task/18501/stat : 18501 (java) S 18493 18493 17559 0 -1 1077944384 7367 0 0 0 792 147 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980568677136 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18502] ppid=18493 vsize=26711656 memory=1232 CPUtime=9.01 cores=0-7
/proc/18495/task/18502/stat : 18502 (java) S 18493 18493 17559 0 -1 1077944384 6702 0 0 0 765 136 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980173605776 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18503] ppid=18493 vsize=26711656 memory=2424 CPUtime=9.17 cores=0-7
/proc/18495/task/18503/stat : 18503 (java) S 18493 18493 17559 0 -1 1077944384 6710 0 0 0 769 148 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980172553232 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18504] ppid=18493 vsize=26711656 memory=1576 CPUtime=9.49 cores=0-7
/proc/18495/task/18504/stat : 18504 (java) S 18493 18493 17559 0 -1 1077944384 9916 0 0 0 799 150 0 0 20 0 28 0 90138959 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139980171500688 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18505] ppid=18493 vsize=26711656 memory=928 CPUtime=0.34 cores=0-7
/proc/18495/task/18505/stat : 18505 (java) S 18493 18493 17559 0 -1 1077944384 16277 0 0 0 24 10 0 0 20 0 28 0 90138961 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979814537200 139980620278402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18506] ppid=18493 vsize=26711656 memory=2240 CPUtime=0 cores=0-7
/proc/18495/task/18506/stat : 18506 (java) S 18493 18493 17559 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 90138961 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979813483488 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18507] ppid=18493 vsize=26711656 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18495/task/18507/stat : 18507 (java) S 18493 18493 17559 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 90138961 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979812430848 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18508] ppid=18493 vsize=26711656 memory=5668 CPUtime=0 cores=0-7
/proc/18495/task/18508/stat : 18508 (java) S 18493 18493 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979811379408 139980620285851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18509] ppid=18493 vsize=26711656 memory=4616 CPUtime=9.04 cores=0-7
/proc/18495/task/18509/stat : 18509 (java) S 18493 18493 17559 0 -1 1077944384 36778 0 0 0 898 6 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979810327024 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18510] ppid=18493 vsize=26711656 memory=14076 CPUtime=6.53 cores=0-7
/proc/18495/task/18510/stat : 18510 (java) S 18493 18493 17559 0 -1 1077944384 31435 0 0 0 649 4 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979809274480 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18511] ppid=18493 vsize=26711656 memory=1204 CPUtime=10.08 cores=0-7
/proc/18495/task/18511/stat : 18511 (java) S 18493 18493 17559 0 -1 1077944384 34687 0 0 0 1003 5 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979808221936 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18512] ppid=18493 vsize=26711656 memory=15872 CPUtime=1.59 cores=0-7
/proc/18495/task/18512/stat : 18512 (java) S 18493 18493 17559 0 -1 1077944384 22136 0 0 0 154 5 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979807169392 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18513] ppid=18493 vsize=26711656 memory=4008 CPUtime=0 cores=0-7
/proc/18495/task/18513/stat : 18513 (java) S 18493 18493 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979806116064 139980620277461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=18514] ppid=18493 vsize=26711656 memory=18264 CPUtime=1.27 cores=0-7
/proc/18495/task/18514/stat : 18514 (java) S 18493 18493 17559 0 -1 1077944384 4223 0 0 0 42 85 0 0 20 0 28 0 90138964 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979805063600 139980620278402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19162] ppid=18493 vsize=26711656 memory=16100 CPUtime=2364.11 cores=0-7
/proc/18495/task/19162/stat : 19162 (java) R 18493 18493 17559 0 -1 4202560 29335 0 0 0 236357 54 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979785951040 139980251074242 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19163] ppid=18493 vsize=26711656 memory=1452 CPUtime=2358.86 cores=0-7
/proc/18495/task/19163/stat : 19163 (java) R 18493 18493 17559 0 -1 4202560 16096 0 0 0 235874 12 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979787002344 139980252219666 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19164] ppid=18493 vsize=26711656 memory=5793696 CPUtime=2369.27 cores=0-7
/proc/18495/task/19164/stat : 19164 (java) R 18493 18493 17559 0 -1 4202560 22187 0 0 0 236886 41 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979790159944 139980252220691 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19165] ppid=18493 vsize=26711656 memory=1692 CPUtime=2360.91 cores=0-7
/proc/18495/task/19165/stat : 19165 (java) R 18493 18493 17559 0 -1 4202560 42417 0 0 0 236009 82 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979792265496 139980259886361 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19166] ppid=18493 vsize=26711656 memory=912 CPUtime=2368.39 cores=0-7
/proc/18495/task/19166/stat : 19166 (java) R 18493 18493 17559 0 -1 4202560 26564 0 0 0 236791 48 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979794370888 139980253411890 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19167] ppid=18493 vsize=26711656 memory=4136 CPUtime=2343.93 cores=0-7
/proc/18495/task/19167/stat : 19167 (java) R 18493 18493 17559 0 -1 4202560 23219 0 0 0 234349 44 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979791212968 139980252220076 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19168] ppid=18493 vsize=26711656 memory=4104 CPUtime=2369.3 cores=0-7
/proc/18495/task/19168/stat : 19168 (java) R 18493 18493 17559 0 -1 4202560 21813 0 0 0 236920 10 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979793317472 139980259886112 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
[pid=18495/tid=19169] ppid=18493 vsize=26711656 memory=1408 CPUtime=2369.26 cores=0-7
/proc/18495/task/19169/stat : 19169 (java) R 18493 18493 17559 0 -1 4202560 22682 0 0 0 236875 51 0 0 20 0 28 0 90153868 27352735744 1448424 33554432000 4194304 4196468 140725801700720 139979788054344 139980253410795 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20017152 140725801706625 140725801706797 140725801706797 140725801709519 0
Current children cumulated CPU time: 20003.6 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 5795148 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.22 8.45 8.40 4/182 19204
/proc/meminfo: memFree=21957008/32770624 swapFree=67108688/67108860
Current cumulated CPU time of completed processes: 0.002272 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 20004.4
CPU user time (s): 19986.3
CPU system time (s): 18.14
CPU usage (%): 793.779
Max. virtual memory (cumulated for all children) (KiB): 26824784
Max. memory (cumulated for all children) (KiB): 5795148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19986.3
system time used= 18.14
maximum resident set size= 5794116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72719
involuntary context switches= 202088


# summary of solver processes directly reported to runsolver:
#   pid: 18493,18495
#   total CPU time (s): 20004.4
#   total CPU user time (s): 19986.3
#   total CPU system time (s): 18.14

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9445 second user time and 32.2378 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml
MD5SUM	e08ad5e9bb2dce0f9ded0033a126b6aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	20261
Best CPU time to get the best result obtained on this benchmark	20004.4
Satisfiable
(Un)Satisfiability was proved
Number of variables	1936
Number of constraints	8495
Number of domains	3
Minimum domain size	2
Maximum domain size	66
Distribution of domain sizes	[{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}]
Minimum variable degree	2
Maximum variable degree	50
Distribution of variable degrees	[{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}]
Number of extensional constraints	496
Number of intensional constraints	6977
Distribution of constraint types	[{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4297433

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