Trace number 4308373

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)302 2520.08 2481.06

General information on the benchmark

NameStillLife/
StillLife-wastage-30_c18.xml
MD5SUMbc7ca4ef6af3dcde4f5a5d75f0a5d481
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark466
Best CPU time to get the best result obtained on this benchmark1279.53
Satisfiable
(Un)Satisfiability was proved
Number of variables2081
Number of constraints1208
Number of domains4
Minimum domain size2
Maximum domain size2049
Distribution of domain sizes[{"size":2,"count":1024},{"size":3,"count":1024},{"size":901,"count":1},{"size":2049,"count":32}]
Minimum variable degree1
Maximum variable degree33
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1021},{"degree":3,"count":35},{"degree":4,"count":120},{"degree":8,"count":116},{"degree":9,"count":784},{"degree":33,"count":1}]
Minimum constraint arity2
Maximum constraint arity34
Distribution of constraint arities[{"arity":2,"count":152},{"arity":3,"count":120},{"arity":10,"count":900},{"arity":32,"count":4},{"arity":33,"count":1},{"arity":34,"count":31}]
Number of extensional constraints1020
Number of intensional constraints151
Distribution of constraint types[{"type":"extension","count":1020},{"type":"intension","count":151},{"type":"sum","count":33},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.72/0.61	c version: 2018-08-14
0.72/0.61	c seed: 899345760
0.72/0.61	c timeout: 2520
0.72/0.61	c memlimit: 11000
0.72/0.61	c nbcore: 4
0.72/0.64	c Parsing instance...
5.36/2.53	c Parsing done, starting first complete search...
8.84/4.66	o 178
8.84/4.67	o 179
8.84/4.67	o 180
8.84/4.67	o 181
8.84/4.67	o 182
8.84/4.68	o 183
8.84/4.68	o 184
8.84/4.68	o 185
8.84/4.68	o 186
8.84/4.68	o 187
8.84/4.69	o 188
8.84/4.69	o 189
8.84/4.69	o 190
8.84/4.69	o 191
8.84/4.69	o 192
8.84/4.70	o 193
9.07/4.70	o 194
9.07/4.70	o 195
9.07/4.70	o 196
9.07/4.70	o 197
9.07/4.70	o 198
9.07/4.70	o 199
9.07/4.71	o 200
9.07/4.71	o 201
9.07/4.71	o 202
9.07/4.71	o 203
9.07/4.71	o 204
9.07/4.71	o 205
9.07/4.71	o 206
9.07/4.72	o 207
9.07/4.72	o 208
9.07/4.72	o 209
9.07/4.72	o 210
9.07/4.72	o 211
9.07/4.72	o 212
9.07/4.72	o 213
9.07/4.72	o 214
9.07/4.72	o 215
9.07/4.73	o 216
9.07/4.73	o 217
9.07/4.73	o 218
9.07/4.73	o 219
9.07/4.73	o 220
9.07/4.73	o 221
9.07/4.73	o 222
9.07/4.74	o 223
9.07/4.74	o 224
9.07/4.74	o 225
9.07/4.74	o 226
9.07/4.74	o 227
9.07/4.74	o 228
9.07/4.75	o 229
9.07/4.75	o 230
9.07/4.75	o 231
9.07/4.75	o 232
9.07/4.75	o 233
9.07/4.75	o 234
9.07/4.76	o 235
9.07/4.76	o 236
9.07/4.76	o 237
9.07/4.76	o 238
9.07/4.76	o 239
9.07/4.76	o 240
9.07/4.77	o 241
9.07/4.77	o 242
9.07/4.77	o 243
9.07/4.77	o 244
9.07/4.77	o 245
9.07/4.77	o 246
9.07/4.78	o 247
9.07/4.78	o 248
9.07/4.78	o 249
9.07/4.78	o 250
9.07/4.79	o 251
9.07/4.79	o 252
10.49/5.43	o 253
10.75/5.66	o 254
10.75/5.66	o 255
13.24/7.94	o 256
13.24/8.01	o 257
20.85/15.40	c First complete search done, starting ALNS search...
21.29/15.67	o 258
21.29/15.67	o 259
25.40/18.71	o 260
25.40/18.72	o 261
25.40/18.74	o 262
25.40/18.75	o 263
26.32/19.53	o 264
26.32/19.54	o 265
27.21/20.18	o 266
30.29/22.89	o 267
30.41/22.90	o 268
30.41/22.90	o 269
30.41/22.90	o 270
30.41/22.90	o 271
30.41/22.91	o 272
30.41/22.91	o 273
30.41/22.91	o 274
30.41/22.92	o 275
30.41/22.97	o 276
99.01/87.17	o 277
105.90/93.93	o 278
105.90/93.94	o 279
105.90/93.95	o 280
105.90/93.97	o 281
507.84/488.96	o 282
508.14/489.24	o 283
508.34/489.41	o 284
509.95/491.01	o 285
518.15/499.09	o 286
518.25/499.12	o 287
518.25/499.13	o 288
518.25/499.14	o 289
518.25/499.15	o 290
518.25/499.16	o 291
518.25/499.17	o 292
518.25/499.18	o 293
518.25/499.19	o 294
518.34/499.20	o 295
518.34/499.21	o 296
518.34/499.22	o 297
518.34/499.24	o 298
518.34/499.25	o 299
518.34/499.28	o 300
518.34/499.29	o 301
518.44/499.33	o 302
2520.03/2481.01	s SATISFIABLE
2520.03/2481.01	v <instantiation>
2520.03/2481.01	v 	<list>
2520.03/2481.01	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] 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[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] 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[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] 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[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] 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[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] 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[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] 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[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] 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[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] 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[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] 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[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] 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[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] 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[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] 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[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] 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[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] 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[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] 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[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] 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[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] 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[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] 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[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] 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[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] 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[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] 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[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] 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[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] 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] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] 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] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] z
2520.03/2481.01	v 	</list>
2520.03/2481.01	v 	<values>
2520.03/2481.01	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 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 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 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 1 0 1 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 0 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 1 1 0 0 1 2 2 2 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 2 1 0 0 1 1 0 0 1 0 2 2 2 2 2 1 1 2 2 2 2 0 1 0 2 2 2 2 2 1 1 0 1 2 1 1 2 1 1 0 1 2 2 2 2 2 2 1 1 2 2 2 1 1 2 1 1 2 2 2 2 2 0 0 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 0 1 0 2 2 2 2 2 1 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 2 1 1 2 1 1 2 1 2 2 2 1 2 1 1 2 1 1 2 1 1 2 1 1 1 1 2 1 1 1 1 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 1 2 1 1 0 1 1 0 1 1 2 1 0 1 0 1 0 1 1 0 0 1 1 2 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 2 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 2 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 2 0 1 1 1 1 0 1 0 0 0 1 1 2 1 2 1 1 0 1 0 2 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 1 1 0 0 0 28 83 132 177 222 274 326 382 442 490 506 515 535 551 562 573 584 591 598 607 614 618 624 631 634 640 645 651 660 674 694 712 302 
2520.03/2481.02	v 	</values>
2520.03/2481.02	v </instantiation>

