2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	49154	2520.11	2473.85

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 755431958
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.57	c Parsing instance...
23.93/11.80	c Parsing done, starting first complete search...
25.93/13.10	o 53931
26.08/13.11	o 53863
26.08/13.12	o 53817
26.08/13.13	o 53761
26.08/13.17	o 53740
33.20/15.08	o 53650
33.20/15.08	o 53640
33.20/15.09	o 53625
33.37/15.11	o 53623
33.37/15.18	o 53611
33.66/15.21	o 53603
33.97/15.38	o 53578
33.97/15.39	o 53418
34.27/15.40	o 53414
34.27/15.44	o 53378
34.27/15.44	o 53342
35.33/16.20	o 53327
35.33/16.24	o 53323
35.33/16.24	o 53319
35.33/16.27	o 53301
37.63/18.40	o 53286
37.83/18.56	o 53284
39.14/19.89	o 53272
39.24/19.90	o 53266
40.85/21.59	o 53244
40.96/21.68	o 53238
40.96/21.68	o 53225
41.06/21.72	o 53221
41.06/21.75	o 53191
41.16/21.89	o 53181
42.06/22.74	o 53173
51.70/29.27	o 53169
51.80/29.31	o 53158
51.80/29.35	o 53148
51.80/29.37	o 53144
53.73/31.24	o 53137
54.03/31.56	o 53125
54.23/31.76	o 53123
54.23/31.76	o 53119
55.05/32.58	o 53116
55.05/32.59	o 53112
55.15/32.63	o 53110
55.15/32.65	o 53106
87.40/64.81	c First complete search done, starting ALNS search...
88.50/65.83	o 52997
88.50/65.84	o 52983
88.50/65.84	o 52835
88.50/65.84	o 52679
90.65/67.95	o 52548
90.65/67.95	o 52526
90.65/67.96	o 52466
90.65/67.96	o 52410
91.90/69.07	o 52378
99.14/75.89	o 52328
99.14/75.90	o 52298
99.24/75.90	o 52268
99.24/75.95	o 52249
99.24/75.95	o 52212
99.24/75.98	o 52204
139.46/115.44	o 52165
140.96/117.00	o 52139
173.88/149.01	o 52136
173.88/149.02	o 52058
173.88/149.02	o 52035
173.88/149.02	o 52020
173.88/149.04	o 51987
173.88/149.04	o 51985
173.88/149.05	o 51850
173.88/149.05	o 51832
275.95/249.10	o 51808
275.95/249.10	o 51782
277.64/250.75	o 51768
322.18/294.49	o 51761
339.11/311.14	o 51743
340.20/312.26	o 51705
344.51/316.47	o 51703
344.51/316.48	o 51683
347.73/319.62	o 51644
348.63/320.54	o 51608
349.14/321.08	o 51584
354.45/326.39	o 51550
354.45/326.39	o 51457
354.66/326.50	o 51439
354.76/326.68	o 51415
355.96/327.84	o 51407
356.06/327.97	o 51375
356.56/328.37	o 51374
358.06/329.82	o 51335
380.09/351.70	o 51331
380.89/352.42	o 51325
381.09/352.62	o 51304
381.50/353.08	o 51300
381.60/353.15	o 51257
382.29/353.80	o 51250
418.55/389.64	o 51247
418.75/389.82	o 51228
418.75/389.84	o 51170
418.75/389.87	o 51156
418.96/390.02	o 51144
418.96/390.06	o 51086
424.26/395.39	o 51076
437.09/408.07	o 51056
439.67/410.59	o 51031
439.97/410.81	o 51021
442.87/413.79	o 51009
444.22/415.07	o 51006
444.71/415.57	o 50987
445.01/415.82	o 50982
445.51/416.38	o 50918
445.61/416.43	o 50910
445.61/416.44	o 50882
446.33/417.15	o 50856
463.52/434.12	o 50816
464.21/434.89	o 50787
464.31/434.99	o 50766
511.77/481.98	o 50750
511.77/481.98	o 50743
511.77/481.99	o 50681
511.88/482.02	o 50570
522.08/492.15	o 50505
526.68/496.75	o 50475
527.88/497.99	o 50449
527.88/497.99	o 50433
527.99/498.01	o 50423
527.99/498.02	o 50419
530.79/500.85	o 50366
530.79/500.86	o 50331
531.10/501.19	o 50323
531.10/501.19	o 50288
533.79/503.82	o 50216
533.79/503.85	o 50185
533.79/503.87	o 50149
545.22/515.18	o 50023
567.93/537.61	o 50022
567.93/537.66	o 50021
568.03/537.72	o 50003
568.03/537.75	o 50000
568.03/537.76	o 49983
568.23/537.97	o 49939
568.23/537.97	o 49915
569.53/539.25	o 49895
569.53/539.25	o 49871
589.01/558.50	o 49859
625.56/595.00	o 49797
660.59/629.81	o 49783
660.69/629.99	o 49738
754.23/723.21	o 49734
903.37/871.77	o 49664
903.92/872.27	o 49648
927.11/895.39	o 49629
927.21/895.42	o 49619
927.21/895.48	o 49601
927.32/895.60	o 49581
986.38/954.13	o 49573
1044.38/1011.70	o 49481
1087.37/1054.40	o 49444
1087.67/1054.78	o 49426
1089.67/1056.77	o 49425
1095.84/1062.81	o 49416
1096.05/1063.01	o 49397
1151.95/1118.72	o 49365
1163.20/1129.98	o 49349
1239.64/1206.01	o 49345
1255.88/1222.24	o 49343
1255.88/1222.24	o 49304
1533.18/1498.21	o 49278
1541.33/1506.36	o 49260
2038.05/1998.56	o 49255
2038.85/1999.39	o 49225
2039.05/1999.54	o 49221
2039.25/1999.74	o 49213
2048.27/2008.68	o 49205
2251.72/2209.50	o 49188
2363.35/2319.50	o 49162
2363.45/2319.60	o 49154
2520.04/2473.80	s SATISFIABLE
2520.04/2473.81	v <instantiation>
2520.04/2473.81	v 	<list>
2520.04/2473.81	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]
2520.04/2473.81	v 	</list>
2520.04/2473.81	v 	<values>
2520.04/2473.81	v 		73 65 1 70 5 46 16 68 49 7 25 10 35 8 4 32 15 0 2 43 64 48 21 6 22 20 24 80 27 28 29 69 31 47 14 60 18 39 19 38 37 40 41 42 76 9 45 13 3 74 51 72 12 52 55 53 11 30 57 36 17 23 33 26 63 54 58 61 44 34 62 67 59 79 50 78 71 77 56 75 66 10 0 2 1 1 2 2 1 5 5 0 1 0 2 2 0 2 6 5 2 2 0 0 5 2 5 2 0 2 4 0 10 0 5 3 10 0 5 5 0 2 0 0 3 0 1 5 0 2 0 0 0 0 5 0 10 2 0 0 0 1 2 6 1 2 0 5 10 0 1 0 0 5 5 5 1 5 2 0 0 5 0 1 0 10 2 2 0 2 4 4 4 1 5 0 0 10 5 2 2 5 2 4 2 1 4 0 0 2 5 2 5 2 2 2 5 1 0 0 5 0 0 0 2 4 0 1 0 0 0 0 0 10 4 5 0 0 2 1 0 0 2 1 5 6 0 5 0 6 5 0 0 2 0 5 0 5 0 1 5 0 4 0 5 0 0 10 5 5 5 10 10 4 0 5 10 0 0 0 5 0 0 5 0 5 0 5 5 2 0 10 1 1 3 5 0 1 0 0 0 2 0 10 5 1 2 0 3 2 5 0 3 5 2 0 2 5 0 0 5 5 5 5 0 5 5 0 5 0 5 0 5 2 0 0 0 5 2 1 5 0 0 0 1 10 5 2 10 2 0 6 0 0 2 0 5 3 2 5 2 0 2 5 0 6 1 0 2 0 0 10 0 0 0 0 2 1 4 10 0 0 5 10 0 3 5 6 2 1 6 2 5 2 2 2 0 2 2 10 5 0 1 0 1 3 2 5 1 5 5 1 1 2 0 1 10 2 5 0 2 5 10 5 10 0 5 0 5 5 2 3 1 5 2 10 0 10 10 5 0 5 0 6 1 3 0 2 0 5 1 10 0 0 1 2 0 5 10 0 5 5 0 2 5 0 2 5 5 2 5 1 2 1 2 2 2 0 3 5 2 0 5 0 2 2 0 6 0 0 5 1 3 0 0 2 0 6 2 2 0 5 0 5 0 0 0 1 10 3 5 1 0 1 1 5 1 0 1 1 0 2 6 2 2 5 0 1 0 10 10 0 0 0 10 3 1 2 0 0 2 2 2 2 2 1 10 0 0 0 1 5 0 1 0 5 0 5 0 1 0 0 2 2 2 0 10 10 2 2 4 3 6 5 5 0 10 0 4 3 3 0 2 2 4 5 6 2 4 0 5 3 10 10 1 5 1 0 1 5 0 10 0 1 2 5 2 0 0 5 0 3 2 3 0 0 0 0 4 0 2 0 2 1 2 2 5 10 2 0 5 10 1 0 0 1 0 5 5 0 0 0 0 5 2 0 2 1 2 0 5 0 5 4 0 6 10 10 2 0 0 0 10 0 0 0 4 5 1 2 0 0 0 0 0 2 10 0 1 10 6 1 2 5 3 0 5 0 4 0 5 5 0 5 5 2 0 1 0 4 5 2 6 2 0 0 10 0 0 2 1 2 5 0 2 1 1 10 5 6 1 10 2 1 2 2 0 4 1 5 5 5 0 3 5 0 0 10 2 2 4 0 4 0 0 5 2 1 4 0 0 0 1 4 2 0 1 1 2 5 0 0 5 1 5 3 0 1 3 0 0 4 5 0 2 6 1 0 5 2 0 2 0 0 2 1 2 1 10 2 0 5 10 0 6 2 0 0 0 2 2 2 2 2 1 0 5 10 0 2 2 3 0 2 1 2 0 1 2 0 5 5 4 0 5 2 4 0 0 0 2 1 0 2 5 2 2 1 1 2 0 0 0 2 0 2 2 5 0 5 0 10 2 0 1 0 4 5 5 3 2 2 0 6 2 5 1 5 0 0 4 10 10 0 0 0 5 6 2 0 0 5 0 10 5 0 2 5 0 2 0 0 2 5 2 0 5 0 0 2 10 5 5 1 0 5 1 10 1 5 1 5 0 1 1 2 0 1 1 10 5 0 2 5 0 1 6 10 5 6 2 6 2 10 10 2 0 1 2 2 0 1 2 3 1 5 6 1 1 2 5 2 2 5 2 0 4 1 2 5 10 2 5 0 6 1 3 0 1 1 1 0 5 0 1 4 5 0 5 10 5 1 0 0 0 0 0 5 5 0 2 1 5 0 0 0 2 1 10 10 1 0 1 5 2 2 0 10 2 0 10 4 5 3 0 10 6 0 4 0 0 0 2 5 2 0 0 1 0 5 0 0 1 5 2 2 0 5 0 6 2 5 2 5 0 1 0 10 5 4 3 5 0 5 0 0 1 0 0 2 2 6 5 5 0 0 2 2 2 3 10 0 5 2 2 5 0 0 0 1 2 2 10 0 5 5 1 0 0 3 1 0 0 0 0 2 10 0 0 0 1 0 1 0 1 0 10 0 1 1 0 5 10 3 2 5 5 1 1 0 2 0 0 0 1 5 10 1 2 5 0 5 10 6 0 0 1 0 0 0 1 0 5 1 0 1 4 4 5 0 1 0 0 0 2 1 5 5 10 4 0 1 3 0 1 2 3 5 2 0 0 2 5 10 0 4 5 2 1 2 5 2 10 5 1 2 0 0 5 2 10 5 2 1 2 0 0 1 5 2 10 5 1 1 2 5 5 0 2 0 5 0 4 10 5 0 5 2 2 0 10 10 3 3 0 0 2 0 5 1 0 10 10 0 1 2 10 1 0 5 5 0 5 4 1 0 1 2 0 2 2 0 5 0 5 5 0 5 0 2 5 10 3 10 1 5 0 2 1 1 0 0 1 0 0 5 0 0 5 5 0 0 10 0 3 0 1 1 1 0 10 3 0 1 0 2 2 3 5 5 0 1 1 5 5 3 5 0 5 2 4 0 2 2 2 3 2 1 0 10 0 2 1 10 2 5 5 1 2 5 10 5 0 4 5 0 4 0 5 10 4 2 2 2 2 5 2 1 1 5 10 4 0 1 1 0 10 0 10 2 5 2 2 1 0 5 0 1 2 2 2 1 2 5 10 10 5 0 0 2 1 5 1 1 2 2 3 0 0 3 5 1 2 2 10 5 1 2 2 1 5 5 5 1 5 5 5 1 1 1 6 0 1 1 0 1 1 5 5 0 2 6 1 10 0 0 5 0 0 0 0 1 5 0 1 0 2 0 0 0 0 2 2 4 3 4 2 0 0 0 5 10 0 0 0 10 0 1 0 2 1 0 2 0 3 0 5 0 5 3 5 10 0 0 5 5 1 2 0 0 6 0 2 1 2 4 10 4 10 5 0 5 3 0 2 2 5 2 5 1 0 5 2 2 5 0 3 10 4 2 0 0 0 2 4 4 0 2 5 0 10 5 0 2 0 4 5 3 10 0 1 2 5 0 2 1 0 6 2 2 0 3 2 1 0 5 0 1 5 1 2 0 10 0 3 5 2 0 3 0 2 2 0 1 4 5 2 5 1 0 5 10 4 5 5 2 2 2 0 2 6 6 2 5 2 5 5 5 1 10 5 2 0 10 10 2 2 10 1 2 0 1 6 3 0 1 2 3 5 0 5 2 1 0 5 5 5 1 5 0 2 2 3 10 1 0 1 1 0 0 0 5 5 5 1 0 10 0 0 1 0 3 4 2 0 5 0 4 10 6 10 3 0 0 0 5 10 0 5 1 1 6 0 0 0 4 3 0 2 1 0 5 10 5 2 10 5 2 0 0 0 0 5 5 5 5 0 0 0 10 0 1 10 0 0 2 2 2 2 1 5 0 0 10 5 10 1 5 0 0 2 0 5 5 1 5 1 1 5 2 0 10 0 2 10 5 0 5 3 0 10 5 5 0 4 5 0 0 0 5 0 2 5 2 0 0 5 2 0 0 0 5 2 0 10 0 10 2 5 5 0 5 10 0 5 0 2 1 5 2 2 0 0 0 0 0 3 0 0 10 0 2 0 4 0 2 0 5 5 5 0 0 10 5 1 2 5 0 2 2 10 2 4 0 0 3 5 3 0 10 5 0 5 0 1 0 5 1 5 5 0 2 2 1 0 4 0 10 5 1 4 5 0 5 1 0 0 5 4 0 0 2 4 0 3 2 2 0 0 5 0 5 1 2 2 5 1 6 5 5 0 4 5 0 5 0 1 5 2 4 3 0 0 1 5 5 5 0 2 0 4 3 0 0 0 1 0 2 3 1 5 6 1 0 0 5 1 0 0 10 5 0 4 0 0 4 0 0 1 2 10 6 0 5 10 2 3 0 0 2 2 5 5 4 0 0 0 5 3 10 2 1 0 1 4 2 0 2 2 5 6 0 0 2 1 0 1 2 0 1 0 5 0 0 5 5 5 0 0 5 0 0 10 5 0 1 0 3 5 4 0 2 5 2 1 5 5 0 2 10 10 2 2 2 0 2 0 6 0 3 5 5 2 4 0 0 0 0 5 0 3 0 3 3 2 0 1 3 2 4 10 5 1 6 0 10 5 0 2 2 0 0 6 1 0 0 5 0 1 1 0 10 0 0 5 2 2 0 1 0 1 5 4 5 5 0 5 10 10 2 10 0 3 2 2 5 0 1 5 2 6 5 3 2 2 0 0 5 0 0 10 2 2 1 5 10 5 1 0 0 1 5 2 2 3 0 5 0 0 1 3 1 5 5 6 0 0 2 2 1 0 0 0 2 2 5 2 0 10 0 1 1 2 0 4 2 0 10 5 1 6 2 4 10 5 3 5 10 2 0 2 0 4 0 4 0 0 0 0 1 5 5 2 5 1 2 10 2 0 3 0 5 5 10 5 2 2 5 0 2 2 5 10 0 2 0 10 5 2 0 1 5 3 2 5 0 2 2 5 2 3 10 5 5 10 0 0 0 5 0 5 10 1 10 2 0 0 0 5 0 0 2 4 10 0 1 0 4 2 0 0 1 3 5 2 1 0 0 2 2 2 5 0 1 0 0 5 5 0 1 4 0 3 10 0 2 2 0 5 0 0 0 2 2 5 5 5 2 2 1 0 0 0 0 2 3 0 10 10 0 5 10 1 1 10 0 4 5 5 0 0 0 5 0 5 4 6 1 0 4 5 1 0 0 2 5 5 5 0 5 5 0 3 1 5 0 1 0 0 0 0 0 0 5 2 0 2 0 5 5 5 1 5 3 5 0 0 0 2 0 5 5 10 3 5 0 4 4 2 1 2 5 2 0 0 2 1 2 0 2 0 2 0 1 5 2 5 0 1 0 1 5 2 0 5 5 0 5 1 10 5 10 2 5 1 5 0 5 1 2 4 5 1 0 10 0 0 5 4 0 5 1 5 1 3 0 10 5 0 2 5 0 0 0 0 10 2 1 2 2 1 5 5 5 10 2 0 1 3 0 0 2 0 5 0 0 0 1 5 5 0 3 2 10 3 0 1 5 0 3 5 0 1 3 1 0 2 3 2 0 1 1 5 5 5 1 10 2 0 0 1 2 1 1 2 2 5 5 5 10 5 0 5 5 0 2 5 5 0 1 0 5 0 4 1 2 10 4 4 3 5 0 5 3 1 10 4 5 5 5 0 0 5 0 0 1 0 1 0 4 5 2 0 1 3 2 0 1 0 2 2 0 2 2 3 3 5 10 2 4 2 10 0 5 6 0 2 2 10 5 4 3 2 1 2 5 3 10 10 1 0 1 0 1 0 5 2 0 2 5 2 0 5 6 2 2 2 5 0 2 0 2 5 2 5 0 3 5 0 0 0 10 1 5 0 1 2 0 6 5 1 0 2 0 0 2 2 0 4 0 2 0 1 0 5 2 1 10 5 2 2 0 1 1 2 5 5 10 4 5 2 10 5 2 4 2 0 10 4 5 0 2 1 2 2 4 5 0 3 1 0 0 10 2 5 2 1 0 1 5 3 5 0 6 3 5 2 5 1 5 4 1 2 5 5 10 0 1 1 2 10 2 2 1 5 10 0 2 0 5 0 2 1 0 0 0 0 0 1 5 2 2 5 6 4 0 2 4 10 1 2 10 1 0 5 5 2 0 0 0 2 2 0 5 2 5 2 1 5 10 1 2 5 5 5 5 10 0 10 2 5 0 2 2 10 5 5 0 5 0 1 1 1 5 5 5 0 3 4 0 0 3 0 2 0 1 0 0 1 10 3 10 5 10 2 10 0 1 4 0 0 0 5 10 3 0 1 0 0 0 5 5 0 10 0 10 1 2 0 0 2 1 10 2 0 5 2 0 5 5 3 1 2 0 2 0 5 5 5 0 1 10 1 1 0 0 2 5 2 2 0 2 2 1 0 0 4 2 5 5 5 0 1 5 3 5 2 3 5 0 0 4 0 0 3 0 5 2 0 5 1 1 0 5 3 5 10 5 5 4 10 0 0 10 5 10 0 5 1 5 1 10 5 5 10 1 5 0 5 2 10 10 1 0 5 5 0 10 5 10 0 0 2 10 5 0 3 1 0 1 2 0 10 10 3 5 4 0 0 0 1 0 1 2 5 0 5 5 1 5 0 5 5 5 2 5 2 2 2 2 6 10 1 2 2 5 0 10 4 4 5 5 2 0 2 10 1 3 2 4 10 1 5 1 2 5 10 2 5 10 5 1 5 10 3 0 0 3 1 0 0 5 5 3 10 0 0 0 0 1 4 2 1 1 2 4 0 2 2 0 0 3 2 0 2 2 5 0 2 5 0 2 10 2 10 5 5 1 2 4 4 2 0 0 0 5 3 0 3 5 0 5 0 2 0 6 5 1 5 2 0 5 5 5 0 0 5 6 2 0 2 0 5 0 4 2 0 1 0 0 5 3 1 3 1 1 0 1 5 2 0 2 5 5 10 0 5 6 10 10 5 2 5 0 0 0 1 5 0 2 1 6 5 5 5 4 5 0 10 0 2 1 2 2 2 2 1 2 10 5 5 1 10 0 0 1 1 2 5 10 2 0 1 5 10 5 5 4 1 10 10 0 10 1 0 1 5 10 1 0 10 0 10 3 10 1 2 2 5 10 2 0 10 10 5 5 2 3 2 5 10 1 1 0 10 5 5 5 2 2 2 0 2 10 0 10 10 1 6 10 3 0 0 10 1 2 2 2 0 4 0 0 1 0 0 0 0 5 5 4 3 5 2 2 0 0 10 5 0 5 5 10 10 2 5 10 5 5 10 0 3 5 4 1 1 0 3 2 0 5 5 6 5 1 5 0 0 0 5 10 1 4 10 4 0 5 0 2 1 1 0 3 2 0 2 5 5 0 0 2 4 1 10 10 0 0 10 1 5 0 10 0 10 5 5 0 1 0 4 5 10 5 2 5 0 10 0 0 5 1 10 10 0 0 1 5 3 2 5 2 5 2 2 2 3 4 1 2 6 2 1 3 2 2 0 4 10 1 5 1 3 5 10 0 2 2 1 3 1 0 2 10 0 2 5 1 2 0 0 5 10 0 2 0 5 2 2 0 0 2 2 2 5 3 0 5 0 2 10 0 0 
2520.04/2473.81	v 	</values>
2520.04/2473.81	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 (12139 MiB free)
  memory of node 1: 16384 MiB (9803 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308521-1534298742/watcher-4308521-1534298742 -o /tmp/evaluation-result-4308521-1534298742/solver-4308521-1534298742 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534293823-2848 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 755431958 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308521-1534298742.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=3458, runsolver pid=3455

[startup+0.102394 s]*
/proc/loadavg: 1.20 1.25 1.32 3/220 3473
/proc/meminfo: memFree=22450032/32770624 swapFree=67108688/67108860
[pid=3458] ppid=3455 vsize=14082736 memory=34100 CPUtime=0.12 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 2816 0 -1 1077944320 7462 0 0 0 11 1 0 0 20 0 15 0 247437395 14420721664 8525 33554432000 4194304 4196468 140724954057408 140724954039952 140657760169719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
/proc/3458/statm: 3520684 8525 3135 1 0 3482761 0
[pid=3458/tid=3460] ppid=3455 vsize=14082736 memory=-8970433191196062912 CPUtime=0.09 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 2816 0 -1 4202560 5534 0 0 0 9 0 0 0 20 0 15 0 247437395 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657764371384 140657760191645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3461] ppid=3455 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657697770384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3462] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657354611472 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3463] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657353559184 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3464] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657352506384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3465] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437397 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657302325360 140657760180866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3466] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247437398 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657301271328 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3467] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247437398 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657300218992 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3468] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657299167312 140657760188315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3469] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 2816 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 247437400 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657298115184 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3470] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657297062384 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3471] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0.01 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) R 3455 3458 2816 0 -1 4202560 245 0 0 0 1 0 0 0 20 0 15 0 247437400 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657296010096 140657739039347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3472] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657294957536 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3473] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247437401 14420721664 8525 33554432000 4194304 4196468 140724954057408 140657226148272 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34100 KiB

