2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	SAT (TO)	197	2400.07	2352.53

0.67/0.55	c version: 2018-07-02
0.67/0.56	c seed: 839847005
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.59	c Parsing instance...
4.34/2.06	c Parsing done, starting first complete search...
6.47/3.28	o 64
6.47/3.29	o 65
6.47/3.29	o 66
6.47/3.29	o 67
6.47/3.29	o 68
6.47/3.29	o 69
6.47/3.29	o 70
6.47/3.30	o 71
6.47/3.30	o 72
6.63/3.30	o 73
6.63/3.30	o 74
6.63/3.30	o 75
6.63/3.30	o 76
6.63/3.30	o 77
6.63/3.30	o 78
6.63/3.31	o 79
6.63/3.31	o 80
6.63/3.31	o 81
6.63/3.31	o 82
6.63/3.31	o 83
6.63/3.31	o 84
6.63/3.31	o 85
6.63/3.31	o 86
6.63/3.32	o 87
6.63/3.32	o 88
6.63/3.32	o 89
6.63/3.32	o 90
6.63/3.32	o 91
6.63/3.32	o 92
6.63/3.32	o 93
6.63/3.32	o 94
6.63/3.32	o 95
6.63/3.33	o 96
6.63/3.33	o 97
6.63/3.33	o 98
6.63/3.33	o 99
6.63/3.33	o 100
6.63/3.33	o 101
6.63/3.33	o 102
6.63/3.33	o 103
6.63/3.33	o 104
6.63/3.33	o 105
6.63/3.34	o 106
6.63/3.34	o 107
6.63/3.34	o 108
6.63/3.34	o 109
6.63/3.34	o 110
6.63/3.34	o 111
6.63/3.34	o 112
6.63/3.34	o 113
6.63/3.34	o 114
6.63/3.34	o 115
6.63/3.34	o 116
6.63/3.35	o 117
6.63/3.35	o 118
6.63/3.35	o 119
6.63/3.35	o 120
6.63/3.35	o 121
6.63/3.35	o 122
6.63/3.35	o 123
6.63/3.35	o 124
6.63/3.35	o 125
6.63/3.35	o 126
6.63/3.35	o 127
6.63/3.36	o 128
6.63/3.36	o 129
6.63/3.36	o 130
6.63/3.36	o 131
6.63/3.36	o 132
6.63/3.36	o 133
6.63/3.36	o 134
6.63/3.36	o 135
6.63/3.36	o 136
6.63/3.36	o 137
6.63/3.36	o 138
6.63/3.37	o 139
6.63/3.37	o 140
6.63/3.37	o 141
6.63/3.37	o 142
6.63/3.37	o 143
6.63/3.37	o 144
6.63/3.37	o 145
6.63/3.37	o 146
6.63/3.37	o 147
6.63/3.37	o 148
6.63/3.37	o 149
6.63/3.38	o 150
6.63/3.38	o 151
6.63/3.38	o 152
6.63/3.38	o 153
6.63/3.38	o 154
6.63/3.39	o 155
7.26/3.57	o 156
7.26/3.57	o 157
7.26/3.58	o 158
7.26/3.58	o 159
10.68/6.60	c First complete search done, starting ALNS search...
12.27/7.58	o 160
12.74/7.85	o 161
12.74/7.85	o 162
12.74/7.85	o 163
12.74/7.86	o 164
12.74/7.86	o 165
13.02/7.95	o 166
14.00/8.76	o 167
17.54/12.09	o 168
17.64/12.14	o 169
17.96/12.44	o 170
18.07/12.51	o 171
18.07/12.51	o 172
18.07/12.51	o 173
18.07/12.51	o 174
18.07/12.51	o 175
18.07/12.52	o 176
18.07/12.52	o 177
18.36/12.70	o 178
107.60/99.05	o 179
113.09/104.47	o 180
113.09/104.47	o 181
113.09/104.48	o 182
113.21/104.50	o 183
126.20/117.46	o 184
128.10/119.31	o 185
132.32/123.48	o 186
132.32/123.49	o 187
132.32/123.49	o 188
153.07/144.12	o 189
1488.29/1457.12	o 190
1493.49/1462.36	o 191
1493.49/1462.38	o 192
2326.14/2279.99	o 193
2328.54/2282.35	o 194
2328.54/2282.38	o 195
2328.64/2282.42	o 196
2328.64/2282.45	o 197
2400.03/2352.50	s SATISFIABLE
2400.03/2352.50	v <instantiation>
2400.03/2352.50	v 	<list>
2400.03/2352.50	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
2400.03/2352.51	v 	</list>
2400.03/2352.51	v 	<values>
2400.03/2352.51	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 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 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 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 2 1 2 1 2 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 2 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 2 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 2 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 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 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 1 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 1 1 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 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 2 2 1 2 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 0 17 40 46 53 62 68 74 83 91 98 99 104 113 119 126 130 134 139 144 147 151 165 178 197 
2400.03/2352.51	v 	</values>
2400.03/2352.51	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 (10143 MiB free)
  memory of node 1: 16384 MiB (12199 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291439-1532226565/watcher-4291439-1532226565 -o /tmp/evaluation-result-4291439-1532226565/solver-4291439-1532226565 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532226565-30211 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 839847005 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291439-1532226565.xml 

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

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


[startup+0.100061 s]*
/proc/loadavg: 0.60 0.93 1.32 7/218 30272
/proc/meminfo: memFree=22842676/32770624 swapFree=67108860/67108860
[pid=30239] ppid=30235 vsize=14082740 memory=31032 CPUtime=0.11 cores=1,3,5,7
/proc/30239/stat : 30239 (java) S 30235 30239 30179 0 -1 1077944320 6668 0 0 0 10 1 0 0 20 0 15 0 40219698 14420725760 7758 33554432000 4194304 4196468 140725270319872 140725270302416 140362671767287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
/proc/30239/statm: 3520685 7758 3136 1 0 3482761 0
[pid=30239/tid=30245] ppid=30235 vsize=14082740 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/30239/task/30245/stat : 30245 (java) R 30235 30239 30179 0 -1 4202560 4743 0 0 0 8 1 0 0 20 0 15 0 40219698 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362675961376 140362655847774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30247] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30247/stat : 30247 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362624387344 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30249] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30249/stat : 30249 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362623334800 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30250] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30250/stat : 30250 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362622282256 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30251] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30251/stat : 30251 (java) S 30235 30239 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362621229712 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30256] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30256/stat : 30256 (java) S 30235 30239 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40219701 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362145315312 140362671778434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30258] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30258/stat : 30258 (java) S 30235 30239 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40219701 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362144261536 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30260] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30260/stat : 30260 (java) S 30235 30239 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40219701 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362143208944 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30262] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30262/stat : 30262 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362142157520 140362671785883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30265] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30265/stat : 30265 (java) S 30235 30239 30179 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362141104112 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30267] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30267/stat : 30267 (java) S 30235 30239 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362140051568 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30268] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0.01 cores=1,3,5,7
/proc/30239/task/30268/stat : 30268 (java) S 30235 30239 30179 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 40219704 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362138999024 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30270] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30270/stat : 30270 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362137946720 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30271] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30271/stat : 30271 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 7758 33554432000 4194304 4196468 140725270319872 140362136894256 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31032 KiB

