2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	SAT (TO)	49152	2400.15	2364.65

0.69/0.54	c version: 2018-07-02
0.69/0.54	c seed: 1109372468
0.69/0.54	c timeout: 2400
0.69/0.54	c memlimit: 11000
0.69/0.55	c nbcore: 4
0.69/0.57	c Parsing instance...
28.68/14.18	c Parsing done, starting first complete search...
30.76/15.46	o 53931
30.76/15.47	o 53863
30.76/15.48	o 53817
30.76/15.50	o 53761
30.94/15.53	o 53740
31.27/15.60	o 53650
31.27/15.61	o 53640
31.27/15.61	o 53625
31.27/15.64	o 53623
31.58/15.71	o 53611
31.58/15.74	o 53603
32.19/15.91	o 53578
32.19/15.93	o 53418
32.19/15.94	o 53414
32.19/15.98	o 53378
32.19/15.98	o 53342
34.69/17.10	o 53327
34.80/17.13	o 53323
34.80/17.14	o 53319
34.80/17.16	o 53301
37.13/19.28	o 53286
37.13/19.28	o 53284
38.64/20.74	o 53272
38.64/20.76	o 53266
40.34/22.42	o 53244
40.44/22.50	o 53238
40.44/22.51	o 53225
40.44/22.55	o 53221
40.44/22.57	o 53191
40.64/22.71	o 53181
41.45/23.55	o 53173
46.77/28.89	o 53169
46.87/28.93	o 53158
52.22/30.41	o 53148
52.22/30.43	o 53144
54.06/32.29	o 53137
54.46/32.60	o 53125
54.56/32.80	o 53123
54.66/32.80	o 53119
55.47/33.61	o 53116
55.47/33.62	o 53112
55.47/33.67	o 53110
55.47/33.68	o 53106
88.72/66.87	c First complete search done, starting ALNS search...
97.31/74.71	o 53094
97.31/74.71	o 53040
97.50/74.87	o 53020
97.50/74.88	o 53014
97.63/74.91	o 52986
97.63/74.92	o 52972
97.63/74.92	o 52966
97.63/74.94	o 52944
97.63/74.97	o 52936
97.63/74.98	o 52860
101.79/78.84	o 52856
103.51/80.58	o 52824
103.61/80.60	o 52780
103.61/80.60	o 52754
103.61/80.64	o 52744
104.42/81.44	o 52735
104.42/81.44	o 52639
104.82/81.86	o 52625
120.29/96.85	o 52592
120.29/96.86	o 52462
120.53/97.02	o 52368
121.02/97.51	o 52341
121.02/97.53	o 52223
196.51/171.99	o 52217
196.62/172.05	o 52214
196.72/172.13	o 52195
217.98/193.27	o 52074
219.18/194.48	o 52062
219.38/194.67	o 51930
225.57/200.60	o 51874
291.57/266.04	o 51678
291.67/266.16	o 51628
303.17/277.45	o 51612
303.17/277.45	o 51610
303.17/277.48	o 51576
305.17/279.43	o 51543
305.77/280.10	o 51537
309.01/283.26	o 51519
309.41/283.67	o 51499
309.51/283.78	o 51487
310.11/284.36	o 51475
310.82/285.07	o 51473
310.92/285.13	o 51375
313.02/287.27	o 51361
313.12/287.30	o 51347
338.71/312.71	o 51313
338.91/312.98	o 51278
338.91/312.98	o 51219
339.12/313.13	o 51201
339.12/313.13	o 51175
339.12/313.16	o 51165
339.12/313.16	o 51139
340.22/314.03	o 51121
368.36/342.00	o 51108
369.46/343.08	o 51061
379.85/353.25	o 51040
404.86/378.08	o 51016
404.96/378.14	o 50972
404.96/378.14	o 50938
405.15/378.30	o 50864
405.15/378.35	o 50839
405.15/378.35	o 50830
408.05/381.20	o 50756
409.35/382.57	o 50716
415.41/388.33	o 50514
422.62/395.53	o 50512
432.73/405.55	o 50505
452.68/425.37	o 50492
453.78/426.41	o 50484
453.98/426.68	o 50451
480.73/453.23	o 50381
527.44/499.58	o 50354
527.54/499.62	o 50340
589.53/561.33	o 50292
589.83/561.63	o 50244
595.25/567.05	o 50213
595.25/567.11	o 50201
599.94/571.70	o 50193
608.06/579.81	o 50179
608.06/579.86	o 50139
611.16/582.90	o 50121
616.07/587.86	o 50087
618.69/590.49	o 49996
694.14/665.71	o 49985
706.35/677.95	o 49982
706.95/678.59	o 49979
707.15/678.78	o 49976
987.97/958.92	o 49932
988.07/959.07	o 49894
988.07/959.08	o 49828
988.37/959.38	o 49790
992.88/963.88	o 49778
1358.14/1328.28	o 49747
1360.24/1330.39	o 49695
1360.34/1330.48	o 49678
1584.14/1553.72	o 49659
1584.34/1553.94	o 49649
1586.77/1556.33	o 49639
1788.69/1757.73	o 49616
1789.39/1758.44	o 49614
1799.04/1768.05	o 49584
1869.58/1838.31	o 49531
1869.58/1838.36	o 49525
1983.90/1952.14	o 49519
1983.99/1952.24	o 49449
1991.95/1960.14	o 49431
1992.45/1960.62	o 49383
2107.12/2074.43	o 49359
2107.32/2074.65	o 49285
2107.73/2075.10	o 49256
2227.66/2193.90	o 49228
2379.46/2344.29	o 49190
2379.46/2344.29	o 49152
2400.08/2364.60	s SATISFIABLE
2400.08/2364.61	v <instantiation>
2400.08/2364.61	v 	<list>
2400.08/2364.61	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[76][77] d[76][78] d[76][79] d[76][80] d[77][78] d[77][79] d[77][80] d[78][79] d[78][80] d[79][80]
2400.08/2364.61	v 	</list>
2400.08/2364.61	v 	<values>
2400.08/2364.61	v 		27 66 40 8 18 77 80 49 7 30 22 5 1 32 13 14 24 34 29 79 19 20 43 38 64 62 25 73 59 11 17 69 54 31 33 44 26 3 37 50 48 35 61 74 53 28 45 71 36 10 23 9 21 41 2 78 55 67 57 15 42 60 4 56 63 65 6 47 12 16 0 51 46 75 39 76 70 58 68 72 52 0 5 0 0 5 10 0 2 5 0 10 5 2 2 5 6 3 0 3 5 0 0 2 5 2 0 0 1 5 0 1 0 0 0 3 0 2 1 2 2 10 0 2 3 5 10 10 4 2 0 10 0 5 2 4 0 0 2 1 0 4 1 1 5 0 10 3 0 2 0 0 1 6 2 2 2 3 0 2 6 2 5 0 2 10 2 0 2 10 5 5 5 2 0 2 4 2 5 3 5 0 2 5 4 1 0 0 0 2 2 5 3 5 1 1 3 0 2 0 5 2 5 5 0 0 0 2 0 4 1 0 0 0 2 6 2 10 2 0 1 0 0 1 1 0 0 5 0 0 0 0 0 3 1 0 0 5 2 5 1 5 1 4 5 0 2 5 10 0 10 3 4 3 4 5 1 1 5 10 0 2 0 2 2 0 1 5 3 0 2 0 0 2 5 10 0 5 5 2 0 0 5 0 2 6 0 1 5 10 2 6 5 5 2 0 0 5 1 5 10 0 5 10 2 10 0 1 0 0 5 2 2 0 2 0 0 1 5 10 0 10 10 10 2 5 5 0 10 0 5 1 1 0 0 2 2 0 3 0 5 0 0 0 1 2 2 2 5 1 10 0 3 0 10 0 5 0 1 0 2 5 1 10 0 0 0 0 2 1 0 2 0 0 0 5 5 1 3 4 5 10 0 6 2 0 2 2 1 0 2 5 0 1 1 0 0 4 3 5 10 0 1 5 10 10 0 1 2 5 2 0 5 0 5 3 5 10 10 4 10 6 0 2 0 5 5 2 5 0 5 4 1 5 2 0 5 5 0 5 0 10 2 0 5 2 1 0 1 0 5 2 0 0 4 2 5 1 0 5 2 1 2 0 5 1 0 5 1 5 5 5 2 2 2 0 6 0 5 2 0 0 2 2 2 10 1 10 10 5 2 2 5 0 2 5 5 2 0 0 10 5 1 5 2 1 2 5 1 1 3 1 2 2 1 2 0 5 5 2 0 0 5 5 2 2 0 2 5 0 0 2 0 0 0 2 1 2 0 1 1 1 10 2 5 5 5 2 5 2 10 0 0 10 3 1 5 0 5 2 4 1 5 2 0 10 2 5 2 0 5 2 10 1 0 0 2 5 5 2 0 1 1 2 6 3 0 0 1 2 5 1 0 1 0 0 0 6 0 0 0 5 0 1 4 1 2 4 6 5 0 0 0 2 0 0 0 0 1 2 0 0 1 5 0 6 0 2 5 0 5 0 4 5 1 0 2 2 2 1 1 0 5 0 0 0 0 5 1 1 0 5 2 1 4 4 5 3 0 0 1 1 3 0 0 2 2 2 2 6 5 1 1 2 5 0 3 2 4 10 1 10 10 2 0 0 0 4 0 0 0 0 1 0 2 0 0 0 4 2 2 0 0 0 2 2 6 1 2 2 1 5 5 1 2 5 0 10 1 2 1 0 2 5 0 1 0 5 2 1 5 10 5 2 2 5 0 1 0 0 0 2 2 5 2 2 2 0 2 0 0 0 0 2 10 2 0 1 0 0 0 0 0 4 0 0 5 2 1 5 0 0 5 5 2 5 0 4 1 1 0 5 2 0 3 5 5 5 0 2 4 1 0 10 1 2 6 5 0 1 4 0 2 1 0 0 2 0 4 5 2 10 10 0 1 1 4 5 2 6 0 10 2 4 0 0 2 2 1 0 4 2 5 0 5 0 2 0 2 1 10 5 5 0 5 5 0 0 5 4 0 0 5 10 3 0 5 2 2 0 5 4 5 0 1 5 0 5 2 0 0 2 5 10 2 2 0 5 10 2 2 0 0 0 1 0 0 0 2 0 4 0 0 0 2 5 2 3 2 2 5 2 0 10 0 0 0 0 5 1 0 5 0 0 0 10 5 5 2 2 2 1 5 2 5 5 2 0 2 3 1 10 1 2 3 10 0 0 0 5 0 0 2 5 1 2 1 0 5 2 5 0 5 5 0 3 10 0 2 1 5 6 0 10 0 5 1 0 2 1 2 2 2 5 2 10 5 10 5 5 5 5 5 0 10 0 0 0 10 0 0 5 5 5 5 2 0 5 5 1 1 0 0 5 0 2 3 0 10 2 2 5 0 0 0 0 5 5 0 5 0 4 0 1 10 0 5 5 5 0 2 0 0 0 4 0 3 2 5 5 5 3 5 0 5 5 2 5 0 2 5 2 0 10 2 2 2 5 10 5 0 0 4 5 0 4 5 10 5 5 1 2 1 2 0 2 0 5 6 0 0 1 3 5 5 1 0 0 0 3 0 0 0 1 5 1 10 10 5 1 0 0 2 2 0 2 1 1 10 0 5 5 10 2 0 10 2 2 5 6 1 2 5 0 5 2 0 5 2 2 1 0 2 2 2 2 5 0 1 0 0 0 2 1 2 0 5 0 2 1 5 2 1 3 3 5 0 3 0 5 0 0 5 0 2 1 10 0 2 10 0 0 5 10 2 5 0 5 0 0 1 10 3 10 0 0 0 5 0 1 5 5 5 10 5 1 0 0 0 0 5 6 3 5 5 2 0 0 2 1 5 0 3 5 1 0 4 1 0 5 5 5 0 5 5 2 2 5 1 10 2 4 1 2 1 0 2 0 4 6 0 0 5 4 5 2 0 2 0 10 10 5 0 1 1 0 0 4 6 0 1 0 4 0 2 2 1 2 0 5 5 4 3 0 5 5 5 0 5 0 0 5 2 0 0 5 0 0 0 1 0 5 3 5 4 0 1 1 1 1 2 5 2 4 0 2 5 0 3 1 2 0 5 1 0 2 5 5 10 0 2 0 5 2 0 5 2 5 5 0 10 0 2 0 2 0 0 6 5 5 5 0 5 0 3 5 2 1 2 1 2 5 0 0 2 1 2 5 3 0 3 1 0 0 0 2 2 2 10 1 3 1 5 10 5 0 4 0 1 0 0 0 5 2 2 2 2 10 0 2 5 0 3 3 10 5 1 6 1 0 1 0 1 1 1 1 2 5 0 0 10 1 0 1 2 0 0 0 0 0 0 5 4 2 0 0 0 10 5 0 0 0 2 2 1 6 1 5 2 6 0 5 1 1 3 0 5 2 6 2 3 0 0 5 0 5 0 1 3 5 0 4 0 0 2 5 3 1 1 1 2 1 5 0 1 0 0 0 0 1 1 0 0 0 5 5 5 10 0 10 2 0 5 2 10 1 10 5 5 2 10 4 0 1 0 5 5 2 0 4 5 0 5 0 2 1 1 2 5 2 5 5 5 1 1 1 1 0 5 10 5 5 0 4 5 1 0 0 2 0 5 0 2 4 10 5 0 2 0 1 1 10 1 4 2 4 2 0 5 0 5 0 3 5 0 4 1 0 5 5 10 4 0 4 0 2 5 1 2 0 0 5 1 10 0 1 2 5 1 5 5 1 2 0 2 10 0 10 4 0 4 5 2 5 5 5 2 10 0 5 3 5 0 2 5 2 10 0 0 2 2 3 5 0 0 5 5 10 0 2 0 4 2 1 3 5 10 5 5 0 0 0 0 2 5 10 10 0 0 0 4 2 5 0 0 2 4 5 6 0 2 0 5 0 5 0 0 1 0 2 5 5 2 0 5 10 2 5 0 0 1 5 5 3 1 0 1 5 1 0 4 5 4 5 2 10 0 5 1 3 0 0 0 0 3 5 2 2 3 0 10 2 5 1 2 0 2 4 2 1 0 0 0 0 0 2 5 2 0 0 2 5 5 0 10 3 0 2 1 4 0 1 0 2 5 0 0 2 1 10 0 1 0 5 3 5 0 2 5 1 0 4 0 1 3 2 2 2 2 3 1 0 0 0 3 2 2 2 5 3 1 2 1 2 10 10 5 5 4 5 0 5 3 2 2 0 0 10 1 2 5 0 3 10 0 10 5 2 0 0 1 5 1 10 2 5 0 2 2 5 6 4 1 5 0 0 5 5 0 5 2 1 2 6 2 0 5 1 5 5 5 1 6 10 1 1 5 0 10 1 5 0 2 10 0 0 0 0 4 1 0 5 5 6 5 2 0 1 2 0 0 3 5 5 2 0 2 0 2 0 0 2 0 0 2 1 5 0 5 0 0 10 0 0 2 10 2 10 6 0 0 5 2 1 5 2 0 2 1 1 0 0 1 0 0 0 6 5 5 0 0 0 0 3 2 2 1 10 0 0 0 2 2 0 1 0 0 3 2 0 2 0 0 5 1 2 2 0 4 0 5 5 5 1 2 0 5 0 5 1 5 1 10 0 0 3 0 1 2 3 0 10 0 2 0 0 0 2 5 0 0 0 3 10 2 0 5 10 3 0 2 1 0 0 3 1 5 2 5 0 5 1 5 3 10 1 0 2 0 5 5 10 5 3 1 1 0 0 2 0 10 2 0 1 0 4 4 2 5 5 5 0 2 2 0 1 0 2 0 5 2 6 0 4 0 0 1 5 1 10 2 10 3 0 10 0 2 3 10 0 0 0 5 10 1 0 5 0 10 0 5 5 1 5 5 5 2 4 2 5 1 10 0 5 0 1 0 1 2 1 2 2 2 0 2 1 3 0 10 5 2 4 5 0 6 3 5 0 1 5 2 2 5 5 2 0 0 5 5 2 0 2 2 5 10 1 4 10 0 5 2 10 0 5 5 4 1 0 2 2 6 0 0 0 0 0 1 4 5 0 5 1 5 10 10 1 0 10 3 3 1 10 0 1 10 1 1 0 4 0 0 2 2 2 5 0 0 5 0 5 2 2 2 2 1 2 2 5 10 4 1 2 2 2 0 0 3 3 0 6 0 0 10 0 0 5 2 10 6 10 2 1 5 5 4 0 10 5 0 0 5 4 0 0 2 2 0 10 3 10 5 0 1 0 2 1 5 0 5 0 0 0 2 0 5 2 0 0 5 5 10 0 2 10 5 0 0 1 5 1 2 1 5 1 5 0 2 2 0 0 0 0 0 2 0 2 1 0 10 5 1 0 0 5 2 2 10 0 2 5 1 3 10 5 2 2 0 10 1 0 1 5 10 4 0 1 0 10 2 2 2 0 5 0 0 5 5 2 5 10 10 10 1 0 0 0 1 0 5 1 2 3 1 10 1 1 10 1 5 10 5 3 1 0 2 5 0 0 5 0 2 10 10 0 1 0 1 4 0 2 5 2 5 2 2 0 0 1 0 0 2 5 2 2 1 10 0 10 0 4 1 5 0 0 1 5 5 5 5 5 5 5 5 5 0 1 0 0 2 0 0 5 1 5 5 4 0 0 0 0 5 2 1 5 0 6 0 2 2 10 2 0 5 5 0 2 2 1 2 1 0 4 0 1 2 2 0 10 3 5 5 1 0 0 0 5 2 2 5 1 4 5 2 1 6 0 2 0 3 1 10 1 1 2 4 2 10 0 10 5 10 0 0 0 4 10 5 5 5 0 0 5 2 0 5 2 0 0 0 0 5 0 1 5 0 2 1 10 10 4 0 5 5 1 0 0 2 0 5 2 5 10 10 2 5 1 3 2 3 5 0 2 1 1 0 2 4 2 1 3 2 2 0 0 5 10 0 5 4 0 6 4 0 5 4 0 0 5 6 5 1 2 2 1 0 0 5 2 10 0 0 2 2 0 4 2 10 2 3 10 1 6 6 0 0 5 5 2 5 2 5 6 3 1 4 10 1 10 1 2 2 2 0 0 5 1 0 2 2 10 10 2 0 5 5 10 5 10 10 0 5 3 0 0 5 4 10 0 10 5 1 10 5 0 0 5 10 5 5 10 4 5 10 1 6 0 1 0 5 0 5 0 5 0 10 5 10 5 0 5 10 10 1 10 5 1 2 0 2 1 5 5 0 5 0 2 0 0 5 5 5 0 0 0 0 4 2 0 3 0 2 0 2 0 0 0 1 5 0 5 10 10 5 5 3 5 0 10 0 2 6 0 0 5 0 1 0 0 2 2 0 0 2 0 4 4 2 1 2 6 1 5 0 0 2 1 10 4 10 0 2 0 1 1 0 10 5 1 10 3 0 1 2 10 4 2 0 10 5 1 10 0 0 5 0 0 0 1 3 5 2 2 2 3 5 2 4 2 5 3 5 0 0 5 5 5 0 5 0 3 1 1 1 0 0 3 3 2 5 0 0 5 2 0 0 10 3 0 0 1 10 0 10 5 5 1 0 5 0 2 2 5 1 4 0 5 2 10 0 1 2 5 5 5 0 4 5 0 4 2 0 1 0 5 2 1 2 5 5 5 4 1 1 3 4 6 6 0 0 2 2 10 5 5 1 0 5 2 4 0 1 5 3 5 3 10 5 5 2 10 0 5 0 1 2 2 3 10 0 5 10 2 10 5 5 4 0 1 0 0 2 0 2 0 5 0 0 2 0 2 0 0 0 2 0 5 10 0 5 0 10 1 0 10 10 6 1 5 6 0 4 0 10 4 0 5 5 5 0 0 1 0 5 0 1 0 0 3 5 5 0 5 1 0 10 10 3 2 1 2 5 5 2 2 0 1 5 5 10 5 10 1 1 2 0 2 2 0 4 2 3 10 0 0 3 1 5 6 0 0 10 2 5 6 0 5 0 5 0 5 1 0 0 5 2 1 0 1 10 10 5 2 10 0 0 0 5 2 3 0 1 1 0 2 1 5 5 0 0 4 2 3 2 5 1 5 0 2 4 10 5 10 1 3 2 10 0 0 2 4 2 2 5 1 3 2 3 10 2 0 10 6 5 5 0 10 5 0 4 0 0 0 2 3 4 2 5 0 1 2 2 10 4 0 0 0 0 10 0 5 10 2 1 0 10 5 1 5 5 0 1 5 5 1 5 0 2 0 2 0 10 0 5 10 0 1 0 4 2 2 3 3 10 1 1 0 5 0 2 0 10 3 0 0 1 1 1 10 2 5 5 1 1 0 2 1 2 10 1 2 5 0 0 0 5 0 1 5 5 3 1 2 1 0 5 5 5 10 2 2 2 0 4 10 2 2 3 2 5 5 5 10 0 5 2 2 2 10 0 5 1 1 1 2 0 1 3 2 10 1 1 1 0 10 3 5 2 3 0 2 1 2 5 0 10 0 0 0 0 5 0 0 6 2 0 0 2 1 2 10 1 10 2 0 0 3 10 6 5 1 0 10 4 1 1 10 0 1 0 5 0 4 3 3 2 10 2 5 0 5 5 5 3 5 10 10 5 1 5 1 1 5 2 10 0 2 0 0 3 2 4 6 5 0 10 5 3 5 1 2 0 0 2 0 5 2 6 10 1 5 3 1 0 2 10 2 5 2 0 2 5 10 10 2 3 0 4 2 10 2 6 5 0 3 6 0 6 4 5 0 5 
2400.08/2364.61	v 	</values>
2400.08/2364.61	v </instantiation>

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 (14161 MiB free)
  memory of node 1: 16384 MiB (14264 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291589-1532243195/watcher-4291589-1532243195 -o /tmp/evaluation-result-4291589-1532243195/solver-4291589-1532243195 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26746 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1109372468 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291589-1532243195.xml 

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

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

solver pid=28655, runsolver pid=28652

[startup+0.100124 s]*
/proc/loadavg: 1.69 1.71 1.58 4/215 28670
/proc/meminfo: memFree=29088772/32770624 swapFree=67108860/67108860
[pid=28655] ppid=28652 vsize=14082740 memory=34132 CPUtime=0.12 cores=1,3,5,7
/proc/28655/stat : 28655 (java) S 28652 28655 26714 0 -1 1077944320 6970 0 0 0 11 1 0 0 20 0 15 0 41882718 14420725760 8533 33554432000 4194304 4196468 140724333681824 140724333664368 140122930126583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
/proc/28655/statm: 3520685 8533 3140 1 0 3482761 0
[pid=28655/tid=28657] ppid=28652 vsize=14082740 memory=-8485517772678533762 CPUtime=0.09 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (java) R 28652 28655 26714 0 -1 4202560 5030 0 0 0 8 1 0 0 20 0 15 0 41882719 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122934358144 140122914207070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28658] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28658/stat : 28658 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122845194512 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28659] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28659/stat : 28659 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122844141968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28660] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28660/stat : 28660 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122843089424 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28661] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28661/stat : 28661 (java) S 28652 28655 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122842036880 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28662] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28662/stat : 28662 (java) S 28652 28655 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41882721 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122404661744 140122930137730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28663] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28663/stat : 28663 (java) S 28652 28655 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41882721 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122403607968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28664] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28664/stat : 28664 (java) S 28652 28655 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41882721 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122402555376 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28665] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28665/stat : 28665 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122401503952 140122930145179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28666] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28666/stat : 28666 (java) S 28652 28655 26714 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122400450544 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28667] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28667/stat : 28667 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122399398000 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28668] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0.01 cores=1,3,5,7
/proc/28655/task/28668/stat : 28668 (java) R 28652 28655 26714 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 41882724 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122398345456 140122908844509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28669] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28669/stat : 28669 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122397293152 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28670] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28670/stat : 28670 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 8533 33554432000 4194304 4196468 140724333681824 140122396240688 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34132 KiB

