2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	164	252.112	240.842

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1012790102
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
3.91/1.93	c Parsing done, starting first complete search...
6.13/3.12	o 64
6.13/3.12	o 65
6.13/3.12	o 66
6.13/3.12	o 67
6.13/3.12	o 68
6.13/3.12	o 69
6.13/3.12	o 70
6.13/3.12	o 71
6.13/3.13	o 72
6.13/3.13	o 73
6.13/3.13	o 74
6.13/3.13	o 75
6.13/3.13	o 76
6.13/3.13	o 77
6.13/3.13	o 78
6.13/3.13	o 79
6.13/3.13	o 80
6.13/3.13	o 81
6.13/3.13	o 82
6.13/3.14	o 83
6.13/3.14	o 84
6.13/3.14	o 85
6.13/3.14	o 86
6.13/3.14	o 87
6.13/3.14	o 88
6.13/3.14	o 89
6.13/3.14	o 90
6.13/3.14	o 91
6.13/3.15	o 92
6.13/3.15	o 93
6.13/3.15	o 94
6.13/3.15	o 95
6.13/3.15	o 96
6.13/3.15	o 97
6.13/3.15	o 98
6.13/3.15	o 99
6.13/3.15	o 100
6.13/3.15	o 101
6.13/3.15	o 102
6.13/3.16	o 103
6.13/3.16	o 104
6.13/3.16	o 105
6.13/3.16	o 106
6.13/3.16	o 107
6.13/3.16	o 108
6.13/3.16	o 109
6.13/3.16	o 110
6.13/3.16	o 111
6.13/3.16	o 112
6.13/3.16	o 113
6.13/3.17	o 114
6.13/3.17	o 115
6.13/3.17	o 116
6.13/3.17	o 117
6.13/3.17	o 118
6.13/3.17	o 119
6.13/3.18	o 120
6.13/3.18	o 121
6.13/3.18	o 122
6.13/3.18	o 123
6.13/3.18	o 124
6.13/3.18	o 125
6.13/3.18	o 126
6.13/3.18	o 127
6.13/3.18	o 128
6.13/3.18	o 129
6.13/3.18	o 130
6.13/3.18	o 131
6.13/3.18	o 132
6.13/3.18	o 133
6.13/3.18	o 134
6.13/3.18	o 135
6.13/3.18	o 136
6.13/3.18	o 137
6.13/3.19	o 138
6.13/3.19	o 139
6.13/3.19	o 140
6.13/3.19	o 141
6.13/3.19	o 142
6.13/3.19	o 143
6.13/3.19	o 144
6.13/3.19	o 145
6.13/3.19	o 146
6.13/3.19	o 147
6.13/3.19	o 148
6.13/3.20	o 149
6.13/3.20	o 150
6.13/3.20	o 151
6.42/3.20	o 152
6.42/3.20	o 153
6.42/3.20	o 154
6.42/3.21	o 155
6.72/3.38	o 156
7.01/3.41	o 157
7.01/3.41	o 158
7.01/3.41	o 159
10.18/6.27	c First complete search done, starting ALNS search...
10.76/6.65	o 160
10.76/6.67	o 161
10.98/6.70	o 162
13.55/8.86	o 163
18.05/12.45	o 164
252.06/240.80	s SATISFIABLE
252.06/240.80	v <instantiation>
252.06/240.80	v 	<list>
252.06/240.80	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] z
252.06/240.80	v 	</list>
252.06/240.80	v 	<values>
252.06/240.80	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 0 2 0 1 1 2 1 1 1 2 2 2 2 2 1 1 2 1 1 1 0 1 1 1 0 1 0 1 0 1 0 1 2 1 1 2 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 1 0 2 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 2 2 0 1 0 0 2 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 2 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 2 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 2 2 1 2 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 21 63 100 135 159 169 178 189 197 204 209 213 219 223 230 240 246 257 266 275 280 296 310 164 
252.06/240.80	v 	</values>
252.06/240.80	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13129 MiB free)
  memory of node 1: 16384 MiB (10485 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310243-1534324803/watcher-4310243-1534324803 -o /tmp/evaluation-result-4310243-1534324803/solver-4310243-1534324803 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25434 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1012790102 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310243-1534324803.xml 

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

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


[startup+0.100093 s]*
/proc/loadavg: 1.66 1.56 1.51 4/216 26166
/proc/meminfo: memFree=24155844/32770624 swapFree=67108172/67108860
[pid=26151] ppid=26148 vsize=14082736 memory=33684 CPUtime=0.12 cores=1,3,5,7
/proc/26151/stat : 26151 (java) S 26148 26151 21905 0 -1 1077944320 7358 0 0 0 10 2 0 0 20 0 15 0 250043506 14420721664 8421 33554432000 4194304 4196468 140724854363456 140724854346000 140367060848375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
/proc/26151/statm: 3520684 8421 3145 1 0 3482761 0
[pid=26151/tid=26153] ppid=26148 vsize=14082736 memory=-8557575366716329341 CPUtime=0.09 cores=1,3,5,7
/proc/26151/task/26153/stat : 26153 (java) R 26148 26151 21905 0 -1 4202560 5430 0 0 0 8 1 0 0 20 0 15 0 250043506 14420721664 8421 33554432000 4194304 4196468 140724854363456 140367065053664 140367060870301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26154] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26154/stat : 26154 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366990936336 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26155] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26155/stat : 26155 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366989883792 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26156] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26156/stat : 26156 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366988831248 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26157] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26157/stat : 26157 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366987778704 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26158] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26158/stat : 26158 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043508 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366040787440 140367060859522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26159] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26159/stat : 26159 (java) S 26148 26151 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250043509 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366039733664 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26160] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26160/stat : 26160 (java) S 26148 26151 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250043509 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366038681072 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26161] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26161/stat : 26161 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043511 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366037629648 140367060866971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26162] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 21905 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 250043511 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366036576240 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26163] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26163/stat : 26163 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043511 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366035523696 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26164] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26164/stat : 26164 (java) R 26148 26151 21905 0 -1 4202560 239 0 0 0 0 0 0 0 20 0 15 0 250043511 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366034471152 140367045095785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26165] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26165/stat : 26165 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043512 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366033418848 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26166] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26166/stat : 26166 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043512 14420721664 8421 33554432000 4194304 4196468 140724854363456 140366032366384 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33684 KiB

