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)	35807	2520.07	2485.16

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 69433191
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...
14.96/7.65	c Parsing done, starting first complete search...
22.36/10.06	o 39943
22.36/10.06	o 39909
22.36/10.07	o 39872
22.36/10.08	o 39795
22.36/10.08	o 39779
22.36/10.09	o 39735
22.36/10.10	o 39723
22.64/10.12	o 39691
22.64/10.13	o 39657
22.64/10.15	o 39644
22.64/10.16	o 39640
22.91/10.28	o 39625
22.91/10.29	o 39615
22.91/10.29	o 39607
23.23/10.34	o 39606
23.23/10.34	o 39602
23.23/10.35	o 39590
23.53/10.44	o 39589
23.53/10.44	o 39571
24.24/10.78	o 39553
24.49/10.95	o 39534
24.49/10.95	o 39514
24.63/11.06	o 39510
39.20/21.60	c First complete search done, starting ALNS search...
39.88/22.24	o 39452
39.88/22.25	o 39317
39.88/22.27	o 39295
40.16/22.39	o 39266
40.30/22.40	o 39261
40.30/22.40	o 39220
40.30/22.45	o 39208
40.30/22.45	o 39201
40.30/22.49	o 39094
40.30/22.49	o 39086
40.42/22.58	o 39080
40.42/22.58	o 39070
40.42/22.59	o 39049
42.14/24.22	o 39038
42.14/24.25	o 39027
42.34/24.49	o 39009
43.35/25.27	o 39001
45.07/26.89	o 38924
45.07/26.89	o 38892
45.32/27.04	o 38835
45.32/27.04	o 38803
45.51/27.23	o 38797
45.51/27.27	o 38767
45.51/27.28	o 38757
45.61/27.33	o 38674
46.48/28.17	o 38618
47.08/28.73	o 38597
47.27/28.90	o 38579
47.27/28.92	o 38576
47.27/28.97	o 38561
48.51/30.11	o 38529
48.60/30.24	o 38521
50.14/31.78	o 38517
50.55/32.12	o 38515
50.64/32.24	o 38511
50.75/32.33	o 38504
52.36/33.99	o 38491
52.36/34.00	o 38465
101.17/81.80	o 38454
101.27/81.82	o 38412
101.27/81.82	o 38410
101.37/81.93	o 38390
101.37/81.93	o 38378
101.67/82.23	o 38359
102.07/82.68	o 38307
102.27/82.89	o 38296
102.48/83.03	o 38272
102.67/83.26	o 38268
123.57/103.93	o 38130
123.57/103.95	o 37995
123.57/103.96	o 37984
127.35/107.68	o 37981
127.65/107.97	o 37977
127.76/108.09	o 37969
129.87/110.13	o 37959
129.87/110.13	o 37948
133.23/113.48	o 37937
133.33/113.55	o 37935
133.53/113.73	o 37911
133.53/113.73	o 37891
138.44/118.67	o 37886
201.59/180.96	o 37862
201.59/180.96	o 37784
201.80/181.11	o 37778
202.09/181.48	o 37752
217.29/196.40	o 37731
218.19/197.35	o 37715
248.53/227.33	o 37710
249.13/227.91	o 37706
249.13/227.93	o 37695
274.64/253.14	o 37677
276.34/254.80	o 37660
302.15/280.56	o 37614
302.25/280.68	o 37558
320.99/299.29	o 37399
352.60/330.67	o 37393
352.70/330.70	o 37375
360.12/338.13	o 37363
360.12/338.18	o 37352
363.02/341.07	o 37345
364.51/342.56	o 37317
365.02/343.08	o 37309
365.12/343.13	o 37288
381.42/359.31	o 37166
381.52/359.43	o 37156
381.62/359.51	o 37144
400.21/378.08	o 37122
403.41/381.24	o 37120
429.72/407.41	o 37033
429.82/407.56	o 37030
461.30/438.92	o 37029
492.88/470.49	o 36988
494.08/471.67	o 36976
494.38/471.91	o 36964
495.08/472.61	o 36955
495.29/472.87	o 36943
498.39/476.00	o 36942
499.29/476.88	o 36921
502.99/480.53	o 36919
503.91/481.49	o 36907
504.11/481.65	o 36886
560.20/537.60	o 36882
560.40/537.88	o 36868
561.20/538.66	o 36836
618.09/595.48	o 36791
639.15/616.47	o 36770
648.35/625.60	o 36758
655.26/632.58	o 36719
691.21/668.48	o 36639
692.51/669.70	o 36560
729.99/707.14	o 36528
732.70/709.82	o 36393
815.74/792.77	o 36383
904.33/881.15	o 36374
960.41/937.13	o 36360
961.83/938.57	o 36337
962.83/939.58	o 36332
963.03/939.72	o 36307
977.64/954.38	o 36269
981.96/958.67	o 36258
982.67/959.34	o 36254
1128.63/1105.10	o 36233
1268.87/1245.03	o 36181
1269.16/1245.35	o 36163
1269.26/1245.43	o 36161
1274.59/1250.78	o 36143
1371.85/1347.88	o 36124
1390.10/1366.05	o 36087
1397.30/1373.22	o 36045
1397.80/1373.70	o 36019
1508.56/1484.20	o 35997
1509.26/1484.93	o 35967
1518.18/1493.86	o 35951
1532.31/1507.91	o 35944
1532.31/1507.98	o 35928
1777.15/1751.44	o 35906
1956.84/1929.30	o 35896
2178.29/2148.20	o 35893
2178.58/2148.48	o 35854
2178.78/2148.65	o 35834
2180.61/2150.42	o 35822
2201.99/2171.51	o 35807
2520.01/2485.11	s SATISFIABLE
2520.01/2485.12	v <instantiation>
2520.01/2485.12	v 	<list>
2520.01/2485.12	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[67][68] d[67][69] d[67][70] d[67][71] d[68][69] d[68][70] d[68][71] d[69][70] d[69][71] d[70][71]
2520.01/2485.12	v 	</list>
2520.01/2485.12	v 	<values>
2520.01/2485.12	v 		52 49 30 59 37 9 34 7 11 4 1 51 16 64 13 21 46 66 12 58 10 20 31 70 0 25 28 71 61 19 45 54 63 22 23 33 6 36 35 48 3 40 62 42 43 29 5 47 41 56 15 26 32 44 53 68 18 38 14 55 2 27 8 24 50 57 60 17 67 65 69 39 10 5 2 1 1 5 2 5 3 2 6 0 10 0 6 0 1 2 2 1 2 1 0 2 0 5 2 0 5 0 0 0 0 1 0 1 4 0 5 1 0 2 5 0 0 10 0 0 2 0 1 0 0 0 0 2 5 0 1 5 0 0 0 1 0 1 6 1 0 2 0 5 0 5 5 2 4 0 2 1 2 5 0 0 5 0 10 2 5 0 5 0 0 0 0 2 3 2 0 5 1 0 5 0 0 2 10 5 5 0 5 10 5 2 0 2 5 3 0 3 2 2 1 0 10 5 0 2 5 2 0 10 6 1 2 2 0 0 5 0 0 10 1 2 0 5 5 3 5 5 6 4 5 2 6 5 0 1 2 5 1 0 2 1 5 3 5 2 2 2 2 5 0 0 2 1 0 0 0 0 2 0 1 2 2 2 5 0 2 0 0 0 0 2 1 1 0 0 0 0 1 5 2 0 5 5 2 5 1 0 10 5 5 1 3 1 1 2 0 5 1 10 3 5 6 0 0 2 0 2 0 5 1 2 0 3 2 5 10 4 0 4 5 0 0 5 0 0 0 2 0 0 2 0 6 5 5 10 2 6 1 3 0 2 0 1 0 0 2 0 0 3 2 6 5 2 2 0 2 10 2 1 0 10 2 1 5 2 2 0 0 2 5 0 0 0 5 6 0 0 0 1 5 10 10 0 2 5 6 5 0 0 10 0 2 0 5 5 5 0 5 0 4 0 10 0 2 1 3 0 0 2 3 2 0 5 5 10 6 4 5 1 2 3 6 5 10 6 5 5 4 5 5 5 0 5 1 10 0 0 2 0 2 2 3 0 4 0 1 5 10 2 5 0 2 5 0 2 5 0 0 1 1 2 2 5 5 6 2 2 0 2 5 1 0 2 0 0 10 2 5 1 0 0 0 2 2 2 0 10 1 5 5 0 5 1 5 1 4 10 5 5 0 1 4 5 0 0 5 2 0 2 2 4 4 5 2 2 2 1 0 5 0 6 0 0 2 5 2 0 0 0 10 0 0 2 5 5 0 0 0 2 0 2 0 5 1 0 0 2 1 5 0 2 0 1 0 0 5 0 10 0 2 2 2 2 2 5 1 2 5 2 0 4 5 1 1 2 0 0 0 2 0 2 2 0 3 0 5 0 3 5 5 5 0 5 0 2 2 2 1 1 10 0 2 0 5 0 0 2 2 1 5 0 0 4 3 0 0 2 0 5 4 0 0 0 3 0 5 0 2 0 0 2 5 0 0 6 0 0 0 1 1 5 5 5 2 2 10 3 0 3 1 1 5 5 0 1 0 2 0 2 0 0 5 0 2 0 0 1 2 0 1 1 5 0 2 1 2 2 0 1 0 0 5 2 2 0 6 0 5 5 2 2 5 0 0 2 2 2 5 2 3 5 1 1 0 2 3 0 0 2 2 5 5 2 3 5 0 2 0 5 5 0 0 5 10 5 1 5 2 5 0 1 0 1 5 0 5 0 3 1 3 0 2 10 5 1 0 5 2 2 4 3 2 10 10 1 0 5 2 5 0 0 0 0 0 0 4 10 2 10 6 5 0 1 1 0 2 0 0 0 5 3 0 4 2 2 1 5 0 0 0 0 1 5 0 3 2 1 1 2 5 0 3 5 1 2 0 0 10 0 5 3 2 6 5 0 10 6 1 0 3 10 0 2 2 5 5 2 0 0 5 1 0 2 6 0 0 4 2 0 10 5 3 0 2 0 1 5 0 5 1 1 5 5 0 2 5 0 0 0 5 0 3 2 2 0 5 1 5 0 6 4 5 1 5 5 2 1 5 0 2 0 3 5 2 1 2 0 5 6 0 10 0 2 0 2 5 2 0 0 5 4 2 5 0 2 3 5 10 2 0 1 5 2 0 1 2 4 5 3 1 2 0 10 10 10 5 1 5 0 1 0 5 0 0 5 0 0 5 10 1 0 3 0 2 3 2 10 0 2 5 5 1 5 5 2 0 0 0 0 5 5 2 2 5 2 5 5 2 5 1 2 1 2 3 10 0 0 5 0 0 10 5 2 10 5 0 10 1 4 2 5 3 0 0 4 3 2 0 10 2 0 0 0 2 4 4 0 0 5 5 0 2 4 0 0 5 2 0 2 0 2 2 0 1 5 0 5 2 2 5 1 0 1 1 1 2 1 5 5 1 2 0 5 10 5 10 5 0 6 2 0 10 10 5 5 0 2 0 1 0 2 0 0 10 2 1 3 5 0 5 0 1 0 10 0 2 2 0 0 5 1 5 5 2 0 0 1 0 0 2 0 5 2 5 5 0 0 2 10 5 6 10 1 4 1 4 0 0 2 2 5 0 2 5 0 5 0 5 2 5 5 1 1 1 3 2 1 10 4 2 0 0 1 1 0 0 5 0 0 1 10 0 0 0 2 0 6 4 1 0 3 5 0 5 4 2 0 2 2 1 10 1 10 3 5 0 0 3 0 0 1 0 0 2 10 2 5 0 0 0 10 1 5 1 5 2 0 5 0 1 1 2 10 0 0 0 4 5 4 2 5 3 10 0 1 4 0 0 0 5 5 5 3 10 1 0 0 3 1 5 10 1 2 0 5 6 5 1 5 5 6 1 10 4 2 1 0 0 2 3 5 1 1 1 3 0 10 1 2 0 2 0 5 3 2 5 0 5 5 10 1 0 0 5 5 10 5 1 5 0 1 2 5 2 10 2 2 5 1 0 5 0 0 2 5 2 1 2 1 1 0 2 1 0 1 1 5 5 5 0 1 5 0 0 2 2 2 5 3 5 0 5 10 5 10 5 0 2 5 3 5 4 0 6 1 0 5 2 1 4 0 0 2 5 2 1 0 5 2 10 0 0 4 0 1 0 2 0 0 10 1 1 5 1 0 0 0 2 2 2 2 10 5 1 2 1 5 5 2 0 1 0 5 5 5 5 0 0 1 2 1 5 5 1 2 4 0 0 1 2 0 1 2 0 3 0 5 2 0 2 5 5 0 10 3 0 5 5 2 10 1 0 0 0 5 2 6 0 1 0 0 5 4 5 0 0 10 5 5 0 5 1 5 1 2 3 0 0 2 2 2 1 10 2 1 1 0 2 1 1 2 0 0 5 5 5 2 3 0 5 0 0 2 4 1 1 0 0 5 10 5 2 5 2 2 5 0 10 1 10 0 2 10 5 0 2 5 2 2 10 2 2 1 2 0 5 5 0 4 2 0 2 0 3 10 10 10 0 0 2 1 2 2 0 2 0 10 1 2 4 10 3 2 1 0 2 4 0 0 1 10 5 10 5 0 1 10 0 0 1 2 4 0 1 1 2 3 0 5 5 0 6 2 5 2 0 2 1 5 2 4 5 0 2 5 0 5 5 0 2 10 1 2 2 2 5 5 0 3 1 2 0 2 0 5 10 0 10 4 1 0 0 10 2 2 0 0 2 0 1 4 5 0 2 2 0 5 4 0 0 10 1 5 2 3 10 0 5 1 0 5 0 5 3 1 2 1 0 0 2 4 0 5 5 2 0 0 0 5 0 5 0 5 10 2 0 0 0 0 1 1 5 10 0 0 10 3 3 1 1 3 5 5 5 0 0 0 2 0 5 10 5 2 10 5 5 0 5 0 5 0 5 0 0 5 0 0 5 10 5 10 0 1 2 0 1 0 5 10 0 10 2 5 5 0 2 2 5 1 4 1 2 5 5 1 1 0 1 0 3 5 2 0 3 10 10 0 5 2 0 1 5 4 0 10 1 0 2 0 5 10 10 0 1 5 5 5 0 1 0 10 0 1 6 2 5 5 5 5 1 5 5 4 1 2 10 2 1 2 5 0 0 2 2 5 1 0 10 6 5 5 5 2 4 0 0 5 10 0 5 2 0 2 10 5 5 10 5 0 4 1 6 5 1 3 1 1 2 5 0 3 0 2 0 5 5 2 4 5 5 2 10 5 2 0 10 2 3 2 2 10 5 1 5 1 3 1 5 1 5 0 5 2 10 2 2 0 2 0 2 5 0 5 2 2 0 5 5 2 1 0 10 1 1 4 0 0 10 2 5 1 4 0 0 0 1 0 2 5 2 0 1 1 0 0 1 5 2 4 0 5 0 5 2 10 2 0 5 10 2 0 4 5 1 2 10 0 2 10 1 5 0 0 1 1 1 5 0 0 5 1 2 2 2 5 5 0 2 4 0 10 3 0 2 0 2 5 1 10 0 1 2 0 5 2 0 0 2 2 10 0 5 5 2 2 4 5 0 3 0 0 4 0 5 2 1 1 10 1 10 0 2 0 1 4 3 2 0 1 0 0 5 0 1 1 0 0 5 2 0 5 5 0 10 3 0 1 0 0 1 4 2 2 1 0 10 1 0 5 0 2 10 6 2 0 1 5 3 4 0 0 3 2 0 1 0 0 0 0 0 2 4 5 0 0 3 0 0 10 5 5 0 10 2 0 5 0 5 3 0 0 4 2 2 0 3 5 1 5 0 5 2 0 5 10 5 5 5 2 5 4 1 2 10 10 0 0 5 0 10 5 0 10 4 1 2 1 2 5 0 5 10 1 5 1 1 5 5 0 10 0 5 2 0 0 0 2 0 10 4 0 2 10 3 1 5 2 5 0 0 4 3 10 5 0 5 5 5 2 0 0 5 0 10 5 0 2 0 1 10 0 0 3 0 0 10 1 1 5 0 0 0 0 1 2 0 0 0 0 10 0 0 1 2 2 10 5 2 2 1 5 0 3 0 10 1 10 5 1 0 2 5 0 0 4 0 5 2 1 0 2 10 4 2 1 0 0 5 10 3 0 4 5 5 0 0 0 10 0 1 3 0 10 5 6 2 10 5 1 1 10 0 2 0 0 0 3 0 1 10 0 5 0 5 2 1 5 0 6 5 5 1 0 10 2 2 0 5 0 0 2 1 5 6 0 2 2 0 5 10 0 3 5 1 2 0 4 5 0 0 1 2 1 0 10 5 0 0 2 5 0 10 4 4 5 10 2 10 0 2 2 1 2 5 0 5 0 5 2 5 0 0 2 0 1 0 10 1 0 0 5 10 5 5 1 5 5 10 5 5 1 0 0 4 5 4 5 2 5 1 5 2 1 10 0 0 0 5 1 10 2 10 5 6 0 0 5 2 5 1 4 1 5 4 0 0 10 10 2 1 2 0 0 2 0 1 1 6 0 0 4 0 10 4 0 0 3 10 2 10 5 0 0 10 1 2 5 5 1 2 0 0 0 0 5 0 1 0 5 0 0 0 5 2 1 5 5 0 10 0 4 2 0 4 0 3 0 5 2 5 5 2 0 1 0 10 3 5 1 0 5 1 5 0 3 0 0 6 5 0 5 6 1 0 5 2 0 5 2 3 1 3 3 5 0 5 0 0 4 0 5 10 5 10 2 0 5 1 5 0 1 5 0 0 0 0 5 5 0 10 5 3 5 0 5 2 5 0 0 5 0 0 2 2 5 0 2 2 5 5 1 5 1 0 10 0 10 0 0 5 4 0 0 5 10 0 0 0 6 5 2 10 2 2 10 5 1 0 0 5 2 5 10 0 0 0 5 10 5 2 3 0 5 2 0 1 2 10 5 5 5 2 5 2 10 10 4 5 1 2 2 5 10 5 2 0 0 5 0 6 0 0 3 0 0 1 0 1 5 5 2 0 5 1 3 1 10 10 5 5 0 5 0 5 2 4 10 0 0 0 0 1 10 10 1 3 4 0 5 1 5 2 0 2 4 10 3 10 2 5 10 4 2 5 1 10 2 10 1 2 10 5 1 
2520.01/2485.12	v 	</values>
2520.01/2485.12	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 (12199 MiB free)
  memory of node 1: 16384 MiB (11627 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308520-1534293443/watcher-4308520-1534293443 -o /tmp/evaluation-result-4308520-1534293443/solver-4308520-1534293443 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21973 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 69433191 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308520-1534293443.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=22007, runsolver pid=22004

[startup+0.100137 s]*
/proc/loadavg: 0.96 1.28 1.39 4/216 22031
/proc/meminfo: memFree=24366572/32770624 swapFree=67108372/67108860
[pid=22007] ppid=22004 vsize=14082736 memory=33524 CPUtime=0.11 cores=1,3,5,7
/proc/22007/stat : 22007 (java) S 22004 22007 21941 0 -1 1077944320 7309 0 0 0 10 1 0 0 20 0 15 0 246907475 14420721664 8381 33554432000 4194304 4196468 140733842866000 140733842848544 140193678065399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
/proc/22007/statm: 3520684 8381 3140 1 0 3482761 0
[pid=22007/tid=22009] ppid=22004 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/22007/task/22009/stat : 22009 (java) R 22004 22007 21941 0 -1 4202560 5391 0 0 0 8 1 0 0 20 0 15 0 246907475 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193682260208 140193678087325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22011] ppid=22004 vsize=14082736 memory=5793854945239886265 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22011/stat : 22011 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193273456912 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22012] ppid=22004 vsize=14082736 memory=139694229993088 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22012/stat : 22012 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193272404368 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22013] ppid=22004 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22013/stat : 22013 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193271351824 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22015] ppid=22004 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22015/stat : 22015 (java) S 22004 22007 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193270299280 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22017] ppid=22004 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22017/stat : 22017 (java) S 22004 22007 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246907478 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193152563696 140193678076546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22018] ppid=22004 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22018/stat : 22018 (java) S 22004 22007 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246907478 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193151509920 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22019] ppid=22004 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22019/stat : 22019 (java) S 22004 22007 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246907478 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193150457328 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22026] ppid=22004 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22026/stat : 22026 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193149405904 140193678083995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22027] ppid=22004 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22027/stat : 22027 (java) R 22004 22007 21941 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193148352496 140193678076546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22028] ppid=22004 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22028/stat : 22028 (java) S 22004 22007 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193147299952 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22029] ppid=22004 vsize=14082736 memory=139694229993088 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22029/stat : 22029 (java) R 22004 22007 21941 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193146247408 140193678076546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22030] ppid=22004 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22030/stat : 22030 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193145195104 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22031] ppid=22004 vsize=14082736 memory=139694229993088 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22031/stat : 22031 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 8381 33554432000 4194304 4196468 140733842866000 140193144142640 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33524 KiB