[startup+0.213217 s]*
/proc/loadavg: 1.69 1.71 1.58 6/215 28670
/proc/meminfo: memFree=29073248/32770624 swapFree=67108860/67108860
[pid=28655] ppid=28652 vsize=14082740 memory=47804 CPUtime=0.32 cores=1,3,5,7
/proc/28655/stat : 28655 (java) S 28652 28655 26714 0 -1 1077944320 10041 0 0 0 30 2 0 0 20 0 15 0 41882718 14420725760 11951 33554432000 4194304 4196468 140724333681824 140724333664368 140122930126583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
/proc/28655/statm: 3520685 11951 3364 1 0 3482761 0
[pid=28655/tid=28657] ppid=28652 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (java) R 28652 28655 26714 0 -1 4202560 7751 0 0 0 19 1 0 0 20 0 15 0 41882719 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122934349536 140122914170213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28658] ppid=28652 vsize=14082740 memory=345 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28658/stat : 28658 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122845194512 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28659] ppid=28652 vsize=14082740 memory=288370516823447168 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28659/stat : 28659 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122844141968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28660] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28660/stat : 28660 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122843089424 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28661] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28661/stat : 28661 (java) S 28652 28655 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122842036880 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28662] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28662/stat : 28662 (java) S 28652 28655 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41882721 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122404661744 140122930137730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28663] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28663/stat : 28663 (java) S 28652 28655 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41882721 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122403607968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28664] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28664/stat : 28664 (java) S 28652 28655 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41882721 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122402555376 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28665] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28665/stat : 28665 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122401503952 140122930145179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28666] ppid=28652 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28655/task/28666/stat : 28666 (java) R 28652 28655 26714 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 41882724 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122400437392 140122930136789 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28667] ppid=28652 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28655/task/28667/stat : 28667 (java) S 28652 28655 26714 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 15 0 41882724 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122399398000 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28668] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0.06 cores=1,3,5,7
/proc/28655/task/28668/stat : 28668 (java) R 28652 28655 26714 0 -1 1077944384 286 0 0 0 6 0 0 0 20 0 15 0 41882724 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122398345456 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28669] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28669/stat : 28669 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122397293152 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28670] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28670/stat : 28670 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 11951 33554432000 4194304 4196468 140724333681824 140122396240688 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47804 KiB