[startup+0.210469 s]*
/proc/loadavg: 1.20 1.25 1.32 4/220 3473
/proc/meminfo: memFree=22435148/32770624 swapFree=67108688/67108860
[pid=3458] ppid=3455 vsize=14082736 memory=47488 CPUtime=0.31 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 2816 0 -1 1077944320 10476 0 0 0 29 2 0 0 20 0 15 0 247437395 14420721664 11872 33554432000 4194304 4196468 140724954057408 140724954039952 140657760169719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
/proc/3458/statm: 3520684 11872 3359 1 0 3482761 0
[pid=3458/tid=3460] ppid=3455 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 2816 0 -1 4202560 8233 0 0 0 19 1 0 0 20 0 15 0 247437395 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657764400672 140657744213349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3461] ppid=3455 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657697770384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3462] ppid=3455 vsize=14082736 memory=3978852389058197152 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657354611472 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3463] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657353559184 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3464] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657352506384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3465] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247437397 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657302325360 140657760180866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3466] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247437398 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657301271328 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3467] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247437398 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657300218992 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3468] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657299167312 140657760188315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3469] ppid=3455 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) R 3455 3458 2816 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 15 0 247437400 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657298115184 140657760180866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3470] ppid=3455 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) R 3455 3458 2816 0 -1 4202560 239 0 0 0 2 0 0 0 20 0 15 0 247437400 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657297062384 140657741540032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3471] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0.06 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) R 3455 3458 2816 0 -1 4202560 275 0 0 0 6 0 0 0 20 0 15 0 247437400 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657296010096 140657739088597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3472] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657294957536 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3473] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247437401 14420721664 11872 33554432000 4194304 4196468 140724954057408 140657226148272 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47488 KiB