[startup+0.216199 s]*
/proc/loadavg: 0.96 1.28 1.39 7/216 22031
/proc/meminfo: memFree=24337780/32770624 swapFree=67108372/67108860
[pid=22007] ppid=22004 vsize=14082736 memory=47592 CPUtime=0.32 cores=1,3,5,7
/proc/22007/stat : 22007 (java) S 22004 22007 21941 0 -1 1077944320 10421 0 0 0 30 2 0 0 20 0 15 0 246907475 14420721664 11898 33554432000 4194304 4196468 140733842866000 140733842848544 140193678065399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
/proc/22007/statm: 3520684 11898 3412 1 0 3482761 0
[pid=22007/tid=22009] ppid=22004 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/22007/task/22009/stat : 22009 (java) R 22004 22007 21941 0 -1 4202560 8146 0 0 0 19 1 0 0 20 0 15 0 246907475 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193682293328 140193662145886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22011] ppid=22004 vsize=14082736 memory=4211973420434783626 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22011/stat : 22011 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193273456912 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22012] ppid=22004 vsize=14082736 memory=139694229993088 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22012/stat : 22012 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193272404368 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22013] ppid=22004 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22013/stat : 22013 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193271351824 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22015] ppid=22004 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22015/stat : 22015 (java) S 22004 22007 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193270299280 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22017] ppid=22004 vsize=14082736 memory=139694229993088 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22017/stat : 22017 (java) S 22004 22007 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246907478 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193152563696 140193678076546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22018] ppid=22004 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22018/stat : 22018 (java) S 22004 22007 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246907478 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193151509920 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22019] ppid=22004 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22019/stat : 22019 (java) S 22004 22007 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246907478 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193150457328 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22026] ppid=22004 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22026/stat : 22026 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193149405904 140193678083995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22027] ppid=22004 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22007/task/22027/stat : 22027 (java) S 22004 22007 21941 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 246907481 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193148352496 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22028] ppid=22004 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22007/task/22028/stat : 22028 (java) S 22004 22007 21941 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 246907481 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193147299952 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22029] ppid=22004 vsize=14082736 memory=139694229993088 CPUtime=0.06 cores=1,3,5,7
/proc/22007/task/22029/stat : 22029 (java) R 22004 22007 21941 0 -1 4202560 277 0 0 0 6 0 0 0 20 0 15 0 246907481 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193146247408 140193657356354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22030] ppid=22004 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22030/stat : 22030 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193145195104 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22031] ppid=22004 vsize=14082736 memory=139694229993088 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22031/stat : 22031 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 11898 33554432000 4194304 4196468 140733842866000 140193144142640 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47592 KiB