[startup+0.310635 s]*
/proc/loadavg: 1.69 1.71 1.58 3/215 28670
/proc/meminfo: memFree=29069836/32770624 swapFree=67108860/67108860
[pid=28655] ppid=28652 vsize=14082740 memory=50988 CPUtime=0.43 cores=1,3,5,7
/proc/28655/stat : 28655 (java) S 28652 28655 26714 0 -1 1077944320 10372 0 0 0 41 2 0 0 20 0 15 0 41882718 14420725760 12747 33554432000 4194304 4196468 140724333681824 140724333664368 140122930126583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
/proc/28655/statm: 3520685 12747 3366 1 0 3482761 0
[pid=28655/tid=28657] ppid=28652 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (java) R 28652 28655 26714 0 -1 4202560 8077 0 0 0 28 2 0 0 20 0 15 0 41882719 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122934338448 140122914207070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28658] ppid=28652 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28658/stat : 28658 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122845194512 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28659] ppid=28652 vsize=14082740 memory=288370516823447168 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28659/stat : 28659 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122844141968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28660] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28660/stat : 28660 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122843089424 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28661] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28661/stat : 28661 (java) S 28652 28655 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41882719 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122842036880 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28662] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28662/stat : 28662 (java) S 28652 28655 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41882721 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122404661744 140122930137730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28663] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28663/stat : 28663 (java) S 28652 28655 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41882721 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122403607968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28664] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28664/stat : 28664 (java) S 28652 28655 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41882721 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122402555376 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28665] ppid=28652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28665/stat : 28665 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122401503952 140122930145179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28666] ppid=28652 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28655/task/28666/stat : 28666 (java) S 28652 28655 26714 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 41882724 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122400450544 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28667] ppid=28652 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28655/task/28667/stat : 28667 (java) S 28652 28655 26714 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 41882724 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122399398000 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28668] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0.08 cores=1,3,5,7
/proc/28655/task/28668/stat : 28668 (java) S 28652 28655 26714 0 -1 1077944384 291 0 0 0 8 0 0 0 20 0 15 0 41882724 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122398345456 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28669] ppid=28652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28669/stat : 28669 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122397293152 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28670] ppid=28652 vsize=14082740 memory=140140671735424 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28670/stat : 28670 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882724 14420725760 12747 33554432000 4194304 4196468 140724333681824 140122396240688 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50988 KiB