[startup+0.310816 s]*
/proc/loadavg: 1.20 1.25 1.32 4/220 3473
/proc/meminfo: memFree=22431748/32770624 swapFree=67108688/67108860
[pid=3458] ppid=3455 vsize=14082736 memory=50736 CPUtime=0.43 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 2816 0 -1 1077944320 10826 0 0 0 41 2 0 0 20 0 15 0 247437395 14420721664 12684 33554432000 4194304 4196468 140724954057408 140724954039952 140657760169719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
/proc/3458/statm: 3520684 12684 3361 1 0 3482761 0
[pid=3458/tid=3460] ppid=3455 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 2816 0 -1 4202560 8561 0 0 0 29 1 0 0 20 0 15 0 247437395 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657764331456 140657760191645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3461] ppid=3455 vsize=14082736 memory=4294980954 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657697770384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3462] ppid=3455 vsize=14082736 memory=3906794795020269216 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657354611472 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3463] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657353559184 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3464] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657352506384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3465] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247437397 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657302325360 140657760180866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3466] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247437398 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657301271328 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3467] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247437398 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657300218992 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3468] ppid=3455 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657299167312 140657760188315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3469] ppid=3455 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 2816 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 247437400 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657298115184 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3470] ppid=3455 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 2816 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 247437400 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657297062384 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3471] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0.08 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 2816 0 -1 1077944384 282 0 0 0 8 0 0 0 20 0 15 0 247437400 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657296010096 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3472] ppid=3455 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657294957536 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3473] ppid=3455 vsize=14082736 memory=140675454809728 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247437401 14420721664 12684 33554432000 4194304 4196468 140724954057408 140657226148272 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50736 KiB