[startup+0.310528 s]*
/proc/loadavg: 0.96 1.28 1.39 4/216 22031
/proc/meminfo: memFree=24331328/32770624 swapFree=67108372/67108860
[pid=22007] ppid=22004 vsize=14082736 memory=50540 CPUtime=0.43 cores=1,3,5,7
/proc/22007/stat : 22007 (java) S 22004 22007 21941 0 -1 1077944320 10743 0 0 0 41 2 0 0 20 0 15 0 246907475 14420721664 12635 33554432000 4194304 4196468 140733842866000 140733842848544 140193678065399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
/proc/22007/statm: 3520684 12635 3413 1 0 3482761 0
[pid=22007/tid=22009] ppid=22004 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/22007/task/22009/stat : 22009 (java) R 22004 22007 21941 0 -1 4202560 8449 0 0 0 28 1 0 0 20 0 15 0 246907475 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193682246448 140193678077334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22011] ppid=22004 vsize=14082736 memory=4211973420434783626 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22011/stat : 22011 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193273456912 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22012] ppid=22004 vsize=14082736 memory=139694229995445 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22012/stat : 22012 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193272404368 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22013] ppid=22004 vsize=14082736 memory=139694079868730 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22013/stat : 22013 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193271351824 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22015] ppid=22004 vsize=14082736 memory=139694079856079 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22015/stat : 22015 (java) S 22004 22007 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246907476 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193270299280 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22017] ppid=22004 vsize=14082736 memory=139694230015055 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22017/stat : 22017 (java) S 22004 22007 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246907478 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193152563696 140193678076546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22018] ppid=22004 vsize=14082736 memory=139694079865263 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22018/stat : 22018 (java) S 22004 22007 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246907478 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193151509920 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22019] ppid=22004 vsize=14082736 memory=279388159721360 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22019/stat : 22019 (java) S 22004 22007 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246907478 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193150457328 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22026] ppid=22004 vsize=14082736 memory=279388159719056 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22026/stat : 22026 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193149405904 140193678083995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22027] ppid=22004 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22007/task/22027/stat : 22027 (java) S 22004 22007 21941 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 246907481 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193148352496 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22028] ppid=22004 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22007/task/22028/stat : 22028 (java) S 22004 22007 21941 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 246907481 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193147299952 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22029] ppid=22004 vsize=14082736 memory=139694229993088 CPUtime=0.07 cores=1,3,5,7
/proc/22007/task/22029/stat : 22029 (java) R 22004 22007 21941 0 -1 4202560 293 0 0 0 7 0 0 0 20 0 15 0 246907481 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193146247408 140193658839953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22030] ppid=22004 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22030/stat : 22030 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193145195104 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22031] ppid=22004 vsize=14082736 memory=139694229993088 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22031/stat : 22031 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907481 14420721664 12635 33554432000 4194304 4196468 140733842866000 140193144142640 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50540 KiB

