Trace number 4262024

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
Concrete 3.4SAT (TO)224 2520.0601 2453.73

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-domset/
Pb-domset-v500-e2000-w30-mw19-11.xml
MD5SUM4a86fdd9abdf3f491c5a6082e8161c48
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark202
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables473
Number of constraints473
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":473}]
Minimum variable degree5
Maximum variable degree18
Distribution of variable degrees[{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}]
Minimum constraint arity4
Maximum constraint arity17
Distribution of constraint arities[{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":473}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

3.28/2.23	c Concrete v3.4 running
9.99/4.61	o 473
10.31/4.70	o 472
10.31/4.75	o 471
10.31/4.79	o 470
10.59/4.84	o 469
10.59/4.87	o 468
10.89/4.93	o 467
10.89/4.97	o 466
11.18/5.01	o 465
11.18/5.04	o 464
11.18/5.08	o 463
11.43/5.11	o 462
11.43/5.14	o 461
11.43/5.16	o 460
11.43/5.19	o 459
11.74/5.22	o 458
11.74/5.25	o 457
11.74/5.28	o 456
12.04/5.31	o 455
12.04/5.34	o 454
12.04/5.36	o 453
12.04/5.39	o 452
12.34/5.41	o 451
12.34/5.43	o 450
12.34/5.46	o 449
12.34/5.48	o 448
12.34/5.50	o 447
12.58/5.52	o 446
12.58/5.54	o 445
12.58/5.56	o 444
12.58/5.58	o 443
12.58/5.60	o 442
12.78/5.62	o 441
12.78/5.63	o 440
12.78/5.65	o 439
12.78/5.67	o 438
12.78/5.69	o 437
12.90/5.71	o 436
12.90/5.73	o 435
12.90/5.75	o 434
12.90/5.77	o 433
12.90/5.79	o 432
13.02/5.81	o 431
13.02/5.83	o 430
13.02/5.85	o 429
13.02/5.87	o 428
13.02/5.89	o 427
13.15/5.90	o 426
13.15/5.92	o 425
13.15/5.94	o 424
13.15/5.96	o 423
13.15/5.98	o 422
13.30/6.00	o 421
13.30/6.02	o 420
13.30/6.04	o 419
13.30/6.06	o 418
13.30/6.07	o 417
13.30/6.09	o 416
13.44/6.11	o 415
13.44/6.13	o 414
13.44/6.15	o 413
13.44/6.17	o 412
13.44/6.19	o 411
13.58/6.21	o 410
13.58/6.23	o 409
13.58/6.25	o 408
13.58/6.27	o 407
13.58/6.29	o 406
13.73/6.31	o 405
13.73/6.32	o 404
13.73/6.34	o 403
13.73/6.36	o 402
13.73/6.38	o 401
13.91/6.40	o 400
13.91/6.42	o 399
13.91/6.44	o 398
13.91/6.46	o 397
13.91/6.47	o 396
13.91/6.49	o 395
14.03/6.51	o 394
14.03/6.53	o 393
14.03/6.55	o 392
14.03/6.57	o 391
14.03/6.59	o 390
14.17/6.61	o 389
14.17/6.63	o 388
14.17/6.65	o 387
14.17/6.67	o 386
14.17/6.69	o 385
14.32/6.70	o 384
14.32/6.72	o 383
14.32/6.74	o 382
14.32/6.76	o 381
14.32/6.78	o 380
14.32/6.80	o 379
14.46/6.81	o 378
14.46/6.83	o 377
14.46/6.85	o 376
14.46/6.87	o 375
14.46/6.89	o 374
14.60/6.91	o 373
14.60/6.93	o 372
14.60/6.94	o 371
14.60/6.96	o 370
14.60/6.98	o 369
14.76/7.00	o 368
14.76/7.02	o 367
14.76/7.04	o 366
14.76/7.05	o 365
14.76/7.08	o 364
14.76/7.09	o 363
14.99/7.11	o 362
14.99/7.13	o 361
14.99/7.15	o 360
14.99/7.17	o 359
14.99/7.19	o 358
15.14/7.21	o 357
15.14/7.23	o 356
15.14/7.25	o 355
15.14/7.27	o 354
15.14/7.29	o 353
15.34/7.30	o 352
15.34/7.32	o 351
15.34/7.34	o 350
15.34/7.36	o 349
15.34/7.37	o 348
15.34/7.39	o 347
15.49/7.41	o 346
15.49/7.42	o 345
15.49/7.44	o 344
15.49/7.46	o 343
15.49/7.48	o 342
15.49/7.49	o 341
15.62/7.51	o 340
15.62/7.53	o 339
15.62/7.54	o 338
15.62/7.56	o 337
15.62/7.58	o 336
15.62/7.59	o 335
15.75/7.61	o 334
15.75/7.63	o 333
15.75/7.64	o 332
15.75/7.67	o 331
15.75/7.70	o 330
15.92/7.72	o 329
15.92/7.74	o 328
15.92/7.76	o 327
15.92/7.78	o 326
15.92/7.80	o 325
16.08/7.82	o 324
16.08/7.84	o 323
16.08/7.85	o 322
16.08/7.87	o 321
16.08/7.89	o 320
16.21/7.91	o 319
16.21/7.92	o 318
16.21/7.94	o 317
16.21/7.96	o 316
16.21/7.98	o 315
16.21/7.99	o 314
16.35/8.01	o 313
16.35/8.03	o 312
16.35/8.05	o 311
16.35/8.06	o 310
16.35/8.08	o 309
16.35/8.10	o 308
16.55/8.11	o 307
16.55/8.13	o 306
16.55/8.15	o 305
16.55/8.16	o 304
16.55/8.18	o 303
16.55/8.20	o 302
16.70/8.21	o 301
16.70/8.23	o 300
16.70/8.24	o 299
16.70/8.26	o 298
16.70/8.28	o 297
16.90/8.30	o 296
16.90/8.31	o 295
16.90/8.33	o 294
16.90/8.35	o 293
16.90/8.36	o 292
16.90/8.38	o 291
16.90/8.39	o 290
17.05/8.41	o 289
17.05/8.43	o 288
17.05/8.45	o 287
17.05/8.46	o 286
17.05/8.48	o 285
17.05/8.50	o 284
17.23/8.52	o 283
17.23/8.54	o 282
17.23/8.57	o 281
17.23/8.59	o 280
17.41/8.61	o 279
17.41/8.62	o 278
17.41/8.64	o 277
17.41/8.66	o 276
17.41/8.67	o 275
17.41/8.69	o 274
17.57/8.70	o 273
17.57/8.72	o 272
17.57/8.74	o 271
17.57/8.75	o 270
17.57/8.77	o 269
17.57/8.78	o 268
17.76/8.80	o 267
17.76/8.82	o 266
17.76/8.83	o 265
17.76/8.85	o 264
17.76/8.87	o 263
17.76/8.88	o 262
17.76/8.90	o 261
17.97/8.91	o 260
17.97/8.93	o 259
17.97/8.97	o 258
17.97/9.00	o 257
18.14/9.01	o 256
18.14/9.04	o 255
18.14/9.05	o 254
18.14/9.07	o 253
18.30/9.11	o 252
18.48/9.20	o 251
18.48/9.22	o 250
18.48/9.23	o 249
18.48/9.25	o 248
18.48/9.27	o 247
18.48/9.29	o 246
18.66/9.33	o 245
18.66/9.36	o 244
18.66/9.37	o 243
18.82/9.43	o 242
18.96/9.51	o 241
19.26/9.80	o 240
19.46/9.81	o 239
19.62/9.97	o 238
20.10/10.27	o 237
21.20/11.09	o 236
21.20/11.10	o 235
25.22/14.40	o 234
26.00/14.92	o 233
35.46/22.66	o 232
35.46/22.69	o 231
35.73/22.85	o 230
49.86/34.65	o 229
53.88/37.89	o 228
54.00/37.90	o 227
97.29/74.10	o 226
98.79/75.34	o 225
143.82/115.36	o 224
2520.01/2453.70	java.util.concurrent.TimeoutException
2520.01/2453.70		at concrete.MAC.mac(MAC.scala:74)
2520.01/2453.70		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.01/2453.70		at scala.util.Try$.apply(Try.scala:209)
2520.01/2453.70		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2453.70		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2453.70		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2453.70		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2453.70		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.01/2453.70		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2453.70		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2453.70		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2453.70		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2453.70		at concrete.MAC.oneRun(MAC.scala:146)
2520.01/2453.70		at concrete.MAC.nextSolution(MAC.scala:166)
2520.01/2453.70		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.01/2453.70		at concrete.ProblemState.map(ProblemState.scala:203)
2520.01/2453.70		at concrete.ProblemState.map(ProblemState.scala:188)
2520.01/2453.70		at concrete.MAC.nextSolution(MAC.scala:195)
2520.01/2453.70		at concrete.Solver.hasNext(Solver.scala:202)
2520.01/2453.70		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.01/2453.70		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.01/2453.70		at concrete.Solver.toStream(Solver.scala:73)
2520.01/2453.70		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.01/2453.70		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.01/2453.70		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.01/2453.70		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.01/2453.70		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.01/2453.70		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2453.70		at scala.util.Success.map(Try.scala:209)
2520.01/2453.70		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.01/2453.70		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.01/2453.70		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.01/2453.70		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.01/2453.70		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.01/2453.70		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2453.70		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2453.70		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2453.70		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2453.70		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2453.70		at scala.App.main(App.scala:76)
2520.01/2453.70		at scala.App.main$(App.scala:74)
2520.01/2453.70		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.01/2453.70		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2453.71	v <instantiation cost="224">
2520.01/2453.71	v       <list>
2520.01/2453.71	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] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472]
2520.01/2453.71	v       </list>
2520.01/2453.71	v       <values>
2520.01/2453.71	v         1 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0
2520.01/2453.71	v       </values>
2520.01/2453.71	v     </instantiation>
2520.01/2453.71	s SATISFIABLE