[startup+0.210337 s]*
/proc/loadavg: 1.66 1.56 1.51 5/216 26166
/proc/meminfo: memFree=24121892/32770624 swapFree=67108172/67108860
[pid=26151] ppid=26148 vsize=14082736 memory=47072 CPUtime=0.31 cores=1,3,5,7
/proc/26151/stat : 26151 (java) S 26148 26151 21905 0 -1 1077944320 10396 0 0 0 28 3 0 0 20 0 15 0 250043506 14420721664 11768 33554432000 4194304 4196468 140724854363456 140724854346000 140367060848375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
/proc/26151/statm: 3520684 11768 3364 1 0 3482761 0
[pid=26151/tid=26153] ppid=26148 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26151/task/26153/stat : 26153 (java) R 26148 26151 21905 0 -1 1077944384 8125 0 0 0 18 2 0 0 20 0 15 0 250043506 14420721664 11768 33554432000 4194304 4196468 140724854363456 140367065073936 140367060858581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26154] ppid=26148 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26154/stat : 26154 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366990936336 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26155] ppid=26148 vsize=14082736 memory=140191322415531 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26155/stat : 26155 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366989883792 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26156] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26156/stat : 26156 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366988831248 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26157] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26157/stat : 26157 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366987778704 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26158] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26158/stat : 26158 (java) S 26148 26151 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250043508 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366040787440 140367060859522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26159] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26159/stat : 26159 (java) S 26148 26151 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250043509 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366039733664 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26160] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26160/stat : 26160 (java) S 26148 26151 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250043509 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366038681072 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26161] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26161/stat : 26161 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043511 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366037629648 140367060866971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26162] ppid=26148 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 21905 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 250043511 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366036576240 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26163] ppid=26148 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26151/task/26163/stat : 26163 (java) R 26148 26151 21905 0 -1 4202560 174 0 0 0 1 0 0 0 20 0 15 0 250043511 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366035523792 140367040094401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26164] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0.06 cores=1,3,5,7
/proc/26151/task/26164/stat : 26164 (java) R 26148 26151 21905 0 -1 4202560 273 0 0 0 6 0 0 0 20 0 15 0 250043511 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366034471152 140367060860310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26165] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26165/stat : 26165 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043512 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366033418848 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26166] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26166/stat : 26166 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043512 14420721664 11768 33554432000 4194304 4196468 140724854363456 140366032366384 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47072 KiB

