2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	194	2520.09	2497.25

0.66/0.56	c version: 2018-08-14
0.66/0.56	c seed: 180270738
0.66/0.56	c timeout: 2520
0.66/0.56	c memlimit: 11000
0.66/0.56	c nbcore: 4
0.66/0.58	c Parsing instance...
3.91/1.93	c Parsing done, starting first complete search...
6.28/3.18	o 64
6.28/3.18	o 65
6.28/3.18	o 66
6.28/3.18	o 67
6.28/3.18	o 68
6.28/3.18	o 69
6.28/3.18	o 70
6.28/3.19	o 71
6.28/3.19	o 72
6.28/3.19	o 73
6.28/3.19	o 74
6.28/3.19	o 75
6.28/3.19	o 76
6.28/3.19	o 77
6.28/3.19	o 78
6.28/3.19	o 79
6.28/3.20	o 80
6.28/3.20	o 81
6.28/3.20	o 82
6.28/3.20	o 83
6.28/3.20	o 84
6.28/3.20	o 85
6.28/3.20	o 86
6.28/3.20	o 87
6.28/3.20	o 88
6.48/3.21	o 89
6.48/3.21	o 90
6.48/3.21	o 91
6.48/3.22	o 92
6.48/3.22	o 93
6.48/3.22	o 94
6.48/3.22	o 95
6.48/3.22	o 96
6.48/3.22	o 97
6.48/3.23	o 98
6.48/3.23	o 99
6.48/3.23	o 100
6.48/3.23	o 101
6.48/3.23	o 102
6.48/3.23	o 103
6.48/3.23	o 104
6.48/3.23	o 105
6.48/3.23	o 106
6.48/3.23	o 107
6.48/3.23	o 108
6.48/3.23	o 109
6.48/3.24	o 110
6.48/3.24	o 111
6.48/3.24	o 112
6.48/3.24	o 113
6.48/3.24	o 114
6.48/3.24	o 115
6.48/3.24	o 116
6.48/3.24	o 117
6.48/3.24	o 118
6.48/3.24	o 119
6.48/3.24	o 120
6.48/3.24	o 121
6.48/3.25	o 122
6.48/3.25	o 123
6.48/3.25	o 124
6.48/3.25	o 125
6.48/3.25	o 126
6.48/3.25	o 127
6.48/3.25	o 128
6.48/3.25	o 129
6.48/3.25	o 130
6.48/3.25	o 131
6.48/3.25	o 132
6.48/3.26	o 133
6.48/3.26	o 134
6.48/3.26	o 135
6.48/3.26	o 136
6.48/3.26	o 137
6.48/3.26	o 138
6.48/3.26	o 139
6.48/3.26	o 140
6.48/3.26	o 141
6.48/3.26	o 142
6.48/3.26	o 143
6.48/3.26	o 144
6.48/3.26	o 145
6.48/3.26	o 146
6.48/3.27	o 147
6.48/3.27	o 148
6.48/3.27	o 149
6.48/3.27	o 150
6.48/3.27	o 151
6.48/3.27	o 152
6.48/3.27	o 153
6.48/3.28	o 154
6.48/3.28	o 155
7.09/3.48	o 156
7.09/3.48	o 157
7.09/3.49	o 158
7.09/3.49	o 159
10.53/6.42	c First complete search done, starting ALNS search...
15.34/9.89	o 160
15.34/9.90	o 161
15.34/9.90	o 162
15.47/9.91	o 163
29.18/22.74	o 164
29.31/22.89	o 165
29.60/23.01	o 166
71.83/64.57	o 167
71.83/64.58	o 168
71.83/64.59	o 169
71.83/64.60	o 170
71.94/64.60	o 171
71.94/64.61	o 172
71.94/64.63	o 173
71.94/64.63	o 174
71.94/64.64	o 175
71.94/64.66	o 176
71.94/64.67	o 177
71.94/64.67	o 178
72.05/64.70	o 179
72.15/64.83	o 180
72.15/64.83	o 181
72.15/64.85	o 182
72.15/64.87	o 183
72.15/64.89	o 184
207.21/199.34	o 185
213.72/205.89	o 186
213.82/205.91	o 187
213.82/205.92	o 188
213.82/205.94	o 189
213.82/205.95	o 190
213.82/205.97	o 191
213.82/206.00	o 192
213.93/206.03	o 193
213.93/206.06	o 194
2520.04/2497.20	s SATISFIABLE
2520.04/2497.20	v <instantiation>
2520.04/2497.20	v 	<list>
2520.04/2497.20	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
2520.04/2497.21	v 	</list>
2520.04/2497.21	v 	<values>
2520.04/2497.21	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 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 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 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 2 2 1 0 0 0 2 2 1 1 2 1 1 2 2 0 1 0 2 2 2 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 2 0 1 0 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 2 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 2 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 2 2 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 2 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 1 1 0 0 1 2 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 2 2 1 2 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 18 46 60 64 69 72 78 87 92 98 100 105 112 116 119 126 130 139 150 157 162 177 190 194 
2520.04/2497.21	v 	</values>
2520.04/2497.21	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 (11818 MiB free)
  memory of node 1: 16384 MiB (9831 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308371-1534271020/watcher-4308371-1534271020 -o /tmp/evaluation-result-4308371-1534271020/solver-4308371-1534271020 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534271020-14113 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 180270738 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308371-1534271020.xml 

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

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


[startup+0.100452 s]*
/proc/loadavg: 0.62 0.82 1.07 4/219 14175
/proc/meminfo: memFree=22132512/32770624 swapFree=67105356/67108860
[pid=14142] ppid=14138 vsize=14082736 memory=33380 CPUtime=0.11 cores=1,3,5,7
/proc/14142/stat : 14142 (java) S 14138 14142 12124 0 -1 1077944320 7270 0 0 0 10 1 0 0 20 0 15 0 244665264 14420721664 8345 33554432000 4194304 4196468 140731965756704 140731965739248 140429876649719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
/proc/14142/statm: 3520684 8345 3146 1 0 3482761 0
[pid=14142/tid=14148] ppid=14138 vsize=14082736 memory=6735269665583770266 CPUtime=0.09 cores=1,3,5,7
/proc/14142/task/14148/stat : 14148 (java) R 14138 14142 12124 0 -1 4202560 5415 0 0 0 8 1 0 0 20 0 15 0 244665265 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429880853504 140429860730206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14152] ppid=14138 vsize=14082736 memory=4211973628775460234 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14152/stat : 14152 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429806737808 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14153] ppid=14138 vsize=14082736 memory=139902570669696 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14153/stat : 14153 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429805685008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14154] ppid=14138 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14154/stat : 14154 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429804632720 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14156] ppid=14138 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14156/stat : 14156 (java) S 14138 14142 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429803579920 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14159] ppid=14138 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14159/stat : 14159 (java) S 14138 14142 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244665267 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429350111856 140429876660866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14161] ppid=14138 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14161/stat : 14161 (java) S 14138 14142 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244665267 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429349057824 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14162] ppid=14138 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14162/stat : 14162 (java) S 14138 14142 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244665268 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429348005488 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14165] ppid=14138 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14165/stat : 14165 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429346953808 140429876668315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14168] ppid=14138 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14168/stat : 14168 (java) S 14138 14142 12124 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429345900656 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14170] ppid=14138 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14170/stat : 14170 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429344847856 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14171] ppid=14138 vsize=14082736 memory=139902570669696 CPUtime=0.01 cores=1,3,5,7
/proc/14142/task/14171/stat : 14171 (java) S 14138 14142 12124 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 15 0 244665270 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429343795568 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14173] ppid=14138 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14173/stat : 14173 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429342743008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14175] ppid=14138 vsize=14082736 memory=139902570669696 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14175/stat : 14175 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 8411 33554432000 4194304 4196468 140731965756704 140429341690800 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33380 KiB