[startup+0.210581 s]*
/proc/loadavg: 0.60 0.93 1.32 8/218 30272
/proc/meminfo: memFree=22813096/32770624 swapFree=67108860/67108860
[pid=30239] ppid=30235 vsize=14082740 memory=46772 CPUtime=0.3 cores=1,3,5,7
/proc/30239/stat : 30239 (java) S 30235 30239 30179 0 -1 1077944320 10284 0 0 0 28 2 0 0 20 0 15 0 40219698 14420725760 11693 33554432000 4194304 4196468 140725270319872 140725270302416 140362671767287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
/proc/30239/statm: 3520685 11693 3365 1 0 3482761 0
[pid=30239/tid=30245] ppid=30235 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30239/task/30245/stat : 30245 (java) R 30235 30239 30179 0 -1 1077944384 8047 0 0 0 18 2 0 0 20 0 15 0 40219698 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362675995728 140362671777493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30247] ppid=30235 vsize=14082740 memory=342 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30247/stat : 30247 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362624387344 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30249] ppid=30235 vsize=14082740 memory=288370135854564992 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30249/stat : 30249 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362623334800 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30250] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30250/stat : 30250 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362622282256 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30251] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30251/stat : 30251 (java) S 30235 30239 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362621229712 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30256] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30256/stat : 30256 (java) S 30235 30239 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40219701 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362145315312 140362671778434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30258] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30258/stat : 30258 (java) S 30235 30239 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40219701 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362144261536 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30260] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30260/stat : 30260 (java) S 30235 30239 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40219701 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362143208944 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30262] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30262/stat : 30262 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362142157520 140362671785883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30265] ppid=30235 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30239/task/30265/stat : 30265 (java) R 30235 30239 30179 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 15 0 40219704 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362141104208 140362652467584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30267] ppid=30235 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30239/task/30267/stat : 30267 (java) R 30235 30239 30179 0 -1 4202560 224 0 0 0 1 0 0 0 20 0 15 0 40219704 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362140037792 140362653289511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30268] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0.06 cores=1,3,5,7
/proc/30239/task/30268/stat : 30268 (java) R 30235 30239 30179 0 -1 4202560 283 0 0 0 6 0 0 0 20 0 15 0 40219704 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362138996816 140362664004414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30270] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30270/stat : 30270 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362137946720 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30271] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30271/stat : 30271 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 11693 33554432000 4194304 4196468 140725270319872 140362136894256 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46772 KiB