Verifier Data 

OK	302

Watcher Data 

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 (9862 MiB free)
  memory of node 1: 16384 MiB (12765 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 0,2,4,6

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=15633, runsolver pid=15630
Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 0.76 0.72 0.83 2/198 15653
/proc/meminfo: memFree=23157516/32770624 swapFree=67108688/67108860
[pid=15633] ppid=15630 vsize=13681496 memory=17692 CPUtime=0.04 cores=0,2,4,6
/proc/15633/stat : 15633 (java) S 15630 15633 13692 0 -1 1077944320 4289 0 0 0 3 1 0 0 20 0 9 0 244623064 14009851904 4423 33554432000 4194304 4196468 140734719936720 140734719919264 140046797041399 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
/proc/15633/statm: 3420374 4423 2155 1 0 3382915 0
[pid=15633/tid=15639] ppid=15630 vsize=13681496 memory=6735269665583770266 CPUtime=0.02 cores=0,2,4,6
/proc/15633/task/15639/stat : 15639 (java) R 15630 15633 13692 0 -1 4202560 2929 0 0 0 2 0 0 0 20 0 9 0 244623066 14009851904 4488 33554432000 4194304 4196468 140734719936720 140046801276496 140046781121886 0 4 0 16800971 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15646] ppid=15630 vsize=13681496 memory=4211973750836526474 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15646/stat : 15646 (java) S 15630 15633 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 244623071 14009851904 4488 33554432000 4194304 4196468 140734719936720 140046749662224 140046797051605 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15647] ppid=15630 vsize=13681496 memory=140024631735936 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15647/stat : 15647 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 244623071 14009851904 4488 33554432000 4194304 4196468 140734719936720 140046748609680 140046797051605 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15648] ppid=15630 vsize=13681496 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15648/stat : 15648 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 244623071 14009851904 4488 33554432000 4194304 4196468 140734719936720 140046747556624 140046797051605 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15649] ppid=15630 vsize=13681496 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15649/stat : 15649 (java) S 15630 15633 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 244623071 14009851904 4488 33554432000 4194304 4196468 140734719936720 140046746504080 140046797051605 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15650] ppid=15630 vsize=13681496 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15650/stat : 15650 (java) S 15630 15633 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 244623072 14009851904 4488 33554432000 4194304 4196468 140734719936720 140045978609904 140046797052546 0 0 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15652] ppid=15630 vsize=13681496 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15652/stat : 15652 (java) S 15630 15633 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 244623073 14009851904 4488 33554432000 4194304 4196468 140734719936720 140045977556128 140046797051605 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15653] ppid=15630 vsize=13681496 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15653/stat : 15653 (java) S 15630 15633 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 244623073 14009851904 4488 33554432000 4194304 4196468 140734719936720 140045976503024 140046797051605 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13681496 KiB
Current children cumulated memory: 17692 KiB