[startup+0.211427 s]*
/proc/loadavg: 0.62 0.82 1.07 8/219 14175
/proc/meminfo: memFree=22101712/32770624 swapFree=67105356/67108860
[pid=14142] ppid=14138 vsize=14082736 memory=47032 CPUtime=0.3 cores=1,3,5,7
/proc/14142/stat : 14142 (java) S 14138 14142 12124 0 -1 1077944320 10358 0 0 0 28 2 0 0 20 0 15 0 244665264 14420721664 11758 33554432000 4194304 4196468 140731965756704 140731965739248 140429876649719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
/proc/14142/statm: 3520684 11758 3377 1 0 3482761 0
[pid=14142/tid=14148] ppid=14138 vsize=14082736 memory=4871374705135476842 CPUtime=0.19 cores=1,3,5,7
/proc/14142/task/14148/stat : 14148 (java) R 14138 14142 12124 0 -1 4202560 8112 0 0 0 18 1 0 0 20 0 15 0 244665265 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429880874880 140429868886846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14152] ppid=14138 vsize=14082736 memory=4211973628775460234 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14152/stat : 14152 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429806737808 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14153] ppid=14138 vsize=14082736 memory=139902570669696 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14153/stat : 14153 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429805685008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14154] ppid=14138 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14154/stat : 14154 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429804632720 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14156] ppid=14138 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14156/stat : 14156 (java) S 14138 14142 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429803579920 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14159] ppid=14138 vsize=14082736 memory=139902570669696 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14159/stat : 14159 (java) S 14138 14142 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244665267 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429350111856 140429876660866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14161] ppid=14138 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14161/stat : 14161 (java) S 14138 14142 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244665267 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429349057824 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14162] ppid=14138 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14162/stat : 14162 (java) S 14138 14142 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244665268 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429348005488 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14165] ppid=14138 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14165/stat : 14165 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429346953808 140429876668315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14168] ppid=14138 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14142/task/14168/stat : 14168 (java) R 14138 14142 12124 0 -1 4202560 394 0 0 0 1 0 0 0 20 0 15 0 244665270 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429345900656 140429868939168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14170] ppid=14138 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14142/task/14170/stat : 14170 (java) R 14138 14142 12124 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 244665270 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429344847856 140429876660866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14171] ppid=14138 vsize=14082736 memory=139902570669696 CPUtime=0.06 cores=1,3,5,7
/proc/14142/task/14171/stat : 14171 (java) R 14138 14142 12124 0 -1 4202560 270 0 0 0 6 0 0 0 20 0 15 0 244665270 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429343795568 140429868886846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14173] ppid=14138 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14173/stat : 14173 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429342743008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14175] ppid=14138 vsize=14082736 memory=139902570669696 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14175/stat : 14175 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 11758 33554432000 4194304 4196468 140731965756704 140429341690800 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47032 KiB

