Trace number 4274514

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2017-07-26SAT (TO)28 2520.0701 2480.55

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-lei450-25d.xml
MD5SUM1f90dacd0a92fbbf60104d292dc9abb3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints17425
Number of domains1
Minimum domain size450
Maximum domain size450
Distribution of domain sizes[{"size":450,"count":450}]
Minimum variable degree12
Maximum variable degree158
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 arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":17425}]
Number of extensional constraints0
Number of intensional constraints17425
Distribution of constraint types[{"type":"intension","count":17425}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.23/0.40	c version: 2017-07-26
0.23/0.40	c seed: 1950155022
0.23/0.40	c timeout: 2520
0.23/0.40	c memlimit: 11000
0.23/0.40	c nbcore: 4
0.43/0.42	c Parsing instance...
5.03/2.27	c Parsing done, starting first complete search...
5.82/2.53	o 449
6.71/2.83	o 448
7.32/3.03	o 447
7.61/3.18	o 446
7.99/3.30	o 445
8.17/3.42	o 444
8.29/3.54	o 443
8.38/3.65	o 442
8.49/3.77	o 441
8.59/3.88	o 440
8.83/4.00	o 439
8.98/4.11	o 438
9.39/4.30	o 437
9.55/4.41	o 436
9.66/4.53	o 435
9.77/4.65	o 434
9.87/4.76	o 433
9.98/4.87	o 432
10.08/4.98	o 431
10.18/5.09	o 430
10.38/5.20	o 429
10.48/5.32	o 428
10.59/5.43	o 427
10.70/5.54	o 426
10.79/5.65	o 425
10.89/5.77	o 424
10.99/5.87	o 423
11.09/5.98	o 422
11.19/6.09	o 421
11.39/6.20	o 420
11.49/6.32	o 419
11.60/6.43	o 418
11.70/6.54	o 417
11.79/6.65	o 416
11.89/6.76	o 415
11.99/6.87	o 414
12.09/6.99	o 413
12.19/7.10	o 412
12.39/7.21	o 411
12.49/7.32	o 410
12.60/7.43	o 409
12.70/7.54	o 408
12.79/7.65	o 407
12.89/7.76	o 406
12.99/7.87	o 405
13.09/7.97	o 404
13.19/8.08	o 403
13.29/8.19	o 402
13.39/8.29	o 401
13.49/8.40	o 400
13.70/8.51	o 399
13.79/8.61	o 398
13.89/8.71	o 397
13.99/8.83	o 396
14.09/8.93	o 395
14.19/9.03	o 394
14.29/9.13	o 393
14.40/9.23	o 392
14.50/9.33	o 391
14.61/9.43	o 390
14.71/9.53	o 389
14.81/9.63	o 388
14.91/9.73	o 387
15.01/9.82	o 386
15.11/9.92	o 385
15.21/10.02	o 384
15.31/10.12	o 383
15.41/10.22	o 382
15.52/10.32	o 381
15.62/10.42	o 380
15.73/10.52	o 379
15.82/10.62	o 378
15.92/10.72	o 377
16.02/10.87	o 376
16.26/10.97	o 375
16.36/11.06	o 374
16.46/11.16	o 373
16.56/11.26	o 372
16.66/11.36	o 371
16.77/11.45	o 370
16.87/11.55	o 369
16.96/11.67	o 368
17.06/11.77	o 367
17.16/11.86	o 366
17.26/11.96	o 365
17.37/12.05	o 364
17.47/12.15	o 363
17.57/12.24	o 362
17.67/12.34	o 361
17.78/12.44	o 360
17.88/12.53	o 359
17.97/12.63	o 358
18.09/12.72	o 357
18.19/12.82	o 356
18.31/12.91	o 355
18.41/13.01	o 354
18.51/13.10	o 353
18.51/13.19	o 352
18.61/13.29	o 351
18.71/13.39	o 350
18.82/13.48	o 349
18.92/13.57	o 348
19.01/13.67	o 347
19.13/13.77	o 346
19.27/13.87	o 345
19.37/13.97	o 344
19.48/14.06	o 343
19.58/14.16	o 342
19.69/14.25	o 341
19.79/14.34	o 340
19.90/14.43	o 339
20.00/14.53	o 338
20.09/14.62	o 337
20.19/14.71	o 336
20.31/14.80	o 335
20.41/14.90	o 334
20.41/15.00	o 333
20.52/15.09	o 332
20.62/15.18	o 331
20.72/15.28	o 330
20.82/15.37	o 329
20.93/15.47	o 328
21.03/15.56	o 327
21.16/15.66	o 326
21.27/15.75	o 325
21.37/15.84	o 324
21.47/15.93	o 323
21.57/16.02	o 322
21.67/16.11	o 321
21.77/16.20	o 320
21.77/16.29	o 319
21.87/16.38	o 318
21.98/16.47	o 317
22.08/16.56	o 316
22.17/16.65	o 315
22.27/16.74	o 314
22.38/16.83	o 313
22.48/16.93	o 312
22.58/17.02	o 311
22.68/17.11	o 310
22.77/17.20	o 309
22.77/17.29	o 308
22.87/17.38	o 307
22.98/17.47	o 306
23.08/17.56	o 305
23.18/17.65	o 304
23.28/17.74	o 303
23.38/17.82	o 302
23.48/17.91	o 301
23.58/18.01	o 300
23.58/18.09	o 299
23.68/18.18	o 298
23.79/18.27	o 297
23.88/18.37	o 296
23.99/18.46	o 295
24.09/18.55	o 294
24.18/18.64	o 293
24.28/18.73	o 292
24.38/18.82	o 291
24.49/18.91	o 290
24.59/19.00	o 289
24.59/19.09	o 288
24.69/19.19	o 287
24.78/19.27	o 286
24.88/19.36	o 285
25.00/19.45	o 284
25.10/19.53	o 283
25.18/19.62	o 282
25.29/19.71	o 281
25.39/19.80	o 280
25.39/19.89	o 279
25.49/19.98	o 278
25.59/20.07	o 277
25.69/20.15	o 276
25.79/20.24	o 275
25.89/20.33	o 274
26.00/20.42	o 273
26.00/20.51	o 272
26.12/20.59	o 271
26.20/20.68	o 270
26.30/20.76	o 269
26.40/20.85	o 268
26.50/20.93	o 267
26.60/21.01	o 266
26.71/21.10	o 265
26.71/21.19	o 264
26.81/21.27	o 263
26.91/21.36	o 262
27.02/21.45	o 261
27.12/21.54	o 260
27.21/21.62	o 259
27.31/21.71	o 258
27.41/21.80	o 257
27.41/21.88	o 256
27.50/21.97	o 255
27.61/22.05	o 254
27.71/22.13	o 253
27.81/22.22	o 252
28.01/22.38	o 251
28.22/22.46	o 250
28.32/22.55	o 249
28.41/22.63	o 248
28.51/22.72	o 247
28.61/22.80	o 246
28.61/22.88	o 245
28.71/22.96	o 244
28.81/23.04	o 243
28.91/23.13	o 242
29.01/23.21	o 241
29.01/23.28	o 240
29.11/23.37	o 239
29.22/23.45	o 238
29.32/23.54	o 237
29.41/23.62	o 236
29.51/23.70	o 235
29.51/23.78	o 234
29.61/23.86	o 233
29.71/23.94	o 232
29.81/24.02	o 231
29.91/24.11	o 230
29.91/24.19	o 229
30.01/24.27	o 228
30.11/24.35	o 227
30.22/24.43	o 226
30.32/24.51	o 225
30.32/24.59	o 224
30.42/24.67	o 223
30.52/24.74	o 222
30.62/24.82	o 221
30.72/24.90	o 220
30.72/24.98	o 219
30.82/25.06	o 218
30.92/25.14	o 217
31.02/25.22	o 216
31.12/25.30	o 215
31.12/25.39	o 214
31.23/25.47	o 213
31.33/25.55	o 212
31.42/25.63	o 211
31.52/25.70	o 210
31.52/25.78	o 209
31.62/25.86	o 208
31.72/25.93	o 207
31.82/26.01	o 206
31.82/26.09	o 205
31.92/26.16	o 204
32.02/26.24	o 203
32.12/26.31	o 202
32.12/26.39	o 201
32.24/26.47	o 200
32.34/26.55	o 199
32.43/26.62	o 198
32.53/26.70	o 197
32.53/26.78	o 196
32.63/26.86	o 195
32.73/26.94	o 194
32.84/27.02	o 193
32.84/27.09	o 192
32.94/27.17	o 191
33.04/27.24	o 190
33.14/27.32	o 189
33.14/27.39	o 188
33.25/27.47	o 187
33.35/27.54	o 186
33.44/27.62	o 185
33.44/27.70	o 184
33.54/27.77	o 183
33.64/27.85	o 182
33.74/27.92	o 181
33.74/27.99	o 180
33.84/28.07	o 179
33.94/28.15	o 178
34.04/28.22	o 177
34.04/28.29	o 176
34.14/28.37	o 175
34.25/28.44	o 174
34.35/28.51	o 173
34.35/28.59	o 172
34.44/28.67	o 171
34.54/28.75	o 170
34.64/28.82	o 169
34.64/28.89	o 168
34.74/28.96	o 167
34.84/29.03	o 166
34.94/29.10	o 165
34.94/29.18	o 164
35.04/29.25	o 163
35.14/29.32	o 162
35.14/29.39	o 161
35.25/29.47	o 160
35.35/29.54	o 159
35.44/29.61	o 158
35.44/29.69	o 157
35.54/29.76	o 156
35.64/29.84	o 155
35.74/29.91	o 154
35.74/29.98	o 153
35.84/30.04	o 152
35.94/30.11	o 151
35.94/30.18	o 150
36.04/30.26	o 149
36.14/30.33	o 148
36.14/30.40	o 147
36.25/30.47	o 146
36.35/30.54	o 145
36.44/30.61	o 144
36.44/30.68	o 143
36.54/30.75	o 142
36.64/30.82	o 141
36.64/30.90	o 140
36.74/30.97	o 139
36.84/31.05	o 138
36.94/31.12	o 137
36.94/31.18	o 136
37.05/31.25	o 135
37.15/31.32	o 134
37.15/31.38	o 133
37.26/31.45	o 132
37.36/31.53	o 131
37.45/31.60	o 130
37.45/31.67	o 129
37.55/31.74	o 128
38.01/31.90	o 127
38.01/31.97	o 126
38.11/32.04	o 125
38.21/32.11	o 124
38.21/32.17	o 123
38.31/32.25	o 122
38.41/32.31	o 121
38.41/32.38	o 120
38.52/32.44	o 119
38.62/32.51	o 118
38.62/32.58	o 117
38.71/32.64	o 116
38.81/32.71	o 115
38.81/32.77	o 114
38.91/32.83	o 113
39.01/32.90	o 112
39.01/32.96	o 111
39.11/33.02	o 110
39.11/33.09	o 109
39.21/33.15	o 108
39.31/33.22	o 107
39.31/33.28	o 106
39.41/33.34	o 105
39.52/33.41	o 104
39.52/33.47	o 103
39.62/33.54	o 102
39.71/33.60	o 101
39.71/33.67	o 100
39.81/33.73	o 99
39.91/33.80	o 98
39.91/33.86	o 97
40.01/33.93	o 96
40.01/33.99	o 95
40.11/34.06	o 94
40.21/34.13	o 93
40.21/34.19	o 92
40.31/34.25	o 91
40.41/34.32	o 90
40.41/34.38	o 89
40.52/34.44	o 88
40.52/34.51	o 87
40.63/34.57	o 86
40.72/34.63	o 85
40.72/34.69	o 84
40.82/34.75	o 83
40.92/34.82	o 82
40.92/34.87	o 81
41.02/34.94	o 80
41.02/34.99	o 79
41.12/35.06	o 78
41.22/35.12	o 77
41.22/35.18	o 76
41.32/35.24	o 75
41.42/35.30	o 74
41.42/35.36	o 73
41.53/35.42	o 72
41.53/35.48	o 71
41.63/35.54	o 70
41.63/35.60	o 69
41.72/35.65	o 68
41.82/35.72	o 67
41.82/35.78	o 66
41.93/35.84	o 65
41.93/35.90	o 64
42.03/35.95	o 63
42.13/36.01	o 62
42.13/36.07	o 61
42.23/36.13	o 60
42.23/36.19	o 59
42.33/36.24	o 58
42.43/36.30	o 57
42.43/36.36	o 56
42.54/36.42	o 55
42.54/36.47	o 54
42.64/36.53	o 53
42.64/36.59	o 52
42.73/36.64	o 51
42.83/36.70	o 50
42.83/36.75	o 49
42.93/36.81	o 48
42.93/36.87	o 47
43.03/36.93	o 46
43.03/36.99	o 45
43.13/37.04	o 44
43.23/37.10	o 43
43.23/37.16	o 42
43.33/37.22	o 41
43.33/37.27	o 40
43.43/37.33	o 39
43.43/37.39	o 38
43.58/37.45	o 37
43.71/37.52	o 36
43.71/37.60	o 35
43.80/37.66	o 34
43.90/37.74	o 33
44.00/37.82	o 32
44.10/37.90	o 31
44.31/38.12	o 30
44.98/38.62	o 29
45.15/38.75	o 28
83.97/77.18	c First complete search done, starting ALNS search...
1864.25/1836.33	c ALNS done, starting second complete search
2520.03/2480.51	s SATISFIABLE
2520.03/2480.51	v <instantiation>
2520.03/2480.51	v 	<list>
2520.03/2480.51	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]
2520.03/2480.51	v 	</list>
2520.03/2480.51	v 	<values>
2520.03/2480.51	v 		20 7 13 12 14 19 14 22 24 28 11 7 17 28 28 7 14 5 8 8 16 20 24 8 4 8 22 13 21 11 15 28 14 6 25 25 23 27 23 28 23 28 27 6 23 26 27 28 2 21 26 22 23 8 28 15 18 24 6 24 12 26 13 23 25 17 1 17 10 24 25 3 3 10 9 28 22 3 28 7 6 2 8 16 16 13 1 1 3 28 10 28 0 20 1 16 15 1 8 5 6 7 5 1 26 0 8 26 1 11 9 12 26 8 20 1 18 0 23 22 28 22 21 16 12 25 12 18 21 21 22 0 9 16 17 9 15 20 20 23 11 14 25 16 28 8 15 19 16 1 16 26 17 2 25 22 27 27 25 2 7 28 16 26 17 19 25 24 5 18 11 21 1 2 0 6 7 24 17 27 25 22 11 17 23 9 21 10 28 15 22 25 0 6 28 4 17 2 28 14 1 14 22 26 2 25 5 5 6 26 24 9 20 20 16 10 4 24 4 26 10 9 23 18 22 22 8 22 17 27 19 24 13 7 20 27 9 7 15 20 27 19 20 27 20 28 17 23 9 28 27 20 13 2 27 21 24 5 21 3 17 5 18 27 16 12 28 4 0 4 16 3 26 25 28 24 26 13 26 21 16 18 22 21 17 5 11 16 15 24 15 1 12 20 18 10 18 18 23 13 2 18 13 21 27 0 9 19 23 25 27 12 2 8 28 10 27 5 2 18 11 6 26 27 11 2 22 12 21 19 26 23 7 6 0 10 22 14 24 11 0 26 19 15 2 8 13 22 5 19 27 4 20 22 19 11 24 24 3 6 27 15 24 15 15 10 18 27 11 17 14 27 18 21 6 4 19 12 15 3 12 28 11 14 26 9 21 0 20 23 6 14 25 7 5 5 6 24 18 21 3 23 20 25 9 4 14 24 24 3 0 18 10 27 23 10 26 24 12 15 17 23 6 19 14 15 25 2 23 7 4 12 7 8 0 19 13 19 0 14 18 9 14 17 26 19 3 18 7 12 
2520.03/2480.51	v 	</values>
2520.03/2480.51	v </instantiation>