Verifier Data 

OK	224

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-4262024-1502464673/watcher-4262024-1502464673 -o /tmp/evaluation-result-4262024-1502464673/solver-4262024-1502464673 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4262024-1502464673.xml 

pid=14650
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.56 1.61 1.58 3/195 14653
/proc/meminfo: memFree=29426792/32770624 swapFree=0/509144
[pid=14653] ppid=14650 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14653/stat : 14653 (runsolver) D 14650 14653 1330 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 48688073 24240128 108 18446744073709551615 4194304 4338465 140725419564768 140725419562408 140119187251927 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 12726272 140725419573457 140725419573833 140725419573833 140725419577290 0
/proc/14653/statm: 5918 108 54 36 0 2156 0

[startup+0.10026 s]
/proc/loadavg: 1.56 1.61 1.58 3/195 14653
/proc/meminfo: memFree=29426792/32770624 swapFree=0/509144
[pid=14653] ppid=14650 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/14653/stat : 14653 (bash) S 14650 14653 1330 0 -1 4202496 890 6485 0 0 0 0 0 1 20 0 1 0 48688073 9867264 376 18446744073709551615 4194304 5098028 140728833068448 140728833062456 140626118249472 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 7 0 0 7196144 7232144 34091008 140728833069588 140728833069673 140728833069673 140728833073130 0
/proc/14653/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200269 s]
/proc/loadavg: 1.56 1.61 1.58 3/195 14653
/proc/meminfo: memFree=29426792/32770624 swapFree=0/509144
[pid=14653] ppid=14650 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/14653/stat : 14653 (bash) S 14650 14653 1330 0 -1 4202496 890 6485 0 0 0 0 0 1 20 0 1 0 48688073 9867264 376 18446744073709551615 4194304 5098028 140728833068448 140728833062456 140626118249472 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 7 0 0 7196144 7232144 34091008 140728833069588 140728833069673 140728833069673 140728833073130 0
/proc/14653/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300287 s]
/proc/loadavg: 1.56 1.61 1.58 3/195 14653
/proc/meminfo: memFree=29426792/32770624 swapFree=0/509144
[pid=14653] ppid=14650 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 5977 12622 0 0 5 1 4 3 20 0 14 0 48688073 14241083392 5670 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3476827 5670 2571 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700345 s]
/proc/loadavg: 1.56 1.61 1.58 3/195 14653
/proc/meminfo: memFree=29426792/32770624 swapFree=0/509144
[pid=14653] ppid=14650 vsize=13974784 CPUtime=0.62 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 13975 12622 0 0 51 4 4 3 20 0 15 0 48688073 14310178816 14427 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3493696 14427 3082 1 0 3482965 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784

