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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Hybrid 2017-06-30	SAT (TO)	27	2400.08	2334.15

0.42/0.30	c version: 2017-06-30
0.42/0.30	c seed: 1802416514
0.42/0.31	c timeout: 2400
0.42/0.31	c memlimit: 15500
0.42/0.31	c nbcore: 8
0.42/0.33	c Parsing instance...
6.85/2.29	c Parsing done, starting first complete search...
7.76/2.56	o 449
9.01/2.82	o 448
9.65/3.00	o 447
9.79/3.12	o 446
9.90/3.24	o 445
10.01/3.36	o 444
10.15/3.48	o 443
10.26/3.59	o 442
10.46/3.71	o 441
10.56/3.82	o 440
10.72/4.38	o 439
10.77/4.50	o 438
11.89/4.72	o 437
12.04/4.83	o 436
12.14/4.95	o 435
12.27/5.06	o 434
12.37/5.17	o 433
12.47/5.28	o 432
12.57/5.39	o 431
12.67/5.50	o 430
12.88/5.61	o 429
12.97/5.72	o 428
13.07/5.83	o 427
13.17/5.94	o 426
13.27/6.05	o 425
13.37/6.16	o 424
13.47/6.26	o 423
13.57/6.37	o 422
13.67/6.48	o 421
13.77/6.59	o 420
13.88/6.69	o 419
14.07/6.80	o 418
14.18/6.91	o 417
14.28/7.02	o 416
14.38/7.13	o 415
14.48/7.24	o 414
14.58/7.35	o 413
14.68/7.46	o 412
14.78/7.57	o 411
14.88/7.68	o 410
14.98/7.79	o 409
15.18/7.90	o 408
15.28/8.01	o 407
15.38/8.12	o 406
15.48/8.22	o 405
15.58/8.33	o 404
15.68/8.44	o 403
15.78/8.54	o 402
15.88/8.65	o 401
15.98/8.76	o 400
16.09/8.87	o 399
16.19/8.97	o 398
16.28/9.07	o 397
16.38/9.19	o 396
16.48/9.29	o 395
16.58/9.39	o 394
16.68/9.49	o 393
16.78/9.59	o 392
16.88/9.69	o 391
16.99/9.79	o 390
17.09/9.90	o 389
17.19/10.00	o 388
17.30/10.10	o 387
17.39/10.19	o 386
17.50/10.29	o 385
17.60/10.39	o 384
17.70/10.49	o 383
17.80/10.59	o 382
17.90/10.70	o 381
18.10/10.80	o 380
18.20/10.90	o 379
18.20/11.00	o 378
18.31/11.10	o 377
18.50/11.20	o 376
19.07/11.37	o 375
19.17/11.47	o 374
19.27/11.57	o 373
19.37/11.67	o 372
19.47/11.77	o 371
19.57/11.86	o 370
19.67/11.96	o 369
19.77/12.08	o 368
19.88/12.18	o 367
19.98/12.28	o 366
20.07/12.37	o 365
20.17/12.47	o 364
20.27/12.57	o 363
20.37/12.66	o 362
20.47/12.76	o 361
20.57/12.86	o 360
20.67/12.96	o 359
20.77/13.05	o 358
20.89/13.14	o 357
21.00/13.25	o 356
21.13/13.34	o 355
21.22/13.44	o 354
21.32/13.53	o 353
21.42/13.62	o 352
21.52/13.72	o 351
21.62/13.82	o 350
21.72/13.91	o 349
21.82/14.01	o 348
21.92/14.11	o 347
22.08/14.20	o 346
22.19/14.31	o 345
22.19/14.40	o 344
22.38/14.50	o 343
22.38/14.60	o 342
22.49/14.69	o 341
22.59/14.78	o 340
22.69/14.88	o 339
22.79/14.98	o 338
22.89/15.07	o 337
22.99/15.16	o 336
23.11/15.25	o 335
23.21/15.35	o 334
23.32/15.44	o 333
23.42/15.54	o 332
23.52/15.63	o 331
23.62/15.73	o 330
23.72/15.83	o 329
23.82/15.92	o 328
23.92/16.01	o 327
24.06/16.11	o 326
24.16/16.21	o 325
24.27/16.30	o 324
24.27/16.39	o 323
24.37/16.48	o 322
24.48/16.57	o 321
24.58/16.66	o 320
24.67/16.75	o 319
24.77/16.84	o 318
24.87/16.93	o 317
24.97/17.02	o 316
25.07/17.12	o 315
25.17/17.21	o 314
25.27/17.30	o 313
25.27/17.40	o 312
25.37/17.49	o 311
25.47/17.58	o 310
25.57/17.67	o 309
25.67/17.76	o 308
25.77/17.85	o 307
25.87/17.94	o 306
25.97/18.03	o 305
26.07/18.13	o 304
26.17/18.22	o 303
26.27/18.30	o 302
26.27/18.40	o 301
26.37/18.49	o 300
26.47/18.58	o 299
26.57/18.67	o 298
26.67/18.76	o 297
26.78/18.85	o 296
26.87/18.94	o 295
26.97/19.03	o 294
27.07/19.13	o 293
27.18/19.22	o 292
27.27/19.31	o 291
27.37/19.40	o 290
27.37/19.49	o 289
27.48/19.58	o 288
27.57/19.68	o 287
27.67/19.77	o 286
27.79/19.86	o 285
27.92/19.94	o 284
28.01/20.03	o 283
28.11/20.12	o 282
28.21/20.21	o 281
28.31/20.30	o 280
28.31/20.39	o 279
28.41/20.48	o 278
28.51/20.57	o 277
28.62/20.65	o 276
28.72/20.74	o 275
28.82/20.84	o 274
28.92/20.92	o 273
29.02/21.01	o 272
29.02/21.10	o 271
29.12/21.18	o 270
29.23/21.27	o 269
29.36/21.36	o 268
29.46/21.44	o 267
29.56/21.52	o 266
29.66/21.61	o 265
29.76/21.70	o 264
29.76/21.79	o 263
29.87/21.87	o 262
29.97/21.96	o 261
30.08/22.05	o 260
30.18/22.14	o 259
30.27/22.23	o 258
30.37/22.31	o 257
30.47/22.40	o 256
30.47/22.49	o 255
30.56/22.57	o 254
30.66/22.65	o 253
30.77/22.74	o 252
31.60/22.92	o 251
31.70/23.01	o 250
31.70/23.10	o 249
31.81/23.18	o 248
31.91/23.27	o 247
32.00/23.35	o 246
32.10/23.43	o 245
32.20/23.51	o 244
32.20/23.60	o 243
32.30/23.68	o 242
32.40/23.76	o 241
32.50/23.84	o 240
32.60/23.92	o 239
32.70/24.01	o 238
32.70/24.09	o 237
32.80/24.18	o 236
32.91/24.26	o 235
33.01/24.34	o 234
33.10/24.42	o 233
33.20/24.50	o 232
33.20/24.59	o 231
33.30/24.67	o 230
33.40/24.75	o 229
33.50/24.83	o 228
33.60/24.91	o 227
33.60/24.99	o 226
33.70/25.07	o 225
33.80/25.15	o 224
33.90/25.23	o 223
34.01/25.31	o 222
34.01/25.39	o 221
34.11/25.47	o 220
34.20/25.55	o 219
34.30/25.62	o 218
34.40/25.70	o 217
34.40/25.79	o 216
34.50/25.87	o 215
34.60/25.96	o 214
34.70/26.04	o 213
34.80/26.12	o 212
34.90/26.20	o 211
34.90/26.28	o 210
35.00/26.35	o 209
35.11/26.43	o 208
35.21/26.51	o 207
35.21/26.59	o 206
35.31/26.66	o 205
35.41/26.74	o 204
35.51/26.81	o 203
35.51/26.89	o 202
35.61/26.97	o 201
35.71/27.05	o 200
35.81/27.12	o 199
35.92/27.20	o 198
35.92/27.28	o 197
36.02/27.36	o 196
36.12/27.44	o 195
36.23/27.52	o 194
36.23/27.60	o 193
36.33/27.68	o 192
36.43/27.75	o 191
36.53/27.83	o 190
36.63/27.90	o 189
36.63/27.98	o 188
36.73/28.05	o 187
36.83/28.12	o 186
36.93/28.21	o 185
36.93/28.28	o 184
37.03/28.36	o 183
37.13/28.43	o 182
37.23/28.50	o 181
37.23/28.58	o 180
37.34/28.65	o 179
37.44/28.73	o 178
37.53/28.80	o 177
37.53/28.88	o 176
37.63/28.95	o 175
37.73/29.02	o 174
37.83/29.10	o 173
37.83/29.18	o 172
37.93/29.26	o 171
38.03/29.33	o 170
38.13/29.40	o 169
38.13/29.48	o 168
38.23/29.55	o 167
38.33/29.61	o 166
38.33/29.69	o 165
38.44/29.76	o 164
38.54/29.84	o 163
38.63/29.91	o 162
38.63/29.98	o 161
38.74/30.05	o 160
38.84/30.13	o 159
38.94/30.20	o 158
38.94/30.28	o 157
39.04/30.35	o 156
39.14/30.42	o 155
39.14/30.49	o 154
39.24/30.56	o 153
39.34/30.63	o 152
39.44/30.70	o 151
39.44/30.77	o 150
39.54/30.84	o 149
39.64/30.92	o 148
39.64/30.99	o 147
39.74/31.05	o 146
39.84/31.12	o 145
39.84/31.19	o 144
39.94/31.26	o 143
40.04/31.33	o 142
40.14/31.40	o 141
40.14/31.48	o 140
40.24/31.55	o 139
40.34/31.63	o 138
40.44/31.70	o 137
40.44/31.77	o 136
40.54/31.84	o 135
40.54/31.90	o 134
40.65/31.97	o 133
40.75/32.03	o 132
40.84/32.11	o 131
40.84/32.18	o 130
40.94/32.26	o 129
41.04/32.33	o 128
41.99/32.53	o 127
41.99/32.60	o 126
42.24/32.67	o 125
42.34/32.74	o 124
42.44/32.81	o 123
42.44/32.88	o 122
42.54/32.94	o 121
42.65/33.01	o 120
42.65/33.08	o 119
42.75/33.15	o 118
42.84/33.21	o 117
42.84/33.28	o 116
42.94/33.34	o 115
43.04/33.41	o 114
43.04/33.47	o 113
43.14/33.54	o 112
43.24/33.60	o 111
43.24/33.66	o 110
43.34/33.73	o 109
43.34/33.79	o 108
43.44/33.86	o 107
43.54/33.92	o 106
43.54/33.99	o 105
43.64/34.05	o 104
43.75/34.11	o 103
43.75/34.18	o 102
43.85/34.25	o 101
43.94/34.31	o 100
43.94/34.38	o 99
44.04/34.44	o 98
44.14/34.51	o 97
44.14/34.57	o 96
44.24/34.63	o 95
44.34/34.71	o 94
44.34/34.77	o 93
44.44/34.83	o 92
44.54/34.90	o 91
44.54/34.96	o 90
44.64/35.03	o 89
44.64/35.09	o 88
44.74/35.15	o 87
44.85/35.21	o 86
44.85/35.27	o 85
44.95/35.34	o 84
45.04/35.40	o 83
45.04/35.46	o 82
45.14/35.52	o 81
45.14/35.58	o 80
45.24/35.64	o 79
45.34/35.70	o 78
45.34/35.77	o 77
45.44/35.83	o 76
45.44/35.89	o 75
45.54/35.95	o 74
45.64/36.01	o 73
45.64/36.07	o 72
45.74/36.13	o 71
45.74/36.19	o 70
45.84/36.25	o 69
45.84/36.30	o 68
45.95/36.37	o 67
46.06/36.43	o 66
46.06/36.49	o 65
46.16/36.55	o 64
46.26/36.60	o 63
46.26/36.66	o 62
46.36/36.72	o 61
46.36/36.78	o 60
46.46/36.84	o 59
46.46/36.89	o 58
46.56/36.95	o 57
46.66/37.01	o 56
46.66/37.07	o 55
46.76/37.12	o 54
46.76/37.18	o 53
46.86/37.24	o 52
46.86/37.29	o 51
46.96/37.35	o 50
46.96/37.40	o 49
47.06/37.46	o 48
47.16/37.52	o 47
47.16/37.58	o 46
47.26/37.64	o 45
47.26/37.69	o 44
47.36/37.75	o 43
47.46/37.81	o 42
47.46/37.87	o 41
47.56/37.92	o 40
47.56/37.98	o 39
47.66/38.04	o 38
47.86/38.12	o 37
48.21/38.21	o 36
48.21/38.29	o 35
48.40/38.36	o 34
48.50/38.44	o 33
48.61/38.51	o 32
48.61/38.60	o 31
48.91/38.83	o 30
49.56/39.33	o 29
49.66/39.46	o 28
90.03/78.68	c First complete search done, starting ALNS search...
115.36/97.40	o 27
1803.90/1753.75	c ALNS done, starting second complete search
1803.90/1753.75	c Best operator: FullRelax_ConfOrder(valLearnMin) with improvement of: 1
2400.03/2334.10	s SATISFIABLE
2400.03/2334.11	v <instantiation>
2400.03/2334.11	v 	<list>
2400.03/2334.11	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449]
2400.03/2334.11	v 	</list>
2400.03/2334.11	v 	<values>
2400.03/2334.11	v 		20 7 13 12 21 11 1 25 11 2 14 2 4 27 20 15 14 5 17 10 14 15 27 12 25 8 22 10 21 1 15 10 14 18 6 25 22 15 14 1 20 12 18 16 24 4 1 4 2 26 26 13 0 8 4 3 10 14 8 6 8 22 13 26 24 17 22 2 10 18 4 1 3 9 25 3 22 15 4 6 17 15 8 2 18 13 2 14 24 13 4 4 25 20 4 20 22 19 7 16 15 2 24 0 1 23 15 19 27 11 9 26 17 26 21 7 20 2 7 10 11 6 23 4 25 16 5 25 4 6 11 7 17 2 16 9 3 20 0 13 1 3 21 16 27 11 25 23 27 6 26 26 5 22 5 27 25 8 21 5 8 4 15 18 23 19 5 3 22 17 22 25 5 11 5 5 15 14 0 4 10 10 11 8 6 9 21 24 5 6 8 12 0 12 20 27 11 4 11 14 3 3 6 26 10 4 8 4 0 23 12 9 9 3 2 16 2 5 6 1 6 16 23 26 26 26 22 4 12 0 8 15 13 14 15 27 9 20 19 27 0 21 5 1 1 16 9 12 9 1 0 20 13 0 16 27 6 18 17 24 16 14 4 19 5 7 22 11 26 23 12 15 11 10 23 23 7 2 26 15 18 10 1 18 0 5 11 5 27 24 2 3 12 20 27 12 7 3 6 13 0 7 13 0 1 19 3 20 17 24 3 15 7 14 24 21 25 21 12 24 27 7 3 24 11 20 22 25 16 1 10 16 6 6 18 25 14 14 24 17 26 0 14 2 21 16 13 9 22 23 7 0 7 5 1 10 10 0 10 13 25 27 17 25 12 0 1 3 22 17 21 3 18 7 19 4 19 25 8 7 25 17 5 2 18 9 3 21 5 16 16 18 11 7 24 18 21 17 3 23 3 4 20 8 23 23 8 2 9 18 23 26 11 5 6 8 12 24 9 5 1 1 6 22 13 15 3 19 4 14 4 12 8 27 26 19 13 1 0 14 18 9 14 17 26 19 3 18 7 12 
2400.03/2334.11	v 	</values>
2400.03/2334.11	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245157-1500695857/watcher-4245157-1500695857 -o /tmp/evaluation-result-4245157-1500695857/solver-4245157-1500695857 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16346 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1802416514 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245157-1500695857.xml 