Verifier Data 

OK	28

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274514-1502759776/watcher-4274514-1502759776 -o /tmp/evaluation-result-4274514-1502759776/solver-4274514-1502759776 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1950155022 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274514-1502759776.xml 

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

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

solver pid=28151, runsolver pid=28148

[startup+0.100144 s]*
/proc/loadavg: 1.46 1.49 1.59 3/204 28152
/proc/meminfo: memFree=30406020/32770624 swapFree=67108860/67108860
[pid=28151] ppid=28148 vsize=13356344 memory=10696 CPUtime=0 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28148 28151 12395 0 -1 1077944320 2489 0 0 0 0 0 0 0 20 0 6 0 117889045 13676896256 2674 18446744073709551615 4194304 4196468 140726288970656 140726288953200 140275532812023 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
/proc/28151/statm: 3339086 2674 1213 1 0 3329056 0
[pid=28151/tid=28153] ppid=28148 vsize=13356344 memory=7754243566052743836 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) R 28148 28151 12395 0 -1 4202560 1173 0 0 0 0 0 0 0 20 0 6 0 117889055 13676896256 2674 18446744073709551615 4194304 4196468 140726288970656 140275537053800 140275510975798 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28154] ppid=28148 vsize=13356344 memory=732370759807597541 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117889055 13676896256 2674 18446744073709551615 4194304 4196468 140726288970656 140275452225808 140275532822229 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28155] ppid=28148 vsize=13356344 memory=140621470144128 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117889055 13676896256 2674 18446744073709551615 4194304 4196468 140726288970656 140275451173264 140275532822229 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28156] ppid=28148 vsize=13356344 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28148 28151 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 117889055 13676896256 2674 18446744073709551615 4194304 4196468 140726288970656 140275450120720 140275532822229 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28157] ppid=28148 vsize=13356344 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117889055 13676896256 2674 18446744073709551615 4194304 4196468 140726288970656 140275449068176 140275532822229 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13356344 KiB
Current children cumulated memory: 10696 KiB