[startup+0.310482 s]*
/proc/loadavg: 1.66 1.56 1.51 5/216 26166
/proc/meminfo: memFree=24082920/32770624 swapFree=67108172/67108860
[pid=26151] ppid=26148 vsize=14082736 memory=50556 CPUtime=0.43 cores=1,3,5,7
/proc/26151/stat : 26151 (java) S 26148 26151 21905 0 -1 1077944320 10765 0 0 0 40 3 0 0 20 0 15 0 250043506 14420721664 12639 33554432000 4194304 4196468 140724854363456 140724854346000 140367060848375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
/proc/26151/statm: 3520684 12639 3367 1 0 3482761 0
[pid=26151/tid=26153] ppid=26148 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/26151/task/26153/stat : 26153 (java) R 26148 26151 21905 0 -1 4202560 8480 0 0 0 28 2 0 0 20 0 15 0 250043506 14420721664 12639 33554432000 4194304 4196468 140724854363456 140367065010112 140367041124162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26154] ppid=26148 vsize=14082736 memory=4294977828 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26154/stat : 26154 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366990936336 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26155] ppid=26148 vsize=14082736 memory=140191322414397 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26155/stat : 26155 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366989883792 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26156] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26156/stat : 26156 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366988831248 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26157] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26157/stat : 26157 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366987778704 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26158] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26158/stat : 26158 (java) S 26148 26151 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250043508 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366040787440 140367060859522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26159] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26159/stat : 26159 (java) S 26148 26151 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250043509 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366039733664 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26160] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26160/stat : 26160 (java) S 26148 26151 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250043509 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366038681072 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26161] ppid=26148 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26161/stat : 26161 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043511 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366037629648 140367060866971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26162] ppid=26148 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 21905 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 15 0 250043511 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366036576240 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26163] ppid=26148 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26151/task/26163/stat : 26163 (java) S 26148 26151 21905 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 250043511 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366035523696 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26164] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0.08 cores=1,3,5,7
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 21905 0 -1 1077944384 281 0 0 0 8 0 0 0 20 0 15 0 250043511 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366034471152 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26165] ppid=26148 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26165/stat : 26165 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043512 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366033418848 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26166] ppid=26148 vsize=14082736 memory=140191322392192 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26166/stat : 26166 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043512 14420721664 12639 33554432000 4194304 4196468 140724854363456 140366032366384 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50556 KiB

[startup+0.700727 s]
/proc/loadavg: 1.66 1.56 1.51 6/216 26166
/proc/meminfo: memFree=24018520/32770624 swapFree=67108172/67108860
[pid=26151] ppid=26148 vsize=14084804 memory=89024 CPUtime=0.99 cores=1,3,5,7
/proc/26151/stat : 26151 (java) S 26148 26151 21905 0 -1 1077944320 17582 0 0 0 94 5 0 0 20 0 15 0 250043506 14422839296 22256 33554432000 4194304 4196468 140724854363456 140724854346000 140367060848375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
/proc/26151/statm: 3521201 22256 3503 1 0 3483273 0
[pid=26151/tid=26153] ppid=26148 vsize=14084804 memory=252538976762253 CPUtime=0.67 cores=1,3,5,7
/proc/26151/task/26153/stat : 26153 (java) R 26148 26151 21905 0 -1 4202560 14880 0 0 0 63 4 0 0 20 0 15 0 250043506 14422839296 22256 33554432000 4194304 4196468 140724854363456 140367065063536 140367060870301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26154] ppid=26148 vsize=14084804 memory=288230376153010010 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26154/stat : 26154 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366990936336 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26155] ppid=26148 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26155/stat : 26155 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366989883792 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26156] ppid=26148 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26156/stat : 26156 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366988831248 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26157] ppid=26148 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26157/stat : 26157 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366987778704 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26158] ppid=26148 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26158/stat : 26158 (java) S 26148 26151 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250043508 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366040787440 140367060859522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26159] ppid=26148 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26159/stat : 26159 (java) S 26148 26151 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250043509 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366039733664 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26160] ppid=26148 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26160/stat : 26160 (java) S 26148 26151 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250043509 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366038681072 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26161] ppid=26148 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26161/stat : 26161 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043511 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366037629648 140367060866971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26162] ppid=26148 vsize=14084804 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 21905 0 -1 1077944384 603 0 0 0 8 0 0 0 20 0 15 0 250043511 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366036576240 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26163] ppid=26148 vsize=14084804 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/26151/task/26163/stat : 26163 (java) S 26148 26151 21905 0 -1 1077944384 337 0 0 0 6 0 0 0 20 0 15 0 250043511 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366035523696 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26164] ppid=26148 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 21905 0 -1 1077944384 380 0 0 0 15 0 0 0 20 0 15 0 250043511 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366034471152 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26165] ppid=26148 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26165/stat : 26165 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043512 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366033418848 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26166] ppid=26148 vsize=14084804 memory=12552 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26166/stat : 26166 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043512 14422839296 22256 33554432000 4194304 4196468 140724854363456 140366032366384 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89024 KiB

