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)	12137	2520.09	2454.73

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 110093748
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
5.40/2.70	c Parsing done, starting first complete search...
6.02/2.95	o 14862
6.02/2.96	o 14859
6.02/2.98	o 14851
6.02/2.98	o 14838
6.34/3.07	o 14828
6.34/3.07	o 14818
6.34/3.08	o 14805
6.34/3.08	o 14786
6.34/3.10	o 14783
6.92/3.23	o 14776
6.92/3.23	o 14768
6.92/3.24	o 14744
6.92/3.27	o 14726
7.22/3.31	o 14709
7.22/3.31	o 14677
7.80/3.66	o 14670
8.01/3.89	o 14662
11.93/7.23	c First complete search done, starting ALNS search...
12.21/7.41	o 14604
12.21/7.41	o 14376
12.21/7.41	o 14343
12.21/7.42	o 14317
12.21/7.43	o 14309
14.25/9.01	o 14245
14.25/9.01	o 14138
14.25/9.02	o 14119
14.47/9.20	o 14116
14.47/9.20	o 14079
14.47/9.22	o 14072
14.47/9.23	o 14039
14.58/9.38	o 14003
14.69/9.45	o 13992
14.92/9.54	o 13991
22.18/16.16	o 13969
22.18/16.18	o 13941
27.64/21.48	o 13931
27.64/21.48	o 13929
28.95/22.79	o 13896
29.07/22.83	o 13874
29.07/22.88	o 13848
36.29/30.04	o 13845
62.03/55.51	o 13833
62.03/55.51	o 13785
62.03/55.54	o 13777
62.15/55.65	o 13763
62.45/55.97	o 13732
62.95/56.47	o 13728
62.95/56.47	o 13720
62.95/56.49	o 13698
62.95/56.49	o 13682
63.40/56.89	o 13678
63.50/56.90	o 13654
63.61/57.02	o 13588
64.05/57.45	o 13521
64.05/57.47	o 13503
64.05/57.47	o 13500
65.45/58.87	o 13494
65.55/58.90	o 13488
65.55/58.93	o 13477
65.66/59.08	o 13475
65.78/59.12	o 13457
65.87/59.26	o 13429
79.06/72.39	o 13399
79.06/72.39	o 13319
79.46/72.75	o 13259
79.46/72.75	o 13207
79.56/72.83	o 13179
80.97/74.22	o 13157
95.76/88.95	o 13121
97.39/90.56	o 13109
97.39/90.56	o 13077
97.80/90.95	o 13064
98.20/91.33	o 13060
98.30/91.40	o 13054
98.30/91.42	o 13004
98.60/91.71	o 12974
99.51/92.66	o 12954
99.61/92.73	o 12947
99.81/93.00	o 12906
100.52/93.61	o 12902
100.72/93.85	o 12894
100.72/93.88	o 12886
100.72/93.89	o 12842
101.32/94.43	o 12836
101.32/94.45	o 12829
101.32/94.46	o 12814
101.32/94.47	o 12801
101.32/94.47	o 12791
104.55/97.65	o 12769
104.55/97.66	o 12705
104.86/97.93	o 12699
105.46/98.52	o 12689
107.27/100.39	o 12663
126.93/119.99	o 12659
129.46/122.42	o 12650
129.46/122.44	o 12638
129.56/122.57	o 12625
129.76/122.79	o 12613
152.66/145.54	o 12602
152.66/145.54	o 12592
152.86/145.78	o 12570
153.06/145.96	o 12559
153.17/146.05	o 12541
158.39/151.21	o 12537
161.10/153.92	o 12534
161.80/154.61	o 12527
161.80/154.65	o 12520
161.80/154.67	o 12515
161.80/154.67	o 12485
161.91/154.78	o 12478
168.05/160.87	o 12473
168.05/160.88	o 12471
168.05/160.88	o 12468
172.00/164.75	o 12466
232.06/223.63	o 12460
240.85/232.23	o 12425
251.28/242.42	o 12407
253.53/244.68	o 12393
256.80/247.87	o 12379
280.65/271.19	o 12373
305.22/295.17	o 12343
313.80/303.50	o 12342
322.38/311.90	o 12322
336.42/325.62	o 12310
362.44/351.05	o 12308
365.63/354.14	o 12278
372.27/360.62	o 12216
400.53/388.22	o 12199
407.19/394.75	o 12188
407.19/394.79	o 12177
409.34/396.87	o 12165
420.40/407.63	o 12161
618.33/600.24	o 12151
888.05/862.90	o 12149
1220.82/1187.50	o 12147
1220.82/1187.50	o 12144
1496.09/1456.28	o 12143
1496.09/1456.28	o 12139
1797.96/1750.82	o 12137
2520.06/2454.70	s SATISFIABLE
2520.06/2454.70	v <instantiation>
2520.06/2454.70	v 	<list>
2520.06/2454.70	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[44][45] d[44][46] d[44][47] d[44][48] d[45][46] d[45][47] d[45][48] d[46][47] d[46][48] d[47][48]
2520.06/2454.70	v 	</list>
2520.06/2454.70	v 	<values>
2520.06/2454.70	v 		20 43 29 21 23 18 3 22 30 2 39 8 11 12 48 15 32 26 25 35 19 47 7 14 33 6 41 17 34 31 9 10 40 0 13 27 4 16 24 28 42 45 38 1 37 5 44 36 46 0 10 4 5 6 2 1 0 3 0 2 0 0 0 10 0 5 2 1 5 1 5 2 0 0 3 0 6 5 2 0 2 0 0 4 3 1 0 5 2 0 5 0 0 0 6 2 0 3 4 1 5 1 2 5 3 2 5 5 0 1 2 5 0 2 0 4 2 10 0 0 1 0 5 0 0 0 1 1 5 0 0 1 10 1 1 0 1 5 5 5 5 0 0 1 5 5 10 0 0 5 10 0 3 1 0 0 5 10 2 5 0 2 3 5 2 10 6 2 2 2 5 0 4 2 0 0 0 0 5 5 2 1 1 0 5 0 0 1 3 0 2 2 3 2 5 2 10 5 2 0 5 5 2 5 0 5 0 1 2 1 0 0 2 5 1 5 3 6 0 2 0 0 2 5 0 0 0 1 0 0 0 1 5 5 1 1 10 0 10 1 2 10 0 1 2 0 2 0 10 10 1 5 2 2 5 2 1 1 0 2 1 0 3 2 2 1 2 0 0 1 0 0 2 0 2 5 2 2 0 5 5 0 1 0 0 0 5 0 0 0 1 0 5 6 0 0 2 1 4 6 0 5 5 1 5 0 5 2 0 2 1 5 2 2 1 0 1 0 1 0 5 0 0 0 0 1 4 5 5 0 5 6 2 3 0 2 1 3 5 0 0 2 2 2 0 0 1 5 1 2 0 2 10 1 2 0 0 0 1 2 0 2 4 1 10 10 0 5 2 0 0 5 10 10 2 0 2 10 10 4 0 0 0 0 1 1 2 4 0 0 2 1 2 0 0 3 4 2 2 5 2 1 1 0 0 10 5 1 5 5 10 5 5 2 2 0 5 0 5 0 2 0 0 1 5 2 2 0 5 0 2 5 5 0 1 0 2 0 0 10 5 10 0 0 4 5 0 10 2 0 0 0 5 2 0 2 2 0 10 0 0 6 1 3 0 0 1 0 2 5 3 5 1 1 0 2 0 0 1 5 2 0 1 1 0 10 5 5 5 1 5 1 5 0 5 2 0 4 5 1 0 5 2 1 10 0 0 0 0 2 0 5 1 2 4 0 2 0 5 0 0 0 10 10 1 0 1 2 2 4 4 1 0 10 10 6 2 2 5 1 10 0 5 2 5 0 1 0 0 3 0 0 2 5 5 1 3 5 1 0 0 2 0 1 2 5 0 2 1 2 2 2 2 2 0 0 3 5 0 5 2 1 0 3 1 10 5 2 4 1 1 2 5 0 2 0 3 2 3 1 5 2 0 2 3 0 2 5 0 5 0 2 0 5 2 5 2 2 0 0 2 5 0 1 0 0 1 1 1 6 2 10 5 10 2 0 10 1 0 2 1 0 3 4 2 0 2 2 2 0 2 0 1 0 3 5 2 0 1 0 1 0 1 2 0 1 5 6 0 2 5 5 10 0 5 2 1 6 1 5 1 0 0 0 10 0 2 1 5 0 5 5 0 1 5 0 0 3 5 1 10 0 2 2 1 10 2 0 1 10 3 4 1 5 2 5 10 0 1 0 0 1 1 0 2 5 5 10 0 0 2 10 3 0 0 5 1 4 0 0 0 5 1 5 5 5 2 5 2 0 2 5 2 2 0 10 2 5 2 0 10 2 5 0 2 0 4 0 4 5 0 1 2 2 2 5 2 5 0 10 5 1 0 5 0 0 0 2 2 5 0 0 2 3 2 5 10 5 0 5 1 5 0 3 1 2 2 10 5 0 4 2 0 0 0 5 1 0 10 0 0 5 4 0 5 10 2 0 0 2 2 0 2 10 0 0 2 5 10 5 0 0 0 2 2 0 5 4 0 5 5 0 5 10 0 3 2 2 0 1 1 5 2 2 3 5 0 2 10 3 5 1 0 0 5 1 0 10 5 0 5 4 2 5 0 0 0 5 2 5 0 0 0 5 5 10 0 0 1 5 5 1 5 4 0 5 10 3 2 6 0 0 5 2 5 5 0 0 0 2 5 2 2 0 4 1 5 10 0 0 10 2 0 2 2 1 0 2 3 5 0 5 0 5 6 10 2 1 1 10 5 1 10 2 5 5 6 2 0 1 4 2 5 3 6 1 0 0 5 0 0 0 10 5 2 0 1 10 5 4 5 3 0 5 0 0 2 0 0 5 0 2 4 5 0 0 1 5 6 0 6 2 0 0 0 5 0 5 2 0 2 2 5 0 0 5 10 1 10 5 2 4 2 2 0 5 0 5 3 5 2 0 2 2 0 5 0 5 2 5 2 3 10 0 0 0 0 0 2 6 1 0 1 0 0 10 1 5 2 6 5 3 4 5 2 0 3 2 10 2 5 0 5 0 6 2 1 0 10 5 5 0 5 5 4 3 2 0 0 5 10 2 2 3 2 10 0 1 0 1 0 5 10 2 10 2 2 1 1 0 3 5 0 0 5 5 5 3 0 1 0 0 1 2 1 5 5 1 5 5 0 2 5 5 5 2 10 0 1 10 5 0 6 0 0 0 0 5 1 4 0 0 5 0 2 5 2 4 0 5 1 5 0 3 1 3 0 0 0 2 5 0 5 0 0 0 10 5 0 3 1 10 5 5 5 1 5 2 2 3 2 2 5 10 5 10 1 2 5 3 0 0 0 2 2 5 5 2 2 5 5 10 1 10 0 2 10 0 5 5 10 0 10 5 0 
2520.06/2454.70	v 	</values>
2520.06/2454.70	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 (13778 MiB free)
  memory of node 1: 16384 MiB (9806 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308517-1534296283/watcher-4308517-1534296283 -o /tmp/evaluation-result-4308517-1534296283/solver-4308517-1534296283 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534293823-2848 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 110093748 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308517-1534296283.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=3114, runsolver pid=3111

[startup+0.107216 s]*
/proc/loadavg: 1.36 1.37 1.33 3/220 3129
/proc/meminfo: memFree=24131496/32770624 swapFree=67108688/67108860
[pid=3114] ppid=3111 vsize=14082736 memory=33436 CPUtime=0.12 cores=1,3,5,7
/proc/3114/stat : 3114 (java) S 3111 3114 2816 0 -1 1077944320 7325 0 0 0 10 2 0 0 20 0 15 0 247191530 14420721664 8359 33554432000 4194304 4196468 140730002341040 140730002323584 140507285245687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
/proc/3114/statm: 3520684 8359 3132 1 0 3482761 0
[pid=3114/tid=3116] ppid=3111 vsize=14082736 memory=-8537239907798447296 CPUtime=0.09 cores=1,3,5,7
/proc/3114/task/3116/stat : 3116 (java) R 3111 3114 2816 0 -1 4202560 5408 0 0 0 8 1 0 0 20 0 15 0 247191531 14420721664 8425 33554432000 4194304 4196468 140730002341040 140507289465640 140507269326174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3117] ppid=3111 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3117/stat : 3117 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506881518480 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3118] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3118/stat : 3118 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506880465680 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3119] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3119/stat : 3119 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506879413392 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3120] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3120/stat : 3120 (java) S 3111 3114 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506878360592 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3121] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3121/stat : 3121 (java) S 3111 3114 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247191533 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506759653488 140507285256834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3122] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3122/stat : 3122 (java) S 3111 3114 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247191533 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506758599456 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3123] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3123/stat : 3123 (java) S 3111 3114 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247191534 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506757547120 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3124] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3124/stat : 3124 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506756495440 140507285264283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3125] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3125/stat : 3125 (java) S 3111 3114 2816 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506755443312 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3126] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3126/stat : 3126 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506754390512 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3127] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0.01 cores=1,3,5,7
/proc/3114/task/3127/stat : 3127 (java) S 3111 3114 2816 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 247191536 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506753338224 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3128] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3128/stat : 3128 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506752285664 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3129] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3129/stat : 3129 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 8425 33554432000 4194304 4196468 140730002341040 140506751232432 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33436 KiB