pid=17929
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 1.84 1.57 1.47 2/261 17932
/proc/meminfo: memFree=30787164/32770624 swapFree=6568/129200
[pid=17932] ppid=17929 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 1899 0 0 0 0 0 0 0 20 0 2 0 4850711 10889764864 2120 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 2658634 2120 1179 1 0 2647545 0
[pid=17932/tid=17933] ppid=17929 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 685 0 0 0 0 0 0 0 20 0 2 0 4850711 10889764864 2252 33554432000 4194304 4196468 140737450282528 140132161214880 140132149262240 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0

[startup+0.100102 s]
/proc/loadavg: 1.84 1.57 1.47 2/261 17932
/proc/meminfo: memFree=30787164/32770624 swapFree=6568/129200
[pid=17932] ppid=17929 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 5533 0 0 0 8 1 0 0 20 0 20 0 4850711 13582725120 6114 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3316095 6114 3313 1 0 3303815 0
[pid=17932/tid=17933] ppid=17929 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 3624 0 0 0 7 1 0 0 20 0 20 0 4850711 13582725120 6114 33554432000 4194304 4196468 140737450282528 140132161207664 140132141053278 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200464 s]
/proc/loadavg: 1.84 1.57 1.47 2/261 17932
/proc/meminfo: memFree=30787164/32770624 swapFree=6568/129200
[pid=17932] ppid=17929 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 8747 0 0 0 24 2 0 0 20 0 20 0 4850711 13582245888 8782 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3315978 8782 3561 1 0 3303698 0
[pid=17932/tid=17933] ppid=17929 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 6443 0 0 0 16 1 0 0 20 0 20 0 4850711 13582245888 8782 33554432000 4194304 4196468 140737450282528 140132161201168 140132141053278 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300419 s]
/proc/loadavg: 1.84 1.57 1.47 2/261 17932
/proc/meminfo: memFree=30787164/32770624 swapFree=6568/129200
[pid=17932] ppid=17929 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 9845 0 0 0 39 3 0 0 20 0 20 0 4850711 13582245888 11174 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3315978 11174 3657 1 0 3303698 0
[pid=17932/tid=17933] ppid=17929 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 7196 0 0 0 25 2 0 0 20 0 20 0 4850711 13582245888 11174 33554432000 4194304 4196468 140737450282528 140132161189328 140132141053278 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700319 s]
/proc/loadavg: 1.84 1.57 1.47 2/261 17932
/proc/meminfo: memFree=30787164/32770624 swapFree=6568/129200
[pid=17932] ppid=17929 vsize=13265980 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 13679 0 0 0 154 5 0 0 20 0 20 0 4850711 13584363520 21118 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3316495 21118 3762 1 0 3304210 0
[pid=17932/tid=17933] ppid=17929 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 8379 0 0 0 64 3 0 0 20 0 20 0 4850711 13584363520 21118 33554432000 4194304 4196468 140737450282528 140132161203792 140132156986695 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 13265980