[startup+1.50065 s]
/proc/loadavg: 1.56 1.61 1.58 3/210 14716
/proc/meminfo: memFree=29333788/32770624 swapFree=0/509260
[pid=14653] ppid=14650 vsize=13985408 CPUtime=1.81 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 29956 12622 0 0 167 7 4 3 20 0 15 0 48688073 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3496352 33981 3343 1 0 3485525 0
[pid=14653/tid=14703] ppid=14650 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/14653/task/14703/stat : 14703 (java) R 14650 14653 1330 0 -1 4202560 24708 12622 0 0 115 6 4 3 20 0 15 0 48688097 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672555258624 139672551046550 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14704] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14704/stat : 14704 (java) S 14650 14653 1330 0 -1 1077944384 1 12622 0 0 0 0 4 3 20 0 15 0 48688098 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672485468688 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14705] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14705/stat : 14705 (java) S 14650 14653 1330 0 -1 1077944384 1 12622 0 0 0 0 4 3 20 0 15 0 48688098 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672484416144 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14706] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14706/stat : 14706 (java) S 14650 14653 1330 0 -1 1077944384 1 12622 0 0 0 0 4 3 20 0 15 0 48688098 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672483363088 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14707] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14707/stat : 14707 (java) S 14650 14653 1330 0 -1 1077944384 2 12622 0 0 0 0 4 3 20 0 15 0 48688098 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672482310544 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14708] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14708/stat : 14708 (java) S 14650 14653 1330 0 -1 1077944384 5 12622 0 0 0 0 4 3 20 0 15 0 48688099 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672028822256 139672551045762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14709] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14709/stat : 14709 (java) S 14650 14653 1330 0 -1 1077944384 33 12622 0 0 0 0 4 3 20 0 15 0 48688099 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672027768480 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14710] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14710/stat : 14710 (java) S 14650 14653 1330 0 -1 1077944384 21 12622 0 0 0 0 4 3 20 0 15 0 48688100 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672026715376 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14711] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14711/stat : 14711 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688102 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672025663952 139672551053211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14712] ppid=14650 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/14653/task/14712/stat : 14712 (java) S 14650 14653 1330 0 -1 1077944384 1104 12622 0 0 16 0 4 3 20 0 15 0 48688102 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672024611056 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14713] ppid=14650 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/14653/task/14713/stat : 14713 (java) S 14650 14653 1330 0 -1 1077944384 588 12622 0 0 12 0 4 3 20 0 15 0 48688102 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672023558512 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14714] ppid=14650 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/14653/task/14714/stat : 14714 (java) R 14650 14653 1330 0 -1 4202560 1328 12622 0 0 22 0 4 3 20 0 15 0 48688102 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672022505456 139672532598116 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14715] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14715/stat : 14715 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688103 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672021453152 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14716] ppid=14650 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14716/stat : 14716 (java) S 14650 14653 1330 0 -1 1077944384 10 12622 0 0 0 0 4 3 20 0 15 0 48688107 14321057792 33981 18446744073709551615 4194304 4196468 140730360364528 139672020401200 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408