[startup+0.310734 s]*
/proc/loadavg: 0.60 0.93 1.32 3/218 30272
/proc/meminfo: memFree=22804124/32770624 swapFree=67108860/67108860
[pid=30239] ppid=30235 vsize=14082740 memory=50360 CPUtime=0.44 cores=1,3,5,7
/proc/30239/stat : 30239 (java) S 30235 30239 30179 0 -1 1077944320 10720 0 0 0 41 3 0 0 20 0 15 0 40219698 14420725760 12590 33554432000 4194304 4196468 140725270319872 140725270302416 140362671767287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
/proc/30239/statm: 3520685 12590 3368 1 0 3482761 0
[pid=30239/tid=30245] ppid=30235 vsize=14082740 memory=8390339637985935414 CPUtime=0.29 cores=1,3,5,7
/proc/30239/task/30245/stat : 30245 (java) R 30235 30239 30179 0 -1 4202560 8428 0 0 0 27 2 0 0 20 0 15 0 40219698 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362675988384 140362653330803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30247] ppid=30235 vsize=14082740 memory=288230596118052887 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30247/stat : 30247 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362624387344 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30249] ppid=30235 vsize=14082740 memory=288370135854564992 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30249/stat : 30249 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362623334800 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30250] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30250/stat : 30250 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362622282256 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30251] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30251/stat : 30251 (java) S 30235 30239 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40219699 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362621229712 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30256] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30256/stat : 30256 (java) S 30235 30239 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40219701 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362145315312 140362671778434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30258] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30258/stat : 30258 (java) S 30235 30239 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40219701 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362144261536 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30260] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30260/stat : 30260 (java) S 30235 30239 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40219701 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362143208944 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30262] ppid=30235 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30262/stat : 30262 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362142157520 140362671785883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30265] ppid=30235 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30239/task/30265/stat : 30265 (java) S 30235 30239 30179 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 40219704 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362141104112 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30267] ppid=30235 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30239/task/30267/stat : 30267 (java) S 30235 30239 30179 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 40219704 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362140051568 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30268] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0.08 cores=1,3,5,7
/proc/30239/task/30268/stat : 30268 (java) S 30235 30239 30179 0 -1 1077944384 302 0 0 0 8 0 0 0 20 0 15 0 40219704 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362138999024 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30270] ppid=30235 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30270/stat : 30270 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362137946720 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30271] ppid=30235 vsize=14082740 memory=139759702853248 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30271/stat : 30271 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219704 14420725760 12590 33554432000 4194304 4196468 140725270319872 140362136894256 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50360 KiB