[startup+0.320428 s]*
/proc/loadavg: 0.62 0.82 1.07 4/219 14175
/proc/meminfo: memFree=22095128/32770624 swapFree=67105356/67108860
[pid=14142] ppid=14138 vsize=14082736 memory=50804 CPUtime=0.43 cores=1,3,5,7
/proc/14142/stat : 14142 (java) S 14138 14142 12124 0 -1 1077944320 10741 0 0 0 41 2 0 0 20 0 15 0 244665264 14420721664 12701 33554432000 4194304 4196468 140731965756704 140731965739248 140429876649719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
/proc/14142/statm: 3520684 12701 3415 1 0 3482761 0
[pid=14142/tid=14148] ppid=14138 vsize=14082736 memory=279804905521392 CPUtime=0.3 cores=1,3,5,7
/proc/14142/task/14148/stat : 14148 (java) R 14138 14142 12124 0 -1 4202560 8467 0 0 0 28 2 0 0 20 0 15 0 244665265 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429880838568 140429860730206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14152] ppid=14138 vsize=14082736 memory=4211973628775460234 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14152/stat : 14152 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429806737808 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14153] ppid=14138 vsize=14082736 memory=139902570672032 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14153/stat : 14153 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429805685008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14154] ppid=14138 vsize=14082736 memory=139902452869688 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14154/stat : 14154 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429804632720 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14156] ppid=14138 vsize=14082736 memory=139902452874191 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14156/stat : 14156 (java) S 14138 14142 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244665266 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429803579920 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14159] ppid=14138 vsize=14082736 memory=139902570681846 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14159/stat : 14159 (java) S 14138 14142 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244665267 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429350111856 140429876660866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14161] ppid=14138 vsize=14082736 memory=139902452874191 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14161/stat : 14161 (java) S 14138 14142 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244665267 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429349057824 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14162] ppid=14138 vsize=14082736 memory=279804905769104 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14162/stat : 14162 (java) S 14138 14142 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244665268 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429348005488 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14165] ppid=14138 vsize=14082736 memory=279804905766800 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14165/stat : 14165 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429346953808 140429876668315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14168] ppid=14138 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14142/task/14168/stat : 14168 (java) S 14138 14142 12124 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 244665270 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429345900656 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14170] ppid=14138 vsize=14082736 memory=2240 CPUtime=0.02 cores=1,3,5,7
/proc/14142/task/14170/stat : 14170 (java) S 14138 14142 12124 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 15 0 244665270 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429344847856 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14171] ppid=14138 vsize=14082736 memory=139902570669696 CPUtime=0.08 cores=1,3,5,7
/proc/14142/task/14171/stat : 14171 (java) S 14138 14142 12124 0 -1 1077944384 279 0 0 0 8 0 0 0 20 0 15 0 244665270 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429343795568 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14173] ppid=14138 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14173/stat : 14173 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429342743008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14175] ppid=14138 vsize=14082736 memory=139902570669696 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14175/stat : 14175 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665270 14420721664 12701 33554432000 4194304 4196468 140731965756704 140429341690800 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50804 KiB