[startup+0.700777 s]
/proc/loadavg: 0.96 1.28 1.39 3/216 22031
/proc/meminfo: memFree=24282836/32770624 swapFree=67108372/67108860
[pid=22007] ppid=22004 vsize=14084804 memory=88816 CPUtime=0.99 cores=1,3,5,7
/proc/22007/stat : 22007 (java) S 22004 22007 21941 0 -1 1077944320 17576 0 0 0 95 4 0 0 20 0 15 0 246907475 14422839296 22204 33554432000 4194304 4196468 140733842866000 140733842848544 140193678065399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
/proc/22007/statm: 3521201 22204 3493 1 0 3483273 0
[pid=22007/tid=22009] ppid=22004 vsize=14084804 memory=1220 CPUtime=0.67 cores=1,3,5,7
/proc/22007/task/22009/stat : 22009 (java) R 22004 22007 21941 0 -1 4202560 14907 0 0 0 64 3 0 0 20 0 15 0 246907475 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193682281040 140193662145886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22011] ppid=22004 vsize=14084804 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22011/stat : 22011 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193273456912 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22012] ppid=22004 vsize=14084804 memory=868 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22012/stat : 22012 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193272404368 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22013] ppid=22004 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22013/stat : 22013 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907476 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193271351824 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22015] ppid=22004 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22015/stat : 22015 (java) S 22004 22007 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246907476 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193270299280 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22017] ppid=22004 vsize=14084804 memory=6370994028255662161 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22017/stat : 22017 (java) S 22004 22007 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246907478 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193152563696 140193678076546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22018] ppid=22004 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22018/stat : 22018 (java) S 22004 22007 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246907478 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193151509920 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22019] ppid=22004 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22019/stat : 22019 (java) S 22004 22007 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246907478 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193150457328 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22026] ppid=22004 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22026/stat : 22026 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193149405904 140193678083995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22027] ppid=22004 vsize=14084804 memory=227 CPUtime=0.09 cores=1,3,5,7
/proc/22007/task/22027/stat : 22027 (java) S 22004 22007 21941 0 -1 1077944384 511 0 0 0 9 0 0 0 20 0 15 0 246907481 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193148352496 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22028] ppid=22004 vsize=14084804 memory=7 CPUtime=0.06 cores=1,3,5,7
/proc/22007/task/22028/stat : 22028 (java) S 22004 22007 21941 0 -1 1077944384 409 0 0 0 6 0 0 0 20 0 15 0 246907481 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193147299952 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22029] ppid=22004 vsize=14084804 memory=703 CPUtime=0.15 cores=1,3,5,7
/proc/22007/task/22029/stat : 22029 (java) S 22004 22007 21941 0 -1 1077944384 367 0 0 0 15 0 0 0 20 0 15 0 246907481 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193146247408 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22030] ppid=22004 vsize=14084804 memory=279388159905264 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22030/stat : 22030 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193145195104 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22031] ppid=22004 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22031/stat : 22031 (java) S 22004 22007 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246907481 14422839296 22204 33554432000 4194304 4196468 140733842866000 140193144142640 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88816 KiB

