2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Hybrid 2017-06-30	SAT (TO)	1081	2400.07	2292.93

0.42/0.31	c version: 2017-06-30
0.42/0.31	c seed: 794889290
0.42/0.31	c timeout: 2400
0.42/0.31	c memlimit: 15500
0.42/0.31	c nbcore: 8
0.42/0.33	c Parsing instance...
2.86/1.13	c Parsing done, starting first complete search...
2.86/1.20	o 2105
2.86/1.21	o 2029
3.27/1.22	o 1949
3.27/1.23	o 1946
3.27/1.24	o 1912
3.63/1.37	o 1906
3.63/1.39	o 1878
4.04/1.41	o 1844
4.43/1.52	o 1843
4.43/1.55	o 1795
4.97/1.77	o 1793
5.40/1.93	o 1789
5.40/1.94	o 1780
5.40/1.94	o 1742
5.40/1.94	o 1731
5.40/1.96	o 1721
5.94/2.47	o 1719
5.94/2.49	o 1715
6.54/3.03	o 1707
7.45/3.83	o 1691
7.45/3.83	o 1688
7.45/3.84	o 1686
7.45/3.84	o 1683
7.95/4.40	o 1681
8.35/4.73	o 1680
8.55/4.97	o 1675
8.55/4.97	o 1671
10.43/6.73	o 1642
11.43/7.76	o 1604
19.08/15.20	c First complete search done, starting ALNS search...
146.18/135.38	o 1577
902.63/859.93	o 1572
902.86/860.11	o 1538
903.16/860.42	o 1531
903.39/860.68	o 1490
903.99/861.22	o 1471
904.41/861.60	o 1461
905.14/862.37	o 1458
905.96/863.11	o 1453
907.23/864.35	o 1451
907.64/864.75	o 1442
908.98/866.09	o 1441
910.78/867.74	o 1440
910.99/867.95	o 1420
911.21/868.14	o 1410
916.26/872.91	o 1390
916.57/873.22	o 1360
923.27/879.62	o 1359
925.76/882.02	o 1348
937.77/893.53	o 1347
940.28/895.95	o 1338
962.75/917.54	o 1335
1006.31/959.22	o 1330
1021.47/973.71	o 1317
1021.57/973.87	o 1312
1021.77/974.07	o 1311
1042.32/993.87	o 1300
1043.36/994.82	o 1299
1085.15/1033.76	o 1290
1250.00/1191.66	o 1281
1250.76/1192.38	o 1229
1251.26/1192.87	o 1227
1251.66/1193.20	o 1211
1267.66/1208.57	o 1210
1275.18/1215.74	o 1199
1279.22/1219.61	o 1167
1285.04/1225.11	o 1135
1294.21/1233.98	o 1131
1342.04/1279.71	o 1094
1410.60/1345.47	o 1086
1606.05/1532.72	o 1081
1771.36/1691.09	c ALNS done, starting second complete search
1771.36/1691.09	c Best operator: KSuccessive(297)_LastConf(valLearnMax) with improvement of: 290
2400.02/2292.90	s SATISFIABLE
2400.02/2292.91	v <instantiation>
2400.02/2292.91	v 	<list>
2400.02/2292.91	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33]
2400.02/2292.91	v 	</list>
2400.02/2292.91	v 	<values>
2400.02/2292.91	v 		0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 23 99 85 100 28 61 7 32 96 14 100 83 28 100 37 87 75 9 60 100 63 100 93 44 56 85 63 22 87 47 33 78 100 
2400.02/2292.91	v 	</values>
2400.02/2292.91	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246384-1500703516/watcher-4246384-1500703516 -o /tmp/evaluation-result-4246384-1500703516/solver-4246384-1500703516 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500682518-14755 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 794889290 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246384-1500703516.xml 

pid=17353
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.45 1.60 1.64 3/262 17356
/proc/meminfo: memFree=28814232/32770624 swapFree=5848/260464
[pid=17356] ppid=17353 vsize=10621200 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 1806 0 0 0 0 0 0 0 20 0 2 0 5620621 10876108800 2055 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 2655300 2055 1179 1 0 2644211 0
[pid=17356/tid=17357] ppid=17353 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 566 0 0 0 0 0 0 0 20 0 2 0 5620621 10889764864 2121 33554432000 4194304 4196468 140734075175728 139927477049760 139927465097120 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0