[startup+3.10823 s]
/proc/loadavg: 1.60 1.61 1.58 4/210 14716
/proc/meminfo: memFree=29259644/32770624 swapFree=0/509260
[pid=14653] ppid=14650 vsize=13997884 CPUtime=5.59 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 42025 12622 0 0 539 13 4 3 20 0 15 0 48688073 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3499471 55046 3451 1 0 3488085 0
[pid=14653/tid=14703] ppid=14650 vsize=13997884 CPUtime=2.84 cores=1,3,5,7
/proc/14653/task/14703/stat : 14703 (java) R 14650 14653 1330 0 -1 4202560 30471 12622 0 0 269 8 4 3 20 0 15 0 48688097 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672555265712 139672551046550 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14704] ppid=14650 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/14653/task/14704/stat : 14704 (java) S 14650 14653 1330 0 -1 1077944384 49 12622 0 0 1 0 4 3 20 0 15 0 48688098 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672485468688 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14705] ppid=14650 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/14653/task/14705/stat : 14705 (java) S 14650 14653 1330 0 -1 1077944384 54 12622 0 0 1 0 4 3 20 0 15 0 48688098 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672484416144 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14706] ppid=14650 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/14653/task/14706/stat : 14706 (java) S 14650 14653 1330 0 -1 1077944384 52 12622 0 0 1 0 4 3 20 0 15 0 48688098 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672483363088 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14707] ppid=14650 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/14653/task/14707/stat : 14707 (java) S 14650 14653 1330 0 -1 1077944384 208 12622 0 0 1 0 4 3 20 0 15 0 48688098 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672482310544 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14708] ppid=14650 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/14653/task/14708/stat : 14708 (java) S 14650 14653 1330 0 -1 1077944384 1859 12622 0 0 1 0 4 3 20 0 15 0 48688099 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672028822256 139672551045762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14709] ppid=14650 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14709/stat : 14709 (java) S 14650 14653 1330 0 -1 1077944384 56 12622 0 0 0 0 4 3 20 0 15 0 48688099 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672027768544 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14710] ppid=14650 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14710/stat : 14710 (java) S 14650 14653 1330 0 -1 1077944384 43 12622 0 0 0 0 4 3 20 0 15 0 48688100 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672026715392 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14711] ppid=14650 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14711/stat : 14711 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688102 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672025663952 139672551053211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14712] ppid=14650 vsize=13997884 CPUtime=0.93 cores=1,3,5,7
/proc/14653/task/14712/stat : 14712 (java) S 14650 14653 1330 0 -1 1077944384 2022 12622 0 0 85 1 4 3 20 0 15 0 48688102 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672024611056 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14713] ppid=14650 vsize=13997884 CPUtime=0.78 cores=1,3,5,7
/proc/14653/task/14713/stat : 14713 (java) S 14650 14653 1330 0 -1 1077944384 1462 12622 0 0 71 0 4 3 20 0 15 0 48688102 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672023558512 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14714] ppid=14650 vsize=13997884 CPUtime=1.14 cores=1,3,5,7
/proc/14653/task/14714/stat : 14714 (java) S 14650 14653 1330 0 -1 1077944384 3578 12622 0 0 106 1 4 3 20 0 15 0 48688102 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672022505456 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14715] ppid=14650 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14715/stat : 14715 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688103 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672021453152 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14716] ppid=14650 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14716/stat : 14716 (java) S 14650 14653 1330 0 -1 1077944384 15 12622 0 0 0 0 4 3 20 0 15 0 48688107 14333833216 55046 18446744073709551615 4194304 4196468 140730360364528 139672020401200 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 13997884

[startup+6.30184 s]
/proc/loadavg: 1.60 1.61 1.58 3/210 14716
/proc/meminfo: memFree=29068300/32770624 swapFree=0/509264
[pid=14653] ppid=14650 vsize=14067516 CPUtime=13.73 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 63436 12622 0 0 1345 21 4 3 20 0 15 0 48688073 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3516879 94508 3481 1 0 3505493 0
[pid=14653/tid=14703] ppid=14650 vsize=14067516 CPUtime=5.72 cores=1,3,5,7
/proc/14653/task/14703/stat : 14703 (java) R 14650 14653 1330 0 -1 4202560 46267 12622 0 0 553 12 4 3 20 0 15 0 48688097 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672555268192 139672168485458 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14704] ppid=14650 vsize=14067516 CPUtime=0.23 cores=1,3,5,7
/proc/14653/task/14704/stat : 14704 (java) S 14650 14653 1330 0 -1 1077944384 826 12622 0 0 16 0 4 3 20 0 15 0 48688098 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672485468688 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14705] ppid=14650 vsize=14067516 CPUtime=0.25 cores=1,3,5,7
/proc/14653/task/14705/stat : 14705 (java) S 14650 14653 1330 0 -1 1077944384 113 12622 0 0 18 0 4 3 20 0 15 0 48688098 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672484416144 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14706] ppid=14650 vsize=14067516 CPUtime=0.25 cores=1,3,5,7
/proc/14653/task/14706/stat : 14706 (java) S 14650 14653 1330 0 -1 1077944384 143 12622 0 0 18 0 4 3 20 0 15 0 48688098 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672483363088 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14707] ppid=14650 vsize=14067516 CPUtime=0.26 cores=1,3,5,7
/proc/14653/task/14707/stat : 14707 (java) S 14650 14653 1330 0 -1 1077944384 265 12622 0 0 19 0 4 3 20 0 15 0 48688098 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672482310544 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14708] ppid=14650 vsize=14067516 CPUtime=0.19 cores=1,3,5,7
/proc/14653/task/14708/stat : 14708 (java) S 14650 14653 1330 0 -1 1077944384 2130 12622 0 0 12 0 4 3 20 0 15 0 48688099 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672028822256 139672551045762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14709] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14709/stat : 14709 (java) S 14650 14653 1330 0 -1 1077944384 56 12622 0 0 0 0 4 3 20 0 15 0 48688099 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672027768608 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14710] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14710/stat : 14710 (java) S 14650 14653 1330 0 -1 1077944384 43 12622 0 0 0 0 4 3 20 0 15 0 48688100 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672026715392 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14711] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14711/stat : 14711 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688102 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672025663952 139672551053211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14712] ppid=14650 vsize=14067516 CPUtime=3.01 cores=1,3,5,7
/proc/14653/task/14712/stat : 14712 (java) R 14650 14653 1330 0 -1 4202560 4604 12622 0 0 293 1 4 3 20 0 15 0 48688102 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672024611056 139672528895953 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14713] ppid=14650 vsize=14067516 CPUtime=2.53 cores=1,3,5,7
/proc/14653/task/14713/stat : 14713 (java) R 14650 14653 1330 0 -1 4202560 2019 12622 0 0 246 0 4 3 20 0 15 0 48688102 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672023545056 139672532579228 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14714] ppid=14650 vsize=14067516 CPUtime=1.75 cores=1,3,5,7
/proc/14653/task/14714/stat : 14714 (java) S 14650 14653 1330 0 -1 1077944384 4798 12622 0 0 166 2 4 3 20 0 15 0 48688102 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672022505456 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14715] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14715/stat : 14715 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688103 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672021453152 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14716] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14716/stat : 14716 (java) S 14650 14653 1330 0 -1 1077944384 16 12622 0 0 0 0 4 3 20 0 15 0 48688107 14405136384 94508 18446744073709551615 4194304 4196468 140730360364528 139672020401200 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
Current children cumulated CPU time (s) 13.73
Current children cumulated vsize (KiB) 14067516