[startup+1.5012 s]
/proc/loadavg: 0.96 1.28 1.39 7/216 22031
/proc/meminfo: memFree=24196552/32770624 swapFree=67108372/67108860
[pid=22007] ppid=22004 vsize=14086852 memory=218540 CPUtime=3.26 cores=1,3,5,7
/proc/22007/stat : 22007 (java) S 22004 22007 21941 0 -1 1077944320 24917 0 0 0 318 8 0 0 20 0 15 0 246907475 14424936448 54635 33554432000 4194304 4196468 140733842866000 140733842848544 140193678065399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
/proc/22007/statm: 3521713 54635 3559 1 0 3483785 0
[pid=22007/tid=22009] ppid=22004 vsize=14086852 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/22007/task/22009/stat : 22009 (java) R 22004 22007 21941 0 -1 4202560 17667 0 0 0 141 5 0 0 20 0 15 0 246907475 14424936448 54635 33554432000 4194304 4196468 140733842866000 140193682302344 140193320881500 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22011] ppid=22004 vsize=14086852 memory=4947657861966437248 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22011/stat : 22011 (java) S 22004 22007 21941 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 246907476 14424936448 54635 33554432000 4194304 4196468 140733842866000 140193273456912 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22012] ppid=22004 vsize=14086852 memory=-6007061419333675615 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22012/stat : 22012 (java) S 22004 22007 21941 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 246907476 14424936448 54635 33554432000 4194304 4196468 140733842866000 140193272404368 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22013] ppid=22004 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22013/stat : 22013 (java) S 22004 22007 21941 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 246907476 14424936448 54635 33554432000 4194304 4196468 140733842866000 140193271351824 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22015] ppid=22004 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22015/stat : 22015 (java) S 22004 22007 21941 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 246907476 14424936448 54635 33554432000 4194304 4196468 140733842866000 140193270299280 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22017] ppid=22004 vsize=14086852 memory=-7521968336679162414 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22017/stat : 22017 (java) S 22004 22007 21941 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 246907478 14424936448 54635 33554432000 4194304 4196468 140733842866000 140193152563696 140193678076546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0

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