[startup+0.210811 s]*
/proc/loadavg: 1.46 1.49 1.59 5/218 28166
/proc/meminfo: memFree=30391352/32770624 swapFree=67108860/67108860
[pid=28151] ppid=28148 vsize=13975920 memory=28748 CPUtime=0.08 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28148 28151 12395 0 -1 1077944320 6503 0 0 0 7 1 0 0 20 0 15 0 117889045 14311342080 7187 18446744073709551615 4194304 4196468 140726288970656 140726288953200 140275532812023 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
/proc/28151/statm: 3493980 7187 3341 1 0 3482759 0
[pid=28151/tid=28153] ppid=28148 vsize=13975920 memory=-4116735710718344508 CPUtime=0.06 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) R 28148 28151 12395 0 -1 4202560 4527 0 0 0 6 0 0 0 20 0 15 0 117889055 14311342080 7187 18446744073709551615 4194304 4196468 140726288970656 140275537045288 140275510814558 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28154] ppid=28148 vsize=13975920 memory=281242793055992 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889055 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275452225808 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28155] ppid=28148 vsize=13975920 memory=140621470144128 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889055 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275451173264 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28156] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28148 28151 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117889055 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275450120720 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28157] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889055 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275449068176 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28158] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28148 28151 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117889057 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275011271152 140275532823170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28159] ppid=28148 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28148 28151 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117889057 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275010217376 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28160] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28148 28151 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117889057 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275009164784 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28161] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275008113360 140275532830619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28162] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28148 28151 12395 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 117889060 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275007059952 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28163] ppid=28148 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275006007408 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28164] ppid=28148 vsize=13975920 memory=140621470144128 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28148 28151 12395 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 117889060 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275004954864 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28165] ppid=28148 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275003902560 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28166] ppid=28148 vsize=13975920 memory=140621470144128 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889064 14311342080 7231 18446744073709551615 4194304 4196468 140726288970656 140275002850096 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28748 KiB