[startup+0.700745 s]
/proc/loadavg: 1.69 1.71 1.58 4/215 28670
/proc/meminfo: memFree=29045900/32770624 swapFree=67108860/67108860
[pid=28655] ppid=28652 vsize=14084808 memory=88828 CPUtime=0.99 cores=1,3,5,7
/proc/28655/stat : 28655 (java) S 28652 28655 26714 0 -1 1077944320 17119 0 0 0 95 4 0 0 20 0 15 0 41882718 14422843392 22207 33554432000 4194304 4196468 140724333681824 140724333664368 140122930126583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
/proc/28655/statm: 3521202 22207 3499 1 0 3483273 0
[pid=28655/tid=28657] ppid=28652 vsize=14084808 memory=1724 CPUtime=0.68 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (java) R 28652 28655 26714 0 -1 4202560 14424 0 0 0 64 4 0 0 20 0 15 0 41882719 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122934352272 140122930148509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28658] ppid=28652 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28658/stat : 28658 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122845194512 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28659] ppid=28652 vsize=14084808 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28659/stat : 28659 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122844141968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28660] ppid=28652 vsize=14084808 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28660/stat : 28660 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122843089424 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28661] ppid=28652 vsize=14084808 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28661/stat : 28661 (java) S 28652 28655 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41882719 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122842036880 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28662] ppid=28652 vsize=14084808 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28662/stat : 28662 (java) S 28652 28655 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41882721 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122404661744 140122930137730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28663] ppid=28652 vsize=14084808 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28663/stat : 28663 (java) S 28652 28655 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41882721 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122403607968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28664] ppid=28652 vsize=14084808 memory=8356 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28664/stat : 28664 (java) S 28652 28655 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41882721 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122402555376 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28665] ppid=28652 vsize=14084808 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28665/stat : 28665 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122401503952 140122930145179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28666] ppid=28652 vsize=14084808 memory=7092418796125250880 CPUtime=0.07 cores=1,3,5,7
/proc/28655/task/28666/stat : 28666 (java) S 28652 28655 26714 0 -1 1077944384 561 0 0 0 7 0 0 0 20 0 15 0 41882724 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122400450544 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28667] ppid=28652 vsize=14084808 memory=7597685182856913236 CPUtime=0.07 cores=1,3,5,7
/proc/28655/task/28667/stat : 28667 (java) S 28652 28655 26714 0 -1 1077944384 386 0 0 0 7 0 0 0 20 0 15 0 41882724 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122399398000 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28668] ppid=28652 vsize=14084808 memory=7301858164987948385 CPUtime=0.15 cores=1,3,5,7
/proc/28655/task/28668/stat : 28668 (java) S 28652 28655 26714 0 -1 1077944384 366 0 0 0 15 0 0 0 20 0 15 0 41882724 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122398345456 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28669] ppid=28652 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28669/stat : 28669 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122397293152 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28670] ppid=28652 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28670/stat : 28670 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882724 14422843392 22207 33554432000 4194304 4196468 140724333681824 140122396240688 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88828 KiB