[startup+0.100076 s]
/proc/loadavg: 1.45 1.60 1.64 3/262 17356
/proc/meminfo: memFree=28814232/32770624 swapFree=5848/260464
[pid=17356] ppid=17353 vsize=13264380 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 5362 0 0 0 8 2 0 0 20 0 20 0 5620621 13582725120 5976 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3316095 5976 2970 1 0 3303815 0
[pid=17356/tid=17357] ppid=17353 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 3466 0 0 0 7 1 0 0 20 0 20 0 5620621 13582725120 5976 33554432000 4194304 4196468 140734075175728 139927477049952 139927429443181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380

[startup+0.200437 s]
/proc/loadavg: 1.45 1.60 1.64 3/262 17356
/proc/meminfo: memFree=28814232/32770624 swapFree=5848/260464
[pid=17356] ppid=17353 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 8871 0 0 0 22 3 0 0 20 0 20 0 5620621 13582245888 8856 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3315978 8856 3517 1 0 3303698 0
[pid=17356/tid=17357] ppid=17353 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 6607 0 0 0 15 2 0 0 20 0 20 0 5620621 13582245888 8856 33554432000 4194304 4196468 140734075175728 139927477036048 139927099773831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300457 s]
/proc/loadavg: 1.45 1.60 1.64 3/262 17356
/proc/meminfo: memFree=28814232/32770624 swapFree=5848/260464
[pid=17356] ppid=17353 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 9798 0 0 0 37 5 0 0 20 0 20 0 5620621 13582245888 10449 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3315978 10449 3613 1 0 3303698 0
[pid=17356/tid=17357] ppid=17353 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 7302 0 0 0 24 4 0 0 20 0 20 0 5620621 13582245888 10449 33554432000 4194304 4196468 140734075175728 139927477028112 139927455069056 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700241 s]
/proc/loadavg: 1.45 1.60 1.64 3/262 17356
/proc/meminfo: memFree=28814232/32770624 swapFree=5848/260464
[pid=17356] ppid=17353 vsize=13265980 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 13461 0 0 0 140 7 0 0 20 0 20 0 5620621 13584363520 19719 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3316495 19719 3774 1 0 3304210 0
[pid=17356/tid=17357] ppid=17353 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 8587 0 0 0 62 5 0 0 20 0 20 0 5620621 13584363520 19719 33554432000 4194304 4196468 140734075175728 139927477028944 139927429435992 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13265980