[startup+0.311648 s]*
/proc/loadavg: 1.58 1.52 1.60 3/218 28166
/proc/meminfo: memFree=30379312/32770624 swapFree=67108860/67108860
[pid=28151] ppid=28148 vsize=13975920 memory=40368 CPUtime=0.23 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28148 28151 12395 0 -1 1077944320 10311 0 0 0 20 3 0 0 20 0 15 0 117889045 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140726288953200 140275532812023 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
/proc/28151/statm: 3493980 10092 3529 1 0 3482759 0
[pid=28151/tid=28153] ppid=28148 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) R 28148 28151 12395 0 -1 4202560 8032 0 0 0 14 2 0 0 20 0 15 0 117889055 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275537010992 140275532833949 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28154] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889055 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275452225808 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28155] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889055 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275451173264 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28156] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28148 28151 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117889055 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275450120720 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28157] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889055 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275449068176 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28158] ppid=28148 vsize=13975920 memory=140625618096928 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28148 28151 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117889057 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275011271152 140275532823170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28159] ppid=28148 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28148 28151 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117889057 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275010217376 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28160] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28148 28151 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117889057 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275009164784 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28161] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275008113360 140275532830619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28162] ppid=28148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) R 28148 28151 12395 0 -1 4202560 397 0 0 0 0 0 0 0 20 0 15 0 117889060 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275007059952 140275532833370 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28163] ppid=28148 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) R 28148 28151 12395 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 117889060 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275006007408 140275532823170 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28164] ppid=28148 vsize=13975920 memory=140621470144128 CPUtime=0.04 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) R 28148 28151 12395 0 -1 4202560 377 0 0 0 4 0 0 0 20 0 15 0 117889060 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275004954864 140275532823958 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28165] ppid=28148 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275003902560 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28166] ppid=28148 vsize=13975920 memory=140621470144128 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889064 14311342080 10092 18446744073709551615 4194304 4196468 140726288970656 140275002850096 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40368 KiB