[startup+0.700668 s]
/proc/loadavg: 0.60 0.93 1.32 5/218 30272
/proc/meminfo: memFree=22760596/32770624 swapFree=67108860/67108860
[pid=30239] ppid=30235 vsize=14084808 memory=86956 CPUtime=0.97 cores=1,3,5,7
/proc/30239/stat : 30239 (java) S 30235 30239 30179 0 -1 1077944320 17550 0 1 0 93 4 0 0 20 0 15 0 40219698 14422843392 21739 33554432000 4194304 4196468 140725270319872 140725270302416 140362671767287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
/proc/30239/statm: 3521202 21739 3505 1 0 3483273 0
[pid=30239/tid=30245] ppid=30235 vsize=14084808 memory=1724 CPUtime=0.66 cores=1,3,5,7
/proc/30239/task/30245/stat : 30245 (java) R 30235 30239 30179 0 -1 4202560 14823 0 1 0 62 4 0 0 20 0 15 0 40219698 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362675982224 140362655847774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30247] ppid=30235 vsize=14084808 memory=10928 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30247/stat : 30247 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362624387344 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30249] ppid=30235 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30249/stat : 30249 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362623334800 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30250] ppid=30235 vsize=14084808 memory=796 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30250/stat : 30250 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362622282256 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30251] ppid=30235 vsize=14084808 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30251/stat : 30251 (java) S 30235 30239 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40219699 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362621229712 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30256] ppid=30235 vsize=14084808 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30256/stat : 30256 (java) S 30235 30239 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40219701 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362145315312 140362671778434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30258] ppid=30235 vsize=14084808 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30258/stat : 30258 (java) S 30235 30239 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40219701 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362144261536 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30260] ppid=30235 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30260/stat : 30260 (java) S 30235 30239 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40219701 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362143208944 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30262] ppid=30235 vsize=14084808 memory=7302135314614015845 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30262/stat : 30262 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362142157520 140362671785883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30265] ppid=30235 vsize=14084808 memory=7595725831727968097 CPUtime=0.07 cores=1,3,5,7
/proc/30239/task/30265/stat : 30265 (java) S 30235 30239 30179 0 -1 1077944384 538 0 0 0 7 0 0 0 20 0 15 0 40219704 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362141104112 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30267] ppid=30235 vsize=14084808 memory=5787213848925131109 CPUtime=0.07 cores=1,3,5,7
/proc/30239/task/30267/stat : 30267 (java) S 30235 30239 30179 0 -1 1077944384 399 0 0 0 7 0 0 0 20 0 15 0 40219704 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362140051568 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30268] ppid=30235 vsize=14084808 memory=-7749694995119233653 CPUtime=0.15 cores=1,3,5,7
/proc/30239/task/30268/stat : 30268 (java) S 30235 30239 30179 0 -1 1077944384 408 0 0 0 15 0 0 0 20 0 15 0 40219704 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362138999024 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30270] ppid=30235 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30270/stat : 30270 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362137946720 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30271] ppid=30235 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30271/stat : 30271 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219704 14422843392 21739 33554432000 4194304 4196468 140725270319872 140362136894256 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86956 KiB

[startup+1.50145 s]
/proc/loadavg: 0.60 0.93 1.32 7/218 30272
/proc/meminfo: memFree=22692628/32770624 swapFree=67108860/67108860
[pid=30239] ppid=30235 vsize=14088904 memory=161052 CPUtime=3.17 cores=1,3,5,7
/proc/30239/stat : 30239 (java) S 30235 30239 30179 0 -1 1077944320 25854 0 1 0 309 8 0 0 20 0 15 0 40219698 14427037696 40263 33554432000 4194304 4196468 140725270319872 140725270302416 140362671767287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
/proc/30239/statm: 3522226 40263 3545 1 0 3484297 0
[pid=30239/tid=30245] ppid=30235 vsize=14088904 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/30239/task/30245/stat : 30245 (java) R 30235 30239 30179 0 -1 1077944384 19170 0 1 0 140 6 0 0 20 0 15 0 40219698 14427037696 40263 33554432000 4194304 4196468 140725270319872 140362676002192 140362671777493 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30247] ppid=30235 vsize=14088904 memory=33 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30247/stat : 30247 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14427037696 40263 33554432000 4194304 4196468 140725270319872 140362624387344 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30249] ppid=30235 vsize=14088904 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30249/stat : 30249 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14427037696 40263 33554432000 4194304 4196468 140725270319872 140362623334800 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30250] ppid=30235 vsize=14088904 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30250/stat : 30250 (java) S 30235 30239 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40219699 14427037696 40263 33554432000 4194304 4196468 140725270319872 140362622282256 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30251] ppid=30235 vsize=14088904 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30251/stat : 30251 (java) S 30235 30239 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40219699 14427037696 40263 33554432000 4194304 4196468 140725270319872 140362621229712 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30256] ppid=30235 vsize=14088904 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30256/stat : 30256 (java) S 30235 30239 30179 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 40219701 14427037696 40263 33554432000 4194304 4196468 140725270319872 140362145315312 140362671778434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0

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