[startup+1.50114 s]
/proc/loadavg: 1.50 1.60 1.64 5/282 17376
/proc/meminfo: memFree=28709184/32770624 swapFree=5848/260540
[pid=17356] ppid=17353 vsize=13270076 CPUtime=4.43 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 27252 0 0 0 432 11 0 0 20 0 20 0 5620621 13588557824 46675 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3317519 46675 3793 1 0 3305234 0
[pid=17356/tid=17357] ppid=17353 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 11367 0 0 0 139 7 0 0 20 0 20 0 5620621 13588557824 46675 33554432000 4194304 4196468 140734075175728 139927477044568 139927104563034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17359] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17359/stat : 17359 (java) S 17353 17356 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 46675 33554432000 4194304 4196468 140734075175728 139927425428112 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17360] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17360/stat : 17360 (java) S 17353 17356 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 46675 33554432000 4194304 4196468 140734075175728 139927424375312 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17361] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17361/stat : 17361 (java) S 17353 17356 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 46675 33554432000 4194304 4196468 140734075175728 139927423322512 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17362] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17362/stat : 17362 (java) S 17353 17356 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 46675 33554432000 4194304 4196468 140734075175728 139927422269712 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17363] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17363/stat : 17363 (java) S 17353 17356 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 46675 33554432000 4194304 4196468 140734075175728 139927421217936 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17364] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17364/stat : 17364 (java) S 17353 17356 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 46675 33554432000 4194304 4196468 140734075175728 139927420165136 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17365] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17365/stat : 17365 (java) S 17353 17356 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 46675 33554432000 4194304 4196468 140734075175728 139927419112336 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17366] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17366/stat : 17366 (java) S 17353 17356 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 46675 33554432000 4194304 4196468 140734075175728 139927064345360 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17367] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17367/stat : 17367 (java) S 17353 17356 14040 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5620625 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926935910768 139927472818818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17368] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17368/stat : 17368 (java) S 17353 17356 14040 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926934856736 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17369] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17369/stat : 17369 (java) S 17353 17356 14040 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926933803888 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17370] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17370/stat : 17370 (java) S 17353 17356 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926932752208 139927472826267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17371] ppid=17353 vsize=13270076 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17371/stat : 17371 (java) S 17353 17356 14040 0 -1 1077944384 3464 0 0 0 80 0 0 0 20 0 20 0 5620630 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926931700592 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17372] ppid=17353 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17372/stat : 17372 (java) R 17353 17356 14040 0 -1 4202560 2734 0 0 0 70 0 0 0 20 0 20 0 5620630 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926930633816 139927452046144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17373] ppid=17353 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17373/stat : 17373 (java) R 17353 17356 14040 0 -1 4202560 2484 0 0 0 75 0 0 0 20 0 20 0 5620630 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926929576008 139927451997130 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17374] ppid=17353 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17374/stat : 17374 (java) S 17353 17356 14040 0 -1 1077944384 5786 0 0 0 65 1 0 0 20 0 20 0 5620630 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926928542192 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17375] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17375/stat : 17375 (java) S 17353 17356 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926927489632 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17376] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17376/stat : 17376 (java) S 17353 17356 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 46675 33554432000 4194304 4196468 140734075175728 139926926436912 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 13270076

[startup+3.10085 s]
/proc/loadavg: 1.50 1.60 1.64 3/282 17376
/proc/meminfo: memFree=28605012/32770624 swapFree=5848/260540
[pid=17356] ppid=17353 vsize=13270076 CPUtime=6.65 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 29411 0 0 0 649 16 0 0 20 0 20 0 5620621 13588557824 56841 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3317519 56841 3815 1 0 3305234 0
[pid=17356/tid=17357] ppid=17353 vsize=13270076 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 11747 0 0 0 297 8 0 0 20 0 20 0 5620621 13588557824 56841 33554432000 4194304 4196468 140734075175728 139927477037328 139927106511334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17359] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17359/stat : 17359 (java) S 17353 17356 14040 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 56841 33554432000 4194304 4196468 140734075175728 139927425428112 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17360] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17360/stat : 17360 (java) S 17353 17356 14040 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 56841 33554432000 4194304 4196468 140734075175728 139927424375312 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17361] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17361/stat : 17361 (java) S 17353 17356 14040 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 56841 33554432000 4194304 4196468 140734075175728 139927423322512 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17362] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17362/stat : 17362 (java) S 17353 17356 14040 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 56841 33554432000 4194304 4196468 140734075175728 139927422269712 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17363] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17363/stat : 17363 (java) S 17353 17356 14040 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 56841 33554432000 4194304 4196468 140734075175728 139927421217936 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17364] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17364/stat : 17364 (java) S 17353 17356 14040 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 56841 33554432000 4194304 4196468 140734075175728 139927420165136 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17365] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17365/stat : 17365 (java) S 17353 17356 14040 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 56841 33554432000 4194304 4196468 140734075175728 139927419112336 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17366] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17366/stat : 17366 (java) S 17353 17356 14040 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 5620622 13588557824 56841 33554432000 4194304 4196468 140734075175728 139927064345360 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17367] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17367/stat : 17367 (java) S 17353 17356 14040 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 5620625 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926935910768 139927472818818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17368] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17368/stat : 17368 (java) S 17353 17356 14040 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926934856800 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17369] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17369/stat : 17369 (java) S 17353 17356 14040 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926933803904 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17370] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17370/stat : 17370 (java) S 17353 17356 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926932752208 139927472826267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17371] ppid=17353 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17371/stat : 17371 (java) S 17353 17356 14040 0 -1 1077944384 3670 0 0 0 98 0 0 0 20 0 20 0 5620630 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926931700592 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17372] ppid=17353 vsize=13270076 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17372/stat : 17372 (java) S 17353 17356 14040 0 -1 1077944384 2807 0 0 0 88 0 0 0 20 0 20 0 5620630 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926930647792 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17373] ppid=17353 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17373/stat : 17373 (java) S 17353 17356 14040 0 -1 1077944384 2728 0 0 0 90 0 0 0 20 0 20 0 5620630 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926929594992 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17374] ppid=17353 vsize=13270076 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17374/stat : 17374 (java) S 17353 17356 14040 0 -1 1077944384 6447 0 0 0 68 1 0 0 20 0 20 0 5620630 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926928542192 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17375] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17375/stat : 17375 (java) S 17353 17356 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926927489632 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17376] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17376/stat : 17376 (java) S 17353 17356 14040 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 56841 33554432000 4194304 4196468 140734075175728 139926926436912 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 13270076