[startup+0.700703 s]
/proc/loadavg: 1.58 1.52 1.60 3/218 28166
/proc/meminfo: memFree=30368020/32770624 swapFree=67108860/67108860
[pid=28151] ppid=28148 vsize=13977988 memory=76412 CPUtime=1.13 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28148 28151 12395 0 -1 1077944320 13735 0 0 0 108 5 0 0 20 0 15 0 117889045 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140726288953200 140275532812023 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
/proc/28151/statm: 3494497 19103 3731 1 0 3483271 0
[pid=28151/tid=28153] ppid=28148 vsize=13977988 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) R 28148 28151 12395 0 -1 4202560 9791 0 0 0 51 3 0 0 20 0 15 0 117889055 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275537046864 140275532823958 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28154] ppid=28148 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889055 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275452225808 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28155] ppid=28148 vsize=13977988 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889055 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275451173264 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28156] ppid=28148 vsize=13977988 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28148 28151 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117889055 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275450120720 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28157] ppid=28148 vsize=13977988 memory=12132 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889055 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275449068176 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28158] ppid=28148 vsize=13977988 memory=796 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28148 28151 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117889057 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275011271152 140275532823170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28159] ppid=28148 vsize=13977988 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28148 28151 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117889057 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275010217376 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28160] ppid=28148 vsize=13977988 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28148 28151 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117889057 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275009164784 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28161] ppid=28148 vsize=13977988 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275008113360 140275532830619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28162] ppid=28148 vsize=13977988 memory=9040 CPUtime=0.16 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28148 28151 12395 0 -1 1077944384 963 0 0 0 16 0 0 0 20 0 15 0 117889060 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275007059952 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28163] ppid=28148 vsize=13977988 memory=1436 CPUtime=0.2 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) R 28148 28151 12395 0 -1 4202560 815 0 0 0 20 0 0 0 20 0 15 0 117889060 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275006007408 140275511983280 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28164] ppid=28148 vsize=13977988 memory=1196 CPUtime=0.2 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) R 28148 28151 12395 0 -1 1077944384 784 0 0 0 20 0 0 0 20 0 15 0 117889060 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275004954864 140275532823170 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28165] ppid=28148 vsize=13977988 memory=164 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275003902560 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28166] ppid=28148 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28148 28151 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117889064 14313459712 19103 18446744073709551615 4194304 4196468 140726288970656 140275002850096 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 76412 KiB

[startup+1.50078 s]
/proc/loadavg: 1.58 1.52 1.60 5/218 28166
/proc/meminfo: memFree=30276616/32770624 swapFree=67108860/67108860
[pid=28151] ppid=28148 vsize=13980036 memory=210636 CPUtime=3.55 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28148 28151 12395 0 -1 1077944320 24134 0 0 0 346 9 0 0 20 0 15 0 117889045 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140726288953200 140275532812023 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
/proc/28151/statm: 3495009 52659 3797 1 0 3483783 0
[pid=28151/tid=28153] ppid=28148 vsize=13980036 memory=204520 CPUtime=1.32 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) R 28148 28151 12395 0 -1 4202560 11795 0 0 0 127 5 0 0 20 0 15 0 117889055 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275537047696 140275516855653 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28154] ppid=28148 vsize=13980036 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28148 28151 12395 0 -1 1077944384 428 0 0 0 1 0 0 0 20 0 15 0 117889055 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275452225808 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28155] ppid=28148 vsize=13980036 memory=281242646116096 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28148 28151 12395 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 117889055 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275451173264 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28156] ppid=28148 vsize=13980036 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28148 28151 12395 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 15 0 117889055 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275450120720 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28157] ppid=28148 vsize=13980036 memory=1992 CPUtime=0.01 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28148 28151 12395 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 15 0 117889055 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275449068176 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28158] ppid=28148 vsize=13980036 memory=12132 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28148 28151 12395 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 117889057 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275011271152 140275532823170 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28159] ppid=28148 vsize=13980036 memory=796 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28148 28151 12395 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 117889057 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275010217440 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28160] ppid=28148 vsize=13980036 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28148 28151 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 117889057 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275009164784 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28161] ppid=28148 vsize=13980036 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275008113360 140275532830619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28162] ppid=28148 vsize=13980036 memory=1716 CPUtime=0.83 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28148 28151 12395 0 -1 1077944384 3508 0 0 0 82 1 0 0 20 0 15 0 117889060 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275007059952 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28163] ppid=28148 vsize=13980036 memory=9040 CPUtime=0.89 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28148 28151 12395 0 -1 1077944384 3124 0 0 0 88 1 0 0 20 0 15 0 117889060 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275006007408 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28164] ppid=28148 vsize=13980036 memory=1436 CPUtime=0.43 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28148 28151 12395 0 -1 1077944384 3128 0 0 0 43 0 0 0 20 0 15 0 117889060 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275004954864 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28165] ppid=28148 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275003902560 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28166] ppid=28148 vsize=13980036 memory=261559012107293 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28148 28151 12395 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 117889064 14315556864 52659 18446744073709551615 4194304 4196468 140726288970656 140275002850096 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 13980036 KiB

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