/proc/30239/task/30245/stat : 30245 (java) R 30235 30239 30179 0 -1 4202560 213016 0 1 0 224751 130 0 0 20 0 15 0 40219698 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362676004640 140362310960291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30247] ppid=30235 vsize=14095048 memory=1757108 CPUtime=12.42 cores=1,3,5,7
/proc/30239/task/30247/stat : 30247 (java) S 30235 30239 30179 0 -1 1077944384 21973 0 0 0 1161 81 0 0 20 0 15 0 40219699 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362624387344 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30249] ppid=30235 vsize=14095048 memory=1727868 CPUtime=12.43 cores=1,3,5,7
/proc/30239/task/30249/stat : 30249 (java) S 30235 30239 30179 0 -1 1077944384 23269 0 0 0 1164 79 0 0 20 0 15 0 40219699 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362623334800 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30250] ppid=30235 vsize=14095048 memory=1940760 CPUtime=12.38 cores=1,3,5,7
/proc/30239/task/30250/stat : 30250 (java) S 30235 30239 30179 0 -1 1077944384 24215 0 0 0 1159 79 0 0 20 0 15 0 40219699 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362622282256 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30251] ppid=30235 vsize=14095048 memory=1727868 CPUtime=12.39 cores=1,3,5,7
/proc/30239/task/30251/stat : 30251 (java) S 30235 30239 30179 0 -1 1077944384 19348 0 0 0 1162 77 0 0 20 0 15 0 40219699 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362621229712 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30256] ppid=30235 vsize=14095048 memory=279519156737600 CPUtime=0.67 cores=1,3,5,7
/proc/30239/task/30256/stat : 30256 (java) S 30235 30239 30179 0 -1 1077944384 53705 0 0 0 52 15 0 0 20 0 15 0 40219701 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362145315312 140362671778434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30258] ppid=30235 vsize=14095048 memory=2424460 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30258/stat : 30258 (java) S 30235 30239 30179 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 40219701 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362144261600 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30260] ppid=30235 vsize=14095048 memory=2424460 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30260/stat : 30260 (java) S 30235 30239 30179 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 40219701 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362143208960 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30262] ppid=30235 vsize=14095048 memory=1757108 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30262/stat : 30262 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362142157520 140362671785883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30265] ppid=30235 vsize=14095048 memory=1833032 CPUtime=2.99 cores=1,3,5,7
/proc/30239/task/30265/stat : 30265 (java) S 30235 30239 30179 0 -1 1077944384 24698 0 0 0 296 3 0 0 20 0 15 0 40219704 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362141104112 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30267] ppid=30235 vsize=14095048 memory=1757108 CPUtime=3.07 cores=1,3,5,7
/proc/30239/task/30267/stat : 30267 (java) S 30235 30239 30179 0 -1 1077944384 30735 0 0 0 303 4 0 0 20 0 15 0 40219704 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362140051568 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30268] ppid=30235 vsize=14095048 memory=1779680 CPUtime=1.47 cores=1,3,5,7
/proc/30239/task/30268/stat : 30268 (java) S 30235 30239 30179 0 -1 1077944384 34945 0 0 0 143 4 0 0 20 0 15 0 40219704 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362138999024 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30270] ppid=30235 vsize=14095048 memory=1505 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30270/stat : 30270 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362137946720 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30271] ppid=30235 vsize=14095048 memory=4137284780655939955 CPUtime=1.45 cores=1,3,5,7
/proc/30239/task/30271/stat : 30271 (java) S 30235 30239 30179 0 -1 1077944384 1580 0 0 0 62 83 0 0 20 0 15 0 40219704 14433329152 431967 33554432000 4194304 4196468 140725270319872 140362136894256 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
Current children cumulated CPU time: 2308.17 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 1727868 KiB