[startup+1.50077 s]
/proc/loadavg: 1.84 1.57 1.47 6/281 17952
/proc/meminfo: memFree=30626708/32770624 swapFree=6568/129268
[pid=17932] ppid=17929 vsize=13268028 CPUtime=4.64 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 24696 0 0 0 449 15 0 0 20 0 20 0 4850711 13586460672 54117 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3317007 54117 3818 1 0 3304722 0
[pid=17932/tid=17933] ppid=17929 vsize=13268028 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 10355 0 0 0 140 5 0 0 20 0 20 0 4850711 13586460672 54117 33554432000 4194304 4196468 140737450282528 140132161207496 140132141502523 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17935] ppid=17929 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 14955 0 -1 1077944384 32 0 0 0 0 1 0 0 20 0 20 0 4850712 13586460672 54117 33554432000 4194304 4196468 140737450282528 140132109593232 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17936] ppid=17929 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 14955 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 4850712 13586460672 54117 33554432000 4194304 4196468 140737450282528 140132108540432 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17937] ppid=17929 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 14955 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 4850712 13586460672 54117 33554432000 4194304 4196468 140737450282528 140132107487632 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17938] ppid=17929 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 14955 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 4850712 13586460672 54117 33554432000 4194304 4196468 140737450282528 140132106434832 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17939] ppid=17929 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 14955 0 -1 1077944384 68 0 0 0 0 1 0 0 20 0 20 0 4850712 13586460672 54117 33554432000 4194304 4196468 140737450282528 140132105383056 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17940] ppid=17929 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 14955 0 -1 1077944384 182 0 0 0 0 1 0 0 20 0 20 0 4850712 13586460672 54117 33554432000 4194304 4196468 140737450282528 140132104330256 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17941] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 14955 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4850712 13586460672 54117 33554432000 4194304 4196468 140737450282528 140132103277456 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17942] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 14955 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4850712 13586460672 54117 33554432000 4194304 4196468 140737450282528 140132102224656 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17943] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 14955 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 4850714 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131484780912 140132156983938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17944] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 14955 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4850715 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131483726880 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17945] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 14955 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4850715 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131482674032 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17946] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4850719 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131481622352 140132156991387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17947] ppid=17929 vsize=13268028 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17947/stat : 17947 (java) R 17929 17932 14955 0 -1 4202560 3469 0 0 0 82 0 0 0 20 0 20 0 4850719 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131480571032 140132135209177 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17948] ppid=17929 vsize=13268028 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17948/stat : 17948 (java) R 17929 17932 14955 0 -1 4202560 3219 0 0 0 80 0 0 0 20 0 20 0 4850719 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131479517936 140132136483776 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17949] ppid=17929 vsize=13268028 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17949/stat : 17949 (java) R 17929 17932 14955 0 -1 4202560 3275 0 0 0 84 0 0 0 20 0 20 0 4850719 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131478454016 140132142988320 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17950] ppid=17929 vsize=13268028 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17950/stat : 17950 (java) S 17929 17932 14955 0 -1 1077944384 2404 0 0 0 53 0 0 0 20 0 20 0 4850719 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131477412336 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17951] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17951/stat : 17951 (java) S 17929 17932 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4850720 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131476359776 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17952] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17952/stat : 17952 (java) S 17929 17932 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4850720 13586460672 54117 33554432000 4194304 4196468 140737450282528 140131475307056 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 13268028