[startup+0.700763 s]
/proc/loadavg: 1.20 1.25 1.32 3/220 3473
/proc/meminfo: memFree=22407936/32770624 swapFree=67108688/67108860
[pid=3458] ppid=3455 vsize=14084804 memory=90844 CPUtime=0.99 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 2816 0 -1 1077944320 17587 0 0 0 95 4 0 0 20 0 15 0 247437395 14422839296 22711 33554432000 4194304 4196468 140724954057408 140724954039952 140657760169719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
/proc/3458/statm: 3521201 22711 3498 1 0 3483273 0
[pid=3458/tid=3460] ppid=3455 vsize=14084804 memory=1172 CPUtime=0.67 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 2816 0 -1 4202560 14900 0 0 0 64 3 0 0 20 0 15 0 247437395 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657764384512 140657744250206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3461] ppid=3455 vsize=14084804 memory=37228 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657697770384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3462] ppid=3455 vsize=14084804 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247437396 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657354611472 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3463] ppid=3455 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657353559184 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3464] ppid=3455 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247437396 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657352506384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3465] ppid=3455 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247437397 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657302325360 140657760180866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3466] ppid=3455 vsize=14084804 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247437398 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657301271328 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3467] ppid=3455 vsize=14084804 memory=924 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247437398 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657300218992 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3468] ppid=3455 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657299167312 140657760188315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3469] ppid=3455 vsize=14084804 memory=7237400421024098393 CPUtime=0.06 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 2816 0 -1 1077944384 555 0 0 0 6 0 0 0 20 0 15 0 247437400 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657298115184 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3470] ppid=3455 vsize=14084804 memory=6154282490091891024 CPUtime=0.08 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 2816 0 -1 1077944384 389 0 0 0 8 0 0 0 20 0 15 0 247437400 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657297062384 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3471] ppid=3455 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 2816 0 -1 1077944384 359 0 0 0 15 0 0 0 20 0 15 0 247437400 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657296010096 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3472] ppid=3455 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657294957536 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3473] ppid=3455 vsize=14084804 memory=8696 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247437401 14422839296 22711 33554432000 4194304 4196468 140724954057408 140657226148272 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90844 KiB