[startup+0.219865 s]*
/proc/loadavg: 1.36 1.37 1.33 5/220 3129
/proc/meminfo: memFree=24117340/32770624 swapFree=67108688/67108860
[pid=3114] ppid=3111 vsize=14082736 memory=47196 CPUtime=0.32 cores=1,3,5,7
/proc/3114/stat : 3114 (java) S 3111 3114 2816 0 -1 1077944320 10391 0 0 0 30 2 0 0 20 0 15 0 247191530 14420721664 11799 33554432000 4194304 4196468 140730002341040 140730002323584 140507285245687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
/proc/3114/statm: 3520684 11799 3378 1 0 3482761 0
[pid=3114/tid=3116] ppid=3111 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3114/task/3116/stat : 3116 (java) R 3111 3114 2816 0 -1 4202560 8116 0 0 0 19 1 0 0 20 0 15 0 247191531 14420721664 11799 33554432000 4194304 4196468 140730002341040 140507289475664 140507285257622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3117] ppid=3111 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3117/stat : 3117 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506881518480 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3118] ppid=3111 vsize=14082736 memory=3978852238972081824 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3118/stat : 3118 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506880465680 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3119] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3119/stat : 3119 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506879413392 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3120] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3120/stat : 3120 (java) S 3111 3114 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506878360592 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3121] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3121/stat : 3121 (java) S 3111 3114 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247191533 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506759653488 140507285256834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3122] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3122/stat : 3122 (java) S 3111 3114 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247191533 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506758599456 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3123] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3123/stat : 3123 (java) S 3111 3114 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247191534 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506757547120 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3124] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3124/stat : 3124 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506756495440 140507285264283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3125] ppid=3111 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3114/task/3125/stat : 3125 (java) S 3111 3114 2816 0 -1 1077944384 526 0 0 0 1 0 0 0 20 0 15 0 247191536 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506755443312 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3126] ppid=3111 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3114/task/3126/stat : 3126 (java) S 3111 3114 2816 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 15 0 247191536 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506754390512 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3127] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0.06 cores=1,3,5,7
/proc/3114/task/3127/stat : 3127 (java) R 3111 3114 2816 0 -1 4202560 286 0 0 0 6 0 0 0 20 0 15 0 247191536 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506753338224 140507285257622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3128] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3128/stat : 3128 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506752285664 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3129] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3129/stat : 3129 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 11799 33554432000 4194304 4196468 140730002341040 140506751232432 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47196 KiB