[startup+1.50079 s]
/proc/loadavg: 1.66 1.56 1.51 5/216 26166
/proc/meminfo: memFree=23828080/32770624 swapFree=67108172/67108860
[pid=26151] ppid=26148 vsize=14090948 memory=161212 CPUtime=2.9 cores=1,3,5,7
/proc/26151/stat : 26151 (java) S 26148 26151 21905 0 -1 1077944320 28556 0 0 0 282 8 0 0 20 0 15 0 250043506 14429130752 40303 33554432000 4194304 4196468 140724854363456 140724854346000 140367060848375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
/proc/26151/statm: 3522737 40303 3543 1 0 3484809 0
[pid=26151/tid=26153] ppid=26148 vsize=14090948 memory=10759 CPUtime=1.46 cores=1,3,5,7
/proc/26151/task/26153/stat : 26153 (java) R 26148 26151 21905 0 -1 4202560 21344 0 0 0 141 5 0 0 20 0 15 0 250043506 14429130752 40303 33554432000 4194304 4196468 140724854363456 140367065082064 140366661685959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26154] ppid=26148 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26154/stat : 26154 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14429130752 40303 33554432000 4194304 4196468 140724854363456 140366990936336 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26155] ppid=26148 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26155/stat : 26155 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14429130752 40303 33554432000 4194304 4196468 140724854363456 140366989883792 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26156] ppid=26148 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26156/stat : 26156 (java) S 26148 26151 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250043507 14429130752 40303 33554432000 4194304 4196468 140724854363456 140366988831248 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26157] ppid=26148 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26157/stat : 26157 (java) S 26148 26151 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250043507 14429130752 40303 33554432000 4194304 4196468 140724854363456 140366987778704 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26158] ppid=26148 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26158/stat : 26158 (java) S 26148 26151 21905 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 250043508 14429130752 40303 33554432000 4194304 4196468 140724854363456 140366040787440 140367060859522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0

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