[startup+0.210059 s]*
/proc/loadavg: 0.76 0.72 0.83 4/217 15672
/proc/meminfo: memFree=23120548/32770624 swapFree=67108688/67108860
[pid=15633] ppid=15630 vsize=14082736 memory=44108 CPUtime=0.18 cores=0,2,4,6
/proc/15633/stat : 15633 (java) S 15630 15633 13692 0 -1 1077944320 10123 0 0 0 16 2 0 0 20 0 15 0 244623064 14420721664 11027 33554432000 4194304 4196468 140734719936720 140734719919264 140046797041399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
/proc/15633/statm: 3520684 11027 3247 1 0 3482761 0
[pid=15633/tid=15639] ppid=15630 vsize=14082736 memory=6735269665583770266 CPUtime=0.13 cores=0,2,4,6
/proc/15633/task/15639/stat : 15639 (java) R 15630 15633 13692 0 -1 4202560 8042 0 0 0 12 1 0 0 20 0 15 0 244623066 14420721664 11027 33554432000 4194304 4196468 140734719936720 140046801212736 140046781121886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15646] ppid=15630 vsize=14082736 memory=4211973750836526474 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15646/stat : 15646 (java) S 15630 15633 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244623071 14420721664 11027 33554432000 4194304 4196468 140734719936720 140046749662224 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15647] ppid=15630 vsize=14082736 memory=140024631735936 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15647/stat : 15647 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244623071 14420721664 11027 33554432000 4194304 4196468 140734719936720 140046748609680 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15648] ppid=15630 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15648/stat : 15648 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244623071 14420721664 11027 33554432000 4194304 4196468 140734719936720 140046747556624 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15649] ppid=15630 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15649/stat : 15649 (java) S 15630 15633 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244623071 14420721664 11027 33554432000 4194304 4196468 140734719936720 140046746504080 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15650] ppid=15630 vsize=14082736 memory=140024631735936 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15650/stat : 15650 (java) S 15630 15633 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244623072 14420721664 11027 33554432000 4194304 4196468 140734719936720 140045978609904 140046797052546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15652] ppid=15630 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15652/stat : 15652 (java) S 15630 15633 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244623073 14420721664 11027 33554432000 4194304 4196468 140734719936720 140045977556128 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15653] ppid=15630 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15653/stat : 15653 (java) S 15630 15633 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244623073 14420721664 11027 33554432000 4194304 4196468 140734719936720 140045976503024 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15659] ppid=15630 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15659/stat : 15659 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14420721664 11027 33554432000 4194304 4196468 140734719936720 140045975451600 140046797059995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15660] ppid=15630 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15660/stat : 15660 (java) S 15630 15633 13692 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 244623076 14420721664 11027 33554432000 4194304 4196468 140734719936720 140045974399728 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15661] ppid=15630 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15661/stat : 15661 (java) S 15630 15633 13692 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 244623076 14420721664 11027 33554432000 4194304 4196468 140734719936720 140045973347184 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15662] ppid=15630 vsize=14082736 memory=140024631735936 CPUtime=0.02 cores=0,2,4,6
/proc/15633/task/15662/stat : 15662 (java) S 15630 15633 13692 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 244623076 14420721664 11027 33554432000 4194304 4196468 140734719936720 140045972294128 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15664] ppid=15630 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15664/stat : 15664 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14420721664 11027 33554432000 4194304 4196468 140734719936720 140045971241824 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15666] ppid=15630 vsize=14082736 memory=140024631735936 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15666/stat : 15666 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244623076 14420721664 11027 33554432000 4194304 4196468 140734719936720 140045970188848 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 44108 KiB

[startup+0.31032 s]*
/proc/loadavg: 0.76 0.72 0.83 4/217 15672
/proc/meminfo: memFree=23101012/32770624 swapFree=67108688/67108860
[pid=15633] ppid=15630 vsize=14082736 memory=47988 CPUtime=0.36 cores=0,2,4,6
/proc/15633/stat : 15633 (java) S 15630 15633 13692 0 -1 1077944320 10615 0 0 0 34 2 0 0 20 0 15 0 244623064 14420721664 11997 33554432000 4194304 4196468 140734719936720 140734719919264 140046797041399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
/proc/15633/statm: 3520684 11997 3376 1 0 3482761 0
[pid=15633/tid=15639] ppid=15630 vsize=14082736 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/15633/task/15639/stat : 15639 (java) R 15630 15633 13692 0 -1 4202560 8342 0 0 0 22 1 0 0 20 0 15 0 244623066 14420721664 11997 33554432000 4194304 4196468 140734719936720 140046801203136 140046778604974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15646] ppid=15630 vsize=14082736 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15646/stat : 15646 (java) S 15630 15633 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244623071 14420721664 11997 33554432000 4194304 4196468 140734719936720 140046749662224 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15647] ppid=15630 vsize=14082736 memory=-7812800577974661511 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15647/stat : 15647 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244623071 14420721664 11997 33554432000 4194304 4196468 140734719936720 140046748609680 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15648] ppid=15630 vsize=14082736 memory=9124443767561732153 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15648/stat : 15648 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244623071 14420721664 11997 33554432000 4194304 4196468 140734719936720 140046747556624 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15649] ppid=15630 vsize=14082736 memory=6935054825532540783 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15649/stat : 15649 (java) S 15630 15633 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244623071 14420721664 11997 33554432000 4194304 4196468 140734719936720 140046746504080 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15650] ppid=15630 vsize=14082736 memory=140024631742929 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15650/stat : 15650 (java) S 15630 15633 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244623072 14420721664 11997 33554432000 4194304 4196468 140734719936720 140045978609904 140046797052546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15652] ppid=15630 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15652/stat : 15652 (java) S 15630 15633 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244623073 14420721664 11997 33554432000 4194304 4196468 140734719936720 140045977556128 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15653] ppid=15630 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15653/stat : 15653 (java) S 15630 15633 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244623073 14420721664 11997 33554432000 4194304 4196468 140734719936720 140045976503024 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15659] ppid=15630 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15659/stat : 15659 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14420721664 11997 33554432000 4194304 4196468 140734719936720 140045975451600 140046797059995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15660] ppid=15630 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15633/task/15660/stat : 15660 (java) S 15630 15633 13692 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 244623076 14420721664 11997 33554432000 4194304 4196468 140734719936720 140045974399728 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15661] ppid=15630 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15633/task/15661/stat : 15661 (java) S 15630 15633 13692 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 15 0 244623076 14420721664 11997 33554432000 4194304 4196468 140734719936720 140045973347184 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15662] ppid=15630 vsize=14082736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15633/task/15662/stat : 15662 (java) S 15630 15633 13692 0 -1 1077944384 272 0 0 0 7 0 0 0 20 0 15 0 244623076 14420721664 11997 33554432000 4194304 4196468 140734719936720 140045972294128 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15664] ppid=15630 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15664/stat : 15664 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14420721664 11997 33554432000 4194304 4196468 140734719936720 140045971241824 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15666] ppid=15630 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15666/stat : 15666 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244623076 14420721664 11997 33554432000 4194304 4196468 140734719936720 140045970188848 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47988 KiB