[startup+0.31074 s]*
/proc/loadavg: 1.36 1.37 1.33 3/220 3129
/proc/meminfo: memFree=24113928/32770624 swapFree=67108688/67108860
[pid=3114] ppid=3111 vsize=14082736 memory=50144 CPUtime=0.43 cores=1,3,5,7
/proc/3114/stat : 3114 (java) S 3111 3114 2816 0 -1 1077944320 10705 0 0 0 40 3 0 0 20 0 15 0 247191530 14420721664 12536 33554432000 4194304 4196468 140730002341040 140730002323584 140507285245687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
/proc/3114/statm: 3520684 12536 3379 1 0 3482761 0
[pid=3114/tid=3116] ppid=3111 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/3114/task/3116/stat : 3116 (java) R 3111 3114 2816 0 -1 4202560 8410 0 0 0 28 2 0 0 20 0 15 0 247191531 14420721664 12536 33554432000 4194304 4196468 140730002341040 140507289407424 140507270411359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3117] ppid=3111 vsize=14082736 memory=4294980954 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3117/stat : 3117 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506881518480 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3118] ppid=3111 vsize=14082736 memory=3906794644934153888 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3118/stat : 3118 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506880465680 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3119] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3119/stat : 3119 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506879413392 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3120] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3120/stat : 3120 (java) S 3111 3114 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247191532 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506878360592 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3121] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3121/stat : 3121 (java) S 3111 3114 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247191533 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506759653488 140507285256834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3122] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3122/stat : 3122 (java) S 3111 3114 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247191533 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506758599456 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3123] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3123/stat : 3123 (java) S 3111 3114 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247191534 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506757547120 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3124] ppid=3111 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3124/stat : 3124 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506756495440 140507285264283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3125] ppid=3111 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3114/task/3125/stat : 3125 (java) S 3111 3114 2816 0 -1 1077944384 526 0 0 0 1 0 0 0 20 0 15 0 247191536 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506755443312 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3126] ppid=3111 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3114/task/3126/stat : 3126 (java) S 3111 3114 2816 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 15 0 247191536 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506754390512 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3127] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0.07 cores=1,3,5,7
/proc/3114/task/3127/stat : 3127 (java) S 3111 3114 2816 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 15 0 247191536 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506753338224 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3128] ppid=3111 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3128/stat : 3128 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506752285664 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3129] ppid=3111 vsize=14082736 memory=140525368694400 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3129/stat : 3129 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191536 14420721664 12536 33554432000 4194304 4196468 140730002341040 140506751232432 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50144 KiB