/proc/28151/task/28153/stat : 28153 (java) R 28148 28151 12395 0 -1 4202560 129533 0 0 0 237023 70 0 0 20 0 15 0 117889055 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275537050272 140275130190371 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28154] ppid=28148 vsize=13982084 memory=3529760 CPUtime=9.52 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28148 28151 12395 0 -1 1077944384 37040 0 0 0 919 33 0 0 20 0 15 0 117889055 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275452225808 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28155] ppid=28148 vsize=13982084 memory=3535412 CPUtime=9.51 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28148 28151 12395 0 -1 1077944384 38115 0 0 0 919 32 0 0 20 0 15 0 117889055 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275451173264 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28156] ppid=28148 vsize=13982084 memory=3531816 CPUtime=9.51 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28148 28151 12395 0 -1 1077944384 36420 0 0 0 918 33 0 0 20 0 15 0 117889055 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275450120720 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28157] ppid=28148 vsize=13982084 memory=3535408 CPUtime=9.52 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28148 28151 12395 0 -1 1077944384 37580 0 0 0 919 33 0 0 20 0 15 0 117889055 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275449068176 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28158] ppid=28148 vsize=13982084 memory=3530784 CPUtime=1.26 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28148 28151 12395 0 -1 1077944384 19799 0 0 0 111 15 0 0 20 0 15 0 117889057 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275011271152 140275532823170 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28159] ppid=28148 vsize=13982084 memory=3529760 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28148 28151 12395 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117889057 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275010217440 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28160] ppid=28148 vsize=13982084 memory=3529760 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28148 28151 12395 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 117889057 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275009164800 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28161] ppid=28148 vsize=13982084 memory=3528220 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275008113360 140275532830619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28162] ppid=28148 vsize=13982084 memory=281242646985584 CPUtime=3.34 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28148 28151 12395 0 -1 1077944384 15775 0 0 0 330 4 0 0 20 0 15 0 117889060 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275007059952 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28163] ppid=28148 vsize=13982084 memory=3529764 CPUtime=3.81 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28148 28151 12395 0 -1 1077944384 17729 0 0 0 377 4 0 0 20 0 15 0 117889060 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275006007408 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28164] ppid=28148 vsize=13982084 memory=3528220 CPUtime=1.07 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28148 28151 12395 0 -1 1077944384 14461 0 0 0 104 3 0 0 20 0 15 0 117889060 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275004954864 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28165] ppid=28148 vsize=13982084 memory=15884 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275003902560 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28166] ppid=28148 vsize=13982084 memory=18468 CPUtime=1.43 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28148 28151 12395 0 -1 1077944384 1851 0 0 0 68 75 0 0 20 0 15 0 117889064 14317654016 882055 18446744073709551615 4194304 4196468 140726288970656 140275002850096 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
Current children cumulated CPU time: 2419.99 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3528220 KiB