[startup+0.700703 s]
/proc/loadavg: 0.62 0.82 1.07 4/219 14175
/proc/meminfo: memFree=22051220/32770624 swapFree=67105356/67108860
[pid=14142] ppid=14138 vsize=14084804 memory=88636 CPUtime=0.98 cores=1,3,5,7
/proc/14142/stat : 14142 (java) S 14138 14142 12124 0 -1 1077944320 17569 0 0 0 94 4 0 0 20 0 15 0 244665264 14422839296 22159 33554432000 4194304 4196468 140731965756704 140731965739248 140429876649719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
/proc/14142/statm: 3521201 22159 3498 1 0 3483273 0
[pid=14142/tid=14148] ppid=14138 vsize=14084804 memory=1812 CPUtime=0.67 cores=1,3,5,7
/proc/14142/task/14148/stat : 14148 (java) R 14138 14142 12124 0 -1 4202560 14882 0 0 0 64 3 0 0 20 0 15 0 244665265 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429880874816 140429876671645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14152] ppid=14138 vsize=14084804 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14152/stat : 14152 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429806737808 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14153] ppid=14138 vsize=14084804 memory=6392 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14153/stat : 14153 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429805685008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14154] ppid=14138 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14154/stat : 14154 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429804632720 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14156] ppid=14138 vsize=14084804 memory=7525326301224851042 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14156/stat : 14156 (java) S 14138 14142 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244665266 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429803579920 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14159] ppid=14138 vsize=14084804 memory=5787213857196369745 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14159/stat : 14159 (java) S 14138 14142 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244665267 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429350111856 140429876660866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14161] ppid=14138 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14161/stat : 14161 (java) S 14138 14142 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244665267 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429349057824 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14162] ppid=14138 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14162/stat : 14162 (java) S 14138 14142 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244665268 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429348005488 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14165] ppid=14138 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14165/stat : 14165 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429346953808 140429876668315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14168] ppid=14138 vsize=14084804 memory=8744 CPUtime=0.08 cores=1,3,5,7
/proc/14142/task/14168/stat : 14168 (java) S 14138 14142 12124 0 -1 1077944384 559 0 0 0 8 0 0 0 20 0 15 0 244665270 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429345900656 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14170] ppid=14138 vsize=14084804 memory=6 CPUtime=0.05 cores=1,3,5,7
/proc/14142/task/14170/stat : 14170 (java) R 14138 14142 12124 0 -1 1077944384 361 0 0 0 5 0 0 0 20 0 15 0 244665270 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429344847856 140429876660866 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14171] ppid=14138 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/14142/task/14171/stat : 14171 (java) S 14138 14142 12124 0 -1 1077944384 385 0 0 0 15 0 0 0 20 0 15 0 244665270 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429343795568 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14173] ppid=14138 vsize=14084804 memory=279804905950704 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14173/stat : 14173 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429342743008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14175] ppid=14138 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14175/stat : 14175 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665270 14422839296 22159 33554432000 4194304 4196468 140731965756704 140429341690800 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88636 KiB

[startup+1.50343 s]
/proc/loadavg: 0.62 0.82 1.07 6/219 14175
/proc/meminfo: memFree=21984560/32770624 swapFree=67105356/67108860
[pid=14142] ppid=14138 vsize=14090948 memory=161548 CPUtime=2.92 cores=1,3,5,7
/proc/14142/stat : 14142 (java) S 14138 14142 12124 0 -1 1077944320 27243 0 0 0 285 7 0 0 20 0 15 0 244665264 14429130752 40387 33554432000 4194304 4196468 140731965756704 140731965739248 140429876649719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
/proc/14142/statm: 3522737 40387 3544 1 0 3484809 0
[pid=14142/tid=14148] ppid=14138 vsize=14090948 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/14142/task/14148/stat : 14148 (java) R 14138 14142 12124 0 -1 4202560 20691 0 0 0 141 5 0 0 20 0 15 0 244665265 14429130752 40387 33554432000 4194304 4196468 140731965756704 140429880883888 140429475578900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14152] ppid=14138 vsize=14090948 memory=4948218617292233600 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14152/stat : 14152 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14429130752 40387 33554432000 4194304 4196468 140731965756704 140429806737808 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14153] ppid=14138 vsize=14090948 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14153/stat : 14153 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14429130752 40387 33554432000 4194304 4196468 140731965756704 140429805685008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14154] ppid=14138 vsize=14090948 memory=-6510899220823103363 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14154/stat : 14154 (java) S 14138 14142 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244665266 14429130752 40387 33554432000 4194304 4196468 140731965756704 140429804632720 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14156] ppid=14138 vsize=14090948 memory=-7665522773824852526 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14156/stat : 14156 (java) S 14138 14142 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244665266 14429130752 40387 33554432000 4194304 4196468 140731965756704 140429803579920 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14159] ppid=14138 vsize=14090948 memory=-3472574513799858002 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14159/stat : 14159 (java) S 14138 14142 12124 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 244665267 14429130752 40387 33554432000 4194304 4196468 140731965756704 140429350111856 140429876660866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0

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