[startup+0.700746 s]
/proc/loadavg: 1.36 1.37 1.33 5/220 3129
/proc/meminfo: memFree=24092052/32770624 swapFree=67108688/67108860
[pid=3114] ppid=3111 vsize=14084804 memory=88952 CPUtime=0.99 cores=1,3,5,7
/proc/3114/stat : 3114 (java) S 3111 3114 2816 0 -1 1077944320 17585 0 0 0 94 5 0 0 20 0 15 0 247191530 14422839296 22238 33554432000 4194304 4196468 140730002341040 140730002323584 140507285245687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
/proc/3114/statm: 3521201 22238 3497 1 0 3483273 0
[pid=3114/tid=3116] ppid=3111 vsize=14084804 memory=1172 CPUtime=0.67 cores=1,3,5,7
/proc/3114/task/3116/stat : 3116 (java) R 3111 3114 2816 0 -1 4202560 14865 0 0 0 64 3 0 0 20 0 15 0 247191531 14422839296 22238 33554432000 4194304 4196468 140730002341040 140507289461728 140507269326174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3117] ppid=3111 vsize=14084804 memory=37196 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3117/stat : 3117 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506881518480 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3118] ppid=3111 vsize=14084804 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3118/stat : 3118 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506880465680 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3119] ppid=3111 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3119/stat : 3119 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506879413392 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3120] ppid=3111 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3120/stat : 3120 (java) S 3111 3114 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247191532 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506878360592 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3121] ppid=3111 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3121/stat : 3121 (java) S 3111 3114 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247191533 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506759653488 140507285256834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3122] ppid=3111 vsize=14084804 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3122/stat : 3122 (java) S 3111 3114 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247191533 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506758599456 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3123] ppid=3111 vsize=14084804 memory=924 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3123/stat : 3123 (java) S 3111 3114 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247191534 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506757547120 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3124] ppid=3111 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3124/stat : 3124 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506756495440 140507285264283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3125] ppid=3111 vsize=14084804 memory=7237400421024098393 CPUtime=0.07 cores=1,3,5,7
/proc/3114/task/3125/stat : 3125 (java) S 3111 3114 2816 0 -1 1077944384 674 0 0 0 7 0 0 0 20 0 15 0 247191536 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506755443312 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3126] ppid=3111 vsize=14084804 memory=6154282490091891024 CPUtime=0.07 cores=1,3,5,7
/proc/3114/task/3126/stat : 3126 (java) S 3111 3114 2816 0 -1 1077944384 260 0 0 0 7 0 0 0 20 0 15 0 247191536 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506754390512 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3127] ppid=3111 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/3114/task/3127/stat : 3127 (java) S 3111 3114 2816 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 247191536 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506753338224 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3128] ppid=3111 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3128/stat : 3128 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506752285664 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3129] ppid=3111 vsize=14084804 memory=8696 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3129/stat : 3129 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191536 14422839296 22238 33554432000 4194304 4196468 140730002341040 140506751232432 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88952 KiB