[startup+1.50068 s]
/proc/loadavg: 1.34 1.28 1.33 5/220 3473
/proc/meminfo: memFree=22354280/32770624 swapFree=67108688/67108860
[pid=3458] ppid=3455 vsize=14086852 memory=215916 CPUtime=3.39 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 2816 0 -1 1077944320 24792 0 0 0 331 8 0 0 20 0 15 0 247437395 14424936448 53979 33554432000 4194304 4196468 140724954057408 140724954039952 140657760169719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
/proc/3458/statm: 3521713 53979 3558 1 0 3483785 0
[pid=3458/tid=3460] ppid=3455 vsize=14086852 memory=159760 CPUtime=1.46 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) S 3455 3458 2816 0 -1 1077944384 17737 0 0 0 141 5 0 0 20 0 15 0 247437395 14424936448 53979 33554432000 4194304 4196468 140724954057408 140657764406656 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3461] ppid=3455 vsize=14086852 memory=164 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 2816 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 247437396 14424936448 53979 33554432000 4194304 4196468 140724954057408 140657697770384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3462] ppid=3455 vsize=14086852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 2816 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 247437396 14424936448 53979 33554432000 4194304 4196468 140724954057408 140657354611472 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3463] ppid=3455 vsize=14086852 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 2816 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 247437396 14424936448 53979 33554432000 4194304 4196468 140724954057408 140657353559184 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3464] ppid=3455 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 2816 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 247437396 14424936448 53979 33554432000 4194304 4196468 140724954057408 140657352506384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3465] ppid=3455 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) R 3455 3458 2816 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 15 0 247437397 14424936448 53979 33554432000 4194304 4196468 140724954057408 140657302323872 140657753269566 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0

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