[startup+0.700703 s]
/proc/loadavg: 0.76 0.72 0.83 6/217 15672
/proc/meminfo: memFree=23082776/32770624 swapFree=67108688/67108860
[pid=15633] ppid=15630 vsize=14084804 memory=82204 CPUtime=0.86 cores=0,2,4,6
/proc/15633/stat : 15633 (java) S 15630 15633 13692 0 -1 1077944320 16920 0 0 0 82 4 0 0 20 0 15 0 244623064 14422839296 20551 33554432000 4194304 4196468 140734719936720 140734719919264 140046797041399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
/proc/15633/statm: 3521201 20551 3425 1 0 3483273 0
[pid=15633/tid=15639] ppid=15630 vsize=14084804 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/15633/task/15639/stat : 15639 (java) R 15630 15633 13692 0 -1 4202560 14475 0 0 0 58 3 0 0 20 0 15 0 244623066 14422839296 20551 33554432000 4194304 4196468 140734719936720 140046801276576 140046797063325 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15646] ppid=15630 vsize=14084804 memory=7 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15646/stat : 15646 (java) S 15630 15633 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244623071 14422839296 20551 33554432000 4194304 4196468 140734719936720 140046749662224 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15647] ppid=15630 vsize=14084804 memory=1 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15647/stat : 15647 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244623071 14422839296 20551 33554432000 4194304 4196468 140734719936720 140046748609680 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15648] ppid=15630 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15648/stat : 15648 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244623071 14422839296 20551 33554432000 4194304 4196468 140734719936720 140046747556624 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15649] ppid=15630 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15649/stat : 15649 (java) S 15630 15633 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244623071 14422839296 20551 33554432000 4194304 4196468 140734719936720 140046746504080 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15650] ppid=15630 vsize=14084804 memory=27 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15650/stat : 15650 (java) S 15630 15633 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244623072 14422839296 20551 33554432000 4194304 4196468 140734719936720 140045978609904 140046797052546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15652] ppid=15630 vsize=14084804 memory=7526486018442145849 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15652/stat : 15652 (java) S 15630 15633 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244623073 14422839296 20551 33554432000 4194304 4196468 140734719936720 140045977556128 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15653] ppid=15630 vsize=14084804 memory=7163628675205321324 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15653/stat : 15653 (java) S 15630 15633 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244623073 14422839296 20551 33554432000 4194304 4196468 140734719936720 140045976503024 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15659] ppid=15630 vsize=14084804 memory=7014470040326004800 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15659/stat : 15659 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14422839296 20551 33554432000 4194304 4196468 140734719936720 140045975451600 140046797059995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15660] ppid=15630 vsize=14084804 memory=734122130331934768 CPUtime=0.05 cores=0,2,4,6
/proc/15633/task/15660/stat : 15660 (java) S 15630 15633 13692 0 -1 1077944384 609 0 0 0 5 0 0 0 20 0 15 0 244623076 14422839296 20551 33554432000 4194304 4196468 140734719936720 140045974399728 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15661] ppid=15630 vsize=14084804 memory=3868 CPUtime=0.03 cores=0,2,4,6
/proc/15633/task/15661/stat : 15661 (java) S 15630 15633 13692 0 -1 1077944384 122 0 0 0 3 0 0 0 20 0 15 0 244623076 14422839296 20551 33554432000 4194304 4196468 140734719936720 140045973347184 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15662] ppid=15630 vsize=14084804 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15633/task/15662/stat : 15662 (java) S 15630 15633 13692 0 -1 1077944384 331 0 0 0 13 0 0 0 20 0 15 0 244623076 14422839296 20551 33554432000 4194304 4196468 140734719936720 140045972294128 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15664] ppid=15630 vsize=14084804 memory=15117791917251624 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15664/stat : 15664 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14422839296 20551 33554432000 4194304 4196468 140734719936720 140045971241824 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15666] ppid=15630 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15666/stat : 15666 (java) S 15630 15633 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244623076 14422839296 20551 33554432000 4194304 4196468 140734719936720 140045970188848 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 82204 KiB