[startup+1.50072 s]
/proc/loadavg: 1.36 1.37 1.33 4/220 3129
/proc/meminfo: memFree=24051200/32770624 swapFree=67108688/67108860
[pid=3114] ppid=3111 vsize=14090948 memory=174212 CPUtime=3 cores=1,3,5,7
/proc/3114/stat : 3114 (java) S 3111 3114 2816 0 -1 1077944320 25191 0 0 0 292 8 0 0 20 0 15 0 247191530 14429130752 43494 33554432000 4194304 4196468 140730002341040 140730002323584 140507285245687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
/proc/3114/statm: 3522737 43553 3547 1 0 3484809 0
[pid=3114/tid=3116] ppid=3111 vsize=14090948 memory=158496 CPUtime=1.46 cores=1,3,5,7
/proc/3114/task/3116/stat : 3116 (java) R 3111 3114 2816 0 -1 4202560 18870 0 0 0 141 5 0 0 20 0 15 0 247191531 14429130752 43553 33554432000 4194304 4196468 140730002341040 140507289478000 140507269289317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3117] ppid=3111 vsize=14090948 memory=164 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3117/stat : 3117 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14429130752 43553 33554432000 4194304 4196468 140730002341040 140506881518480 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3118] ppid=3111 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3118/stat : 3118 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14429130752 43553 33554432000 4194304 4196468 140730002341040 140506880465680 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3119] ppid=3111 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3119/stat : 3119 (java) S 3111 3114 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247191532 14429130752 43553 33554432000 4194304 4196468 140730002341040 140506879413392 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3120] ppid=3111 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3120/stat : 3120 (java) S 3111 3114 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247191532 14429130752 43553 33554432000 4194304 4196468 140730002341040 140506878360592 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3121] ppid=3111 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3121/stat : 3121 (java) S 3111 3114 2816 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 247191533 14429130752 43553 33554432000 4194304 4196468 140730002341040 140506759653488 140507285256834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0

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

/proc/3114/task/3116/stat : 3116 (java) R 3111 3114 2816 0 -1 4202560 150323 0 0 0 235685 85 0 0 20 0 15 0 247191531 14431227904 270033 33554432000 4194304 4196468 140730002341040 140507289482752 140506924878628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3117] ppid=3111 vsize=14092996 memory=3732 CPUtime=19.39 cores=1,3,5,7
/proc/3114/task/3117/stat : 3117 (java) S 3111 3114 2816 0 -1 1077944384 27163 0 0 0 1891 48 0 0 20 0 15 0 247191532 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506881518480 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3118] ppid=3111 vsize=14092996 memory=55 CPUtime=19.39 cores=1,3,5,7
/proc/3114/task/3118/stat : 3118 (java) S 3111 3114 2816 0 -1 1077944384 30916 0 0 0 1892 47 0 0 20 0 15 0 247191532 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506880465680 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3119] ppid=3111 vsize=14092996 memory=0 CPUtime=19.35 cores=1,3,5,7
/proc/3114/task/3119/stat : 3119 (java) S 3111 3114 2816 0 -1 1077944384 27149 0 0 0 1888 47 0 0 20 0 15 0 247191532 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506879413392 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3120] ppid=3111 vsize=14092996 memory=1077596 CPUtime=19.36 cores=1,3,5,7
/proc/3114/task/3120/stat : 3120 (java) S 3111 3114 2816 0 -1 1077944384 28595 0 0 0 1889 47 0 0 20 0 15 0 247191532 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506878360592 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3121] ppid=3111 vsize=14092996 memory=3824 CPUtime=2.9 cores=1,3,5,7
/proc/3114/task/3121/stat : 3121 (java) S 3111 3114 2816 0 -1 1077944384 66930 0 0 0 244 46 0 0 20 0 15 0 247191533 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506759653488 140507285256834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3122] ppid=3111 vsize=14092996 memory=1081788 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3122/stat : 3122 (java) S 3111 3114 2816 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 247191533 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506758599520 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3123] ppid=3111 vsize=14092996 memory=1078668 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3123/stat : 3123 (java) S 3111 3114 2816 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 247191534 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506757547136 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3124] ppid=3111 vsize=14092996 memory=1082220 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3124/stat : 3124 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506756495440 140507285264283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3125] ppid=3111 vsize=14092996 memory=1081204 CPUtime=2.29 cores=1,3,5,7
/proc/3114/task/3125/stat : 3125 (java) S 3111 3114 2816 0 -1 1077944384 19281 0 0 0 224 5 0 0 20 0 15 0 247191536 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506755443312 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3126] ppid=3111 vsize=14092996 memory=8112282956445269571 CPUtime=2.56 cores=1,3,5,7
/proc/3114/task/3126/stat : 3126 (java) S 3111 3114 2816 0 -1 1077944384 20972 0 0 0 252 4 0 0 20 0 15 0 247191536 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506754390512 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3127] ppid=3111 vsize=14092996 memory=1612 CPUtime=1.41 cores=1,3,5,7
/proc/3114/task/3127/stat : 3127 (java) S 3111 3114 2816 0 -1 1077944384 55166 0 0 0 135 6 0 0 20 0 15 0 247191536 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506753338224 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3128] ppid=3111 vsize=14092996 memory=1080132 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3128/stat : 3128 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506752285664 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3129] ppid=3111 vsize=14092996 memory=3824 CPUtime=1.39 cores=1,3,5,7
/proc/3114/task/3129/stat : 3129 (java) S 3111 3114 2816 0 -1 1077944384 1580 0 0 0 63 76 0 0 20 0 15 0 247191536 14431227904 270033 33554432000 4194304 4196468 140730002341040 140506751232432 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
Current children cumulated CPU time: 2445.84 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1080132 KiB