/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 2816 0 -1 4202560 353972 0 0 0 230892 60 0 0 20 0 15 0 247437395 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657764398688 140657378315648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3461] ppid=3455 vsize=14092996 memory=5386908 CPUtime=11.71 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 2816 0 -1 1077944384 86727 0 0 0 1062 109 0 0 20 0 15 0 247437396 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657697770384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3462] ppid=3455 vsize=14092996 memory=5386908 CPUtime=11.71 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 2816 0 -1 1077944384 79720 0 0 0 1061 110 0 0 20 0 15 0 247437396 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657354611472 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3463] ppid=3455 vsize=14092996 memory=5386908 CPUtime=11.67 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 2816 0 -1 1077944384 75830 0 0 0 1057 110 0 0 20 0 15 0 247437396 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657353559184 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3464] ppid=3455 vsize=14092996 memory=5385376 CPUtime=11.67 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 2816 0 -1 1077944384 79049 0 0 0 1060 107 0 0 20 0 15 0 247437396 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657352506384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3465] ppid=3455 vsize=14092996 memory=5384860 CPUtime=0.73 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 2816 0 -1 1077944384 19028 0 0 0 63 10 0 0 20 0 15 0 247437397 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657302325360 140657760180866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3466] ppid=3455 vsize=14092996 memory=5384860 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 2816 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 247437398 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657301271392 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3467] ppid=3455 vsize=14092996 memory=5384860 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 2816 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 247437398 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657300219008 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3468] ppid=3455 vsize=14092996 memory=67376 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657299167312 140657760188315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3469] ppid=3455 vsize=14092996 memory=3824 CPUtime=3.1 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 2816 0 -1 1077944384 23522 0 0 0 307 3 0 0 20 0 15 0 247437400 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657298115184 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3470] ppid=3455 vsize=14092996 memory=67376 CPUtime=3.19 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 2816 0 -1 1077944384 23285 0 0 0 316 3 0 0 20 0 15 0 247437400 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657297062384 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3471] ppid=3455 vsize=14092996 memory=5386908 CPUtime=1.36 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 2816 0 -1 1077944384 44542 0 0 0 131 5 0 0 20 0 15 0 247437400 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657296010096 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3472] ppid=3455 vsize=14092996 memory=5386908 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657294957536 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3473] ppid=3455 vsize=14092996 memory=5386908 CPUtime=1.38 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 2816 0 -1 1077944384 1735 0 0 0 59 79 0 0 20 0 15 0 247437401 14431227904 1346727 33554432000 4194304 4196468 140724954057408 140657226148272 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
Current children cumulated CPU time: 2366.15 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5386908 KiB