[startup+6.30085 s]
/proc/loadavg: 1.62 1.63 1.65 3/282 17376
/proc/meminfo: memFree=28600052/32770624 swapFree=5848/260540
[pid=17356] ppid=17353 vsize=13270076 CPUtime=10 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 31910 0 0 0 978 22 0 0 20 0 20 0 5620621 13588557824 59975 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3317519 59975 3822 1 0 3305234 0
[pid=17356/tid=17357] ppid=17353 vsize=13270076 CPUtime=6.17 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 11894 0 0 0 609 8 0 0 20 0 20 0 5620621 13588557824 59975 33554432000 4194304 4196468 140734075175728 139927477043728 139927106972789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17359] ppid=17353 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17359/stat : 17359 (java) S 17353 17356 14040 0 -1 1077944384 70 0 0 0 2 1 0 0 20 0 20 0 5620622 13588557824 59975 33554432000 4194304 4196468 140734075175728 139927425428112 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17360] ppid=17353 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17360/stat : 17360 (java) S 17353 17356 14040 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 20 0 5620622 13588557824 59975 33554432000 4194304 4196468 140734075175728 139927424375312 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17361] ppid=17353 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17361/stat : 17361 (java) S 17353 17356 14040 0 -1 1077944384 37 0 0 0 0 1 0 0 20 0 20 0 5620622 13588557824 59975 33554432000 4194304 4196468 140734075175728 139927423322512 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17362] ppid=17353 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17362/stat : 17362 (java) S 17353 17356 14040 0 -1 1077944384 117 0 0 0 1 1 0 0 20 0 20 0 5620622 13588557824 59975 33554432000 4194304 4196468 140734075175728 139927422269712 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17363] ppid=17353 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17363/stat : 17363 (java) S 17353 17356 14040 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 20 0 5620622 13588557824 59975 33554432000 4194304 4196468 140734075175728 139927421217936 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17364] ppid=17353 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17364/stat : 17364 (java) S 17353 17356 14040 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 20 0 5620622 13588557824 59975 33554432000 4194304 4196468 140734075175728 139927420165136 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17365] ppid=17353 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17365/stat : 17365 (java) S 17353 17356 14040 0 -1 1077944384 880 0 0 0 2 0 0 0 20 0 20 0 5620622 13588557824 59975 33554432000 4194304 4196468 140734075175728 139927419112336 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17366] ppid=17353 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17366/stat : 17366 (java) S 17353 17356 14040 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 5620622 13588557824 59975 33554432000 4194304 4196468 140734075175728 139927064345360 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17367] ppid=17353 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17367/stat : 17367 (java) S 17353 17356 14040 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 20 0 5620625 13588557824 59975 33554432000 4194304 4196468 140734075175728 139926935910768 139927472818818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17368] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17368/stat : 17368 (java) S 17353 17356 14040 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 59975 33554432000 4194304 4196468 140734075175728 139926934856800 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17369] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17369/stat : 17369 (java) S 17353 17356 14040 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 59975 33554432000 4194304 4196468 140734075175728 139926933803904 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17370] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=17356/tid=17372] ppid=17353 vsize=13270076 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17372/stat : 17372 (java) S 17353 17356 14040 0 -1 1077944384 19517 0 0 0 200 2 0 0 20 0 20 0 5620630 13588557824 262583 33554432000 4194304 4196468 140734075175728 139926930647792 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 48 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17373] ppid=17353 vsize=13270076 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17373/stat : 17373 (java) S 17353 17356 14040 0 -1 1077944384 13516 0 0 0 175 1 0 0 20 0 20 0 5620630 13588557824 262583 33554432000 4194304 4196468 140734075175728 139926929594992 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17374] ppid=17353 vsize=13270076 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17374/stat : 17374 (java) S 17353 17356 14040 0 -1 1077944384 30215 0 0 0 104 3 0 0 20 0 20 0 5620630 13588557824 262583 33554432000 4194304 4196468 140734075175728 139926928542192 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17375] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17375/stat : 17375 (java) S 17353 17356 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 262583 33554432000 4194304 4196468 140734075175728 139926927489632 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17376] ppid=17353 vsize=13270076 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17376/stat : 17376 (java) S 17353 17356 14040 0 -1 1077944384 1930 0 0 0 63 63 0 0 20 0 20 0 5620630 13588557824 262583 33554432000 4194304 4196468 140734075175728 139926926436912 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 47 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 2305.37
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.82 1.59 1.54 3/282 17792
/proc/meminfo: memFree=27786284/32770624 swapFree=5848/263196
[pid=17356] ppid=17353 vsize=13270076 CPUtime=2367.98 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 341656 0 0 0 236121 677 0 0 20 0 20 0 5620621 13588557824 247834 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3317519 247834 3860 1 0 3305234 0
[pid=17356/tid=17357] ppid=17353 vsize=13270076 CPUtime=2240.8 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 105730 0 0 0 224027 53 0 0 20 0 20 0 5620621 13588557824 247834 33554432000 4194304 4196468 140734075175728 139927477045776 139927107853317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17359] ppid=17353 vsize=13270076 CPUtime=14.59 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17359/stat : 17359 (java) S 17353 17356 14040 0 -1 1077944384 12747 0 0 0 1393 66 0 0 20 0 20 0 5620622 13588557824 247834 33554432000 4194304 4196468 140734075175728 139927425428112 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17360] ppid=17353 vsize=13270076 CPUtime=14.49 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17360/stat : 17360 (java) S 17353 17356 14040 0 -1 1077944384 12296 0 0 0 1382 67 0 0 20 0 20 0 5620622 13588557824 247834 33554432000 4194304 4196468 140734075175728 139927424375312 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17361] ppid=17353 vsize=13270076 CPUtime=14.56 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17361/stat : 17361 (java) S 17353 17356 14040 0 -1 1077944384 12017 0 0 0 1389 67 0 0 20 0 20 0 5620622 13588557824 247834 33554432000 4194304 4196468 140734075175728 139927423322512 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17362] ppid=17353 vsize=13270076 CPUtime=14.36 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17362/stat : 17362 (java) S 17353 17356 14040 0 -1 1077944384 12447 0 0 0 1368 68 0 0 20 0 20 0 5620622 13588557824 247834 33554432000 4194304 4196468 140734075175728 139927422269712 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17363] ppid=17353 vsize=13270076 CPUtime=14.46 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17363/stat : 17363 (java) S 17353 17356 14040 0 -1 1077944384 14023 0 0 0 1380 66 0 0 20 0 20 0 5620622 13588557824 247834 33554432000 4194304 4196468 140734075175728 139927421217936 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17364] ppid=17353 vsize=13270076 CPUtime=14.57 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17364/stat : 17364 (java) S 17353 17356 14040 0 -1 1077944384 12481 0 0 0 1389 68 0 0 20 0 20 0 5620622 13588557824 247834 33554432000 4194304 4196468 140734075175728 139927420165136 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17365] ppid=17353 vsize=13270076 CPUtime=14.52 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17365/stat : 17365 (java) S 17353 17356 14040 0 -1 1077944384 12026 0 0 0 1381 71 0 0 20 0 20 0 5620622 13588557824 247834 33554432000 4194304 4196468 140734075175728 139927419112336 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17366] ppid=17353 vsize=13270076 CPUtime=14.44 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17366/stat : 17366 (java) S 17353 17356 14040 0 -1 1077944384 13158 0 0 0 1379 65 0 0 20 0 20 0 5620622 13588557824 247834 33554432000 4194304 4196468 140734075175728 139927064345360 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17367] ppid=17353 vsize=13270076 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17367/stat : 17367 (java) S 17353 17356 14040 0 -1 1077944384 53588 0 0 0 245 48 0 0 20 0 20 0 5620625 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926935910768 139927472818818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17368] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17368/stat : 17368 (java) S 17353 17356 14040 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926934856800 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17369] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17369/stat : 17369 (java) S 17353 17356 14040 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926933803904 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17370] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17370/stat : 17370 (java) S 17353 17356 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926932752208 139927472826267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17371] ppid=17353 vsize=13270076 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17371/stat : 17371 (java) S 17353 17356 14040 0 -1 1077944384 14441 0 0 0 193 3 0 0 20 0 20 0 5620630 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926931700592 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17372] ppid=17353 vsize=13270076 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17372/stat : 17372 (java) S 17353 17356 14040 0 -1 1077944384 19521 0 0 0 200 2 0 0 20 0 20 0 5620630 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926930647792 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 48 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17373] ppid=17353 vsize=13270076 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17373/stat : 17373 (java) S 17353 17356 14040 0 -1 1077944384 13520 0 0 0 175 1 0 0 20 0 20 0 5620630 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926929594992 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17374] ppid=17353 vsize=13270076 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17374/stat : 17374 (java) S 17353 17356 14040 0 -1 1077944384 30219 0 0 0 104 3 0 0 20 0 20 0 5620630 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926928542192 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17375] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17375/stat : 17375 (java) S 17353 17356 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926927489632 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17376] ppid=17353 vsize=13270076 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17376/stat : 17376 (java) S 17353 17356 14040 0 -1 1077944384 1973 0 0 0 66 64 0 0 20 0 20 0 5620630 13588557824 247834 33554432000 4194304 4196468 140734075175728 139926926436912 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 2367.98
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2292.9 s]
/proc/loadavg: 1.77 1.60 1.55 3/282 17793
/proc/meminfo: memFree=27808500/32770624 swapFree=5848/263240
[pid=17356] ppid=17353 vsize=13270076 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 344451 0 0 0 239316 686 0 0 20 0 20 0 5620621 13588557824 246317 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3317519 246317 3860 1 0 3305234 0
[pid=17356/tid=17357] ppid=17353 vsize=13270076 CPUtime=2271.06 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 106233 0 0 0 227053 53 0 0 20 0 20 0 5620621 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927477045776 139927102527168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17359] ppid=17353 vsize=13270076 CPUtime=14.79 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17359/stat : 17359 (java) S 17353 17356 14040 0 -1 1077944384 12829 0 0 0 1412 67 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927425428112 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17360] ppid=17353 vsize=13270076 CPUtime=14.69 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17360/stat : 17360 (java) S 17353 17356 14040 0 -1 1077944384 12371 0 0 0 1401 68 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927424375312 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17361] ppid=17353 vsize=13270076 CPUtime=14.76 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17361/stat : 17361 (java) S 17353 17356 14040 0 -1 1077944384 12068 0 0 0 1408 68 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927423322512 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17362] ppid=17353 vsize=13270076 CPUtime=14.58 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17362/stat : 17362 (java) S 17353 17356 14040 0 -1 1077944384 12498 0 0 0 1389 69 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927422269712 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17363] ppid=17353 vsize=13270076 CPUtime=14.68 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17363/stat : 17363 (java) S 17353 17356 14040 0 -1 1077944384 14080 0 0 0 1401 67 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927421217936 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17364] ppid=17353 vsize=13270076 CPUtime=14.78 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17364/stat : 17364 (java) S 17353 17356 14040 0 -1 1077944384 12557 0 0 0 1409 69 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927420165136 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17365] ppid=17353 vsize=13270076 CPUtime=14.74 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17365/stat : 17365 (java) S 17353 17356 14040 0 -1 1077944384 12092 0 0 0 1402 72 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927419112336 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17366] ppid=17353 vsize=13270076 CPUtime=14.68 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17366/stat : 17366 (java) S 17353 17356 14040 0 -1 1077944384 13234 0 0 0 1402 66 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927064345360 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17367] ppid=17353 vsize=13270076 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17367/stat : 17367 (java) S 17353 17356 14040 0 -1 1077944384 55344 0 0 0 249 48 0 0 20 0 20 0 5620625 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926935910768 139927472818818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17368] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17368/stat : 17368 (java) S 17353 17356 14040 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926934856800 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17369] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17369/stat : 17369 (java) S 17353 17356 14040 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926933803904 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17370] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17370/stat : 17370 (java) S 17353 17356 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926932752208 139927472826267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17371] ppid=17353 vsize=13270076 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17371/stat : 17371 (java) S 17353 17356 14040 0 -1 1077944384 14441 0 0 0 193 3 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926931700592 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17372] ppid=17353 vsize=13270076 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17372/stat : 17372 (java) S 17353 17356 14040 0 -1 1077944384 19521 0 0 0 200 2 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926930647792 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 48 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17373] ppid=17353 vsize=13270076 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17373/stat : 17373 (java) S 17353 17356 14040 0 -1 1077944384 13520 0 0 0 175 1 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926929594992 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17374] ppid=17353 vsize=13270076 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17374/stat : 17374 (java) S 17353 17356 14040 0 -1 1077944384 30219 0 0 0 104 3 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926928542192 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17375] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17375/stat : 17375 (java) S 17353 17356 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926927489632 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17376] ppid=17353 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17376/stat : 17376 (java) S 17353 17356 14040 0 -1 1077944384 1975 0 0 0 66 65 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926926436912 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17356 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2292.9 s]
/proc/loadavg: 1.77 1.60 1.55 3/282 17793
/proc/meminfo: memFree=27808500/32770624 swapFree=5848/263240
[pid=17356] ppid=17353 vsize=13270076 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/17356/stat : 17356 (java) S 17353 17356 14040 0 -1 1077944320 344451 0 0 0 239316 686 0 0 20 0 20 0 5620621 13588557824 246317 33554432000 4194304 4196468 140734075175728 140734075158272 139927472807671 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
/proc/17356/statm: 3317519 246317 3860 1 0 3305234 0
[pid=17356/tid=17357] ppid=17353 vsize=13270076 CPUtime=2271.06 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17357/stat : 17357 (java) R 17353 17356 14040 0 -1 4202560 106233 0 0 0 227053 53 0 0 20 0 20 0 5620621 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927477045776 139927102527168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17359] ppid=17353 vsize=13270076 CPUtime=14.79 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17359/stat : 17359 (java) S 17353 17356 14040 0 -1 1077944384 12829 0 0 0 1412 67 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927425428112 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17360] ppid=17353 vsize=13270076 CPUtime=14.69 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17360/stat : 17360 (java) S 17353 17356 14040 0 -1 1077944384 12371 0 0 0 1401 68 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927424375312 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17361] ppid=17353 vsize=13270076 CPUtime=14.76 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17361/stat : 17361 (java) S 17353 17356 14040 0 -1 1077944384 12068 0 0 0 1408 68 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927423322512 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17362] ppid=17353 vsize=13270076 CPUtime=14.58 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17362/stat : 17362 (java) S 17353 17356 14040 0 -1 1077944384 12498 0 0 0 1389 69 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927422269712 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17363] ppid=17353 vsize=13270076 CPUtime=14.68 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17363/stat : 17363 (java) S 17353 17356 14040 0 -1 1077944384 14080 0 0 0 1401 67 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927421217936 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17364] ppid=17353 vsize=13270076 CPUtime=14.78 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17364/stat : 17364 (java) S 17353 17356 14040 0 -1 1077944384 12557 0 0 0 1409 69 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927420165136 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17365] ppid=17353 vsize=13270076 CPUtime=14.74 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17365/stat : 17365 (java) S 17353 17356 14040 0 -1 1077944384 12092 0 0 0 1402 72 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927419112336 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17366] ppid=17353 vsize=13270076 CPUtime=14.68 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17366/stat : 17366 (java) S 17353 17356 14040 0 -1 1077944384 13234 0 0 0 1402 66 0 0 20 0 20 0 5620622 13588557824 246317 33554432000 4194304 4196468 140734075175728 139927064345360 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17367] ppid=17353 vsize=13270076 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17367/stat : 17367 (java) S 17353 17356 14040 0 -1 1077944384 55344 0 0 0 249 48 0 0 20 0 20 0 5620625 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926935910768 139927472818818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17368] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17368/stat : 17368 (java) S 17353 17356 14040 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926934856800 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17369] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17369/stat : 17369 (java) S 17353 17356 14040 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 5620626 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926933803904 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17370] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17370/stat : 17370 (java) S 17353 17356 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926932752208 139927472826267 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17371] ppid=17353 vsize=13270076 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17371/stat : 17371 (java) S 17353 17356 14040 0 -1 1077944384 14441 0 0 0 193 3 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926931700592 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17372] ppid=17353 vsize=13270076 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17372/stat : 17372 (java) S 17353 17356 14040 0 -1 1077944384 19521 0 0 0 200 2 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926930647792 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 48 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17373] ppid=17353 vsize=13270076 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17373/stat : 17373 (java) S 17353 17356 14040 0 -1 1077944384 13520 0 0 0 175 1 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926929594992 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17374] ppid=17353 vsize=13270076 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17374/stat : 17374 (java) S 17353 17356 14040 0 -1 1077944384 30219 0 0 0 104 3 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926928542192 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17375] ppid=17353 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17375/stat : 17375 (java) S 17353 17356 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926927489632 139927472817877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
[pid=17356/tid=17376] ppid=17353 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/17356/task/17376/stat : 17376 (java) S 17353 17356 14040 0 -1 1077944384 1975 0 0 0 66 65 0 0 20 0 20 0 5620630 13588557824 246317 33554432000 4194304 4196468 140734075175728 139926926436912 139927472818818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 27389952 140734075180174 140734075180356 140734075180356 140734075183055 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2292.93
CPU time (s): 2400.07
CPU user time (s): 2393.2
CPU system time (s): 6.87422
CPU usage (%): 104.673
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.2
system time used= 6.87422
maximum resident set size= 1184748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163623
involuntary context switches= 147481

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1731 second user time and 19.4045 second system time