/proc/22007/task/22009/stat : 22009 (java) R 22004 22007 21941 0 -1 4202560 238555 0 0 0 237201 51 0 0 20 0 15 0 246907475 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193682302976 140193319865036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22011] ppid=22004 vsize=14092996 memory=3922196 CPUtime=8.55 cores=1,3,5,7
/proc/22007/task/22011/stat : 22011 (java) S 22004 22007 21941 0 -1 1077944384 48413 0 0 0 782 73 0 0 20 0 15 0 246907476 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193273456912 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22012] ppid=22004 vsize=14092996 memory=3919632 CPUtime=8.55 cores=1,3,5,7
/proc/22007/task/22012/stat : 22012 (java) S 22004 22007 21941 0 -1 1077944384 45643 0 0 0 782 73 0 0 20 0 15 0 246907476 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193272404368 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22013] ppid=22004 vsize=14092996 memory=3920644 CPUtime=8.51 cores=1,3,5,7
/proc/22007/task/22013/stat : 22013 (java) S 22004 22007 21941 0 -1 1077944384 45404 0 0 0 778 73 0 0 20 0 15 0 246907476 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193271351824 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22015] ppid=22004 vsize=14092996 memory=0 CPUtime=8.54 cores=1,3,5,7
/proc/22007/task/22015/stat : 22015 (java) S 22004 22007 21941 0 -1 1077944384 52667 0 0 0 779 75 0 0 20 0 15 0 246907476 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193270299280 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22017] ppid=22004 vsize=14092996 memory=3920652 CPUtime=0.76 cores=1,3,5,7
/proc/22007/task/22017/stat : 22017 (java) S 22004 22007 21941 0 -1 1077944384 21465 0 0 0 66 10 0 0 20 0 15 0 246907478 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193152563696 140193678076546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22018] ppid=22004 vsize=14092996 memory=868 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22018/stat : 22018 (java) S 22004 22007 21941 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 246907478 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193151509984 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22019] ppid=22004 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22019/stat : 22019 (java) S 22004 22007 21941 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 246907478 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193150457344 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22026] ppid=22004 vsize=14092996 memory=67212 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22026/stat : 22026 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193149405904 140193678083995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22027] ppid=22004 vsize=14092996 memory=5540 CPUtime=2.72 cores=1,3,5,7
/proc/22007/task/22027/stat : 22027 (java) S 22004 22007 21941 0 -1 1077944384 23975 0 0 0 269 3 0 0 20 0 15 0 246907481 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193148352496 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22028] ppid=22004 vsize=14092996 memory=4400 CPUtime=2.9 cores=1,3,5,7
/proc/22007/task/22028/stat : 22028 (java) S 22004 22007 21941 0 -1 1077944384 19675 0 0 0 287 3 0 0 20 0 15 0 246907481 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193147299952 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22029] ppid=22004 vsize=14092996 memory=3920644 CPUtime=1.3 cores=1,3,5,7
/proc/22007/task/22029/stat : 22029 (java) S 22004 22007 21941 0 -1 1077944384 41223 0 0 0 127 3 0 0 20 0 15 0 246907481 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193146247408 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22030] ppid=22004 vsize=14092996 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22030/stat : 22030 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193145195104 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22031] ppid=22004 vsize=14092996 memory=164 CPUtime=1.22 cores=1,3,5,7
/proc/22007/task/22031/stat : 22031 (java) S 22004 22007 21941 0 -1 1077944384 2029 0 0 0 55 67 0 0 20 0 15 0 246907481 14431227904 980161 33554432000 4194304 4196468 140733842866000 140193144142640 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
Current children cumulated CPU time: 2415.69 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3920644 KiB