[startup+2382.3 s]
/proc/loadavg: 1.64 1.65 1.74 3/219 3631
/proc/meminfo: memFree=13827008/32770624 swapFree=67108688/67108860
[pid=3458] ppid=3455 vsize=14092996 memory=5386336 CPUtime=2427.01 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 2816 0 -1 1077944320 808391 0 0 0 242115 586 0 0 20 0 15 0 247437395 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140724954039952 140657760169719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
/proc/3458/statm: 3523249 1346584 3626 1 0 3485321 0
[pid=3458/tid=3460] ppid=3455 vsize=14092996 memory=5385360 CPUtime=2369.22 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 2816 0 -1 4202560 359051 0 0 0 236861 61 0 0 20 0 15 0 247437395 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657764407328 140657383347464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3461] ppid=3455 vsize=14092996 memory=5385360 CPUtime=11.98 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 2816 0 -1 1077944384 87938 0 0 0 1088 110 0 0 20 0 15 0 247437396 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657697770384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3462] ppid=3455 vsize=14092996 memory=5386864 CPUtime=11.99 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 2816 0 -1 1077944384 83163 0 0 0 1088 111 0 0 20 0 15 0 247437396 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657354611472 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3463] ppid=3455 vsize=14092996 memory=5387364 CPUtime=11.94 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 2816 0 -1 1077944384 78884 0 0 0 1083 111 0 0 20 0 15 0 247437396 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657353559184 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3464] ppid=3455 vsize=14092996 memory=5387364 CPUtime=11.95 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 2816 0 -1 1077944384 82728 0 0 0 1087 108 0 0 20 0 15 0 247437396 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657352506384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3465] ppid=3455 vsize=14092996 memory=5384288 CPUtime=0.74 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 2816 0 -1 1077944384 19535 0 0 0 64 10 0 0 20 0 15 0 247437397 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657302325360 140657760180866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3466] ppid=3455 vsize=14092996 memory=5386336 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 2816 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 247437398 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657301271392 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3467] ppid=3455 vsize=14092996 memory=5386336 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 2816 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 247437398 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657300219008 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3468] ppid=3455 vsize=14092996 memory=3824 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657299167312 140657760188315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3469] ppid=3455 vsize=14092996 memory=5384816 CPUtime=3.1 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 2816 0 -1 1077944384 24180 0 0 0 307 3 0 0 20 0 15 0 247437400 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657298115184 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3470] ppid=3455 vsize=14092996 memory=0 CPUtime=3.2 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 2816 0 -1 1077944384 23795 0 0 0 317 3 0 0 20 0 15 0 247437400 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657297062384 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3471] ppid=3455 vsize=14092996 memory=3824 CPUtime=1.36 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 2816 0 -1 1077944384 45769 0 0 0 131 5 0 0 20 0 15 0 247437400 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657296010096 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3472] ppid=3455 vsize=14092996 memory=67376 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657294957536 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3473] ppid=3455 vsize=14092996 memory=67376 CPUtime=1.41 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 2816 0 -1 1077944384 1870 0 0 0 60 81 0 0 20 0 15 0 247437401 14431227904 1346584 33554432000 4194304 4196468 140724954057408 140657226148272 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
Current children cumulated CPU time: 2427.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5386336 KiB