[startup+1.50175 s]
/proc/loadavg: 0.76 0.72 0.83 7/217 15672
/proc/meminfo: memFree=22982848/32770624 swapFree=67108688/67108860
[pid=15633] ppid=15630 vsize=14088900 memory=217108 CPUtime=3.1 cores=0,2,4,6
/proc/15633/stat : 15633 (java) S 15630 15633 13692 0 -1 1077944320 22677 0 0 0 301 9 0 0 20 0 15 0 244623064 14427033600 54277 33554432000 4194304 4196468 140734719936720 140734719919264 140046797041399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
/proc/15633/statm: 3522225 54277 3561 1 0 3484297 0
[pid=15633/tid=15639] ppid=15630 vsize=14088900 memory=140024631734929 CPUtime=1.4 cores=0,2,4,6
/proc/15633/task/15639/stat : 15639 (java) R 15630 15633 13692 0 -1 4202560 16390 0 0 0 134 6 0 0 20 0 15 0 244623066 14427033600 54277 33554432000 4194304 4196468 140734719936720 140046801278336 140046424211999 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15646] ppid=15630 vsize=14088900 memory=135 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15646/stat : 15646 (java) S 15630 15633 13692 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 244623071 14427033600 54277 33554432000 4194304 4196468 140734719936720 140046749662224 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15647] ppid=15630 vsize=14088900 memory=81 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15647/stat : 15647 (java) S 15630 15633 13692 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 244623071 14427033600 54277 33554432000 4194304 4196468 140734719936720 140046748609680 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15648] ppid=15630 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15648/stat : 15648 (java) S 15630 15633 13692 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 244623071 14427033600 54277 33554432000 4194304 4196468 140734719936720 140046747556624 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15649] ppid=15630 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15649/stat : 15649 (java) S 15630 15633 13692 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 244623071 14427033600 54277 33554432000 4194304 4196468 140734719936720 140046746504080 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15650] ppid=15630 vsize=14088900 memory=23905 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15650/stat : 15650 (java) S 15630 15633 13692 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 244623072 14427033600 54277 33554432000 4194304 4196468 140734719936720 140045978609904 140046797052546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15652] ppid=15630 vsize=14088900 memory=-6737208495982354336 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15652/stat : 15652 (java) S 15630 15633 13692 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244623073 14427033600 54277 33554432000 4194304 4196468 140734719936720 140045977556192 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15653] ppid=15630 vsize=14088900 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15653/stat : 15653 (java) R 15630 15633 13692 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 15 0 244623073 14427033600 54277 33554432000 4194304 4196468 140734719936720 140045976503024 140046418183188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15659] ppid=15630 vsize=14088900 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15659/stat : 15659 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14427033600 54277 33554432000 4194304 4196468 140734719936720 140045975451600 140046797059995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15660] ppid=15630 vsize=14088900 memory=-7966001967256141664 CPUtime=0.56 cores=0,2,4,6
/proc/15633/task/15660/stat : 15660 (java) S 15630 15633 13692 0 -1 1077944384 1737 0 0 0 56 0 0 0 20 0 15 0 244623076 14427033600 54277 33554432000 4194304 4196468 140734719936720 140045974399728 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15661] ppid=15630 vsize=14088900 memory=8303054830060986464 CPUtime=0.55 cores=0,2,4,6
/proc/15633/task/15661/stat : 15661 (java) R 15630 15633 13692 0 -1 1077944384 1305 0 0 0 55 0 0 0 20 0 15 0 244623076 14427033600 54277 33554432000 4194304 4196468 140734719936720 140045973347184 140046797052546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15662] ppid=15630 vsize=14088900 memory=-6876588628754522503 CPUtime=0.53 cores=0,2,4,6
/proc/15633/task/15662/stat : 15662 (java) R 15630 15633 13692 0 -1 4202560 1546 0 0 0 53 0 0 0 20 0 15 0 244623076 14427033600 54277 33554432000 4194304 4196468 140734719936720 140045972294128 140046778613817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0

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

/proc/15633/task/15639/stat : 15639 (java) R 15630 15633 13692 0 -1 4202560 202769 0 0 0 231042 84 0 0 20 0 15 0 244623066 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046801279296 140046423504692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15646] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.32 cores=0,2,4,6
/proc/15633/task/15646/stat : 15646 (java) S 15630 15633 13692 0 -1 1077944384 24861 0 0 0 884 48 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046749662224 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15647] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.4 cores=0,2,4,6
/proc/15633/task/15647/stat : 15647 (java) S 15630 15633 13692 0 -1 1077944384 25021 0 0 0 891 49 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046748609680 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15648] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.33 cores=0,2,4,6
/proc/15633/task/15648/stat : 15648 (java) S 15630 15633 13692 0 -1 1077944384 26229 0 0 0 885 48 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046747556624 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15649] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.33 cores=0,2,4,6
/proc/15633/task/15649/stat : 15649 (java) S 15630 15633 13692 0 -1 1077944384 25457 0 0 0 886 47 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046746504080 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15650] ppid=15630 vsize=14092996 memory=4477936 CPUtime=0.99 cores=0,2,4,6
/proc/15633/task/15650/stat : 15650 (java) S 15630 15633 13692 0 -1 1077944384 23115 0 0 0 85 14 0 0 20 0 15 0 244623072 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045978609904 140046797052546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15652] ppid=15630 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15652/stat : 15652 (java) S 15630 15633 13692 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 244623073 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045977556192 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15653] ppid=15630 vsize=14092996 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15653/stat : 15653 (java) S 15630 15633 13692 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244623073 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045976503040 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15659] ppid=15630 vsize=14092996 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15659/stat : 15659 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045975451600 140046797059995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15660] ppid=15630 vsize=14092996 memory=4477936 CPUtime=4.41 cores=0,2,4,6
/proc/15633/task/15660/stat : 15660 (java) S 15630 15633 13692 0 -1 1077944384 44065 0 0 0 437 4 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045974399728 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15661] ppid=15630 vsize=14092996 memory=4477936 CPUtime=3.63 cores=0,2,4,6
/proc/15633/task/15661/stat : 15661 (java) S 15630 15633 13692 0 -1 1077944384 36429 0 0 0 360 3 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045973347184 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15662] ppid=15630 vsize=14092996 memory=4477936 CPUtime=1.49 cores=0,2,4,6
/proc/15633/task/15662/stat : 15662 (java) S 15630 15633 13692 0 -1 1077944384 33771 0 0 0 145 4 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045972294128 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15664] ppid=15630 vsize=14092996 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15664/stat : 15664 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045971241824 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15666] ppid=15630 vsize=14092996 memory=4477936 CPUtime=1.22 cores=0,2,4,6
/proc/15633/task/15666/stat : 15666 (java) S 15630 15633 13692 0 -1 1077944384 2023 0 0 0 59 63 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045970188848 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
Current children cumulated CPU time: 2360.49 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4477936 KiB