[startup+2442.3 s]
/proc/loadavg: 1.25 1.39 1.46 3/216 22124
/proc/meminfo: memFree=20187024/32770624 swapFree=67108372/67108860
[pid=22007] ppid=22004 vsize=14092996 memory=3911380 CPUtime=2476.56 cores=1,3,5,7
/proc/22007/stat : 22007 (java) S 22004 22007 21941 0 -1 1077944320 555162 0 0 0 247233 423 0 0 20 0 15 0 246907475 14431227904 977845 33554432000 4194304 4196468 140733842866000 140733842848544 140193678065399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
/proc/22007/statm: 3523249 977845 3623 1 0 3485321 0
[pid=22007/tid=22009] ppid=22004 vsize=14092996 memory=3914460 CPUtime=2432.2 cores=1,3,5,7
/proc/22007/task/22009/stat : 22009 (java) R 22004 22007 21941 0 -1 4202560 242146 0 0 0 243168 52 0 0 20 0 15 0 246907475 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193682302976 140193325608217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22011] ppid=22004 vsize=14092996 memory=3913436 CPUtime=8.83 cores=1,3,5,7
/proc/22007/task/22011/stat : 22011 (java) S 22004 22007 21941 0 -1 1077944384 50709 0 0 0 809 74 0 0 20 0 15 0 246907476 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193273456912 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22012] ppid=22004 vsize=14092996 memory=3913944 CPUtime=8.83 cores=1,3,5,7
/proc/22007/task/22012/stat : 22012 (java) S 22004 22007 21941 0 -1 1077944384 47033 0 0 0 809 74 0 0 20 0 15 0 246907476 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193272404368 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22013] ppid=22004 vsize=14092996 memory=3911380 CPUtime=8.79 cores=1,3,5,7
/proc/22007/task/22013/stat : 22013 (java) S 22004 22007 21941 0 -1 1077944384 47773 0 0 0 805 74 0 0 20 0 15 0 246907476 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193271351824 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22015] ppid=22004 vsize=14092996 memory=3911380 CPUtime=8.81 cores=1,3,5,7
/proc/22007/task/22015/stat : 22015 (java) S 22004 22007 21941 0 -1 1077944384 54227 0 0 0 806 75 0 0 20 0 15 0 246907476 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193270299280 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22017] ppid=22004 vsize=14092996 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/22007/task/22017/stat : 22017 (java) S 22004 22007 21941 0 -1 1077944384 21919 0 0 0 68 11 0 0 20 0 15 0 246907478 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193152563696 140193678076546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22018] ppid=22004 vsize=14092996 memory=3911380 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22018/stat : 22018 (java) S 22004 22007 21941 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 246907478 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193151509984 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22019] ppid=22004 vsize=14092996 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22019/stat : 22019 (java) S 22004 22007 21941 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 246907478 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193150457344 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22026] ppid=22004 vsize=14092996 memory=3913436 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22026/stat : 22026 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193149405904 140193678083995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22027] ppid=22004 vsize=14092996 memory=3913436 CPUtime=2.73 cores=1,3,5,7
/proc/22007/task/22027/stat : 22027 (java) S 22004 22007 21941 0 -1 1077944384 24839 0 0 0 270 3 0 0 20 0 15 0 246907481 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193148352496 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22028] ppid=22004 vsize=14092996 memory=3912920 CPUtime=2.91 cores=1,3,5,7
/proc/22007/task/22028/stat : 22028 (java) S 22004 22007 21941 0 -1 1077944384 20423 0 0 0 288 3 0 0 20 0 15 0 246907481 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193147299952 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22029] ppid=22004 vsize=14092996 memory=3912920 CPUtime=1.31 cores=1,3,5,7
/proc/22007/task/22029/stat : 22029 (java) S 22004 22007 21941 0 -1 1077944384 42544 0 0 0 127 4 0 0 20 0 15 0 246907481 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193146247408 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22030] ppid=22004 vsize=14092996 memory=3911380 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22030/stat : 22030 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193145195104 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22031] ppid=22004 vsize=14092996 memory=3913436 CPUtime=1.26 cores=1,3,5,7
/proc/22007/task/22031/stat : 22031 (java) S 22004 22007 21941 0 -1 1077944384 2088 0 0 0 57 69 0 0 20 0 15 0 246907481 14431227904 977845 33554432000 4194304 4196468 140733842866000 140193144142640 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
Current children cumulated CPU time: 2476.56 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3911380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2485.11 s]
/proc/loadavg: 1.33 1.39 1.46 3/216 22205
/proc/meminfo: memFree=20252660/32770624 swapFree=67108372/67108860
[pid=22007] ppid=22004 vsize=14092996 memory=3909808 CPUtime=2520.01 cores=1,3,5,7
/proc/22007/stat : 22007 (java) S 22004 22007 21941 0 -1 1077944320 561556 0 0 0 251575 426 0 0 20 0 15 0 246907475 14431227904 977452 33554432000 4194304 4196468 140733842866000 140733842848544 140193678065399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
/proc/22007/statm: 3523249 977452 3623 1 0 3485321 0
[pid=22007/tid=22009] ppid=22004 vsize=14092996 memory=3910852 CPUtime=2474.76 cores=1,3,5,7
/proc/22007/task/22009/stat : 22009 (java) R 22004 22007 21941 0 -1 4202560 244144 0 0 0 247424 52 0 0 20 0 15 0 246907475 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193682302976 140193321016703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22011] ppid=22004 vsize=14092996 memory=3910844 CPUtime=9.04 cores=1,3,5,7
/proc/22007/task/22011/stat : 22011 (java) S 22004 22007 21941 0 -1 1077944384 51544 0 0 0 830 74 0 0 20 0 15 0 246907476 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193273456912 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22012] ppid=22004 vsize=14092996 memory=3908276 CPUtime=9.04 cores=1,3,5,7
/proc/22007/task/22012/stat : 22012 (java) S 22004 22007 21941 0 -1 1077944384 48242 0 0 0 830 74 0 0 20 0 15 0 246907476 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193272404368 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22013] ppid=22004 vsize=14092996 memory=3910332 CPUtime=9.01 cores=1,3,5,7
/proc/22007/task/22013/stat : 22013 (java) S 22004 22007 21941 0 -1 1077944384 49045 0 0 0 826 75 0 0 20 0 15 0 246907476 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193271351824 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22015] ppid=22004 vsize=14092996 memory=3910324 CPUtime=9.03 cores=1,3,5,7
/proc/22007/task/22015/stat : 22015 (java) S 22004 22007 21941 0 -1 1077944384 55007 0 0 0 827 76 0 0 20 0 15 0 246907476 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193270299280 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22017] ppid=22004 vsize=14092996 memory=3909300 CPUtime=0.81 cores=1,3,5,7
/proc/22007/task/22017/stat : 22017 (java) S 22004 22007 21941 0 -1 1077944384 22174 0 0 0 70 11 0 0 20 0 15 0 246907478 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193152563696 140193678076546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22018] ppid=22004 vsize=14092996 memory=3907760 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22018/stat : 22018 (java) S 22004 22007 21941 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 246907478 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193151509984 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22019] ppid=22004 vsize=14092996 memory=3907760 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22019/stat : 22019 (java) S 22004 22007 21941 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 246907478 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193150457344 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22026] ppid=22004 vsize=14092996 memory=3907760 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22026/stat : 22026 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193149405904 140193678083995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22027] ppid=22004 vsize=14092996 memory=3909300 CPUtime=2.73 cores=1,3,5,7
/proc/22007/task/22027/stat : 22027 (java) S 22004 22007 21941 0 -1 1077944384 24842 0 0 0 270 3 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193148352496 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22028] ppid=22004 vsize=14092996 memory=67212 CPUtime=2.91 cores=1,3,5,7
/proc/22007/task/22028/stat : 22028 (java) S 22004 22007 21941 0 -1 1077944384 20425 0 0 0 288 3 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193147299952 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22029] ppid=22004 vsize=14092996 memory=1100 CPUtime=1.31 cores=1,3,5,7
/proc/22007/task/22029/stat : 22029 (java) S 22004 22007 21941 0 -1 1077944384 42547 0 0 0 127 4 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193146247408 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22030] ppid=22004 vsize=14092996 memory=279388160345888 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22030/stat : 22030 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193145195104 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22031] ppid=22004 vsize=14092996 memory=8243114992657236051 CPUtime=1.28 cores=1,3,5,7
/proc/22007/task/22031/stat : 22031 (java) S 22004 22007 21941 0 -1 1077944384 2125 0 0 0 58 70 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193144142640 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3909808 KiB

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