/proc/14142/task/14148/stat : 14148 (java) R 14138 14142 12124 0 -1 4202560 378723 0 0 0 231462 91 0 0 20 0 15 0 244665265 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429880887616 140429487329642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14152] ppid=14138 vsize=14092996 memory=4120152 CPUtime=4.81 cores=1,3,5,7
/proc/14142/task/14152/stat : 14152 (java) S 14138 14142 12124 0 -1 1077944384 23012 0 0 0 445 36 0 0 20 0 15 0 244665266 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429806737808 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14153] ppid=14138 vsize=14092996 memory=4091732 CPUtime=4.82 cores=1,3,5,7
/proc/14142/task/14153/stat : 14153 (java) S 14138 14142 12124 0 -1 1077944384 19222 0 0 0 444 38 0 0 20 0 15 0 244665266 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429805685008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14154] ppid=14138 vsize=14092996 memory=4125596 CPUtime=4.83 cores=1,3,5,7
/proc/14142/task/14154/stat : 14154 (java) S 14138 14142 12124 0 -1 1077944384 24547 0 0 0 445 38 0 0 20 0 15 0 244665266 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429804632720 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14156] ppid=14138 vsize=14092996 memory=4153316 CPUtime=4.81 cores=1,3,5,7
/proc/14142/task/14156/stat : 14156 (java) S 14138 14142 12124 0 -1 1077944384 23733 0 0 0 444 37 0 0 20 0 15 0 244665266 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429803579920 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14159] ppid=14138 vsize=14092996 memory=4153316 CPUtime=1.41 cores=1,3,5,7
/proc/14142/task/14159/stat : 14159 (java) S 14138 14142 12124 0 -1 1077944384 29734 0 0 0 122 19 0 0 20 0 15 0 244665267 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429350111856 140429876660866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 86 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14161] ppid=14138 vsize=14092996 memory=12468 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14161/stat : 14161 (java) S 14138 14142 12124 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 244665267 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429349057888 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14162] ppid=14138 vsize=14092996 memory=4153316 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14162/stat : 14162 (java) S 14138 14142 12124 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 244665268 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429348005504 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14165] ppid=14138 vsize=14092996 memory=4153316 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14165/stat : 14165 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429346953808 140429876668315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14168] ppid=14138 vsize=14092996 memory=4153316 CPUtime=2.86 cores=1,3,5,7
/proc/14142/task/14168/stat : 14168 (java) S 14138 14142 12124 0 -1 1077944384 28078 0 0 0 284 2 0 0 20 0 15 0 244665270 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429345900656 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 86 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14170] ppid=14138 vsize=14092996 memory=4153316 CPUtime=2.89 cores=1,3,5,7
/proc/14142/task/14170/stat : 14170 (java) S 14138 14142 12124 0 -1 1077944384 35833 0 0 0 285 4 0 0 20 0 15 0 244665270 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429344847856 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14171] ppid=14138 vsize=14092996 memory=4153316 CPUtime=1.34 cores=1,3,5,7
/proc/14142/task/14171/stat : 14171 (java) S 14138 14142 12124 0 -1 1077944384 28233 0 0 0 131 3 0 0 20 0 15 0 244665270 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429343795568 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14173] ppid=14138 vsize=14092996 memory=4153316 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14173/stat : 14173 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429342743008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14175] ppid=14138 vsize=14092996 memory=4153316 CPUtime=1.42 cores=1,3,5,7
/proc/14142/task/14175/stat : 14175 (java) S 14138 14142 12124 0 -1 1077944384 2494 0 0 0 63 79 0 0 20 0 15 0 244665270 14431227904 1038329 33554432000 4194304 4196468 140731965756704 140429341690800 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 85 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
Current children cumulated CPU time: 2344.82 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4153316 KiB