[startup+2382.3 s]
/proc/loadavg: 1.76 1.72 1.60 3/215 15745
/proc/meminfo: memFree=16641652/32770624 swapFree=67108688/67108860
[pid=15633] ppid=15630 vsize=14092996 memory=4477936 CPUtime=2420.88 cores=0,2,4,6
/proc/15633/stat : 15633 (java) S 15630 15633 13692 0 -1 1077944320 453278 0 0 0 241740 348 0 0 20 0 15 0 244623064 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140734719919264 140046797041399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
/proc/15633/statm: 3523249 1119484 3628 1 0 3485321 0
[pid=15633/tid=15639] ppid=15630 vsize=14092996 memory=4477936 CPUtime=2371.12 cores=0,2,4,6
/proc/15633/task/15639/stat : 15639 (java) R 15630 15633 13692 0 -1 4202560 208757 0 0 0 237028 84 0 0 20 0 15 0 244623066 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046801279008 140046423504702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15646] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.44 cores=0,2,4,6
/proc/15633/task/15646/stat : 15646 (java) S 15630 15633 13692 0 -1 1077944384 24959 0 0 0 896 48 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046749662224 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15647] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.53 cores=0,2,4,6
/proc/15633/task/15647/stat : 15647 (java) S 15630 15633 13692 0 -1 1077944384 25480 0 0 0 904 49 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046748609680 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15648] ppid=15630 vsize=14092996 memory=0 CPUtime=9.45 cores=0,2,4,6
/proc/15633/task/15648/stat : 15648 (java) S 15630 15633 13692 0 -1 1077944384 26288 0 0 0 897 48 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046747556624 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15649] ppid=15630 vsize=14092996 memory=0 CPUtime=9.46 cores=0,2,4,6
/proc/15633/task/15649/stat : 15649 (java) S 15630 15633 13692 0 -1 1077944384 26624 0 0 0 899 47 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046746504080 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15650] ppid=15630 vsize=14092996 memory=4477936 CPUtime=0.99 cores=0,2,4,6
/proc/15633/task/15650/stat : 15650 (java) S 15630 15633 13692 0 -1 1077944384 23371 0 0 0 85 14 0 0 20 0 15 0 244623072 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045978609904 140046797052546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15652] ppid=15630 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15652/stat : 15652 (java) S 15630 15633 13692 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 244623073 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045977556192 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15653] ppid=15630 vsize=14092996 memory=124 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15653/stat : 15653 (java) S 15630 15633 13692 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244623073 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045976503040 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15659] ppid=15630 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15659/stat : 15659 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045975451600 140046797059995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15660] ppid=15630 vsize=14092996 memory=37612 CPUtime=4.41 cores=0,2,4,6
/proc/15633/task/15660/stat : 15660 (java) S 15630 15633 13692 0 -1 1077944384 44068 0 0 0 437 4 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045974399728 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15661] ppid=15630 vsize=14092996 memory=6791534058613427641 CPUtime=3.63 cores=0,2,4,6
/proc/15633/task/15661/stat : 15661 (java) S 15630 15633 13692 0 -1 1077944384 36437 0 0 0 360 3 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045973347184 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15662] ppid=15630 vsize=14092996 memory=4477936 CPUtime=1.49 cores=0,2,4,6
/proc/15633/task/15662/stat : 15662 (java) S 15630 15633 13692 0 -1 1077944384 33775 0 0 0 145 4 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045972294128 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15664] ppid=15630 vsize=14092996 memory=56 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15664/stat : 15664 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045971241824 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15666] ppid=15630 vsize=14092996 memory=7598542776401657925 CPUtime=1.26 cores=0,2,4,6
/proc/15633/task/15666/stat : 15666 (java) S 15630 15633 13692 0 -1 1077944384 2051 0 0 0 61 65 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045970188848 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
Current children cumulated CPU time: 2420.88 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4477936 KiB