[startup+3.10087 s]
/proc/loadavg: 1.84 1.57 1.47 3/281 17952
/proc/meminfo: memFree=30317488/32770624 swapFree=6568/129268
[pid=17932] ppid=17929 vsize=13268028 CPUtime=9.79 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 35127 0 0 0 888 91 0 0 20 0 20 0 4850711 13586460672 158336 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3317007 158336 3828 1 0 3304722 0
[pid=17932/tid=17933] ppid=17929 vsize=13268028 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 12353 0 0 0 279 9 0 0 20 0 20 0 4850711 13586460672 158336 33554432000 4194304 4196468 140737450282528 140132161208360 140131789243533 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17935] ppid=17929 vsize=13268028 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 14955 0 -1 1077944384 119 0 0 0 5 9 0 0 20 0 20 0 4850712 13586460672 158336 33554432000 4194304 4196468 140737450282528 140132109593232 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17936] ppid=17929 vsize=13268028 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 14955 0 -1 1077944384 125 0 0 0 5 9 0 0 20 0 20 0 4850712 13586460672 158336 33554432000 4194304 4196468 140737450282528 140132108540432 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17937] ppid=17929 vsize=13268028 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 14955 0 -1 1077944384 138 0 0 0 5 10 0 0 20 0 20 0 4850712 13586460672 158336 33554432000 4194304 4196468 140737450282528 140132107487632 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17938] ppid=17929 vsize=13268028 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 14955 0 -1 1077944384 87 0 0 0 5 8 0 0 20 0 20 0 4850712 13586460672 158336 33554432000 4194304 4196468 140737450282528 140132106434832 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17939] ppid=17929 vsize=13268028 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 14955 0 -1 1077944384 141 0 0 0 5 9 0 0 20 0 20 0 4850712 13586460672 158336 33554432000 4194304 4196468 140737450282528 140132105383056 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17940] ppid=17929 vsize=13268028 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 14955 0 -1 1077944384 290 0 0 0 5 9 0 0 20 0 20 0 4850712 13586460672 158336 33554432000 4194304 4196468 140737450282528 140132104330256 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17941] ppid=17929 vsize=13268028 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 14955 0 -1 1077944384 125 0 0 0 7 9 0 0 20 0 20 0 4850712 13586460672 158336 33554432000 4194304 4196468 140737450282528 140132103277456 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17942] ppid=17929 vsize=13268028 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 14955 0 -1 1077944384 120 0 0 0 7 8 0 0 20 0 20 0 4850712 13586460672 158336 33554432000 4194304 4196468 140737450282528 140132102224656 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17943] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 14955 0 -1 1077944384 530 0 0 0 0 0 0 0 20 0 20 0 4850714 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131484780912 140132156983938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17944] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 14955 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4850715 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131483726944 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17945] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 14955 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4850715 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131482674048 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17946] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4850719 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131481622352 140132156991387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17947] ppid=17929 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 14955 0 -1 1077944384 5345 0 0 0 164 0 0 0 20 0 20 0 4850719 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131480570736 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17948] ppid=17929 vsize=13268028 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17948/stat : 17948 (java) S 17929 17932 14955 0 -1 1077944384 3974 0 0 0 154 0 0 0 20 0 20 0 4850719 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131479517936 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17949] ppid=17929 vsize=13268028 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17949/stat : 17949 (java) S 17929 17932 14955 0 -1 1077944384 5101 0 0 0 163 1 0 0 20 0 20 0 4850719 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131478465136 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17950] ppid=17929 vsize=13268028 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17950/stat : 17950 (java) R 17929 17932 14955 0 -1 4202560 5234 0 0 0 77 1 0 0 20 0 20 0 4850719 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131477412632 140132135511627 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17951] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17951/stat : 17951 (java) S 17929 17932 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4850720 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131476359776 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17952] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17952/stat : 17952 (java) S 17929 17932 14955 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 4850720 13586460672 158336 33554432000 4194304 4196468 140737450282528 140131475307056 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 13268028