[startup+12.7006 s]
/proc/loadavg: 1.58 1.61 1.58 3/210 14716
/proc/meminfo: memFree=28806512/32770624 swapFree=0/509264
[pid=14653] ppid=14650 vsize=14067516 CPUtime=23.31 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 76243 12622 0 0 2292 32 4 3 20 0 15 0 48688073 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3516879 168153 3483 1 0 3505493 0
[pid=14653/tid=14703] ppid=14650 vsize=14067516 CPUtime=12.08 cores=1,3,5,7
/proc/14653/task/14703/stat : 14703 (java) R 14650 14653 1330 0 -1 4202560 48946 12622 0 0 1184 17 4 3 20 0 15 0 48688097 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 139672555267952 139672153036595 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14704] ppid=14650 vsize=14067516 CPUtime=0.27 cores=1,3,5,7
/proc/14653/task/14704/stat : 14704 (java) S 14650 14653 1330 0 -1 1077944384 1145 12622 0 0 18 2 4 3 20 0 15 0 48688098 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 139672485468688 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14705] ppid=14650 vsize=14067516 CPUtime=0.28 cores=1,3,5,7
/proc/14653/task/14705/stat : 14705 (java) S 14650 14653 1330 0 -1 1077944384 171 12622 0 0 20 1 4 3 20 0 15 0 48688098 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 139672484416144 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14706] ppid=14650 vsize=14067516 CPUtime=0.28 cores=1,3,5,7
/proc/14653/task/14706/stat : 14706 (java) S 14650 14653 1330 0 -1 1077944384 233 12622 0 0 20 1 4 3 20 0 15 0 48688098 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 139672483363088 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14707] ppid=14650 vsize=14067516 CPUtime=0.29 cores=1,3,5,7
/proc/14653/task/14707/stat : 14707 (java) S 14650 14653 1330 0 -1 1077944384 304 12622 0 0 21 1 4 3 20 0 15 0 48688098 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 139672482310544 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14708] ppid=14650 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/14653/task/14708/stat : 14708 (java) S 14650 14653 1330 0 -1 1077944384 2532 12622 0 0 13 0 4 3 20 0 15 0 48688099 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 139672028822256 139672551045762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14709] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14709/stat : 14709 (java) S 14650 14653 1330 0 -1 1077944384 60 12622 0 0 0 0 4 3 20 0 15 0 48688099 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 139672027768608 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14710] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14710/stat : 14710 (java) S 14650 14653 1330 0 -1 1077944384 43 12622 0 0 0 0 4 3 20 0 15 0 48688100 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 139672026715392 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14711] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14711/stat : 14711 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688102 14405136384 168153 18446744073709551615 4194304 4196468 140730360364528 139672025663952 139672551053211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0

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

/proc/14653/task/14715/stat : 14715 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688103 14405136384 200318 18446744073709551615 4194304 4196468 140730360364528 139672021453152 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14716] ppid=14650 vsize=14067516 CPUtime=1.48 cores=1,3,5,7
/proc/14653/task/14716/stat : 14716 (java) S 14650 14653 1330 0 -1 1077944384 792 12622 0 0 66 75 4 3 20 0 15 0 48688107 14405136384 200318 18446744073709551615 4194304 4196468 140730360364528 139672020401200 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
Current children cumulated CPU time (s) 2325.4
Current children cumulated vsize (KiB) 14067516