[startup+2442.3 s]
/proc/loadavg: 1.72 1.72 1.61 3/215 15746
/proc/meminfo: memFree=16024132/32770624 swapFree=67108688/67108860
[pid=15633] ppid=15630 vsize=14092996 memory=4477936 CPUtime=2481.21 cores=0,2,4,6
/proc/15633/stat : 15633 (java) S 15630 15633 13692 0 -1 1077944320 460959 0 0 0 247772 349 0 0 20 0 15 0 244623064 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140734719919264 140046797041399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
/proc/15633/statm: 3523249 1119484 3628 1 0 3485321 0
[pid=15633/tid=15639] ppid=15630 vsize=14092996 memory=4477936 CPUtime=2431 cores=0,2,4,6
/proc/15633/task/15639/stat : 15639 (java) R 15630 15633 13692 0 -1 4202560 214321 0 0 0 243016 84 0 0 20 0 15 0 244623066 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046801279008 140046431577891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15646] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.54 cores=0,2,4,6
/proc/15633/task/15646/stat : 15646 (java) S 15630 15633 13692 0 -1 1077944384 25458 0 0 0 906 48 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046749662224 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15647] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.63 cores=0,2,4,6
/proc/15633/task/15647/stat : 15647 (java) S 15630 15633 13692 0 -1 1077944384 25911 0 0 0 914 49 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046748609680 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15648] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.56 cores=0,2,4,6
/proc/15633/task/15648/stat : 15648 (java) S 15630 15633 13692 0 -1 1077944384 27085 0 0 0 908 48 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046747556624 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15649] ppid=15630 vsize=14092996 memory=4477936 CPUtime=9.56 cores=0,2,4,6
/proc/15633/task/15649/stat : 15649 (java) S 15630 15633 13692 0 -1 1077944384 26697 0 0 0 909 47 0 0 20 0 15 0 244623071 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140046746504080 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15650] ppid=15630 vsize=14092996 memory=3732 CPUtime=1.01 cores=0,2,4,6
/proc/15633/task/15650/stat : 15650 (java) S 15630 15633 13692 0 -1 1077944384 23655 0 0 0 86 15 0 0 20 0 15 0 244623072 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045978609904 140046797052546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15652] ppid=15630 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15652/stat : 15652 (java) S 15630 15633 13692 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 244623073 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045977556192 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15653] ppid=15630 vsize=14092996 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15653/stat : 15653 (java) S 15630 15633 13692 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244623073 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045976503040 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15659] ppid=15630 vsize=14092996 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15659/stat : 15659 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045975451600 140046797059995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15660] ppid=15630 vsize=14092996 memory=4477936 CPUtime=4.41 cores=0,2,4,6
/proc/15633/task/15660/stat : 15660 (java) S 15630 15633 13692 0 -1 1077944384 44071 0 0 0 437 4 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045974399728 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15661] ppid=15630 vsize=14092996 memory=4477936 CPUtime=3.63 cores=0,2,4,6
/proc/15633/task/15661/stat : 15661 (java) S 15630 15633 13692 0 -1 1077944384 36439 0 0 0 360 3 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045973347184 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15662] ppid=15630 vsize=14092996 memory=4477936 CPUtime=1.49 cores=0,2,4,6
/proc/15633/task/15662/stat : 15662 (java) S 15630 15633 13692 0 -1 1077944384 33778 0 0 0 145 4 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045972294128 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15664] ppid=15630 vsize=14092996 memory=4477936 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15664/stat : 15664 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045971241824 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15666] ppid=15630 vsize=14092996 memory=924 CPUtime=1.28 cores=0,2,4,6
/proc/15633/task/15666/stat : 15666 (java) S 15630 15633 13692 0 -1 1077944384 2076 0 0 0 62 66 0 0 20 0 15 0 244623076 14431227904 1119484 33554432000 4194304 4196468 140734719936720 140045970188848 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
Current children cumulated CPU time: 2481.21 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4477936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2481 s]*
/proc/loadavg: 1.80 1.74 1.62 3/215 15827
/proc/meminfo: memFree=17726168/32770624 swapFree=67108688/67108860
[pid=15633] ppid=15630 vsize=14092996 memory=4477420 CPUtime=2520.03 cores=0,2,4,6
/proc/15633/stat : 15633 (java) S 15630 15633 13692 0 -1 1077944320 467698 0 0 0 251652 351 0 0 20 0 15 0 244623064 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140734719919264 140046797041399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
/proc/15633/statm: 3523249 1119355 3628 1 0 3485321 0
[pid=15633/tid=15639] ppid=15630 vsize=14092996 memory=6791534058613427641 CPUtime=2469.67 cores=0,2,4,6
/proc/15633/task/15639/stat : 15639 (java) R 15630 15633 13692 0 -1 4202560 218913 0 0 0 246882 85 0 0 20 0 15 0 244623066 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140046801279328 140046430356986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15646] ppid=15630 vsize=14092996 memory=-7003737579269690708 CPUtime=9.57 cores=0,2,4,6
/proc/15633/task/15646/stat : 15646 (java) S 15630 15633 13692 0 -1 1077944384 26007 0 0 0 909 48 0 0 20 0 15 0 244623071 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140046749662224 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15647] ppid=15630 vsize=14092996 memory=-7003737579269690708 CPUtime=9.66 cores=0,2,4,6
/proc/15633/task/15647/stat : 15647 (java) S 15630 15633 13692 0 -1 1077944384 26222 0 0 0 917 49 0 0 20 0 15 0 244623071 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140046748609680 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15648] ppid=15630 vsize=14092996 memory=14976659208016688 CPUtime=9.59 cores=0,2,4,6
/proc/15633/task/15648/stat : 15648 (java) S 15630 15633 13692 0 -1 1077944384 27956 0 0 0 911 48 0 0 20 0 15 0 244623071 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140046747556624 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15649] ppid=15630 vsize=14092996 memory=7667213891591496808 CPUtime=9.59 cores=0,2,4,6
/proc/15633/task/15649/stat : 15649 (java) S 15630 15633 13692 0 -1 1077944384 26815 0 0 0 912 47 0 0 20 0 15 0 244623071 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140046746504080 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15650] ppid=15630 vsize=14092996 memory=7667213891591496808 CPUtime=1.02 cores=0,2,4,6
/proc/15633/task/15650/stat : 15650 (java) S 15630 15633 13692 0 -1 1077944384 23917 0 0 0 87 15 0 0 20 0 15 0 244623072 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140045978609904 140046797052546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15652] ppid=15630 vsize=14092996 memory=7668055022284390500 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15652/stat : 15652 (java) S 15630 15633 13692 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 244623073 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140045977556192 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15653] ppid=15630 vsize=14092996 memory=7307182008728971879 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15653/stat : 15653 (java) S 15630 15633 13692 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244623073 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140045976503040 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15659] ppid=15630 vsize=14092996 memory=7307182008728971879 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15659/stat : 15659 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140045975451600 140046797059995 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15660] ppid=15630 vsize=14092996 memory=7162245489476463210 CPUtime=4.41 cores=0,2,4,6
/proc/15633/task/15660/stat : 15660 (java) S 15630 15633 13692 0 -1 1077944384 44078 0 0 0 437 4 0 0 20 0 15 0 244623076 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140045974399728 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15661] ppid=15630 vsize=14092996 memory=7668055022284390500 CPUtime=3.63 cores=0,2,4,6
/proc/15633/task/15661/stat : 15661 (java) S 15630 15633 13692 0 -1 1077944384 36443 0 0 0 360 3 0 0 20 0 15 0 244623076 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140045973347184 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15662] ppid=15630 vsize=14092996 memory=7668055022284390500 CPUtime=1.49 cores=0,2,4,6
/proc/15633/task/15662/stat : 15662 (java) S 15630 15633 13692 0 -1 1077944384 33782 0 0 0 145 4 0 0 20 0 15 0 244623076 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140045972294128 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15664] ppid=15630 vsize=14092996 memory=7668055022284390500 CPUtime=0 cores=0,2,4,6
/proc/15633/task/15664/stat : 15664 (java) S 15630 15633 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244623076 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140045971241824 140046797051605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
[pid=15633/tid=15666] ppid=15630 vsize=14092996 memory=7162245489476463210 CPUtime=1.3 cores=0,2,4,6
/proc/15633/task/15666/stat : 15666 (java) S 15630 15633 13692 0 -1 1077944384 2097 0 0 0 63 67 0 0 20 0 15 0 244623076 14431227904 1119355 33554432000 4194304 4196468 140734719936720 140045970188848 140046797052546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37138432 140734719939669 140734719939849 140734719939849 140734719942607 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4477420 KiB

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