[startup+2442.3 s]
/proc/loadavg: 1.84 1.80 1.66 3/214 28386
/proc/meminfo: memFree=23293548/32770624 swapFree=67108860/67108860
[pid=28151] ppid=28148 vsize=13982084 memory=3511772 CPUtime=2481.07 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28148 28151 12395 0 -1 1077944320 355322 0 0 0 247819 288 0 0 20 0 15 0 117889045 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140726288953200 140275532812023 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
/proc/28151/statm: 3495521 877943 3836 1 0 3484295 0
[pid=28151/tid=28153] ppid=28148 vsize=13982084 memory=3511780 CPUtime=2430.52 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) R 28148 28151 12395 0 -1 4202560 131236 0 0 0 242982 70 0 0 20 0 15 0 117889055 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275537050160 140275130190550 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28154] ppid=28148 vsize=13982084 memory=3511780 CPUtime=9.88 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28148 28151 12395 0 -1 1077944384 38360 0 0 0 954 34 0 0 20 0 15 0 117889055 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275452225808 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28155] ppid=28148 vsize=13982084 memory=3525132 CPUtime=9.87 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28148 28151 12395 0 -1 1077944384 38607 0 0 0 954 33 0 0 20 0 15 0 117889055 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275451173264 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28156] ppid=28148 vsize=13982084 memory=3525132 CPUtime=9.86 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28148 28151 12395 0 -1 1077944384 37114 0 0 0 953 33 0 0 20 0 15 0 117889055 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275450120720 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28157] ppid=28148 vsize=13982084 memory=281242646985584 CPUtime=9.87 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28148 28151 12395 0 -1 1077944384 38624 0 0 0 954 33 0 0 20 0 15 0 117889055 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275449068176 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28158] ppid=28148 vsize=13982084 memory=3515380 CPUtime=1.29 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28148 28151 12395 0 -1 1077944384 20065 0 0 0 114 15 0 0 20 0 15 0 117889057 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275011271152 140275532823170 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28159] ppid=28148 vsize=13982084 memory=3512812 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28148 28151 12395 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117889057 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275010217440 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28160] ppid=28148 vsize=13982084 memory=164 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28148 28151 12395 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 117889057 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275009164800 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28161] ppid=28148 vsize=13982084 memory=3511780 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275008113360 140275532830619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28162] ppid=28148 vsize=13982084 memory=3511776 CPUtime=3.34 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28148 28151 12395 0 -1 1077944384 15779 0 0 0 330 4 0 0 20 0 15 0 117889060 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275007059952 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28163] ppid=28148 vsize=13982084 memory=3509724 CPUtime=3.81 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28148 28151 12395 0 -1 1077944384 17733 0 0 0 377 4 0 0 20 0 15 0 117889060 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275006007408 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28164] ppid=28148 vsize=13982084 memory=3511772 CPUtime=1.08 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28148 28151 12395 0 -1 1077944384 14465 0 0 0 105 3 0 0 20 0 15 0 117889060 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275004954864 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28165] ppid=28148 vsize=13982084 memory=3511772 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275003902560 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28166] ppid=28148 vsize=13982084 memory=3511780 CPUtime=1.47 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28148 28151 12395 0 -1 1077944384 1873 0 0 0 70 77 0 0 20 0 15 0 117889064 14317654016 877943 18446744073709551615 4194304 4196468 140726288970656 140275002850096 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
Current children cumulated CPU time: 2481.07 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3511772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2480.51 s]
/proc/loadavg: 1.73 1.77 1.66 3/214 28387
/proc/meminfo: memFree=23300756/32770624 swapFree=67108860/67108860
[pid=28151] ppid=28148 vsize=13982084 memory=3504056 CPUtime=2520.03 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28148 28151 12395 0 -1 1077944320 361928 0 0 0 251711 292 0 0 20 0 15 0 117889045 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140726288953200 140275532812023 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
/proc/28151/statm: 3495521 876014 3836 1 0 3484295 0
[pid=28151/tid=28153] ppid=28148 vsize=13982084 memory=3504056 CPUtime=2468.45 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) R 28148 28151 12395 0 -1 4202560 132692 0 0 0 246775 70 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275537050384 140275128046472 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28154] ppid=28148 vsize=13982084 memory=3504568 CPUtime=10.12 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28148 28151 12395 0 -1 1077944384 39859 0 0 0 978 34 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275452225808 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28155] ppid=28148 vsize=13982084 memory=3504568 CPUtime=10.11 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28148 28151 12395 0 -1 1077944384 39491 0 0 0 978 33 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275451173264 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28156] ppid=28148 vsize=13982084 memory=3502520 CPUtime=10.1 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28148 28151 12395 0 -1 1077944384 38714 0 0 0 977 33 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275450120720 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28157] ppid=28148 vsize=13982084 memory=3505088 CPUtime=10.12 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28148 28151 12395 0 -1 1077944384 39237 0 0 0 978 34 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275449068176 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28158] ppid=28148 vsize=13982084 memory=3507140 CPUtime=1.31 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28148 28151 12395 0 -1 1077944384 20571 0 0 0 116 15 0 0 20 0 15 0 117889057 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275011271152 140275532823170 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28159] ppid=28148 vsize=13982084 memory=3507140 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28148 28151 12395 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117889057 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275010217440 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28160] ppid=28148 vsize=13982084 memory=164 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28148 28151 12395 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 117889057 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275009164800 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28161] ppid=28148 vsize=13982084 memory=3507140 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275008113360 140275532830619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28162] ppid=28148 vsize=13982084 memory=3504056 CPUtime=3.34 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28148 28151 12395 0 -1 1077944384 15783 0 0 0 330 4 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275007059952 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28163] ppid=28148 vsize=13982084 memory=3504060 CPUtime=3.81 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28148 28151 12395 0 -1 1077944384 17737 0 0 0 377 4 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275006007408 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28164] ppid=28148 vsize=13982084 memory=3509204 CPUtime=1.08 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28148 28151 12395 0 -1 1077944384 14469 0 0 0 105 3 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275004954864 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28165] ppid=28148 vsize=13982084 memory=281242646915024 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275003902560 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28166] ppid=28148 vsize=13982084 memory=6944656592387989600 CPUtime=1.49 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28148 28151 12395 0 -1 1077944384 1909 0 0 0 71 78 0 0 20 0 15 0 117889064 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275002850096 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3504056 KiB

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

[startup+2480.55 s]
# the end of solver process 28151 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.14 s, system=2.93868 s

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