[startup+2322.31 s]
/proc/loadavg: 1.15 1.28 1.37 3/210 15102
/proc/meminfo: memFree=29416300/32770624 swapFree=0/509700
[pid=14653] ppid=14650 vsize=14067516 CPUtime=2386.37 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 233418 12622 0 0 238246 384 4 3 20 0 15 0 48688073 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3516879 200327 3489 1 0 3505493 0
[pid=14653/tid=14703] ppid=14650 vsize=14067516 CPUtime=2296.25 cores=1,3,5,7
/proc/14653/task/14703/stat : 14703 (java) R 14650 14653 1330 0 -1 4202560 100431 12622 0 0 229561 57 4 3 20 0 15 0 48688097 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672555268064 139672161762503 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14704] ppid=14650 vsize=14067516 CPUtime=12.74 cores=1,3,5,7
/proc/14653/task/14704/stat : 14704 (java) S 14650 14653 1330 0 -1 1077944384 19729 12622 0 0 1205 62 4 3 20 0 15 0 48688098 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672485468688 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14705] ppid=14650 vsize=14067516 CPUtime=12.76 cores=1,3,5,7
/proc/14653/task/14705/stat : 14705 (java) S 14650 14653 1330 0 -1 1077944384 19042 12622 0 0 1206 63 4 3 20 0 15 0 48688098 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672484416144 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14706] ppid=14650 vsize=14067516 CPUtime=12.77 cores=1,3,5,7
/proc/14653/task/14706/stat : 14706 (java) S 14650 14653 1330 0 -1 1077944384 15604 12622 0 0 1210 60 4 3 20 0 15 0 48688098 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672483363088 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14707] ppid=14650 vsize=14067516 CPUtime=12.74 cores=1,3,5,7
/proc/14653/task/14707/stat : 14707 (java) S 14650 14653 1330 0 -1 1077944384 12571 12622 0 0 1207 60 4 3 20 0 15 0 48688098 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672482310544 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14708] ppid=14650 vsize=14067516 CPUtime=10.73 cores=1,3,5,7
/proc/14653/task/14708/stat : 14708 (java) S 14650 14653 1330 0 -1 1077944384 18269 12622 0 0 1007 59 4 3 20 0 15 0 48688099 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672028822256 139672551045762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14709] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14709/stat : 14709 (java) S 14650 14653 1330 0 -1 1077944384 69 12622 0 0 0 0 4 3 20 0 15 0 48688099 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672027768608 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14710] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14710/stat : 14710 (java) S 14650 14653 1330 0 -1 1077944384 43 12622 0 0 0 0 4 3 20 0 15 0 48688100 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672026715392 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14711] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14711/stat : 14711 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688102 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672025663952 139672551053211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14712] ppid=14650 vsize=14067516 CPUtime=12.03 cores=1,3,5,7
/proc/14653/task/14712/stat : 14712 (java) S 14650 14653 1330 0 -1 1077944384 13866 12622 0 0 1189 7 4 3 20 0 15 0 48688102 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672024611056 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14713] ppid=14650 vsize=14067516 CPUtime=11.62 cores=1,3,5,7
/proc/14653/task/14713/stat : 14713 (java) S 14650 14653 1330 0 -1 1077944384 13721 12622 0 0 1151 4 4 3 20 0 15 0 48688102 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672023558512 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14714] ppid=14650 vsize=14067516 CPUtime=3.76 cores=1,3,5,7
/proc/14653/task/14714/stat : 14714 (java) S 14650 14653 1330 0 -1 1077944384 17117 12622 0 0 363 6 4 3 20 0 15 0 48688102 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672022505456 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14715] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14715/stat : 14715 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688103 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672021453152 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14716] ppid=14650 vsize=14067516 CPUtime=1.53 cores=1,3,5,7
/proc/14653/task/14716/stat : 14716 (java) S 14650 14653 1330 0 -1 1077944384 800 12622 0 0 69 77 4 3 20 0 15 0 48688107 14405136384 200327 18446744073709551615 4194304 4196468 140730360364528 139672020401200 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
Current children cumulated CPU time (s) 2386.37
Current children cumulated vsize (KiB) 14067516

[startup+2382.3 s]
/proc/loadavg: 1.21 1.29 1.37 3/209 15104
/proc/meminfo: memFree=29414656/32770624 swapFree=0/509692
[pid=14653] ppid=14650 vsize=14067516 CPUtime=2447.42 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 234418 12622 0 0 244342 393 4 3 20 0 15 0 48688073 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3516879 200336 3489 1 0 3505493 0
[pid=14653/tid=14703] ppid=14650 vsize=14067516 CPUtime=2355.55 cores=1,3,5,7
/proc/14653/task/14703/stat : 14703 (java) R 14650 14653 1330 0 -1 4202560 101071 12622 0 0 235490 58 4 3 20 0 15 0 48688097 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672555268624 139672168611856 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14704] ppid=14650 vsize=14067516 CPUtime=13.09 cores=1,3,5,7
/proc/14653/task/14704/stat : 14704 (java) S 14650 14653 1330 0 -1 1077944384 19775 12622 0 0 1238 64 4 3 20 0 15 0 48688098 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672485468688 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14705] ppid=14650 vsize=14067516 CPUtime=13.11 cores=1,3,5,7
/proc/14653/task/14705/stat : 14705 (java) S 14650 14653 1330 0 -1 1077944384 19259 12622 0 0 1240 64 4 3 20 0 15 0 48688098 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672484416144 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14706] ppid=14650 vsize=14067516 CPUtime=13.12 cores=1,3,5,7
/proc/14653/task/14706/stat : 14706 (java) S 14650 14653 1330 0 -1 1077944384 15628 12622 0 0 1244 61 4 3 20 0 15 0 48688098 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672483363088 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14707] ppid=14650 vsize=14067516 CPUtime=13.09 cores=1,3,5,7
/proc/14653/task/14707/stat : 14707 (java) S 14650 14653 1330 0 -1 1077944384 12605 12622 0 0 1241 61 4 3 20 0 15 0 48688098 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672482310544 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14708] ppid=14650 vsize=14067516 CPUtime=11.01 cores=1,3,5,7
/proc/14653/task/14708/stat : 14708 (java) S 14650 14653 1330 0 -1 1077944384 18298 12622 0 0 1034 60 4 3 20 0 15 0 48688099 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672028822256 139672551045762 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14709] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14709/stat : 14709 (java) S 14650 14653 1330 0 -1 1077944384 69 12622 0 0 0 0 4 3 20 0 15 0 48688099 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672027768608 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14710] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14710/stat : 14710 (java) S 14650 14653 1330 0 -1 1077944384 43 12622 0 0 0 0 4 3 20 0 15 0 48688100 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672026715392 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14711] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14711/stat : 14711 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688102 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672025663952 139672551053211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14712] ppid=14650 vsize=14067516 CPUtime=12.03 cores=1,3,5,7
/proc/14653/task/14712/stat : 14712 (java) S 14650 14653 1330 0 -1 1077944384 13868 12622 0 0 1189 7 4 3 20 0 15 0 48688102 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672024611056 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14713] ppid=14650 vsize=14067516 CPUtime=11.62 cores=1,3,5,7
/proc/14653/task/14713/stat : 14713 (java) S 14650 14653 1330 0 -1 1077944384 13723 12622 0 0 1151 4 4 3 20 0 15 0 48688102 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672023558512 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14714] ppid=14650 vsize=14067516 CPUtime=3.76 cores=1,3,5,7
/proc/14653/task/14714/stat : 14714 (java) S 14650 14653 1330 0 -1 1077944384 17119 12622 0 0 363 6 4 3 20 0 15 0 48688102 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672022505456 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14715] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14715/stat : 14715 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688103 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672021453152 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14716] ppid=14650 vsize=14067516 CPUtime=1.56 cores=1,3,5,7
/proc/14653/task/14716/stat : 14716 (java) S 14650 14653 1330 0 -1 1077944384 804 12622 0 0 71 78 4 3 20 0 15 0 48688107 14405136384 200336 18446744073709551615 4194304 4196468 140730360364528 139672020401200 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
Current children cumulated CPU time (s) 2447.42
Current children cumulated vsize (KiB) 14067516