[startup+6.30086 s]
/proc/loadavg: 2.18 1.64 1.49 4/281 17952
/proc/meminfo: memFree=29996072/32770624 swapFree=6568/129284
[pid=17932] ppid=17929 vsize=13268028 CPUtime=13.57 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 36409 0 0 0 1207 150 0 0 20 0 20 0 4850711 13586460672 201747 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3317007 201747 3828 1 0 3304722 0
[pid=17932/tid=17933] ppid=17929 vsize=13268028 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 12458 0 0 0 542 10 0 0 20 0 20 0 4850711 13586460672 201747 33554432000 4194304 4196468 140737450282528 140132161202448 140131789243530 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17935] ppid=17929 vsize=13268028 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 14955 0 -1 1077944384 192 0 0 0 8 17 0 0 20 0 20 0 4850712 13586460672 201747 33554432000 4194304 4196468 140737450282528 140132109593232 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17936] ppid=17929 vsize=13268028 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 14955 0 -1 1077944384 272 0 0 0 9 16 0 0 20 0 20 0 4850712 13586460672 201747 33554432000 4194304 4196468 140737450282528 140132108540432 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17937] ppid=17929 vsize=13268028 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 14955 0 -1 1077944384 217 0 0 0 9 18 0 0 20 0 20 0 4850712 13586460672 201747 33554432000 4194304 4196468 140737450282528 140132107487632 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17938] ppid=17929 vsize=13268028 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 14955 0 -1 1077944384 157 0 0 0 9 16 0 0 20 0 20 0 4850712 13586460672 201747 33554432000 4194304 4196468 140737450282528 140132106434832 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17939] ppid=17929 vsize=13268028 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 14955 0 -1 1077944384 223 0 0 0 8 17 0 0 20 0 20 0 4850712 13586460672 201747 33554432000 4194304 4196468 140737450282528 140132105383056 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17940] ppid=17929 vsize=13268028 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 14955 0 -1 1077944384 350 0 0 0 9 16 0 0 20 0 20 0 4850712 13586460672 201747 33554432000 4194304 4196468 140737450282528 140132104330256 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17941] ppid=17929 vsize=13268028 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 14955 0 -1 1077944384 201 0 0 0 11 16 0 0 20 0 20 0 4850712 13586460672 201747 33554432000 4194304 4196468 140737450282528 140132103277456 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17942] ppid=17929 vsize=13268028 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 14955 0 -1 1077944384 185 0 0 0 10 15 0 0 20 0 20 0 4850712 13586460672 201747 33554432000 4194304 4196468 140737450282528 140132102224656 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17943] ppid=17929 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 14955 0 -1 1077944384 989 0 0 0 1 0 0 0 20 0 20 0 4850714 13586460672 201747 33554432000 4194304 4196468 140737450282528 140131484780912 140132156983938 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17944] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 14955 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4850715 13586460672 201747 33554432000 4194304 4196468 140737450282528 140131483726944 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17945] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 14955 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4850715 13586460672 201747 33554432000 4194304 4196468 140737450282528 140131482674048 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17946] ppid=17929 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=17932/tid=17948] ppid=17929 vsize=13270076 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17948/stat : 17948 (java) S 17929 17932 14955 0 -1 1077944384 20557 0 0 0 318 3 0 0 20 0 20 0 4850719 13588557824 871999 33554432000 4194304 4196468 140737450282528 140131479517936 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17949] ppid=17929 vsize=13270076 CPUtime=3.65 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17949/stat : 17949 (java) S 17929 17932 14955 0 -1 1077944384 25458 0 0 0 361 4 0 0 20 0 20 0 4850719 13588557824 871999 33554432000 4194304 4196468 140737450282528 140131478465136 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17950] ppid=17929 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17950/stat : 17950 (java) S 17929 17932 14955 0 -1 1077944384 26783 0 0 0 122 3 0 0 20 0 20 0 4850719 13588557824 871999 33554432000 4194304 4196468 140737450282528 140131477412336 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 54 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17951] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17951/stat : 17951 (java) S 17929 17932 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4850720 13588557824 871999 33554432000 4194304 4196468 140737450282528 140131476359776 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17952] ppid=17929 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17952/stat : 17952 (java) S 17929 17932 14955 0 -1 1077944384 1672 0 0 0 61 67 0 0 20 0 20 0 4850720 13588557824 871999 33554432000 4194304 4196468 140737450282528 140131475307056 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 2325.83
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.24 1.50 1.56 3/281 18131
/proc/meminfo: memFree=26656636/32770624 swapFree=6568/131768
[pid=17932] ppid=17929 vsize=13270076 CPUtime=2387.82 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 415451 0 0 0 238115 667 0 0 20 0 20 0 4850711 13588557824 867891 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3317519 867891 3866 1 0 3305234 0
[pid=17932/tid=17933] ppid=17929 vsize=13270076 CPUtime=2311.18 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 158093 0 0 0 231031 87 0 0 20 0 20 0 4850711 13588557824 867891 33554432000 4194304 4196468 140737450282528 140132161211088 140131788972006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17935] ppid=17929 vsize=13270076 CPUtime=7.88 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 14955 0 -1 1077944384 19465 0 0 0 724 64 0 0 20 0 20 0 4850712 13588557824 867891 33554432000 4194304 4196468 140737450282528 140132109593232 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17936] ppid=17929 vsize=13270076 CPUtime=7.92 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 14955 0 -1 1077944384 17788 0 0 0 732 60 0 0 20 0 20 0 4850712 13588557824 867891 33554432000 4194304 4196468 140737450282528 140132108540432 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17937] ppid=17929 vsize=13270076 CPUtime=7.97 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 14955 0 -1 1077944384 15301 0 0 0 733 64 0 0 20 0 20 0 4850712 13588557824 867891 33554432000 4194304 4196468 140737450282528 140132107487632 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17938] ppid=17929 vsize=13270076 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 14955 0 -1 1077944384 17887 0 0 0 735 61 0 0 20 0 20 0 4850712 13588557824 867891 33554432000 4194304 4196468 140737450282528 140132106434832 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17939] ppid=17929 vsize=13270076 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 14955 0 -1 1077944384 17577 0 0 0 733 63 0 0 20 0 20 0 4850712 13588557824 867891 33554432000 4194304 4196468 140737450282528 140132105383056 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17940] ppid=17929 vsize=13270076 CPUtime=7.85 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 14955 0 -1 1077944384 20394 0 0 0 723 62 0 0 20 0 20 0 4850712 13588557824 867891 33554432000 4194304 4196468 140737450282528 140132104330256 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17941] ppid=17929 vsize=13270076 CPUtime=7.92 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 14955 0 -1 1077944384 20260 0 0 0 731 61 0 0 20 0 20 0 4850712 13588557824 867891 33554432000 4194304 4196468 140737450282528 140132103277456 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17942] ppid=17929 vsize=13270076 CPUtime=7.97 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 14955 0 -1 1077944384 17840 0 0 0 735 62 0 0 20 0 20 0 4850712 13588557824 867891 33554432000 4194304 4196468 140737450282528 140132102224656 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17943] ppid=17929 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 14955 0 -1 1077944384 15666 0 0 0 79 14 0 0 20 0 20 0 4850714 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131484780912 140132156983938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17944] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 14955 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 20 0 4850715 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131483726944 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17945] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 14955 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 4850715 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131482674048 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17946] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4850719 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131481622352 140132156991387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17947] ppid=17929 vsize=13270076 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 14955 0 -1 1077944384 19158 0 0 0 268 3 0 0 20 0 20 0 4850719 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131480570736 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17948] ppid=17929 vsize=13270076 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17948/stat : 17948 (java) S 17929 17932 14955 0 -1 1077944384 20561 0 0 0 318 3 0 0 20 0 20 0 4850719 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131479517936 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17949] ppid=17929 vsize=13270076 CPUtime=3.65 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17949/stat : 17949 (java) S 17929 17932 14955 0 -1 1077944384 25464 0 0 0 361 4 0 0 20 0 20 0 4850719 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131478465136 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17950] ppid=17929 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17950/stat : 17950 (java) S 17929 17932 14955 0 -1 1077944384 26787 0 0 0 122 3 0 0 20 0 20 0 4850719 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131477412336 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 54 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17951] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17951/stat : 17951 (java) S 17929 17932 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4850720 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131476359776 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17952] ppid=17929 vsize=13270076 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17952/stat : 17952 (java) S 17929 17932 14955 0 -1 1077944384 1710 0 0 0 63 69 0 0 20 0 20 0 4850720 13588557824 867891 33554432000 4194304 4196468 140737450282528 140131475307056 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 52 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 2387.82
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2334.1 s]
/proc/loadavg: 1.27 1.49 1.56 3/281 18131
/proc/meminfo: memFree=26697560/32770624 swapFree=6568/131780
[pid=17932] ppid=17929 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 417895 0 0 0 239335 668 0 0 20 0 20 0 4850711 13588557824 867249 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3317519 867249 3866 1 0 3305234 0
[pid=17932/tid=17933] ppid=17929 vsize=13270076 CPUtime=2322.89 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 158322 0 0 0 232202 87 0 0 20 0 20 0 4850711 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132161210752 140131783430458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17935] ppid=17929 vsize=13270076 CPUtime=7.94 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 14955 0 -1 1077944384 19513 0 0 0 730 64 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132109593232 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17936] ppid=17929 vsize=13270076 CPUtime=7.97 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 14955 0 -1 1077944384 17979 0 0 0 737 60 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132108540432 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17937] ppid=17929 vsize=13270076 CPUtime=8.04 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 14955 0 -1 1077944384 15523 0 0 0 739 65 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132107487632 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17938] ppid=17929 vsize=13270076 CPUtime=8.03 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 14955 0 -1 1077944384 18345 0 0 0 742 61 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132106434832 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17939] ppid=17929 vsize=13270076 CPUtime=8.01 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 14955 0 -1 1077944384 18123 0 0 0 738 63 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132105383056 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17940] ppid=17929 vsize=13270076 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 14955 0 -1 1077944384 20481 0 0 0 728 62 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132104330256 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17941] ppid=17929 vsize=13270076 CPUtime=7.98 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 14955 0 -1 1077944384 20524 0 0 0 737 61 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132103277456 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17942] ppid=17929 vsize=13270076 CPUtime=8.03 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 14955 0 -1 1077944384 17963 0 0 0 741 62 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132102224656 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17943] ppid=17929 vsize=13270076 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 14955 0 -1 1077944384 15925 0 0 0 80 14 0 0 20 0 20 0 4850714 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131484780912 140132156983938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17944] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 14955 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 20 0 4850715 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131483726944 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17945] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 14955 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 4850715 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131482674048 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17946] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131481622352 140132156991387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17947] ppid=17929 vsize=13270076 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 14955 0 -1 1077944384 19158 0 0 0 268 3 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131480570736 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17948] ppid=17929 vsize=13270076 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17948/stat : 17948 (java) S 17929 17932 14955 0 -1 1077944384 20561 0 0 0 318 3 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131479517936 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17949] ppid=17929 vsize=13270076 CPUtime=3.65 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17949/stat : 17949 (java) S 17929 17932 14955 0 -1 1077944384 25464 0 0 0 361 4 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131478465136 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17950] ppid=17929 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17950/stat : 17950 (java) S 17929 17932 14955 0 -1 1077944384 26787 0 0 0 122 3 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131477412336 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 54 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17951] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17951/stat : 17951 (java) S 17929 17932 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4850720 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131476359776 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17952] ppid=17929 vsize=13270076 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17952/stat : 17952 (java) S 17929 17932 14955 0 -1 1077944384 1727 0 0 0 63 69 0 0 20 0 20 0 4850720 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131475307056 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076

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

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