[startup+2322.3 s]
/proc/loadavg: 1.69 1.56 1.52 3/215 30366
/proc/meminfo: memFree=20904104/32770624 swapFree=67108860/67108860
[pid=30239] ppid=30235 vsize=14095048 memory=1252316 CPUtime=2369.24 cores=1,3,5,7
/proc/30239/stat : 30239 (java) S 30235 30239 30179 0 -1 1077944320 452250 0 1 0 236380 544 0 0 20 0 15 0 40219698 14433329152 313079 33554432000 4194304 4196468 140725270319872 140725270302416 140362671767287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
/proc/30239/statm: 3523762 313079 3628 1 0 3485833 0
[pid=30239/tid=30245] ppid=30235 vsize=14095048 memory=1252316 CPUtime=2308.32 cores=1,3,5,7
/proc/30239/task/30245/stat : 30245 (java) R 30235 30239 30179 0 -1 4202560 214242 0 1 0 230701 131 0 0 20 0 15 0 40219698 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362676004528 140362312322891 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30247] ppid=30235 vsize=14095048 memory=1253340 CPUtime=12.78 cores=1,3,5,7
/proc/30239/task/30247/stat : 30247 (java) S 30235 30239 30179 0 -1 1077944384 22183 0 0 0 1197 81 0 0 20 0 15 0 40219699 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362624387344 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30249] ppid=30235 vsize=14095048 memory=1252316 CPUtime=12.79 cores=1,3,5,7
/proc/30239/task/30249/stat : 30249 (java) S 30235 30239 30179 0 -1 1077944384 23844 0 0 0 1200 79 0 0 20 0 15 0 40219699 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362623334800 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30250] ppid=30235 vsize=14095048 memory=1576 CPUtime=12.74 cores=1,3,5,7
/proc/30239/task/30250/stat : 30250 (java) S 30235 30239 30179 0 -1 1077944384 24278 0 0 0 1195 79 0 0 20 0 15 0 40219699 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362622282256 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30251] ppid=30235 vsize=14095048 memory=1952 CPUtime=12.76 cores=1,3,5,7
/proc/30239/task/30251/stat : 30251 (java) S 30235 30239 30179 0 -1 1077944384 19966 0 0 0 1198 78 0 0 20 0 15 0 40219699 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362621229712 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30256] ppid=30235 vsize=14095048 memory=8368 CPUtime=0.74 cores=1,3,5,7
/proc/30239/task/30256/stat : 30256 (java) S 30235 30239 30179 0 -1 1077944384 53862 0 0 0 57 17 0 0 20 0 15 0 40219701 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362145315312 140362671778434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30258] ppid=30235 vsize=14095048 memory=1283096 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30258/stat : 30258 (java) S 30235 30239 30179 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 40219701 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362144261600 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30260] ppid=30235 vsize=14095048 memory=1256420 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30260/stat : 30260 (java) S 30235 30239 30179 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 40219701 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362143208960 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30262] ppid=30235 vsize=14095048 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30262/stat : 30262 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362142157520 140362671785883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30265] ppid=30235 vsize=14095048 memory=1254368 CPUtime=2.99 cores=1,3,5,7
/proc/30239/task/30265/stat : 30265 (java) S 30235 30239 30179 0 -1 1077944384 24700 0 0 0 296 3 0 0 20 0 15 0 40219704 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362141104112 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30267] ppid=30235 vsize=14095048 memory=279519157173056 CPUtime=3.07 cores=1,3,5,7
/proc/30239/task/30267/stat : 30267 (java) S 30235 30239 30179 0 -1 1077944384 30737 0 0 0 303 4 0 0 20 0 15 0 40219704 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362140051568 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30268] ppid=30235 vsize=14095048 memory=6003387794723661675 CPUtime=1.48 cores=1,3,5,7
/proc/30239/task/30268/stat : 30268 (java) S 30235 30239 30179 0 -1 1077944384 35358 0 0 0 144 4 0 0 20 0 15 0 40219704 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362138999024 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30270] ppid=30235 vsize=14095048 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30270/stat : 30270 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362137946720 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30271] ppid=30235 vsize=14095048 memory=1724 CPUtime=1.48 cores=1,3,5,7
/proc/30239/task/30271/stat : 30271 (java) S 30235 30239 30179 0 -1 1077944384 1595 0 0 0 63 85 0 0 20 0 15 0 40219704 14433329152 313079 33554432000 4194304 4196468 140725270319872 140362136894256 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
Current children cumulated CPU time: 2369.24 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 1252316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2352.5 s]
/proc/loadavg: 1.56 1.54 1.51 3/215 30367
/proc/meminfo: memFree=20962288/32770624 swapFree=67108860/67108860
[pid=30239] ppid=30235 vsize=14095048 memory=1189216 CPUtime=2400.03 cores=1,3,5,7
/proc/30239/stat : 30239 (java) S 30235 30239 30179 0 -1 1077944320 453240 0 1 0 239456 547 0 0 20 0 15 0 40219698 14433329152 297304 33554432000 4194304 4196468 140725270319872 140725270302416 140362671767287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
/proc/30239/statm: 3523762 297304 3628 1 0 3485833 0
[pid=30239/tid=30245] ppid=30235 vsize=14095048 memory=1194348 CPUtime=2338.24 cores=1,3,5,7
/proc/30239/task/30245/stat : 30245 (java) R 30235 30239 30179 0 -1 4202560 214743 0 1 0 233693 131 0 0 20 0 15 0 40219698 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362676004640 140362312306193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30247] ppid=30235 vsize=14095048 memory=1238976 CPUtime=12.98 cores=1,3,5,7
/proc/30239/task/30247/stat : 30247 (java) S 30235 30239 30179 0 -1 1077944384 22446 0 0 0 1217 81 0 0 20 0 15 0 40219699 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362624387344 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30249] ppid=30235 vsize=14095048 memory=1241028 CPUtime=13 cores=1,3,5,7
/proc/30239/task/30249/stat : 30249 (java) S 30235 30239 30179 0 -1 1077944384 23873 0 0 0 1220 80 0 0 20 0 15 0 40219699 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362623334800 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30250] ppid=30235 vsize=14095048 memory=1248212 CPUtime=12.94 cores=1,3,5,7
/proc/30239/task/30250/stat : 30250 (java) S 30235 30239 30179 0 -1 1077944384 24363 0 0 0 1215 79 0 0 20 0 15 0 40219699 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362622282256 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30251] ppid=30235 vsize=14095048 memory=1189216 CPUtime=12.95 cores=1,3,5,7
/proc/30239/task/30251/stat : 30251 (java) S 30235 30239 30179 0 -1 1077944384 20067 0 0 0 1217 78 0 0 20 0 15 0 40219699 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362621229712 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30256] ppid=30235 vsize=14095048 memory=1214352 CPUtime=0.79 cores=1,3,5,7
/proc/30239/task/30256/stat : 30256 (java) S 30235 30239 30179 0 -1 1077944384 53872 0 0 0 61 18 0 0 20 0 15 0 40219701 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362145315312 140362671778434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30258] ppid=30235 vsize=14095048 memory=1221024 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30258/stat : 30258 (java) S 30235 30239 30179 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 40219701 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362144261600 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30260] ppid=30235 vsize=14095048 memory=1229232 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30260/stat : 30260 (java) S 30235 30239 30179 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 40219701 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362143208960 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30262] ppid=30235 vsize=14095048 memory=1238976 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30262/stat : 30262 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362142157520 140362671785883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30265] ppid=30235 vsize=14095048 memory=1222048 CPUtime=2.99 cores=1,3,5,7
/proc/30239/task/30265/stat : 30265 (java) S 30235 30239 30179 0 -1 1077944384 24700 0 0 0 296 3 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362141104112 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30267] ppid=30235 vsize=14095048 memory=1229232 CPUtime=3.07 cores=1,3,5,7
/proc/30239/task/30267/stat : 30267 (java) S 30235 30239 30179 0 -1 1077944384 30737 0 0 0 303 4 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362140051568 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30268] ppid=30235 vsize=14095048 memory=14132 CPUtime=1.48 cores=1,3,5,7
/proc/30239/task/30268/stat : 30268 (java) S 30235 30239 30179 0 -1 1077944384 35358 0 0 0 144 4 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362138999024 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30270] ppid=30235 vsize=14095048 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30270/stat : 30270 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362137946720 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30271] ppid=30235 vsize=14095048 memory=1296 CPUtime=1.51 cores=1,3,5,7
/proc/30239/task/30271/stat : 30271 (java) S 30235 30239 30179 0 -1 1077944384 1596 0 0 0 64 87 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362136894256 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 1189216 KiB

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