[startup+2442.3 s]
/proc/loadavg: 1.47 1.35 1.39 3/210 15107
/proc/meminfo: memFree=29414812/32770624 swapFree=0/509720
[pid=14653] ppid=14650 vsize=14067516 CPUtime=2508.41 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 235964 12622 0 0 250434 400 4 3 20 0 15 0 48688073 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3516879 200357 3489 1 0 3505493 0
[pid=14653/tid=14703] ppid=14650 vsize=14067516 CPUtime=2414.85 cores=1,3,5,7
/proc/14653/task/14703/stat : 14703 (java) R 14650 14653 1330 0 -1 4202560 101851 12622 0 0 241419 59 4 3 20 0 15 0 48688097 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672555268288 139672168611015 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14704] ppid=14650 vsize=14067516 CPUtime=13.44 cores=1,3,5,7
/proc/14653/task/14704/stat : 14704 (java) S 14650 14653 1330 0 -1 1077944384 20053 12622 0 0 1272 65 4 3 20 0 15 0 48688098 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672485468688 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14705] ppid=14650 vsize=14067516 CPUtime=13.45 cores=1,3,5,7
/proc/14653/task/14705/stat : 14705 (java) S 14650 14653 1330 0 -1 1077944384 19297 12622 0 0 1273 65 4 3 20 0 15 0 48688098 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672484416144 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14706] ppid=14650 vsize=14067516 CPUtime=13.46 cores=1,3,5,7
/proc/14653/task/14706/stat : 14706 (java) S 14650 14653 1330 0 -1 1077944384 15713 12622 0 0 1277 62 4 3 20 0 15 0 48688098 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672483363088 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14707] ppid=14650 vsize=14067516 CPUtime=13.43 cores=1,3,5,7
/proc/14653/task/14707/stat : 14707 (java) S 14650 14653 1330 0 -1 1077944384 12732 12622 0 0 1274 62 4 3 20 0 15 0 48688098 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672482310544 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14708] ppid=14650 vsize=14067516 CPUtime=11.3 cores=1,3,5,7
/proc/14653/task/14708/stat : 14708 (java) S 14650 14653 1330 0 -1 1077944384 18514 12622 0 0 1061 62 4 3 20 0 15 0 48688099 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672028822256 139672551045762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14709] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14709/stat : 14709 (java) S 14650 14653 1330 0 -1 1077944384 69 12622 0 0 0 0 4 3 20 0 15 0 48688099 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672027768608 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14710] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14710/stat : 14710 (java) S 14650 14653 1330 0 -1 1077944384 43 12622 0 0 0 0 4 3 20 0 15 0 48688100 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672026715392 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14711] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14711/stat : 14711 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688102 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672025663952 139672551053211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14712] ppid=14650 vsize=14067516 CPUtime=12.03 cores=1,3,5,7
/proc/14653/task/14712/stat : 14712 (java) S 14650 14653 1330 0 -1 1077944384 13870 12622 0 0 1189 7 4 3 20 0 15 0 48688102 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672024611056 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14713] ppid=14650 vsize=14067516 CPUtime=11.62 cores=1,3,5,7
/proc/14653/task/14713/stat : 14713 (java) S 14650 14653 1330 0 -1 1077944384 13725 12622 0 0 1151 4 4 3 20 0 15 0 48688102 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672023558512 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14714] ppid=14650 vsize=14067516 CPUtime=3.76 cores=1,3,5,7
/proc/14653/task/14714/stat : 14714 (java) S 14650 14653 1330 0 -1 1077944384 17121 12622 0 0 363 6 4 3 20 0 15 0 48688102 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672022505456 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14715] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14715/stat : 14715 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688103 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672021453152 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14716] ppid=14650 vsize=14067516 CPUtime=1.59 cores=1,3,5,7
/proc/14653/task/14716/stat : 14716 (java) S 14650 14653 1330 0 -1 1077944384 820 12622 0 0 72 80 4 3 20 0 15 0 48688107 14405136384 200357 18446744073709551615 4194304 4196468 140730360364528 139672020401200 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
Current children cumulated CPU time (s) 2508.41
Current children cumulated vsize (KiB) 14067516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.7 s]
/proc/loadavg: 1.44 1.35 1.39 3/210 15108
/proc/meminfo: memFree=29414440/32770624 swapFree=0/509744
[pid=14653] ppid=14650 vsize=14067516 CPUtime=2520.01 cores=1,3,5,7
/proc/14653/stat : 14653 (java) S 14650 14653 1330 0 -1 1077944320 236611 12622 0 0 251593 401 4 3 20 0 15 0 48688073 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 140730360347072 139672551034615 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
/proc/14653/statm: 3516879 200362 3489 1 0 3505493 0
[pid=14653/tid=14703] ppid=14650 vsize=14067516 CPUtime=2426.12 cores=1,3,5,7
/proc/14653/task/14703/stat : 14703 (java) R 14650 14653 1330 0 -1 4202560 102076 12622 0 0 242546 59 4 3 20 0 15 0 48688097 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672555268320 139672165735577 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14704] ppid=14650 vsize=14067516 CPUtime=13.5 cores=1,3,5,7
/proc/14653/task/14704/stat : 14704 (java) S 14650 14653 1330 0 -1 1077944384 20143 12622 0 0 1278 65 4 3 20 0 15 0 48688098 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672485468688 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14705] ppid=14650 vsize=14067516 CPUtime=13.52 cores=1,3,5,7
/proc/14653/task/14705/stat : 14705 (java) S 14650 14653 1330 0 -1 1077944384 19301 12622 0 0 1280 65 4 3 20 0 15 0 48688098 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672484416144 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14706] ppid=14650 vsize=14067516 CPUtime=13.53 cores=1,3,5,7
/proc/14653/task/14706/stat : 14706 (java) S 14650 14653 1330 0 -1 1077944384 15743 12622 0 0 1284 62 4 3 20 0 15 0 48688098 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672483363088 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14707] ppid=14650 vsize=14067516 CPUtime=13.5 cores=1,3,5,7
/proc/14653/task/14707/stat : 14707 (java) S 14650 14653 1330 0 -1 1077944384 12808 12622 0 0 1280 63 4 3 20 0 15 0 48688098 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672482310544 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14708] ppid=14650 vsize=14067516 CPUtime=11.36 cores=1,3,5,7
/proc/14653/task/14708/stat : 14708 (java) S 14650 14653 1330 0 -1 1077944384 18715 12622 0 0 1067 62 4 3 20 0 15 0 48688099 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672028822256 139672551045762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14709] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14709/stat : 14709 (java) S 14650 14653 1330 0 -1 1077944384 69 12622 0 0 0 0 4 3 20 0 15 0 48688099 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672027768608 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14710] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14710/stat : 14710 (java) S 14650 14653 1330 0 -1 1077944384 43 12622 0 0 0 0 4 3 20 0 15 0 48688100 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672026715392 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14711] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14711/stat : 14711 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688102 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672025663952 139672551053211 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14712] ppid=14650 vsize=14067516 CPUtime=12.03 cores=1,3,5,7
/proc/14653/task/14712/stat : 14712 (java) S 14650 14653 1330 0 -1 1077944384 13872 12622 0 0 1189 7 4 3 20 0 15 0 48688102 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672024611056 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14713] ppid=14650 vsize=14067516 CPUtime=11.62 cores=1,3,5,7
/proc/14653/task/14713/stat : 14713 (java) S 14650 14653 1330 0 -1 1077944384 13727 12622 0 0 1151 4 4 3 20 0 15 0 48688102 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672023558512 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14714] ppid=14650 vsize=14067516 CPUtime=3.76 cores=1,3,5,7
/proc/14653/task/14714/stat : 14714 (java) S 14650 14653 1330 0 -1 1077944384 17123 12622 0 0 363 6 4 3 20 0 15 0 48688102 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672022505456 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14715] ppid=14650 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/14653/task/14715/stat : 14715 (java) S 14650 14653 1330 0 -1 1077944384 3 12622 0 0 0 0 4 3 20 0 15 0 48688103 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672021453152 139672551044821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
[pid=14653/tid=14716] ppid=14650 vsize=14067516 CPUtime=1.61 cores=1,3,5,7
/proc/14653/task/14716/stat : 14716 (java) S 14650 14653 1330 0 -1 1077944384 835 12622 0 0 73 81 4 3 20 0 15 0 48688107 14405136384 200362 18446744073709551615 4194304 4196468 140730360364528 139672020401200 139672551045762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15802368 140730360367056 140730360369841 140730360369841 140730360373199 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 14067516

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 14653 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2453.73
CPU time (s): 2520.06
CPU user time (s): 2516
CPU system time (s): 4.05553
CPU usage (%): 102.703
Max. virtual memory (cumulated for all children) (KiB): 14067516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516
system time used= 4.05553
maximum resident set size= 1231308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305084
involuntary context switches= 6403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70519 second user time and 17.3081 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-11 17:03:48
IDJOB=4262024
IDBENCH=134818
IDSOLVER=2650
FILE ID=node125/4262024-1502464673
RUNJOBID= node125-1502411403-1395
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-domset/Pb-domset-v500-e2000-w30-mw19-11.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262024-1502464673/watcher-4262024-1502464673 -o /tmp/evaluation-result-4262024-1502464673/solver-4262024-1502464673 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580  bin/concrete HOME/instance-4262024-1502464673.xml

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

MD5SUM BENCH= 4a86fdd9abdf3f491c5a6082e8161c48
RANDOM SEED=893291399

node125.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.07
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.07
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.07
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.07
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:        29426948 kB
MemAvailable:   30200688 kB
Buffers:          255724 kB
Cached:           808928 kB
SwapCached:            0 kB
Active:          2384584 kB
Inactive:         534088 kB
Active(anon):    1854360 kB
Inactive(anon):    24908 kB
Active(file):     530224 kB
Inactive(file):   509180 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24412 kB
Writeback:            16 kB
AnonPages:       1851696 kB
Mapped:            55160 kB
Shmem:             25252 kB
Slab:             126416 kB
SReclaimable:     100344 kB
SUnreclaim:        26072 kB
KernelStack:        3504 kB
PageTables:         8528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2752464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1640448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node125 at 2017-08-11 17:44:42