[startup+2481.06 s]
# the end of solver process 15633 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.55 s, system=3.53706 s

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

Child status: 143
Real time (s): 2481.06
CPU time (s): 2520.08
CPU user time (s): 2516.55
CPU system time (s): 3.53706
CPU usage (%): 101.573
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4477936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.55
system time used= 3.53706
maximum resident set size= 4477936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75813
involuntary context switches= 3584


# summary of solver processes directly reported to runsolver:
#   pid: 15633
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.55
#   total CPU system time (s): 3.53706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0877 second user time and 26.5178 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-14 20:16:41
IDJOB=4308373
IDBENCH=141028
IDSOLVER=2792
FILE ID=node106/4308373-1534270601
RUNJOBID= node106-1534270601-15611
PBS_JOBID= 21038127
Free space on /tmp= 42484 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/StillLife/StillLife-wastage-30_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308373-1534270601/watcher-4308373-1534270601 -o /tmp/evaluation-result-4308373-1534270601/solver-4308373-1534270601 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534270601-15611 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 899345760 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308373-1534270601.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bc7ca4ef6af3dcde4f5a5d75f0a5d481
RANDOM SEED=899345760

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23170172 kB
MemAvailable:   31903484 kB
Buffers:          181828 kB
Cached:          8758712 kB
SwapCached:            0 kB
Active:          4466584 kB
Inactive:        4530648 kB
Active(anon):       3604 kB
Inactive(anon):   105460 kB
Active(file):    4462980 kB
Inactive(file):  4425188 kB
Unevictable:        6964 kB
Mlocked:            6964 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             71336 kB
Writeback:             0 kB
AnonPages:         63228 kB
Mapped:            54580 kB
Shmem:             49632 kB
Slab:             301484 kB
SReclaimable:     273604 kB
SUnreclaim:        27880 kB
KernelStack:        3504 kB
PageTables:         4464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     350908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 42412 MiB
End job on node106 at 2018-08-14 20:58:03