[startup+2442.3 s]
/proc/loadavg: 1.83 1.71 1.75 3/220 3633
/proc/meminfo: memFree=13836252/32770624 swapFree=67108688/67108860
[pid=3458] ppid=3455 vsize=14092996 memory=5375516 CPUtime=2487.97 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 2816 0 -1 1077944320 821274 0 0 0 248205 592 0 0 20 0 15 0 247437395 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140724954039952 140657760169719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
/proc/3458/statm: 3523249 1343879 3626 1 0 3485321 0
[pid=3458/tid=3460] ppid=3455 vsize=14092996 memory=5375516 CPUtime=2428.88 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 2816 0 -1 4202560 362947 0 0 0 242826 62 0 0 20 0 15 0 247437395 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657764407312 140657378318914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3461] ppid=3455 vsize=14092996 memory=5383240 CPUtime=12.29 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 2816 0 -1 1077944384 90115 0 0 0 1118 111 0 0 20 0 15 0 247437396 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657697770384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3462] ppid=3455 vsize=14092996 memory=5383220 CPUtime=12.3 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 2816 0 -1 1077944384 84077 0 0 0 1118 112 0 0 20 0 15 0 247437396 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657354611472 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3463] ppid=3455 vsize=14092996 memory=5382704 CPUtime=12.25 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 2816 0 -1 1077944384 80321 0 0 0 1113 112 0 0 20 0 15 0 247437396 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657353559184 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3464] ppid=3455 vsize=14092996 memory=5380132 CPUtime=12.26 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 2816 0 -1 1077944384 84259 0 0 0 1117 109 0 0 20 0 15 0 247437396 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657352506384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3465] ppid=3455 vsize=14092996 memory=5378080 CPUtime=0.77 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 2816 0 -1 1077944384 19758 0 0 0 66 11 0 0 20 0 15 0 247437397 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657302325360 140657760180866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3466] ppid=3455 vsize=14092996 memory=5375516 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 2816 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 247437398 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657301271392 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3467] ppid=3455 vsize=14092996 memory=5375516 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 2816 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 247437398 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657300219008 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3468] ppid=3455 vsize=14092996 memory=5378076 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657299167312 140657760188315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3469] ppid=3455 vsize=14092996 memory=5380648 CPUtime=3.12 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 2816 0 -1 1077944384 25596 0 0 0 309 3 0 0 20 0 15 0 247437400 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657298115184 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3470] ppid=3455 vsize=14092996 memory=5375516 CPUtime=3.21 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 2816 0 -1 1077944384 24590 0 0 0 318 3 0 0 20 0 15 0 247437400 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657297062384 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3471] ppid=3455 vsize=14092996 memory=8112282956445269571 CPUtime=1.36 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 2816 0 -1 1077944384 46231 0 0 0 131 5 0 0 20 0 15 0 247437400 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657296010096 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3472] ppid=3455 vsize=14092996 memory=4216 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657294957536 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3473] ppid=3455 vsize=14092996 memory=5375516 CPUtime=1.45 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 2816 0 -1 1077944384 1902 0 0 0 62 83 0 0 20 0 15 0 247437401 14431227904 1343879 33554432000 4194304 4196468 140724954057408 140657226148272 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
Current children cumulated CPU time: 2487.97 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5375516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2473.8 s]
/proc/loadavg: 1.98 1.76 1.77 3/219 3664
/proc/meminfo: memFree=18387252/32770624 swapFree=67108688/67108860
[pid=3458] ppid=3455 vsize=14092996 memory=5372908 CPUtime=2520.04 cores=1,3,5,7
/proc/3458/stat : 3458 (java) S 3455 3458 2816 0 -1 1077944320 830228 0 0 0 251406 598 0 0 20 0 15 0 247437395 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140724954039952 140657760169719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
/proc/3458/statm: 3523249 1343227 3626 1 0 3485321 0
[pid=3458/tid=3460] ppid=3455 vsize=14092996 memory=1808 CPUtime=2460.17 cores=1,3,5,7
/proc/3458/task/3460/stat : 3460 (java) R 3455 3458 2816 0 -1 4202560 365282 0 0 0 245955 62 0 0 20 0 15 0 247437395 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657764407328 140657378318941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3461] ppid=3455 vsize=14092996 memory=8696 CPUtime=12.48 cores=1,3,5,7
/proc/3458/task/3461/stat : 3461 (java) S 3455 3458 2816 0 -1 1077944384 91506 0 0 0 1136 112 0 0 20 0 15 0 247437396 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657697770384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3462] ppid=3455 vsize=14092996 memory=5372408 CPUtime=12.48 cores=1,3,5,7
/proc/3458/task/3462/stat : 3462 (java) S 3455 3458 2816 0 -1 1077944384 84925 0 0 0 1135 113 0 0 20 0 15 0 247437396 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657354611472 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3463] ppid=3455 vsize=14092996 memory=5372408 CPUtime=12.44 cores=1,3,5,7
/proc/3458/task/3463/stat : 3463 (java) S 3455 3458 2816 0 -1 1077944384 81832 0 0 0 1131 113 0 0 20 0 15 0 247437396 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657353559184 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3464] ppid=3455 vsize=14092996 memory=8112282956445269571 CPUtime=12.44 cores=1,3,5,7
/proc/3458/task/3464/stat : 3464 (java) S 3455 3458 2816 0 -1 1077944384 86843 0 0 0 1134 110 0 0 20 0 15 0 247437396 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657352506384 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3465] ppid=3455 vsize=14092996 memory=3824 CPUtime=0.78 cores=1,3,5,7
/proc/3458/task/3465/stat : 3465 (java) S 3455 3458 2816 0 -1 1077944384 20009 0 0 0 67 11 0 0 20 0 15 0 247437397 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657302325360 140657760180866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3466] ppid=3455 vsize=14092996 memory=5368312 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3466/stat : 3466 (java) S 3455 3458 2816 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 247437398 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657301271392 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3467] ppid=3455 vsize=14092996 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3467/stat : 3467 (java) S 3455 3458 2816 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 247437398 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657300219008 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3468] ppid=3455 vsize=14092996 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3468/stat : 3468 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657299167312 140657760188315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3469] ppid=3455 vsize=14092996 memory=288230574492221466 CPUtime=3.12 cores=1,3,5,7
/proc/3458/task/3469/stat : 3469 (java) S 3455 3458 2816 0 -1 1077944384 25599 0 0 0 309 3 0 0 20 0 15 0 247437400 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657298115184 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3470] ppid=3455 vsize=14092996 memory=288230596050944315 CPUtime=3.21 cores=1,3,5,7
/proc/3458/task/3470/stat : 3470 (java) S 3455 3458 2816 0 -1 1077944384 24592 0 0 0 318 3 0 0 20 0 15 0 247437400 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657297062384 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3471] ppid=3455 vsize=14092996 memory=14128944299379268 CPUtime=1.36 cores=1,3,5,7
/proc/3458/task/3471/stat : 3471 (java) S 3455 3458 2816 0 -1 1077944384 46234 0 0 0 131 5 0 0 20 0 15 0 247437400 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657296010096 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3472] ppid=3455 vsize=14092996 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/3458/task/3472/stat : 3472 (java) S 3455 3458 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247437400 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657294957536 140657760179925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
[pid=3458/tid=3473] ppid=3455 vsize=14092996 memory=3360 CPUtime=1.46 cores=1,3,5,7
/proc/3458/task/3473/stat : 3473 (java) S 3455 3458 2816 0 -1 1077944384 1928 0 0 0 62 84 0 0 20 0 15 0 247437401 14431227904 1343227 33554432000 4194304 4196468 140724954057408 140657226148272 140657760180866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20942848 140724954059861 140724954060041 140724954060041 140724954062799 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5372908 KiB

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

[startup+2473.85 s]
# the end of solver process 3458 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.09 s, system=6.01662 s

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

Child status: 143
Real time (s): 2473.85
CPU time (s): 2520.11
CPU user time (s): 2514.09
CPU system time (s): 6.01662
CPU usage (%): 101.87
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5593036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.09
system time used= 6.01662
maximum resident set size= 5593036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66823
involuntary context switches= 2430


# summary of solver processes directly reported to runsolver:
#   pid: 3458
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2514.09
#   total CPU system time (s): 6.01662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8623 second user time and 23.7204 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 4308521

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