[startup+1.5008 s]
/proc/loadavg: 1.69 1.71 1.58 5/215 28670
/proc/meminfo: memFree=28989344/32770624 swapFree=67108860/67108860
[pid=28655] ppid=28652 vsize=14086856 memory=188148 CPUtime=3.33 cores=1,3,5,7
/proc/28655/stat : 28655 (java) S 28652 28655 26714 0 -1 1077944320 23293 0 0 0 326 7 0 0 20 0 15 0 41882718 14424940544 47037 33554432000 4194304 4196468 140724333681824 140724333664368 140122930126583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
/proc/28655/statm: 3521714 47037 3549 1 0 3483785 0
[pid=28655/tid=28657] ppid=28652 vsize=14086856 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (java) R 28652 28655 26714 0 -1 4202560 16888 0 0 0 142 6 0 0 20 0 15 0 41882719 14424940544 47037 33554432000 4194304 4196468 140724333681824 140122934362048 140122525387972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28658] ppid=28652 vsize=14086856 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28658/stat : 28658 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14424940544 47037 33554432000 4194304 4196468 140724333681824 140122845194512 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28659] ppid=28652 vsize=14086856 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28659/stat : 28659 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14424940544 47037 33554432000 4194304 4196468 140724333681824 140122844141968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28660] ppid=28652 vsize=14086856 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28660/stat : 28660 (java) S 28652 28655 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41882719 14424940544 47037 33554432000 4194304 4196468 140724333681824 140122843089424 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28661] ppid=28652 vsize=14086856 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28661/stat : 28661 (java) S 28652 28655 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41882719 14424940544 47037 33554432000 4194304 4196468 140724333681824 140122842036880 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28662] ppid=28652 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28662/stat : 28662 (java) S 28652 28655 26714 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 41882721 14424940544 47037 33554432000 4194304 4196468 140724333681824 140122404661744 140122930137730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0

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