The end

Launcher Data

Begin job on node115 at 2017-07-22 08:05:16
IDJOB=4246384
IDBENCH=124459
IDSOLVER=2629
FILE ID=node115/4246384-1500703516
RUNJOBID= node115-1500682518-14755
PBS_JOBID= 20623035
Free space on /tmp= 61944 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246384-1500703516/watcher-4246384-1500703516 -o /tmp/evaluation-result-4246384-1500703516/solver-4246384-1500703516 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500682518-14755 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 794889290 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246384-1500703516.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab
RANDOM SEED=794889290

node115.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28815240 kB
MemAvailable:   29082800 kB
Buffers:          118616 kB
Cached:           429540 kB
SwapCached:            0 kB
Active:          3248440 kB
Inactive:         269256 kB
Active(anon):    2972288 kB
Inactive(anon):     8792 kB
Active(file):     276152 kB
Inactive(file):   260464 kB
Unevictable:        5848 kB
Mlocked:            5848 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41828 kB
Writeback:             0 kB
AnonPages:       2975068 kB
Mapped:            45460 kB
Shmem:              8848 kB
Slab:             126816 kB
SReclaimable:      93560 kB
SUnreclaim:        33256 kB
KernelStack:        4528 kB
PageTables:        11888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3791816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2836480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61900 MiB
End job on node115 at 2017-07-22 08:43:29

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml
MD5SUM	72c979ceab0684897cea6dc90bd0dbab
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	783
Best CPU time to get the best result obtained on this benchmark	19994.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1190
Number of constraints	1155
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}]
Minimum variable degree	0
Maximum variable degree	65
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}]
Minimum constraint arity	1
Maximum constraint arity	33
Distribution of constraint arities	[{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}]
Number of extensional constraints	0
Number of intensional constraints	33
Distribution of constraint types	[{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4246384

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