[startup+2334.1 s]
/proc/loadavg: 1.27 1.49 1.56 3/281 18131
/proc/meminfo: memFree=26697560/32770624 swapFree=6568/131780
[pid=17932] ppid=17929 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/17932/stat : 17932 (java) S 17929 17932 14955 0 -1 1077944320 417895 0 0 0 239335 668 0 0 20 0 20 0 4850711 13588557824 867249 33554432000 4194304 4196468 140737450282528 140737450265072 140132156972791 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
/proc/17932/statm: 3317519 867249 3866 1 0 3305234 0
[pid=17932/tid=17933] ppid=17929 vsize=13270076 CPUtime=2322.89 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17933/stat : 17933 (java) R 17929 17932 14955 0 -1 4202560 158322 0 0 0 232202 87 0 0 20 0 20 0 4850711 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132161210752 140131783430458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17935] ppid=17929 vsize=13270076 CPUtime=7.94 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17935/stat : 17935 (java) S 17929 17932 14955 0 -1 1077944384 19513 0 0 0 730 64 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132109593232 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17936] ppid=17929 vsize=13270076 CPUtime=7.97 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17936/stat : 17936 (java) S 17929 17932 14955 0 -1 1077944384 17979 0 0 0 737 60 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132108540432 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17937] ppid=17929 vsize=13270076 CPUtime=8.04 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17937/stat : 17937 (java) S 17929 17932 14955 0 -1 1077944384 15523 0 0 0 739 65 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132107487632 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17938] ppid=17929 vsize=13270076 CPUtime=8.03 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17938/stat : 17938 (java) S 17929 17932 14955 0 -1 1077944384 18345 0 0 0 742 61 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132106434832 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17939] ppid=17929 vsize=13270076 CPUtime=8.01 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17939/stat : 17939 (java) S 17929 17932 14955 0 -1 1077944384 18123 0 0 0 738 63 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132105383056 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17940] ppid=17929 vsize=13270076 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17940/stat : 17940 (java) S 17929 17932 14955 0 -1 1077944384 20481 0 0 0 728 62 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132104330256 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17941] ppid=17929 vsize=13270076 CPUtime=7.98 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17941/stat : 17941 (java) S 17929 17932 14955 0 -1 1077944384 20524 0 0 0 737 61 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132103277456 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17942] ppid=17929 vsize=13270076 CPUtime=8.03 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17942/stat : 17942 (java) S 17929 17932 14955 0 -1 1077944384 17963 0 0 0 741 62 0 0 20 0 20 0 4850712 13588557824 867249 33554432000 4194304 4196468 140737450282528 140132102224656 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17943] ppid=17929 vsize=13270076 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17943/stat : 17943 (java) S 17929 17932 14955 0 -1 1077944384 15925 0 0 0 80 14 0 0 20 0 20 0 4850714 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131484780912 140132156983938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17944] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17944/stat : 17944 (java) S 17929 17932 14955 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 20 0 4850715 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131483726944 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17945] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17945/stat : 17945 (java) S 17929 17932 14955 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 4850715 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131482674048 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17946] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17946/stat : 17946 (java) S 17929 17932 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131481622352 140132156991387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17947] ppid=17929 vsize=13270076 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17947/stat : 17947 (java) S 17929 17932 14955 0 -1 1077944384 19158 0 0 0 268 3 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131480570736 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17948] ppid=17929 vsize=13270076 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17948/stat : 17948 (java) S 17929 17932 14955 0 -1 1077944384 20561 0 0 0 318 3 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131479517936 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17949] ppid=17929 vsize=13270076 CPUtime=3.65 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17949/stat : 17949 (java) S 17929 17932 14955 0 -1 1077944384 25464 0 0 0 361 4 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131478465136 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17950] ppid=17929 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17950/stat : 17950 (java) S 17929 17932 14955 0 -1 1077944384 26787 0 0 0 122 3 0 0 20 0 20 0 4850719 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131477412336 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 54 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17951] ppid=17929 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17951/stat : 17951 (java) S 17929 17932 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4850720 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131476359776 140132156982997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
[pid=17932/tid=17952] ppid=17929 vsize=13270076 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/17932/task/17952/stat : 17952 (java) S 17929 17932 14955 0 -1 1077944384 1727 0 0 0 63 69 0 0 20 0 20 0 4850720 13588557824 867249 33554432000 4194304 4196468 140737450282528 140131475307056 140132156983938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 27713536 140737450284173 140737450284356 140737450284356 140737450287055 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2334.15
CPU time (s): 2400.08
CPU user time (s): 2393.36
CPU system time (s): 6.71304
CPU usage (%): 102.825
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.36
system time used= 6.71303
maximum resident set size= 3875536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419403
page faults= 0
swaps= 0
block input operations= 40
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75772
involuntary context switches= 128047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4451 second user time and 19.4349 second system time