/proc/28655/task/28657/stat : 28657 (java) R 28652 28655 26714 0 -1 4202560 271551 0 0 0 219229 49 0 0 20 0 15 0 41882719 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122934364288 140122526218133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28658] ppid=28652 vsize=14093000 memory=4966984 CPUtime=8.51 cores=1,3,5,7
/proc/28655/task/28658/stat : 28658 (java) S 28652 28655 26714 0 -1 1077944384 51930 0 0 0 753 98 0 0 20 0 15 0 41882719 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122845194512 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28659] ppid=28652 vsize=14093000 memory=4968008 CPUtime=8.49 cores=1,3,5,7
/proc/28655/task/28659/stat : 28659 (java) S 28652 28655 26714 0 -1 1077944384 53574 0 0 0 750 99 0 0 20 0 15 0 41882719 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122844141968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28660] ppid=28652 vsize=14093000 memory=4967492 CPUtime=8.52 cores=1,3,5,7
/proc/28655/task/28660/stat : 28660 (java) S 28652 28655 26714 0 -1 1077944384 54270 0 0 0 757 95 0 0 20 0 15 0 41882719 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122843089424 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28661] ppid=28652 vsize=14093000 memory=4968512 CPUtime=8.5 cores=1,3,5,7
/proc/28655/task/28661/stat : 28661 (java) S 28652 28655 26714 0 -1 1077944384 53347 0 0 0 751 99 0 0 20 0 15 0 41882719 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122842036880 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28662] ppid=28652 vsize=14093000 memory=7295938381028020304 CPUtime=0.56 cores=1,3,5,7
/proc/28655/task/28662/stat : 28662 (java) S 28652 28655 26714 0 -1 1077944384 16901 0 0 0 50 6 0 0 20 0 15 0 41882721 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122404661744 140122930137730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28663] ppid=28652 vsize=14093000 memory=4968512 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28663/stat : 28663 (java) S 28652 28655 26714 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 41882721 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122403608032 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28664] ppid=28652 vsize=14093000 memory=4965948 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28664/stat : 28664 (java) S 28652 28655 26714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 41882721 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122402555392 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28665] ppid=28652 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28665/stat : 28665 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122401503952 140122930145179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28666] ppid=28652 vsize=14093000 memory=0 CPUtime=3.26 cores=1,3,5,7
/proc/28655/task/28666/stat : 28666 (java) S 28652 28655 26714 0 -1 1077944384 23105 0 0 0 324 2 0 0 20 0 15 0 41882724 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122400450544 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28667] ppid=28652 vsize=14093000 memory=4140 CPUtime=2.93 cores=1,3,5,7
/proc/28655/task/28667/stat : 28667 (java) S 28652 28655 26714 0 -1 1077944384 18659 0 0 0 291 2 0 0 20 0 15 0 41882724 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122399398000 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28668] ppid=28652 vsize=14093000 memory=14472 CPUtime=1.33 cores=1,3,5,7
/proc/28655/task/28668/stat : 28668 (java) S 28652 28655 26714 0 -1 1077944384 32452 0 0 0 130 3 0 0 20 0 15 0 41882724 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122398345456 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28669] ppid=28652 vsize=14093000 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28669/stat : 28669 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122397293152 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28670] ppid=28652 vsize=14093000 memory=8356 CPUtime=1.16 cores=1,3,5,7
/proc/28655/task/28670/stat : 28670 (java) S 28652 28655 26714 0 -1 1077944384 1734 0 0 0 54 62 0 0 20 0 15 0 41882724 14431232000 1241487 33554432000 4194304 4196468 140724333681824 140122396240688 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
Current children cumulated CPU time: 2236.14 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4965948 KiB