[startup+2485.16 s]
# the end of solver process 22007 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.78 s, system=4.28412 s

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

[startup+2485.11 s]
/proc/loadavg: 1.33 1.39 1.46 3/216 22205
/proc/meminfo: memFree=20252660/32770624 swapFree=67108372/67108860
[pid=22007] ppid=22004 vsize=14092996 memory=3909808 CPUtime=2520.01 cores=1,3,5,7
/proc/22007/stat : 22007 (java) S 22004 22007 21941 0 -1 1077944320 561556 0 0 0 251575 426 0 0 20 0 15 0 246907475 14431227904 977452 33554432000 4194304 4196468 140733842866000 140733842848544 140193678065399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
/proc/22007/statm: 3523249 977452 3623 1 0 3485321 0
[pid=22007/tid=22009] ppid=22004 vsize=14092996 memory=3910852 CPUtime=2474.76 cores=1,3,5,7
/proc/22007/task/22009/stat : 22009 (java) R 22004 22007 21941 0 -1 4202560 244144 0 0 0 247424 52 0 0 20 0 15 0 246907475 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193682302976 140193321016703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22011] ppid=22004 vsize=14092996 memory=3910844 CPUtime=9.04 cores=1,3,5,7
/proc/22007/task/22011/stat : 22011 (java) S 22004 22007 21941 0 -1 1077944384 51544 0 0 0 830 74 0 0 20 0 15 0 246907476 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193273456912 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22012] ppid=22004 vsize=14092996 memory=3908276 CPUtime=9.04 cores=1,3,5,7
/proc/22007/task/22012/stat : 22012 (java) S 22004 22007 21941 0 -1 1077944384 48242 0 0 0 830 74 0 0 20 0 15 0 246907476 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193272404368 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22013] ppid=22004 vsize=14092996 memory=3910332 CPUtime=9.01 cores=1,3,5,7
/proc/22007/task/22013/stat : 22013 (java) S 22004 22007 21941 0 -1 1077944384 49045 0 0 0 826 75 0 0 20 0 15 0 246907476 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193271351824 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22015] ppid=22004 vsize=14092996 memory=3910324 CPUtime=9.03 cores=1,3,5,7
/proc/22007/task/22015/stat : 22015 (java) S 22004 22007 21941 0 -1 1077944384 55007 0 0 0 827 76 0 0 20 0 15 0 246907476 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193270299280 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22017] ppid=22004 vsize=14092996 memory=3909300 CPUtime=0.81 cores=1,3,5,7
/proc/22007/task/22017/stat : 22017 (java) S 22004 22007 21941 0 -1 1077944384 22174 0 0 0 70 11 0 0 20 0 15 0 246907478 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193152563696 140193678076546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22018] ppid=22004 vsize=14092996 memory=3907760 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22018/stat : 22018 (java) S 22004 22007 21941 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 246907478 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193151509984 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22019] ppid=22004 vsize=14092996 memory=3907760 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22019/stat : 22019 (java) S 22004 22007 21941 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 246907478 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193150457344 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22026] ppid=22004 vsize=14092996 memory=3907760 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22026/stat : 22026 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193149405904 140193678083995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22027] ppid=22004 vsize=14092996 memory=3909300 CPUtime=2.73 cores=1,3,5,7
/proc/22007/task/22027/stat : 22027 (java) S 22004 22007 21941 0 -1 1077944384 24842 0 0 0 270 3 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193148352496 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22028] ppid=22004 vsize=14092996 memory=67212 CPUtime=2.91 cores=1,3,5,7
/proc/22007/task/22028/stat : 22028 (java) S 22004 22007 21941 0 -1 1077944384 20425 0 0 0 288 3 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193147299952 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22029] ppid=22004 vsize=14092996 memory=1100 CPUtime=1.31 cores=1,3,5,7
/proc/22007/task/22029/stat : 22029 (java) S 22004 22007 21941 0 -1 1077944384 42547 0 0 0 127 4 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193146247408 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22030] ppid=22004 vsize=14092996 memory=279388160345888 CPUtime=0 cores=1,3,5,7
/proc/22007/task/22030/stat : 22030 (java) S 22004 22007 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193145195104 140193678075605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
[pid=22007/tid=22031] ppid=22004 vsize=14092996 memory=8243114992657236051 CPUtime=1.28 cores=1,3,5,7
/proc/22007/task/22031/stat : 22031 (java) S 22004 22007 21941 0 -1 1077944384 2125 0 0 0 58 70 0 0 20 0 15 0 246907481 14431227904 977452 33554432000 4194304 4196468 140733842866000 140193144142640 140193678076546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7471104 140733842867286 140733842867465 140733842867465 140733842870223 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3909808 KiB

Child status: 143
Real time (s): 2485.16
CPU time (s): 2520.07
CPU user time (s): 2515.78
CPU system time (s): 4.28412
CPU usage (%): 101.405
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4158964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.78
system time used= 4.28412
maximum resident set size= 4158964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69116
involuntary context switches= 2147


# summary of solver processes directly reported to runsolver:
#   pid: 22007
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2515.78
#   total CPU system time (s): 4.28412

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6868 second user time and 22.0667 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml
MD5SUM	69672b68d8d3f9201b488571cf4784d4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	35807
Best CPU time to get the best result obtained on this benchmark	2520.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	5256
Number of constraints	2557
Number of domains	2
Minimum domain size	8
Maximum domain size	72
Distribution of domain sizes	[{"size":8,"count":2556},{"size":72,"count":72}]
Minimum variable degree	0
Maximum variable degree	72
Distribution of variable degrees	[{"degree":0,"count":2628},{"degree":2,"count":2556},{"degree":72,"count":72}]
Minimum constraint arity	3
Maximum constraint arity	72
Distribution of constraint arities	[{"arity":3,"count":2556},{"arity":72,"count":1}]
Number of extensional constraints	2556
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2556},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4308520

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