[startup+2442.3 s]
/proc/loadavg: 1.05 1.23 1.32 3/220 3314
/proc/meminfo: memFree=21358964/32770624 swapFree=67108688/67108860
[pid=3114] ppid=3111 vsize=14092996 memory=1103844 CPUtime=2507.37 cores=1,3,5,7
/proc/3114/stat : 3114 (java) S 3111 3114 2816 0 -1 1077944320 432106 0 0 0 250340 397 0 0 20 0 15 0 247191530 14431227904 275961 33554432000 4194304 4196468 140730002341040 140730002323584 140507285245687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
/proc/3114/statm: 3523249 275961 3622 1 0 3485321 0
[pid=3114/tid=3116] ppid=3111 vsize=14092996 memory=1102328 CPUtime=2417.11 cores=1,3,5,7
/proc/3114/task/3116/stat : 3116 (java) R 3111 3114 2816 0 -1 4202560 151603 0 0 0 241625 86 0 0 20 0 15 0 247191531 14431227904 275961 33554432000 4194304 4196468 140730002341040 140507289482832 140506931089051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3117] ppid=3111 vsize=14092996 memory=1013956 CPUtime=19.88 cores=1,3,5,7
/proc/3114/task/3117/stat : 3117 (java) S 3111 3114 2816 0 -1 1077944384 27308 0 0 0 1938 50 0 0 20 0 15 0 247191532 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506881518480 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3118] ppid=3111 vsize=14092996 memory=1102844 CPUtime=19.87 cores=1,3,5,7
/proc/3114/task/3118/stat : 3118 (java) S 3111 3114 2816 0 -1 1077944384 31097 0 0 0 1939 48 0 0 20 0 15 0 247191532 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506880465680 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3119] ppid=3111 vsize=14092996 memory=1103844 CPUtime=19.84 cores=1,3,5,7
/proc/3114/task/3119/stat : 3119 (java) S 3111 3114 2816 0 -1 1077944384 27303 0 0 0 1935 49 0 0 20 0 15 0 247191532 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506879413392 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3120] ppid=3111 vsize=14092996 memory=1102328 CPUtime=19.84 cores=1,3,5,7
/proc/3114/task/3120/stat : 3120 (java) S 3111 3114 2816 0 -1 1077944384 28775 0 0 0 1935 49 0 0 20 0 15 0 247191532 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506878360592 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3121] ppid=3111 vsize=14092996 memory=1103844 CPUtime=2.96 cores=1,3,5,7
/proc/3114/task/3121/stat : 3121 (java) S 3111 3114 2816 0 -1 1077944384 67113 0 0 0 249 47 0 0 20 0 15 0 247191533 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506759653488 140507285256834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3122] ppid=3111 vsize=14092996 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3122/stat : 3122 (java) S 3111 3114 2816 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 247191533 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506758599520 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3123] ppid=3111 vsize=14092996 memory=1024728 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3123/stat : 3123 (java) S 3111 3114 2816 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 247191534 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506757547136 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3124] ppid=3111 vsize=14092996 memory=1098780 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3124/stat : 3124 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506756495440 140507285264283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3125] ppid=3111 vsize=14092996 memory=1103340 CPUtime=2.35 cores=1,3,5,7
/proc/3114/task/3125/stat : 3125 (java) S 3111 3114 2816 0 -1 1077944384 19454 0 0 0 230 5 0 0 20 0 15 0 247191536 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506755443312 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3126] ppid=3111 vsize=14092996 memory=1100784 CPUtime=2.6 cores=1,3,5,7
/proc/3114/task/3126/stat : 3126 (java) S 3111 3114 2816 0 -1 1077944384 21241 0 0 0 256 4 0 0 20 0 15 0 247191536 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506754390512 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3127] ppid=3111 vsize=14092996 memory=67320 CPUtime=1.41 cores=1,3,5,7
/proc/3114/task/3127/stat : 3127 (java) S 3111 3114 2816 0 -1 1077944384 55168 0 0 0 135 6 0 0 20 0 15 0 247191536 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506753338224 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3128] ppid=3111 vsize=14092996 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3128/stat : 3128 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506752285664 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3129] ppid=3111 vsize=14092996 memory=1103844 CPUtime=1.41 cores=1,3,5,7
/proc/3114/task/3129/stat : 3129 (java) S 3111 3114 2816 0 -1 1077944384 1599 0 0 0 64 77 0 0 20 0 15 0 247191536 14431227904 275961 33554432000 4194304 4196468 140730002341040 140506751232432 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
Current children cumulated CPU time: 2507.37 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1103844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.7 s]
/proc/loadavg: 1.13 1.24 1.32 3/220 3314
/proc/meminfo: memFree=21370384/32770624 swapFree=67108688/67108860
[pid=3114] ppid=3111 vsize=14092996 memory=1101756 CPUtime=2520.06 cores=1,3,5,7
/proc/3114/stat : 3114 (java) S 3111 3114 2816 0 -1 1077944320 432826 0 0 0 251606 400 0 0 20 0 15 0 247191530 14431227904 275439 33554432000 4194304 4196468 140730002341040 140730002323584 140507285245687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
/proc/3114/statm: 3523249 275439 3622 1 0 3485321 0
[pid=3114/tid=3116] ppid=3111 vsize=14092996 memory=1105860 CPUtime=2429.39 cores=1,3,5,7
/proc/3114/task/3116/stat : 3116 (java) R 3111 3114 2816 0 -1 4202560 152266 0 0 0 242853 86 0 0 20 0 15 0 247191531 14431227904 275439 33554432000 4194304 4196468 140730002341040 140507289482752 140506931442324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3117] ppid=3111 vsize=14092996 memory=1102328 CPUtime=19.98 cores=1,3,5,7
/proc/3114/task/3117/stat : 3117 (java) S 3111 3114 2816 0 -1 1077944384 27323 0 0 0 1947 51 0 0 20 0 15 0 247191532 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506881518480 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3118] ppid=3111 vsize=14092996 memory=1013956 CPUtime=19.97 cores=1,3,5,7
/proc/3114/task/3118/stat : 3118 (java) S 3111 3114 2816 0 -1 1077944384 31112 0 0 0 1948 49 0 0 20 0 15 0 247191532 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506880465680 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3119] ppid=3111 vsize=14092996 memory=1102844 CPUtime=19.94 cores=1,3,5,7
/proc/3114/task/3119/stat : 3119 (java) S 3111 3114 2816 0 -1 1077944384 27314 0 0 0 1944 50 0 0 20 0 15 0 247191532 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506879413392 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3120] ppid=3111 vsize=14092996 memory=1024728 CPUtime=19.93 cores=1,3,5,7
/proc/3114/task/3120/stat : 3120 (java) S 3111 3114 2816 0 -1 1077944384 28787 0 0 0 1944 49 0 0 20 0 15 0 247191532 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506878360592 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3121] ppid=3111 vsize=14092996 memory=1101756 CPUtime=2.97 cores=1,3,5,7
/proc/3114/task/3121/stat : 3121 (java) S 3111 3114 2816 0 -1 1077944384 67115 0 0 0 250 47 0 0 20 0 15 0 247191533 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506759653488 140507285256834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3122] ppid=3111 vsize=14092996 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3122/stat : 3122 (java) S 3111 3114 2816 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 247191533 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506758599520 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3123] ppid=3111 vsize=14092996 memory=1098780 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3123/stat : 3123 (java) S 3111 3114 2816 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 247191534 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506757547136 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3124] ppid=3111 vsize=14092996 memory=3824 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3124/stat : 3124 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506756495440 140507285264283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3125] ppid=3111 vsize=14092996 memory=67320 CPUtime=2.35 cores=1,3,5,7
/proc/3114/task/3125/stat : 3125 (java) S 3111 3114 2816 0 -1 1077944384 19454 0 0 0 230 5 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506755443312 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3126] ppid=3111 vsize=14092996 memory=1102792 CPUtime=2.6 cores=1,3,5,7
/proc/3114/task/3126/stat : 3126 (java) S 3111 3114 2816 0 -1 1077944384 21241 0 0 0 256 4 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506754390512 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3127] ppid=3111 vsize=14092996 memory=1104336 CPUtime=1.41 cores=1,3,5,7
/proc/3114/task/3127/stat : 3127 (java) S 3111 3114 2816 0 -1 1077944384 55168 0 0 0 135 6 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506753338224 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3128] ppid=3111 vsize=14092996 memory=1105368 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3128/stat : 3128 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506752285664 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3129] ppid=3111 vsize=14092996 memory=1104356 CPUtime=1.43 cores=1,3,5,7
/proc/3114/task/3129/stat : 3129 (java) S 3111 3114 2816 0 -1 1077944384 1601 0 0 0 65 78 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506751232432 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1101756 KiB

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