[startup+2262.3 s]
/proc/loadavg: 1.79 1.58 1.61 3/216 28823
/proc/meminfo: memFree=23298116/32770624 swapFree=67108860/67108860
[pid=28655] ppid=28652 vsize=14093000 memory=4964892 CPUtime=2296.74 cores=1,3,5,7
/proc/28655/stat : 28655 (java) S 28652 28655 26714 0 -1 1077944320 590105 0 0 0 229166 508 0 0 20 0 15 0 41882718 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140724333664368 140122930126583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
/proc/28655/statm: 3523250 1241223 3623 1 0 3485321 0
[pid=28655/tid=28657] ppid=28652 vsize=14093000 memory=4964892 CPUtime=2252.57 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (java) R 28652 28655 26714 0 -1 4202560 275472 0 0 0 225208 49 0 0 20 0 15 0 41882719 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122934364336 140122532237573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28658] ppid=28652 vsize=14093000 memory=4964892 CPUtime=8.69 cores=1,3,5,7
/proc/28655/task/28658/stat : 28658 (java) S 28652 28655 26714 0 -1 1077944384 53296 0 0 0 771 98 0 0 20 0 15 0 41882719 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122845194512 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28659] ppid=28652 vsize=14093000 memory=4965920 CPUtime=8.69 cores=1,3,5,7
/proc/28655/task/28659/stat : 28659 (java) S 28652 28655 26714 0 -1 1077944384 54553 0 0 0 769 100 0 0 20 0 15 0 41882719 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122844141968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28660] ppid=28652 vsize=14093000 memory=4965920 CPUtime=8.71 cores=1,3,5,7
/proc/28655/task/28660/stat : 28660 (java) S 28652 28655 26714 0 -1 1077944384 56213 0 0 0 776 95 0 0 20 0 15 0 41882719 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122843089424 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28661] ppid=28652 vsize=14093000 memory=4964892 CPUtime=8.69 cores=1,3,5,7
/proc/28655/task/28661/stat : 28661 (java) S 28652 28655 26714 0 -1 1077944384 55053 0 0 0 769 100 0 0 20 0 15 0 41882719 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122842036880 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28662] ppid=28652 vsize=14093000 memory=4964892 CPUtime=0.58 cores=1,3,5,7
/proc/28655/task/28662/stat : 28662 (java) S 28652 28655 26714 0 -1 1077944384 17198 0 0 0 51 7 0 0 20 0 15 0 41882721 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122404661744 140122930137730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28663] ppid=28652 vsize=14093000 memory=4964892 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28663/stat : 28663 (java) S 28652 28655 26714 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 41882721 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122403608032 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28664] ppid=28652 vsize=14093000 memory=4964892 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28664/stat : 28664 (java) S 28652 28655 26714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 41882721 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122402555392 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28665] ppid=28652 vsize=14093000 memory=14472 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28665/stat : 28665 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122401503952 140122930145179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28666] ppid=28652 vsize=14093000 memory=1296 CPUtime=3.27 cores=1,3,5,7
/proc/28655/task/28666/stat : 28666 (java) S 28652 28655 26714 0 -1 1077944384 23111 0 0 0 325 2 0 0 20 0 15 0 41882724 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122400450544 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28667] ppid=28652 vsize=14093000 memory=4964892 CPUtime=2.95 cores=1,3,5,7
/proc/28655/task/28667/stat : 28667 (java) S 28652 28655 26714 0 -1 1077944384 19525 0 0 0 292 3 0 0 20 0 15 0 41882724 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122399398000 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28668] ppid=28652 vsize=14093000 memory=4964892 CPUtime=1.33 cores=1,3,5,7
/proc/28655/task/28668/stat : 28668 (java) S 28652 28655 26714 0 -1 1077944384 32460 0 0 0 130 3 0 0 20 0 15 0 41882724 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122398345456 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28669] ppid=28652 vsize=14093000 memory=4964892 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28669/stat : 28669 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122397293152 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28670] ppid=28652 vsize=14093000 memory=568 CPUtime=1.19 cores=1,3,5,7
/proc/28655/task/28670/stat : 28670 (java) S 28652 28655 26714 0 -1 1077944384 1774 0 0 0 55 64 0 0 20 0 15 0 41882724 14431232000 1241223 33554432000 4194304 4196468 140724333681824 140122396240688 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
Current children cumulated CPU time: 2296.74 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4964892 KiB