[startup+2480.51 s]
/proc/loadavg: 1.73 1.77 1.66 3/214 28387
/proc/meminfo: memFree=23300756/32770624 swapFree=67108860/67108860
[pid=28151] ppid=28148 vsize=13982084 memory=3504056 CPUtime=2520.03 cores=0,2,4,6
/proc/28151/stat : 28151 (java) S 28148 28151 12395 0 -1 1077944320 361928 0 0 0 251711 292 0 0 20 0 15 0 117889045 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140726288953200 140275532812023 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
/proc/28151/statm: 3495521 876014 3836 1 0 3484295 0
[pid=28151/tid=28153] ppid=28148 vsize=13982084 memory=3504056 CPUtime=2468.45 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (java) R 28148 28151 12395 0 -1 4202560 132692 0 0 0 246775 70 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275537050384 140275128046472 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28154] ppid=28148 vsize=13982084 memory=3504568 CPUtime=10.12 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (java) S 28148 28151 12395 0 -1 1077944384 39859 0 0 0 978 34 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275452225808 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28155] ppid=28148 vsize=13982084 memory=3504568 CPUtime=10.11 cores=0,2,4,6
/proc/28151/task/28155/stat : 28155 (java) S 28148 28151 12395 0 -1 1077944384 39491 0 0 0 978 33 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275451173264 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28156] ppid=28148 vsize=13982084 memory=3502520 CPUtime=10.1 cores=0,2,4,6
/proc/28151/task/28156/stat : 28156 (java) S 28148 28151 12395 0 -1 1077944384 38714 0 0 0 977 33 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275450120720 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28157] ppid=28148 vsize=13982084 memory=3505088 CPUtime=10.12 cores=0,2,4,6
/proc/28151/task/28157/stat : 28157 (java) S 28148 28151 12395 0 -1 1077944384 39237 0 0 0 978 34 0 0 20 0 15 0 117889055 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275449068176 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28158] ppid=28148 vsize=13982084 memory=3507140 CPUtime=1.31 cores=0,2,4,6
/proc/28151/task/28158/stat : 28158 (java) S 28148 28151 12395 0 -1 1077944384 20571 0 0 0 116 15 0 0 20 0 15 0 117889057 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275011271152 140275532823170 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28159] ppid=28148 vsize=13982084 memory=3507140 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28159/stat : 28159 (java) S 28148 28151 12395 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117889057 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275010217440 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28160] ppid=28148 vsize=13982084 memory=164 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28160/stat : 28160 (java) S 28148 28151 12395 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 117889057 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275009164800 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28161] ppid=28148 vsize=13982084 memory=3507140 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28161/stat : 28161 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275008113360 140275532830619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28162] ppid=28148 vsize=13982084 memory=3504056 CPUtime=3.34 cores=0,2,4,6
/proc/28151/task/28162/stat : 28162 (java) S 28148 28151 12395 0 -1 1077944384 15783 0 0 0 330 4 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275007059952 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28163] ppid=28148 vsize=13982084 memory=3504060 CPUtime=3.81 cores=0,2,4,6
/proc/28151/task/28163/stat : 28163 (java) S 28148 28151 12395 0 -1 1077944384 17737 0 0 0 377 4 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275006007408 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28164] ppid=28148 vsize=13982084 memory=3509204 CPUtime=1.08 cores=0,2,4,6
/proc/28151/task/28164/stat : 28164 (java) S 28148 28151 12395 0 -1 1077944384 14469 0 0 0 105 3 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275004954864 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28165] ppid=28148 vsize=13982084 memory=281242646915024 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28165/stat : 28165 (java) S 28148 28151 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117889060 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275003902560 140275532822229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
[pid=28151/tid=28166] ppid=28148 vsize=13982084 memory=6944656592387989600 CPUtime=1.49 cores=0,2,4,6
/proc/28151/task/28166/stat : 28166 (java) S 28148 28151 12395 0 -1 1077944384 1909 0 0 0 71 78 0 0 20 0 15 0 117889064 14317654016 876014 18446744073709551615 4194304 4196468 140726288970656 140275002850096 140275532823170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32407552 140726288974194 140726288974377 140726288974377 140726288977871 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3504056 KiB

Child status: 143
Real time (s): 2480.55
CPU time (s): 2520.07
CPU user time (s): 2517.14
CPU system time (s): 2.93868
CPU usage (%): 101.593
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4161556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.14
system time used= 2.93868
maximum resident set size= 4161560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79859
involuntary context switches= 3847


# summary of solver processes directly reported to runsolver:
#   pid: 28151
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2517.14
#   total CPU system time (s): 2.93868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2529 second user time and 22.6288 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-15 03:02:24
IDJOB=4274514
IDBENCH=120600
IDSOLVER=2667
FILE ID=node135/4274514-1502759776
RUNJOBID= node135-1502658244-13744
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-25d.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274514-1502759776/watcher-4274514-1502759776 -o /tmp/evaluation-result-4274514-1502759776/solver-4274514-1502759776 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1950155022 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274514-1502759776.xml

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

MD5SUM BENCH= 1f90dacd0a92fbbf60104d292dc9abb3
RANDOM SEED=1950155022

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30406376 kB
MemAvailable:   31440036 kB
Buffers:          322468 kB
Cached:          1006084 kB
SwapCached:            0 kB
Active:          1332376 kB
Inactive:         580180 kB
Active(anon):     584124 kB
Inactive(anon):    41336 kB
Active(file):     748252 kB
Inactive(file):   538844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42688 kB
Writeback:             0 kB
AnonPages:        583664 kB
Mapped:            74196 kB
Shmem:             41688 kB
Slab:             153128 kB
SReclaimable:     124796 kB
SUnreclaim:        28332 kB
KernelStack:        3616 kB
PageTables:         7208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1531460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    468992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61944 MiB
End job on node135 at 2017-08-15 03:43:44