The end

Launcher Data

Begin job on node148 at 2017-07-22 05:57:37
IDJOB=4245157
IDBENCH=120600
IDSOLVER=2629
FILE ID=node148/4245157-1500695857
RUNJOBID= node148-1500684084-16346
PBS_JOBID= 20623032
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-25d.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245157-1500695857/watcher-4245157-1500695857 -o /tmp/evaluation-result-4245157-1500695857/solver-4245157-1500695857 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16346 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1802416514 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245157-1500695857.xml

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

MD5SUM BENCH= 1f90dacd0a92fbbf60104d292dc9abb3
RANDOM SEED=1802416514

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30787536 kB
MemAvailable:   30970192 kB
Buffers:          133848 kB
Cached:           318304 kB
SwapCached:            0 kB
Active:          1333912 kB
Inactive:         190744 kB
Active(anon):    1022464 kB
Inactive(anon):    61544 kB
Active(file):     311448 kB
Inactive(file):   129200 kB
Unevictable:        6568 kB
Mlocked:            6568 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42712 kB
Writeback:            16 kB
AnonPages:       1078952 kB
Mapped:            45100 kB
Shmem:              8848 kB
Slab:             149804 kB
SReclaimable:     115684 kB
SUnreclaim:        34120 kB
KernelStack:        4544 kB
PageTables:         6948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2027348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    958464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61948 MiB
End job on node148 at 2017-07-22 06:36:32

Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml
MD5SUM	1f90dacd0a92fbbf60104d292dc9abb3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	25
Best CPU time to get the best result obtained on this benchmark	2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	17425
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	12
Maximum variable degree	158
Distribution of variable degrees	[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":17425}]
Number of extensional constraints	0
Number of intensional constraints	17425
Distribution of constraint types	[{"type":"intension","count":17425}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4245157

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data