[startup+2322.3 s]
/proc/loadavg: 1.42 1.52 1.59 3/215 28824
/proc/meminfo: memFree=23294848/32770624 swapFree=67108860/67108860
[pid=28655] ppid=28652 vsize=14093000 memory=4961276 CPUtime=2357.35 cores=1,3,5,7
/proc/28655/stat : 28655 (java) S 28652 28655 26714 0 -1 1077944320 603275 0 0 0 235221 514 0 0 20 0 15 0 41882718 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140724333664368 140122930126583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
/proc/28655/statm: 3523250 1240319 3623 1 0 3485321 0
[pid=28655/tid=28657] ppid=28652 vsize=14093000 memory=4962300 CPUtime=2312.36 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (java) R 28652 28655 26714 0 -1 4202560 278535 0 0 0 231186 50 0 0 20 0 15 0 41882719 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122934364288 140122523952086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28658] ppid=28652 vsize=14093000 memory=4960252 CPUtime=8.89 cores=1,3,5,7
/proc/28655/task/28658/stat : 28658 (java) S 28652 28655 26714 0 -1 1077944384 55742 0 0 0 790 99 0 0 20 0 15 0 41882719 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122845194512 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28659] ppid=28652 vsize=14093000 memory=4961276 CPUtime=8.87 cores=1,3,5,7
/proc/28655/task/28659/stat : 28659 (java) S 28652 28655 26714 0 -1 1077944384 56421 0 0 0 787 100 0 0 20 0 15 0 41882719 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122844141968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28660] ppid=28652 vsize=14093000 memory=4961276 CPUtime=8.91 cores=1,3,5,7
/proc/28655/task/28660/stat : 28660 (java) S 28652 28655 26714 0 -1 1077944384 59207 0 0 0 795 96 0 0 20 0 15 0 41882719 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122843089424 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28661] ppid=28652 vsize=14093000 memory=4962300 CPUtime=8.88 cores=1,3,5,7
/proc/28655/task/28661/stat : 28661 (java) S 28652 28655 26714 0 -1 1077944384 56874 0 0 0 788 100 0 0 20 0 15 0 41882719 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122842036880 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28662] ppid=28652 vsize=14093000 memory=4140 CPUtime=0.59 cores=1,3,5,7
/proc/28655/task/28662/stat : 28662 (java) S 28652 28655 26714 0 -1 1077944384 17625 0 0 0 52 7 0 0 20 0 15 0 41882721 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122404661744 140122930137730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28663] ppid=28652 vsize=14093000 memory=4962300 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28663/stat : 28663 (java) S 28652 28655 26714 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 41882721 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122403608032 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28664] ppid=28652 vsize=14093000 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28664/stat : 28664 (java) S 28652 28655 26714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 41882721 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122402555392 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28665] ppid=28652 vsize=14093000 memory=4960252 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28665/stat : 28665 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122401503952 140122930145179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28666] ppid=28652 vsize=14093000 memory=4140 CPUtime=3.27 cores=1,3,5,7
/proc/28655/task/28666/stat : 28666 (java) S 28652 28655 26714 0 -1 1077944384 23115 0 0 0 325 2 0 0 20 0 15 0 41882724 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122400450544 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28667] ppid=28652 vsize=14093000 memory=4962300 CPUtime=2.95 cores=1,3,5,7
/proc/28655/task/28667/stat : 28667 (java) S 28652 28655 26714 0 -1 1077944384 19527 0 0 0 292 3 0 0 20 0 15 0 41882724 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122399398000 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28668] ppid=28652 vsize=14093000 memory=4962300 CPUtime=1.33 cores=1,3,5,7
/proc/28655/task/28668/stat : 28668 (java) S 28652 28655 26714 0 -1 1077944384 32942 0 0 0 130 3 0 0 20 0 15 0 41882724 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122398345456 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28669] ppid=28652 vsize=14093000 memory=4961276 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28669/stat : 28669 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122397293152 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28670] ppid=28652 vsize=14093000 memory=1724 CPUtime=1.22 cores=1,3,5,7
/proc/28655/task/28670/stat : 28670 (java) S 28652 28655 26714 0 -1 1077944384 1837 0 0 0 57 65 0 0 20 0 15 0 41882724 14431232000 1240319 33554432000 4194304 4196468 140724333681824 140122396240688 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
Current children cumulated CPU time: 2357.35 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4961276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2364.6 s]
/proc/loadavg: 1.41 1.50 1.58 3/215 28825
/proc/meminfo: memFree=23293980/32770624 swapFree=67108860/67108860
[pid=28655] ppid=28652 vsize=14093000 memory=4958180 CPUtime=2400.08 cores=1,3,5,7
/proc/28655/stat : 28655 (java) S 28652 28655 26714 0 -1 1077944320 612050 0 0 0 239492 516 0 0 20 0 15 0 41882718 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140724333664368 140122930126583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
/proc/28655/statm: 3523250 1239545 3623 1 0 3485321 0
[pid=28655/tid=28657] ppid=28652 vsize=14093000 memory=288230574492221466 CPUtime=2354.5 cores=1,3,5,7
/proc/28655/task/28657/stat : 28657 (java) R 28652 28655 26714 0 -1 4202560 280909 0 0 0 235400 50 0 0 20 0 15 0 41882719 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122934364288 140122525936188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28658] ppid=28652 vsize=14093000 memory=288230621803970871 CPUtime=9.02 cores=1,3,5,7
/proc/28655/task/28658/stat : 28658 (java) S 28652 28655 26714 0 -1 1077944384 56995 0 0 0 803 99 0 0 20 0 15 0 41882719 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122845194512 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28659] ppid=28652 vsize=14093000 memory=15544002879425055 CPUtime=9.01 cores=1,3,5,7
/proc/28655/task/28659/stat : 28659 (java) S 28652 28655 26714 0 -1 1077944384 58362 0 0 0 800 101 0 0 20 0 15 0 41882719 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122844141968 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28660] ppid=28652 vsize=14093000 memory=3056 CPUtime=9.05 cores=1,3,5,7
/proc/28655/task/28660/stat : 28660 (java) S 28652 28655 26714 0 -1 1077944384 60507 0 0 0 808 97 0 0 20 0 15 0 41882719 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122843089424 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28661] ppid=28652 vsize=14093000 memory=1072676 CPUtime=9.03 cores=1,3,5,7
/proc/28655/task/28661/stat : 28661 (java) S 28652 28655 26714 0 -1 1077944384 57755 0 0 0 802 101 0 0 20 0 15 0 41882719 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122842036880 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28662] ppid=28652 vsize=14093000 memory=6791534058613427641 CPUtime=0.6 cores=1,3,5,7
/proc/28655/task/28662/stat : 28662 (java) S 28652 28655 26714 0 -1 1077944384 17877 0 0 0 53 7 0 0 20 0 15 0 41882721 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122404661744 140122930137730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28663] ppid=28652 vsize=14093000 memory=3296 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28663/stat : 28663 (java) S 28652 28655 26714 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 41882721 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122403608032 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28664] ppid=28652 vsize=14093000 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28664/stat : 28664 (java) S 28652 28655 26714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 41882721 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122402555392 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28665] ppid=28652 vsize=14093000 memory=3208 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28665/stat : 28665 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122401503952 140122930145179 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28666] ppid=28652 vsize=14093000 memory=4959216 CPUtime=3.27 cores=1,3,5,7
/proc/28655/task/28666/stat : 28666 (java) S 28652 28655 26714 0 -1 1077944384 23118 0 0 0 325 2 0 0 20 0 15 0 41882724 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122400450544 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28667] ppid=28652 vsize=14093000 memory=4100 CPUtime=2.95 cores=1,3,5,7
/proc/28655/task/28667/stat : 28667 (java) S 28652 28655 26714 0 -1 1077944384 19529 0 0 0 292 3 0 0 20 0 15 0 41882724 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122399398000 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28668] ppid=28652 vsize=14093000 memory=1956 CPUtime=1.33 cores=1,3,5,7
/proc/28655/task/28668/stat : 28668 (java) S 28652 28655 26714 0 -1 1077944384 33677 0 0 0 130 3 0 0 20 0 15 0 41882724 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122398345456 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28669] ppid=28652 vsize=14093000 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/28655/task/28669/stat : 28669 (java) S 28652 28655 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41882724 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122397293152 140122930136789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
[pid=28655/tid=28670] ppid=28652 vsize=14093000 memory=8356 CPUtime=1.25 cores=1,3,5,7
/proc/28655/task/28670/stat : 28670 (java) S 28652 28655 26714 0 -1 1077944384 1871 0 0 0 58 67 0 0 20 0 15 0 41882724 14431232000 1239545 33554432000 4194304 4196468 140724333681824 140122396240688 140122930137730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 36667392 140724333687892 140724333688073 140724333688073 140724333690831 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4958180 KiB

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

[startup+2364.65 s]
# the end of solver process 28655 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.95 s, system=5.19335 s

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

Child status: 143
Real time (s): 2364.65
CPU time (s): 2400.15
CPU user time (s): 2394.95
CPU system time (s): 5.19335
CPU usage (%): 101.501
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 5188764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.95
system time used= 5.19335
maximum resident set size= 5188784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 613410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60980
involuntary context switches= 1341


# summary of solver processes directly reported to runsolver:
#   pid: 28655
#   total CPU time (s): 2400.15
#   total CPU user time (s): 2394.95
#   total CPU system time (s): 5.19335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1949 second user time and 22.6881 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-sko81_c18.xml
MD5SUM	7967f0a5d6026ea184db99fec624e08d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	49154
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	6642
Number of constraints	3241
Number of domains	2
Minimum domain size	8
Maximum domain size	81
Distribution of domain sizes	[{"size":8,"count":3240},{"size":81,"count":81}]
Minimum variable degree	0
Maximum variable degree	81
Distribution of variable degrees	[{"degree":0,"count":3321},{"degree":2,"count":3240},{"degree":81,"count":81}]
Minimum constraint arity	3
Maximum constraint arity	81
Distribution of constraint arities	[{"arity":3,"count":3240},{"arity":81,"count":1}]
Number of extensional constraints	3240
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":3240},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4291589

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