[startup+2382.3 s]
/proc/loadavg: 1.58 1.82 1.65 3/217 14273
/proc/meminfo: memFree=17491428/32770624 swapFree=67105356/67108860
[pid=14142] ppid=14138 vsize=14092996 memory=4217956 CPUtime=2404.95 cores=1,3,5,7
/proc/14142/stat : 14142 (java) S 14138 14142 12124 0 -1 1077944320 613189 0 0 0 240161 334 0 0 20 0 15 0 244665264 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140731965739248 140429876649719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
/proc/14142/statm: 3523249 1054489 3628 1 0 3485321 0
[pid=14142/tid=14148] ppid=14138 vsize=14092996 memory=6791534058613427641 CPUtime=2375.51 cores=1,3,5,7
/proc/14142/task/14148/stat : 14148 (java) R 14138 14142 12124 0 -1 4202560 395315 0 0 0 237457 94 0 0 20 0 15 0 244665265 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429880887616 140429481163343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14152] ppid=14138 vsize=14092996 memory=4217956 CPUtime=4.84 cores=1,3,5,7
/proc/14142/task/14152/stat : 14152 (java) S 14138 14142 12124 0 -1 1077944384 23059 0 0 0 447 37 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429806737808 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14153] ppid=14138 vsize=14092996 memory=4217956 CPUtime=4.85 cores=1,3,5,7
/proc/14142/task/14153/stat : 14153 (java) S 14138 14142 12124 0 -1 1077944384 20123 0 0 0 446 39 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429805685008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14154] ppid=14138 vsize=14092996 memory=4191248 CPUtime=4.85 cores=1,3,5,7
/proc/14142/task/14154/stat : 14154 (java) S 14138 14142 12124 0 -1 1077944384 24687 0 0 0 447 38 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429804632720 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14156] ppid=14138 vsize=14092996 memory=4217956 CPUtime=4.83 cores=1,3,5,7
/proc/14142/task/14156/stat : 14156 (java) S 14138 14142 12124 0 -1 1077944384 23872 0 0 0 446 37 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429803579920 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14159] ppid=14138 vsize=14092996 memory=4217956 CPUtime=1.41 cores=1,3,5,7
/proc/14142/task/14159/stat : 14159 (java) S 14138 14142 12124 0 -1 1077944384 30023 0 0 0 122 19 0 0 20 0 15 0 244665267 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429350111856 140429876660866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 86 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14161] ppid=14138 vsize=14092996 memory=37244 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14161/stat : 14161 (java) S 14138 14142 12124 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 244665267 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429349057888 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14162] ppid=14138 vsize=14092996 memory=4217956 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14162/stat : 14162 (java) S 14138 14142 12124 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 244665268 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429348005504 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14165] ppid=14138 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14165/stat : 14165 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429346953808 140429876668315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14168] ppid=14138 vsize=14092996 memory=4217956 CPUtime=2.86 cores=1,3,5,7
/proc/14142/task/14168/stat : 14168 (java) S 14138 14142 12124 0 -1 1077944384 28081 0 0 0 284 2 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429345900656 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 86 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14170] ppid=14138 vsize=14092996 memory=4217956 CPUtime=2.89 cores=1,3,5,7
/proc/14142/task/14170/stat : 14170 (java) S 14138 14142 12124 0 -1 1077944384 35835 0 0 0 285 4 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429344847856 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14171] ppid=14138 vsize=14092996 memory=4217956 CPUtime=1.34 cores=1,3,5,7
/proc/14142/task/14171/stat : 14171 (java) S 14138 14142 12124 0 -1 1077944384 28236 0 0 0 131 3 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429343795568 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14173] ppid=14138 vsize=14092996 memory=4217956 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14173/stat : 14173 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429342743008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14175] ppid=14138 vsize=14092996 memory=4217956 CPUtime=1.46 cores=1,3,5,7
/proc/14142/task/14175/stat : 14175 (java) S 14138 14142 12124 0 -1 1077944384 2515 0 0 0 64 82 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429341690800 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 85 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
Current children cumulated CPU time: 2404.95 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4217956 KiB