/proc/26151/task/26153/stat : 26153 (java) R 26148 26151 21905 0 -1 4202560 36097 0 0 0 10121 42 0 0 20 0 15 0 250043506 14431227904 712647 33554432000 4194304 4196468 140724854363456 140367065086176 140366667362503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26154] ppid=26148 vsize=14092996 memory=1580 CPUtime=0.5 cores=1,3,5,7
/proc/26151/task/26154/stat : 26154 (java) S 26148 26151 21905 0 -1 1077944384 1021 0 0 0 36 14 0 0 20 0 15 0 250043507 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366990936336 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26155] ppid=26148 vsize=14092996 memory=280382445231024 CPUtime=0.51 cores=1,3,5,7
/proc/26151/task/26155/stat : 26155 (java) S 26148 26151 21905 0 -1 1077944384 722 0 0 0 36 15 0 0 20 0 15 0 250043507 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366989883792 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26156] ppid=26148 vsize=14092996 memory=280382445860544 CPUtime=0.51 cores=1,3,5,7
/proc/26151/task/26156/stat : 26156 (java) S 26148 26151 21905 0 -1 1077944384 1705 0 0 0 36 15 0 0 20 0 15 0 250043507 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366988831248 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26157] ppid=26148 vsize=14092996 memory=56 CPUtime=0.49 cores=1,3,5,7
/proc/26151/task/26157/stat : 26157 (java) S 26148 26151 21905 0 -1 1077944384 3141 0 0 0 35 14 0 0 20 0 15 0 250043507 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366987778704 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26158] ppid=26148 vsize=14092996 memory=280382444760192 CPUtime=0.07 cores=1,3,5,7
/proc/26151/task/26158/stat : 26158 (java) S 26148 26151 21905 0 -1 1077944384 2459 0 0 0 6 1 0 0 20 0 15 0 250043508 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366040787440 140367060859522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26159] ppid=26148 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26159/stat : 26159 (java) S 26148 26151 21905 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250043509 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366039733728 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26160] ppid=26148 vsize=14092996 memory=5 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26160/stat : 26160 (java) S 26148 26151 21905 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250043509 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366038681088 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26161] ppid=26148 vsize=14092996 memory=2525300 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26161/stat : 26161 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043511 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366037629648 140367060866971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26162] ppid=26148 vsize=14092996 memory=2113528 CPUtime=2.49 cores=1,3,5,7
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 21905 0 -1 1077944384 9133 0 0 0 247 2 0 0 20 0 15 0 250043511 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366036576240 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26163] ppid=26148 vsize=14092996 memory=2850592 CPUtime=2.4 cores=1,3,5,7
/proc/26151/task/26163/stat : 26163 (java) S 26148 26151 21905 0 -1 1077944384 8080 0 0 0 239 1 0 0 20 0 15 0 250043511 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366035523696 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26164] ppid=26148 vsize=14092996 memory=2852460 CPUtime=1.2 cores=1,3,5,7
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 21905 0 -1 1077944384 10327 0 0 0 118 2 0 0 20 0 15 0 250043511 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366034471152 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26165] ppid=26148 vsize=14092996 memory=2851592 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26165/stat : 26165 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043512 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366033418848 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26166] ppid=26148 vsize=14092996 memory=3752 CPUtime=0.06 cores=1,3,5,7
/proc/26151/task/26166/stat : 26166 (java) S 26148 26151 21905 0 -1 1077944384 267 0 0 0 2 4 0 0 20 0 15 0 250043512 14431227904 712647 33554432000 4194304 4196468 140724854363456 140366032366384 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
Current children cumulated CPU time: 109.94 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2850588 KiB

[startup+162.301 s]
/proc/loadavg: 1.21 1.42 1.47 3/216 26168
/proc/meminfo: memFree=20255776/32770624 swapFree=67108172/67108860
[pid=26151] ppid=26148 vsize=14092996 memory=2890732 CPUtime=171.53 cores=1,3,5,7
/proc/26151/stat : 26151 (java) S 26148 26151 21905 0 -1 1077944320 91357 0 0 0 17019 134 0 0 20 0 15 0 250043506 14431227904 722683 33554432000 4194304 4196468 140724854363456 140724854346000 140367060848375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
/proc/26151/statm: 3523249 722683 3604 1 0 3485321 0
[pid=26151/tid=26153] ppid=26148 vsize=14092996 memory=2888176 CPUtime=160.99 cores=1,3,5,7
/proc/26151/task/26153/stat : 26153 (java) R 26148 26151 21905 0 -1 4202560 40933 0 0 0 16056 43 0 0 20 0 15 0 250043506 14431227904 722683 33554432000 4194304 4196468 140724854363456 140367065086112 140366673526944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26154] ppid=26148 vsize=14092996 memory=2888176 CPUtime=1.01 cores=1,3,5,7
/proc/26151/task/26154/stat : 26154 (java) S 26148 26151 21905 0 -1 1077944384 1851 0 0 0 82 19 0 0 20 0 15 0 250043507 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366990936336 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26155] ppid=26148 vsize=14092996 memory=2890228 CPUtime=1.01 cores=1,3,5,7
/proc/26151/task/26155/stat : 26155 (java) S 26148 26151 21905 0 -1 1077944384 1965 0 0 0 82 19 0 0 20 0 15 0 250043507 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366989883792 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26156] ppid=26148 vsize=14092996 memory=2890732 CPUtime=1.02 cores=1,3,5,7
/proc/26151/task/26156/stat : 26156 (java) S 26148 26151 21905 0 -1 1077944384 2227 0 0 0 82 20 0 0 20 0 15 0 250043507 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366988831248 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26157] ppid=26148 vsize=14092996 memory=2888176 CPUtime=0.98 cores=1,3,5,7
/proc/26151/task/26157/stat : 26157 (java) S 26148 26151 21905 0 -1 1077944384 4180 0 0 0 80 18 0 0 20 0 15 0 250043507 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366987778704 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26158] ppid=26148 vsize=14092996 memory=2888176 CPUtime=0.15 cores=1,3,5,7
/proc/26151/task/26158/stat : 26158 (java) S 26148 26151 21905 0 -1 1077944384 2962 0 0 0 13 2 0 0 20 0 15 0 250043508 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366040787440 140367060859522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26159] ppid=26148 vsize=14092996 memory=2887152 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26159/stat : 26159 (java) S 26148 26151 21905 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 250043509 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366039733728 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26160] ppid=26148 vsize=14092996 memory=2879860 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26160/stat : 26160 (java) S 26148 26151 21905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250043509 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366038681088 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26161] ppid=26148 vsize=14092996 memory=2836988 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26161/stat : 26161 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043511 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366037629648 140367060866971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26162] ppid=26148 vsize=14092996 memory=4420 CPUtime=2.52 cores=1,3,5,7
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 21905 0 -1 1077944384 10609 0 0 0 250 2 0 0 20 0 15 0 250043511 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366036576240 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26163] ppid=26148 vsize=14092996 memory=0 CPUtime=2.42 cores=1,3,5,7
/proc/26151/task/26163/stat : 26163 (java) S 26148 26151 21905 0 -1 1077944384 9300 0 0 0 241 1 0 0 20 0 15 0 250043511 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366035523696 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26164] ppid=26148 vsize=14092996 memory=4 CPUtime=1.24 cores=1,3,5,7
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 21905 0 -1 1077944384 15563 0 0 0 121 3 0 0 20 0 15 0 250043511 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366034471152 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26165] ppid=26148 vsize=14092996 memory=2890228 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26165/stat : 26165 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043512 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366033418848 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26166] ppid=26148 vsize=14092996 memory=2888176 CPUtime=0.09 cores=1,3,5,7
/proc/26151/task/26166/stat : 26166 (java) S 26148 26151 21905 0 -1 1077944384 324 0 0 0 3 6 0 0 20 0 15 0 250043512 14431227904 722683 33554432000 4194304 4196468 140724854363456 140366032366384 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
Current children cumulated CPU time: 171.53 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2890732 KiB