[startup+2454.73 s]
# the end of solver process 3114 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.08 s, system=4.01742 s

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

[startup+2454.7 s]
/proc/loadavg: 1.13 1.24 1.32 3/220 3314
/proc/meminfo: memFree=21370384/32770624 swapFree=67108688/67108860
[pid=3114] ppid=3111 vsize=14092996 memory=1101756 CPUtime=2520.06 cores=1,3,5,7
/proc/3114/stat : 3114 (java) S 3111 3114 2816 0 -1 1077944320 432826 0 0 0 251606 400 0 0 20 0 15 0 247191530 14431227904 275439 33554432000 4194304 4196468 140730002341040 140730002323584 140507285245687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
/proc/3114/statm: 3523249 275439 3622 1 0 3485321 0
[pid=3114/tid=3116] ppid=3111 vsize=14092996 memory=1105860 CPUtime=2429.39 cores=1,3,5,7
/proc/3114/task/3116/stat : 3116 (java) R 3111 3114 2816 0 -1 4202560 152266 0 0 0 242853 86 0 0 20 0 15 0 247191531 14431227904 275439 33554432000 4194304 4196468 140730002341040 140507289482752 140506931442324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3117] ppid=3111 vsize=14092996 memory=1102328 CPUtime=19.98 cores=1,3,5,7
/proc/3114/task/3117/stat : 3117 (java) S 3111 3114 2816 0 -1 1077944384 27323 0 0 0 1947 51 0 0 20 0 15 0 247191532 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506881518480 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3118] ppid=3111 vsize=14092996 memory=1013956 CPUtime=19.97 cores=1,3,5,7
/proc/3114/task/3118/stat : 3118 (java) S 3111 3114 2816 0 -1 1077944384 31112 0 0 0 1948 49 0 0 20 0 15 0 247191532 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506880465680 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3119] ppid=3111 vsize=14092996 memory=1102844 CPUtime=19.94 cores=1,3,5,7
/proc/3114/task/3119/stat : 3119 (java) S 3111 3114 2816 0 -1 1077944384 27314 0 0 0 1944 50 0 0 20 0 15 0 247191532 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506879413392 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3120] ppid=3111 vsize=14092996 memory=1024728 CPUtime=19.93 cores=1,3,5,7
/proc/3114/task/3120/stat : 3120 (java) S 3111 3114 2816 0 -1 1077944384 28787 0 0 0 1944 49 0 0 20 0 15 0 247191532 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506878360592 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3121] ppid=3111 vsize=14092996 memory=1101756 CPUtime=2.97 cores=1,3,5,7
/proc/3114/task/3121/stat : 3121 (java) S 3111 3114 2816 0 -1 1077944384 67115 0 0 0 250 47 0 0 20 0 15 0 247191533 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506759653488 140507285256834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3122] ppid=3111 vsize=14092996 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3122/stat : 3122 (java) S 3111 3114 2816 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 247191533 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506758599520 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3123] ppid=3111 vsize=14092996 memory=1098780 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3123/stat : 3123 (java) S 3111 3114 2816 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 247191534 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506757547136 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3124] ppid=3111 vsize=14092996 memory=3824 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3124/stat : 3124 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506756495440 140507285264283 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3125] ppid=3111 vsize=14092996 memory=67320 CPUtime=2.35 cores=1,3,5,7
/proc/3114/task/3125/stat : 3125 (java) S 3111 3114 2816 0 -1 1077944384 19454 0 0 0 230 5 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506755443312 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3126] ppid=3111 vsize=14092996 memory=1102792 CPUtime=2.6 cores=1,3,5,7
/proc/3114/task/3126/stat : 3126 (java) S 3111 3114 2816 0 -1 1077944384 21241 0 0 0 256 4 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506754390512 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3127] ppid=3111 vsize=14092996 memory=1104336 CPUtime=1.41 cores=1,3,5,7
/proc/3114/task/3127/stat : 3127 (java) S 3111 3114 2816 0 -1 1077944384 55168 0 0 0 135 6 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506753338224 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3128] ppid=3111 vsize=14092996 memory=1105368 CPUtime=0 cores=1,3,5,7
/proc/3114/task/3128/stat : 3128 (java) S 3111 3114 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506752285664 140507285255893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
[pid=3114/tid=3129] ppid=3111 vsize=14092996 memory=1104356 CPUtime=1.43 cores=1,3,5,7
/proc/3114/task/3129/stat : 3129 (java) S 3111 3114 2816 0 -1 1077944384 1601 0 0 0 65 78 0 0 20 0 15 0 247191536 14431227904 275439 33554432000 4194304 4196468 140730002341040 140506751232432 140507285256834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21741568 140730002347093 140730002347273 140730002347273 140730002350031 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1101756 KiB

Child status: 143
Real time (s): 2454.73
CPU time (s): 2520.09
CPU user time (s): 2516.08
CPU system time (s): 4.01742
CPU usage (%): 102.663
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 3862392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.08
system time used= 4.01741
maximum resident set size= 3868536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 433032
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118380
involuntary context switches= 6103


# summary of solver processes directly reported to runsolver:
#   pid: 3114
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.08
#   total CPU system time (s): 4.01742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8098 second user time and 21.9191 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml
MD5SUM	69d2b1c9cf4919b13dd8bc483772d8bf
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	12137
Best CPU time to get the best result obtained on this benchmark	2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	2450
Number of constraints	1177
Number of domains	2
Minimum domain size	8
Maximum domain size	49
Distribution of domain sizes	[{"size":8,"count":1176},{"size":49,"count":49}]
Minimum variable degree	0
Maximum variable degree	49
Distribution of variable degrees	[{"degree":0,"count":1225},{"degree":2,"count":1176},{"degree":49,"count":49}]
Minimum constraint arity	3
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":3,"count":1176},{"arity":49,"count":1}]
Number of extensional constraints	1176
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1176},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4308517

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