[startup+2352.53 s]
# the end of solver process 30239 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.58 s, system=5.48361 s

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

[startup+2352.5 s]
/proc/loadavg: 1.56 1.54 1.51 3/215 30367
/proc/meminfo: memFree=20962288/32770624 swapFree=67108860/67108860
[pid=30239] ppid=30235 vsize=14095048 memory=1189216 CPUtime=2400.03 cores=1,3,5,7
/proc/30239/stat : 30239 (java) S 30235 30239 30179 0 -1 1077944320 453240 0 1 0 239456 547 0 0 20 0 15 0 40219698 14433329152 297304 33554432000 4194304 4196468 140725270319872 140725270302416 140362671767287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
/proc/30239/statm: 3523762 297304 3628 1 0 3485833 0
[pid=30239/tid=30245] ppid=30235 vsize=14095048 memory=1194348 CPUtime=2338.24 cores=1,3,5,7
/proc/30239/task/30245/stat : 30245 (java) R 30235 30239 30179 0 -1 4202560 214743 0 1 0 233693 131 0 0 20 0 15 0 40219698 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362676004640 140362312306193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30247] ppid=30235 vsize=14095048 memory=1238976 CPUtime=12.98 cores=1,3,5,7
/proc/30239/task/30247/stat : 30247 (java) S 30235 30239 30179 0 -1 1077944384 22446 0 0 0 1217 81 0 0 20 0 15 0 40219699 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362624387344 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30249] ppid=30235 vsize=14095048 memory=1241028 CPUtime=13 cores=1,3,5,7
/proc/30239/task/30249/stat : 30249 (java) S 30235 30239 30179 0 -1 1077944384 23873 0 0 0 1220 80 0 0 20 0 15 0 40219699 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362623334800 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30250] ppid=30235 vsize=14095048 memory=1248212 CPUtime=12.94 cores=1,3,5,7
/proc/30239/task/30250/stat : 30250 (java) S 30235 30239 30179 0 -1 1077944384 24363 0 0 0 1215 79 0 0 20 0 15 0 40219699 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362622282256 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30251] ppid=30235 vsize=14095048 memory=1189216 CPUtime=12.95 cores=1,3,5,7
/proc/30239/task/30251/stat : 30251 (java) S 30235 30239 30179 0 -1 1077944384 20067 0 0 0 1217 78 0 0 20 0 15 0 40219699 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362621229712 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30256] ppid=30235 vsize=14095048 memory=1214352 CPUtime=0.79 cores=1,3,5,7
/proc/30239/task/30256/stat : 30256 (java) S 30235 30239 30179 0 -1 1077944384 53872 0 0 0 61 18 0 0 20 0 15 0 40219701 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362145315312 140362671778434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30258] ppid=30235 vsize=14095048 memory=1221024 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30258/stat : 30258 (java) S 30235 30239 30179 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 40219701 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362144261600 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30260] ppid=30235 vsize=14095048 memory=1229232 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30260/stat : 30260 (java) S 30235 30239 30179 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 40219701 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362143208960 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30262] ppid=30235 vsize=14095048 memory=1238976 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30262/stat : 30262 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362142157520 140362671785883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30265] ppid=30235 vsize=14095048 memory=1222048 CPUtime=2.99 cores=1,3,5,7
/proc/30239/task/30265/stat : 30265 (java) S 30235 30239 30179 0 -1 1077944384 24700 0 0 0 296 3 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362141104112 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30267] ppid=30235 vsize=14095048 memory=1229232 CPUtime=3.07 cores=1,3,5,7
/proc/30239/task/30267/stat : 30267 (java) S 30235 30239 30179 0 -1 1077944384 30737 0 0 0 303 4 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362140051568 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30268] ppid=30235 vsize=14095048 memory=14132 CPUtime=1.48 cores=1,3,5,7
/proc/30239/task/30268/stat : 30268 (java) S 30235 30239 30179 0 -1 1077944384 35358 0 0 0 144 4 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362138999024 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30270] ppid=30235 vsize=14095048 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/30239/task/30270/stat : 30270 (java) S 30235 30239 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362137946720 140362671777493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
[pid=30239/tid=30271] ppid=30235 vsize=14095048 memory=1296 CPUtime=1.51 cores=1,3,5,7
/proc/30239/task/30271/stat : 30271 (java) S 30235 30239 30179 0 -1 1077944384 1596 0 0 0 64 87 0 0 20 0 15 0 40219704 14433329152 297304 33554432000 4194304 4196468 140725270319872 140362136894256 140362671778434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 31268864 140725270324309 140725270324489 140725270324489 140725270327247 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 1189216 KiB

Child status: 143
Real time (s): 2352.53
CPU time (s): 2400.07
CPU user time (s): 2394.58
CPU system time (s): 5.48361
CPU usage (%): 102.021
Max. virtual memory (cumulated for all children) (KiB): 14095048
Max. memory (cumulated for all children) (KiB): 4262288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.58
system time used= 5.48362
maximum resident set size= 4262288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453618
page faults= 1
swaps= 0
block input operations= 968
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66689
involuntary context switches= 2607


# summary of solver processes directly reported to runsolver:
#   pid: 30239
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2394.58
#   total CPU system time (s): 5.48361

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1601 second user time and 22.8253 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 4291439

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