[startup+222.301 s]
/proc/loadavg: 1.33 1.40 1.46 3/216 26169
/proc/meminfo: memFree=20257504/32770624 swapFree=67108172/67108860
[pid=26151] ppid=26148 vsize=14092996 memory=2943820 CPUtime=233.07 cores=1,3,5,7
/proc/26151/stat : 26151 (java) S 26148 26151 21905 0 -1 1077944320 106714 0 0 0 23153 154 0 0 20 0 15 0 250043506 14431227904 735955 33554432000 4194304 4196468 140724854363456 140724854346000 140367060848375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
/proc/26151/statm: 3523249 735955 3604 1 0 3485321 0
[pid=26151/tid=26153] ppid=26148 vsize=14092996 memory=2934116 CPUtime=220.35 cores=1,3,5,7
/proc/26151/task/26153/stat : 26153 (java) R 26148 26151 21905 0 -1 4202560 46022 0 0 0 21992 43 0 0 20 0 15 0 250043506 14431227904 735955 33554432000 4194304 4196468 140724854363456 140367065086112 140366671672794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26154] ppid=26148 vsize=14092996 memory=2936156 CPUtime=1.51 cores=1,3,5,7
/proc/26151/task/26154/stat : 26154 (java) S 26148 26151 21905 0 -1 1077944384 3574 0 0 0 128 23 0 0 20 0 15 0 250043507 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366990936336 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26155] ppid=26148 vsize=14092996 memory=2942284 CPUtime=1.52 cores=1,3,5,7
/proc/26151/task/26155/stat : 26155 (java) S 26148 26151 21905 0 -1 1077944384 3434 0 0 0 129 23 0 0 20 0 15 0 250043507 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366989883792 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26156] ppid=26148 vsize=14092996 memory=2943820 CPUtime=1.52 cores=1,3,5,7
/proc/26151/task/26156/stat : 26156 (java) S 26148 26151 21905 0 -1 1077944384 3173 0 0 0 128 24 0 0 20 0 15 0 250043507 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366988831248 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26157] ppid=26148 vsize=14092996 memory=2925948 CPUtime=1.49 cores=1,3,5,7
/proc/26151/task/26157/stat : 26157 (java) S 26148 26151 21905 0 -1 1077944384 4818 0 0 0 126 23 0 0 20 0 15 0 250043507 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366987778704 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26158] ppid=26148 vsize=14092996 memory=2926468 CPUtime=0.22 cores=1,3,5,7
/proc/26151/task/26158/stat : 26158 (java) S 26148 26151 21905 0 -1 1077944384 3496 0 0 0 19 3 0 0 20 0 15 0 250043508 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366040787440 140367060859522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26159] ppid=26148 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26159/stat : 26159 (java) S 26148 26151 21905 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 250043509 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366039733728 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26160] ppid=26148 vsize=14092996 memory=68000 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26160/stat : 26160 (java) S 26148 26151 21905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250043509 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366038681088 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26161] ppid=26148 vsize=14092996 memory=2943820 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26161/stat : 26161 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043511 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366037629648 140367060866971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26162] ppid=26148 vsize=14092996 memory=2942284 CPUtime=2.52 cores=1,3,5,7
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 21905 0 -1 1077944384 11755 0 0 0 250 2 0 0 20 0 15 0 250043511 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366036576240 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26163] ppid=26148 vsize=14092996 memory=2672 CPUtime=2.44 cores=1,3,5,7
/proc/26151/task/26163/stat : 26163 (java) S 26148 26151 21905 0 -1 1077944384 9644 0 0 0 243 1 0 0 20 0 15 0 250043511 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366035523696 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26164] ppid=26148 vsize=14092996 memory=1256 CPUtime=1.25 cores=1,3,5,7
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 21905 0 -1 1077944384 18958 0 0 0 122 3 0 0 20 0 15 0 250043511 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366034471152 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26165] ppid=26148 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26165/stat : 26165 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043512 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366033418848 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26166] ppid=26148 vsize=14092996 memory=68000 CPUtime=0.13 cores=1,3,5,7
/proc/26151/task/26166/stat : 26166 (java) S 26148 26151 21905 0 -1 1077944384 397 0 0 0 5 8 0 0 20 0 15 0 250043512 14431227904 735955 33554432000 4194304 4196468 140724854363456 140366032366384 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
Current children cumulated CPU time: 233.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2943820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+240.801 s]
/proc/loadavg: 1.63 1.46 1.48 4/216 26249
/proc/meminfo: memFree=21371224/32770624 swapFree=67108172/67108860
[pid=26151] ppid=26148 vsize=14092996 memory=2962708 CPUtime=252.06 cores=1,3,5,7
/proc/26151/stat : 26151 (java) S 26148 26151 21905 0 -1 1077944320 109526 0 0 0 25044 162 0 0 20 0 15 0 250043506 14431227904 740677 33554432000 4194304 4196468 140724854363456 140724854346000 140367060848375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
/proc/26151/statm: 3523249 740677 3604 1 0 3485321 0
[pid=26151/tid=26153] ppid=26148 vsize=14092996 memory=6791534058613427641 CPUtime=238.64 cores=1,3,5,7
/proc/26151/task/26153/stat : 26153 (java) R 26148 26151 21905 0 -1 4202560 47582 0 0 0 23821 43 0 0 20 0 15 0 250043506 14431227904 740677 33554432000 4194304 4196468 140724854363456 140367065086080 140366673473978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26154] ppid=26148 vsize=14092996 memory=6791534058613427641 CPUtime=1.68 cores=1,3,5,7
/proc/26151/task/26154/stat : 26154 (java) S 26148 26151 21905 0 -1 1077944384 3705 0 0 0 143 25 0 0 20 0 15 0 250043507 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366990936336 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26155] ppid=26148 vsize=14092996 memory=13940 CPUtime=1.69 cores=1,3,5,7
/proc/26151/task/26155/stat : 26155 (java) S 26148 26151 21905 0 -1 1077944384 3581 0 0 0 144 25 0 0 20 0 15 0 250043507 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366989883792 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26156] ppid=26148 vsize=14092996 memory=12552 CPUtime=1.69 cores=1,3,5,7
/proc/26151/task/26156/stat : 26156 (java) S 26148 26151 21905 0 -1 1077944384 3287 0 0 0 143 26 0 0 20 0 15 0 250043507 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366988831248 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26157] ppid=26148 vsize=14092996 memory=37396 CPUtime=1.66 cores=1,3,5,7
/proc/26151/task/26157/stat : 26157 (java) S 26148 26151 21905 0 -1 1077944384 5033 0 0 0 141 25 0 0 20 0 15 0 250043507 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366987778704 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26158] ppid=26148 vsize=14092996 memory=2324 CPUtime=0.24 cores=1,3,5,7
/proc/26151/task/26158/stat : 26158 (java) S 26148 26151 21905 0 -1 1077944384 3496 0 0 0 21 3 0 0 20 0 15 0 250043508 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366040787440 140367060859522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26159] ppid=26148 vsize=14092996 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26159/stat : 26159 (java) S 26148 26151 21905 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 250043509 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366039733728 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26160] ppid=26148 vsize=14092996 memory=496 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26160/stat : 26160 (java) S 26148 26151 21905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250043509 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366038681088 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26161] ppid=26148 vsize=14092996 memory=928 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26161/stat : 26161 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043511 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366037629648 140367060866971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26162] ppid=26148 vsize=14092996 memory=1172 CPUtime=2.52 cores=1,3,5,7
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 21905 0 -1 1077944384 11755 0 0 0 250 2 0 0 20 0 15 0 250043511 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366036576240 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26163] ppid=26148 vsize=14092996 memory=1964 CPUtime=2.44 cores=1,3,5,7
/proc/26151/task/26163/stat : 26163 (java) S 26148 26151 21905 0 -1 1077944384 9685 0 0 0 243 1 0 0 20 0 15 0 250043511 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366035523696 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26164] ppid=26148 vsize=14092996 memory=1572 CPUtime=1.26 cores=1,3,5,7
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 21905 0 -1 1077944384 19561 0 0 0 123 3 0 0 20 0 15 0 250043511 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366034471152 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26165] ppid=26148 vsize=14092996 memory=924 CPUtime=0 cores=1,3,5,7
/proc/26151/task/26165/stat : 26165 (java) S 26148 26151 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250043512 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366033418848 140367060858581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
[pid=26151/tid=26166] ppid=26148 vsize=14092996 memory=1992 CPUtime=0.14 cores=1,3,5,7
/proc/26151/task/26166/stat : 26166 (java) S 26148 26151 21905 0 -1 1077944384 398 0 0 0 5 9 0 0 20 0 15 0 250043512 14431227904 740677 33554432000 4194304 4196468 140724854363456 140366032366384 140367060859522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17440768 140724854367322 140724854367502 140724854367502 140724854370255 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2962708 KiB

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