[startup+2442.3 s]
/proc/loadavg: 1.46 1.76 1.64 3/217 14274
/proc/meminfo: memFree=17489256/32770624 swapFree=67105356/67108860
[pid=14142] ppid=14138 vsize=14092996 memory=4217956 CPUtime=2465.05 cores=1,3,5,7
/proc/14142/stat : 14142 (java) S 14138 14142 12124 0 -1 1077944320 630430 0 0 0 246168 337 0 0 20 0 15 0 244665264 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140731965739248 140429876649719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
/proc/14142/statm: 3523249 1054489 3628 1 0 3485321 0
[pid=14142/tid=14148] ppid=14138 vsize=14092996 memory=4217956 CPUtime=2435.48 cores=1,3,5,7
/proc/14142/task/14148/stat : 14148 (java) R 14138 14142 12124 0 -1 4202560 411025 0 0 0 243453 95 0 0 20 0 15 0 244665265 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429880887616 140429487328796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14152] ppid=14138 vsize=14092996 memory=4217956 CPUtime=4.87 cores=1,3,5,7
/proc/14142/task/14152/stat : 14152 (java) S 14138 14142 12124 0 -1 1077944384 23090 0 0 0 450 37 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429806737808 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14153] ppid=14138 vsize=14092996 memory=4217956 CPUtime=4.87 cores=1,3,5,7
/proc/14142/task/14153/stat : 14153 (java) S 14138 14142 12124 0 -1 1077944384 20168 0 0 0 448 39 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429805685008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14154] ppid=14138 vsize=14092996 memory=4191248 CPUtime=4.87 cores=1,3,5,7
/proc/14142/task/14154/stat : 14154 (java) S 14138 14142 12124 0 -1 1077944384 24830 0 0 0 449 38 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429804632720 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14156] ppid=14138 vsize=14092996 memory=4217956 CPUtime=4.85 cores=1,3,5,7
/proc/14142/task/14156/stat : 14156 (java) S 14138 14142 12124 0 -1 1077944384 24888 0 0 0 448 37 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429803579920 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14159] ppid=14138 vsize=14092996 memory=4217956 CPUtime=1.42 cores=1,3,5,7
/proc/14142/task/14159/stat : 14159 (java) S 14138 14142 12124 0 -1 1077944384 30280 0 0 0 123 19 0 0 20 0 15 0 244665267 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429350111856 140429876660866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 86 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14161] ppid=14138 vsize=14092996 memory=4217956 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14161/stat : 14161 (java) S 14138 14142 12124 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 244665267 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429349057888 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14162] ppid=14138 vsize=14092996 memory=4217956 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14162/stat : 14162 (java) S 14138 14142 12124 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 244665268 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429348005504 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14165] ppid=14138 vsize=14092996 memory=4217956 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14165/stat : 14165 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429346953808 140429876668315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14168] ppid=14138 vsize=14092996 memory=4217956 CPUtime=2.86 cores=1,3,5,7
/proc/14142/task/14168/stat : 14168 (java) S 14138 14142 12124 0 -1 1077944384 28084 0 0 0 284 2 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429345900656 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 86 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14170] ppid=14138 vsize=14092996 memory=3812 CPUtime=2.89 cores=1,3,5,7
/proc/14142/task/14170/stat : 14170 (java) S 14138 14142 12124 0 -1 1077944384 35843 0 0 0 285 4 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429344847856 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 56 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14171] ppid=14138 vsize=14092996 memory=4217956 CPUtime=1.34 cores=1,3,5,7
/proc/14142/task/14171/stat : 14171 (java) S 14138 14142 12124 0 -1 1077944384 28240 0 0 0 131 3 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429343795568 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14173] ppid=14138 vsize=14092996 memory=4217956 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14173/stat : 14173 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429342743008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14175] ppid=14138 vsize=14092996 memory=477112 CPUtime=1.5 cores=1,3,5,7
/proc/14142/task/14175/stat : 14175 (java) S 14138 14142 12124 0 -1 1077944384 2539 0 0 0 66 84 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429341690800 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 85 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
Current children cumulated CPU time: 2465.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4217956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2497.2 s]
/proc/loadavg: 1.52 1.71 1.63 3/216 14355
/proc/meminfo: memFree=17691864/32770624 swapFree=67105356/67108860
[pid=14142] ppid=14138 vsize=14092996 memory=4217956 CPUtime=2520.04 cores=1,3,5,7
/proc/14142/stat : 14142 (java) S 14138 14142 12124 0 -1 1077944320 646235 0 0 0 251663 341 0 0 20 0 15 0 244665264 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140731965739248 140429876649719 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
/proc/14142/statm: 3523249 1054489 3628 1 0 3485321 0
[pid=14142/tid=14148] ppid=14138 vsize=14092996 memory=1796 CPUtime=2490.35 cores=1,3,5,7
/proc/14142/task/14148/stat : 14148 (java) R 14138 14142 12124 0 -1 4202560 425314 0 0 0 248938 97 0 0 20 0 15 0 244665265 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429880887728 140429481163343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14152] ppid=14138 vsize=14092996 memory=912 CPUtime=4.89 cores=1,3,5,7
/proc/14142/task/14152/stat : 14152 (java) S 14138 14142 12124 0 -1 1077944384 23212 0 0 0 452 37 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429806737808 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14153] ppid=14138 vsize=14092996 memory=3848 CPUtime=4.89 cores=1,3,5,7
/proc/14142/task/14153/stat : 14153 (java) S 14138 14142 12124 0 -1 1077944384 20229 0 0 0 450 39 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429805685008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14154] ppid=14138 vsize=14092996 memory=4104 CPUtime=4.89 cores=1,3,5,7
/proc/14142/task/14154/stat : 14154 (java) S 14138 14142 12124 0 -1 1077944384 24989 0 0 0 451 38 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429804632720 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14156] ppid=14138 vsize=14092996 memory=6791534058613427641 CPUtime=4.87 cores=1,3,5,7
/proc/14142/task/14156/stat : 14156 (java) S 14138 14142 12124 0 -1 1077944384 25757 0 0 0 450 37 0 0 20 0 15 0 244665266 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429803579920 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14159] ppid=14138 vsize=14092996 memory=3644 CPUtime=1.42 cores=1,3,5,7
/proc/14142/task/14159/stat : 14159 (java) S 14138 14142 12124 0 -1 1077944384 30540 0 0 0 123 19 0 0 20 0 15 0 244665267 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429350111856 140429876660866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 86 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14161] ppid=14138 vsize=14092996 memory=1268 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14161/stat : 14161 (java) S 14138 14142 12124 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 244665267 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429349057888 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14162] ppid=14138 vsize=14092996 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14162/stat : 14162 (java) S 14138 14142 12124 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 244665268 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429348005504 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14165] ppid=14138 vsize=14092996 memory=14884 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14165/stat : 14165 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429346953808 140429876668315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14168] ppid=14138 vsize=14092996 memory=3316 CPUtime=2.86 cores=1,3,5,7
/proc/14142/task/14168/stat : 14168 (java) S 14138 14142 12124 0 -1 1077944384 28092 0 0 0 284 2 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429345900656 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 86 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14170] ppid=14138 vsize=14092996 memory=13636 CPUtime=2.89 cores=1,3,5,7
/proc/14142/task/14170/stat : 14170 (java) S 14138 14142 12124 0 -1 1077944384 35846 0 0 0 285 4 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429344847856 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14171] ppid=14138 vsize=14092996 memory=1752 CPUtime=1.34 cores=1,3,5,7
/proc/14142/task/14171/stat : 14171 (java) S 14138 14142 12124 0 -1 1077944384 28244 0 0 0 131 3 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429343795568 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14173] ppid=14138 vsize=14092996 memory=856 CPUtime=0 cores=1,3,5,7
/proc/14142/task/14173/stat : 14173 (java) S 14138 14142 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429342743008 140429876659925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
[pid=14142/tid=14175] ppid=14138 vsize=14092996 memory=12468 CPUtime=1.54 cores=1,3,5,7
/proc/14142/task/14175/stat : 14175 (java) S 14138 14142 12124 0 -1 1077944384 2569 0 0 0 68 86 0 0 20 0 15 0 244665270 14431227904 1054489 33554432000 4194304 4196468 140731965756704 140429341690800 140429876660866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 85 0 0 6293624 6294260 37859328 140731965760597 140731965760777 140731965760777 140731965763535 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4217956 KiB

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

[startup+2497.25 s]
# the end of solver process 14142 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.65 s, system=3.4402 s

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

Child status: 143
Real time (s): 2497.25
CPU time (s): 2520.09
CPU user time (s): 2516.65
CPU system time (s): 3.4402
CPU usage (%): 100.915
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4217956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.65
system time used= 3.4402
maximum resident set size= 4218396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648288
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85973
involuntary context switches= 3720


# summary of solver processes directly reported to runsolver:
#   pid: 14142
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.65
#   total CPU system time (s): 3.4402

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1253 second user time and 24.5082 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	OPT
Best value of the objective obtained on this benchmark	232
Best CPU time to get the best result obtained on this benchmark	194.302
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 4308371

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