[startup+240.842 s]
# the end of solver process 26151 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.471 s, system=1.64059 s

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

Child status: 143
Real time (s): 240.842
CPU time (s): 252.112
CPU user time (s): 250.471
CPU system time (s): 1.64059
CPU usage (%): 104.679
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2966300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.471
system time used= 1.64059
maximum resident set size= 2966300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15174
involuntary context switches= 521


# summary of solver processes directly reported to runsolver:
#   pid: 26151
#   total CPU time (s): 252.112
#   total CPU user time (s): 250.471
#   total CPU system time (s): 1.64059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59559 second user time and 2.21455 second system time

The end

Name	StillLife/ StillLife-wastage-21_c18.xml
MD5SUM	a6f0507a9e94bceb0819229116432592
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	195
Best CPU time to get the best result obtained on this benchmark	252.101
Satisfiable
(Un)Satisfiability was proved
Number of variables	1082
Number of constraints	659
Number of domains	4
Minimum domain size	2
Maximum domain size	1059
Distribution of domain sizes	[{"size":2,"count":529},{"size":3,"count":529},{"size":442,"count":1},{"size":1059,"count":23}]
Minimum variable degree	1
Maximum variable degree	24
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":526},{"degree":3,"count":26},{"degree":4,"count":84},{"degree":8,"count":80},{"degree":9,"count":361},{"degree":24,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	25
Distribution of constraint arities	[{"arity":2,"count":107},{"arity":3,"count":84},{"arity":10,"count":441},{"arity":23,"count":4},{"arity":24,"count":1},{"arity":25,"count":22}]
Number of extensional constraints	525
Number of intensional constraints	106
Distribution of constraint types	[{"type":"extension","count":525},{"type":"intension","count":106},{"type":"sum","count":24},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4310243

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