Trace number 4392041

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.10OPT12 25.9136 14.1507

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-homer.xml
MD5SUM4034cc1c4ef788f4220b0fc076e8c883
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark26.8114
Satisfiable
(Un)Satisfiability was proved
Number of variables561
Number of constraints1628
Number of domains1
Minimum domain size561
Maximum domain size561
Distribution of domain sizes[{"size":561,"count":561}]
Minimum variable degree1
Maximum variable degree100
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1628}]
Number of extensional constraints0
Number of intensional constraints1628
Distribution of constraint types[{"type":"intension","count":1628}]
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.75/0.54	c Concrete v3.10.1560635388952 running
11.02/4.41	o 560
11.99/4.76	o 559
12.59/4.90	o 558
12.91/5.04	o 557
13.20/5.16	o 556
13.36/5.28	o 555
13.60/5.39	o 554
13.82/5.49	o 553
14.24/5.60	o 552
14.51/5.70	o 551
14.80/5.80	o 550
14.80/5.89	o 549
15.03/5.98	o 548
15.28/6.05	o 547
15.49/6.14	o 546
15.66/6.21	o 545
15.85/6.30	o 544
15.85/6.37	o 543
16.09/6.45	o 542
16.31/6.52	o 541
16.31/6.59	o 540
16.46/6.66	o 539
16.57/6.73	o 538
16.57/6.79	o 537
16.71/6.86	o 536
16.85/6.93	o 535
16.85/7.00	o 534
16.97/7.06	o 533
17.09/7.13	o 532
17.19/7.20	o 531
17.19/7.27	o 530
17.30/7.34	o 529
17.41/7.42	o 528
17.41/7.48	o 527
17.52/7.55	o 526
17.63/7.62	o 525
17.63/7.68	o 524
17.77/7.75	o 523
17.89/7.82	o 522
17.89/7.89	o 521
18.06/7.96	o 520
18.29/8.02	o 519
18.29/8.08	o 518
18.40/8.15	o 517
18.54/8.21	o 516
18.54/8.28	o 515
18.69/8.34	o 514
18.80/8.40	o 513
18.80/8.46	o 512
18.93/8.51	o 511
18.93/8.56	o 510
19.07/8.63	o 509
19.07/8.69	o 508
19.18/8.76	o 507
19.29/8.82	o 506
19.29/8.89	o 505
19.40/8.95	o 504
19.40/9.01	o 503
19.54/9.06	o 502
19.65/9.11	o 501
19.65/9.18	o 500
19.76/9.25	o 499
19.87/9.31	o 498
19.87/9.37	o 497
19.98/9.42	o 496
19.98/9.47	o 495
20.09/9.51	o 494
20.09/9.56	o 493
20.19/9.60	o 492
20.19/9.65	o 491
20.19/9.69	o 490
20.31/9.73	o 489
20.31/9.79	o 488
20.42/9.85	o 487
20.52/9.90	o 486
20.52/9.95	o 485
20.52/9.99	o 484
20.64/10.03	o 483
20.64/10.08	o 482
20.75/10.12	o 481
20.75/10.16	o 480
20.86/10.20	o 479
20.86/10.23	o 478
20.86/10.26	o 477
20.86/10.28	o 476
20.97/10.31	o 475
20.97/10.32	o 474
20.97/10.34	o 473
20.97/10.36	o 472
20.97/10.37	o 471
21.08/10.43	o 470
21.08/10.48	o 469
21.19/10.54	o 468
21.19/10.58	o 467
21.30/10.62	o 466
21.30/10.66	o 465
21.41/10.70	o 464
21.41/10.74	o 463
21.41/10.78	o 462
21.52/10.81	o 461
21.52/10.85	o 460
21.52/10.88	o 459
21.63/10.91	o 458
21.63/10.94	o 457
21.63/10.96	o 456
21.63/10.99	o 455
21.82/11.02	o 454
21.82/11.04	o 453
21.82/11.06	o 452
21.82/11.08	o 451
21.82/11.09	o 450
22.05/11.12	o 449
22.05/11.18	o 448
22.18/11.24	o 447
22.30/11.30	o 446
22.30/11.37	o 445
22.46/11.43	o 444
22.46/11.48	o 443
22.67/11.53	o 442
22.67/11.58	o 441
22.81/11.63	o 440
22.81/11.67	o 439
22.92/11.71	o 438
22.92/11.75	o 437
22.92/11.79	o 436
23.08/11.83	o 435
23.08/11.87	o 434
23.19/11.91	o 433
23.19/11.94	o 432
23.19/11.97	o 431
23.19/12.00	o 430
23.34/12.03	o 429
23.34/12.06	o 428
23.47/12.13	o 427
23.47/12.18	o 426
23.57/12.25	o 425
23.68/12.31	o 424
23.68/12.37	o 423
23.79/12.43	o 422
23.79/12.48	o 421
23.90/12.53	o 420
23.90/12.58	o 419
24.01/12.62	o 418
24.01/12.67	o 417
24.13/12.71	o 416
24.13/12.74	o 415
24.13/12.78	o 414
24.24/12.82	o 413
24.24/12.86	o 412
24.24/12.90	o 411
24.34/12.93	o 410
24.34/12.97	o 409
24.34/13.01	o 408
24.46/13.04	o 407
24.46/13.08	o 406
24.57/13.12	o 405
24.57/13.15	o 404
24.57/13.19	o 403
24.69/13.25	o 402
24.80/13.30	o 401
24.80/13.35	o 400
24.91/13.40	o 399
24.91/13.44	o 398
24.91/13.48	o 397
25.02/13.52	o 396
25.02/13.56	o 395
25.02/13.59	o 394
25.13/13.63	o 393
25.13/13.67	o 392
25.24/13.71	o 391
25.24/13.74	o 390
25.24/13.77	o 389
25.24/13.80	o 388
25.34/13.82	o 387
25.34/13.85	o 386
25.34/13.87	o 385
25.34/13.89	o 384
25.45/13.91	o 383
25.45/13.93	o 382
25.45/13.94	o 381
25.45/13.96	o 380
25.45/13.98	o 379
25.45/14.00	o 378
25.45/14.00	o 377
25.57/14.01	o 376
25.57/14.02	o 375
25.57/14.02	o 374
25.57/14.03	o 373
25.57/14.03	o 372
25.57/14.03	o 371
25.57/14.03	o 370
25.57/14.04	o 12
25.83/14.12	v <instantiation
25.83/14.12	v         cost = '12'>
25.83/14.12	v       <list>
25.83/14.12	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] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560]
25.83/14.12	v       </list>
25.83/14.12	v       <values>
25.83/14.12	v         3 4 0 2 0 0 0 1 1 4 5 1 1 0 2 1 5 0 0 0 0 0 0 0 0 1 1 1 0 1 1 6 2 2 2 1 0 0 0 4 0 4 0 9 0 5 0 0 0 4 1 1 8 0 0 0 2 2 1 2 4 2 0 2 0 4 2 2 7 1 0 3 0 2 0 6 2 1 1 1 0 0 4 1 5 10 0 2 0 0 0 0 0 0 3 2 0 1 0 1 0 0 0 1 0 1 0 7 0 0 0 2 0 8 1 0 6 0 1 0 0 0 7 0 0 0 1 1 0 0 1 0 1 0 8 0 6 0 2 1 1 0 1 0 1 1 0 0 0 2 2 1 0 7 7 1 0 1 5 3 11 0 1 4 5 0 0 2 0 3 7 1 0 0 1 2 0 7 0 0 1 1 3 1 1 1 1 2 9 0 0 2 0 1 0 3 1 0 1 0 0 2 2 2 0 0 3 0 2 1 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 3 0 0 0 1 0 0 3 0 0 0 0 0 3 0 1 0 1 0 1 5 0 1 0 1 0 2 0 0 0 0 0 6 0 0 4 0 3 0 0 3 1 0 0 3 1 0 2 0 3 1 0 0 1 1 0 0 0 3 1 0 0 0 0 3 1 0 0 1 0 1 0 0 3 0 0 0 0 0 0 0 0 0 3 1 0 2 11 1 0 1 0 3 1 0 0 0 0 0 1 1 0 0 3 0 1 0 0 6 6 0 0 1 1 0 1 0 3 2 0 2 8 7 1 1 0 12 1 0 4 6 1 0 0 1 2 3 0 5 1 6 4 8 0 1 1 0 0 0 1 1 3 0 5 10 0 0 3 4 1 7 0 2 1 1 1 0 1 0 2 3 0 0 10 1 0 0 0 1 0 1 5 0 2 1 0 1 0 4 4 0 0 1 0 0 2 1 5 6 4 0 0 0 0 1 2 5 0 0 0 0 0 0 0 1 0 2 1 0 0 7 2 0 1 1 0 1 0 0 1 0 0 0 0 2 2 0 2 1 0 0 2 1 0 2 0 1 0 0 1 1 1 7 2 0 0 2 0 9 0 0 1 1 0 4 7 1 0 1 9 5 7 0 1 2 5 1 1 1 1 1 3 0 8 2 1 0 0 0 2 2 0 0 0 0 1 0 0 0 5 1 4 0 0 1 1 0 1 1 1 1 0 0 0 0 2 0 1 5 0 0 3 6 0 0 0 0 5 8 1 1 5 0 9 0
25.83/14.12	v       </values>
25.83/14.12	v     </instantiation>
25.83/14.12	s OPTIMUM FOUND

Verifier Data 

OK	12

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392041-1568308043/watcher-4392041-1568308043 -o /tmp/evaluation-result-4392041-1568308043/solver-4392041-1568308043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568301258-4658 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=67616509 HOME/instance-4392041-1568308043.xml 

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

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

solver pid=6194, runsolver pid=6191

[startup+0.100121 s]*
/proc/loadavg: 1.66 1.44 1.41 3/218 6251
/proc/meminfo: memFree=22966104/32770624 swapFree=66997112/67108860
[pid=6194] ppid=6191 vsize=9972712 memory=17340 CPUtime=0.08 cores=1,3,5,7
/proc/6194/stat : 6194 (java) S 6191 6194 14487 0 -1 1077944320 4557 13057 0 0 1 0 5 2 20 0 6 0 407057387 10212057088 4335 33554432000 4194304 4196468 140735437104608 140735437087152 140157974462199 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
/proc/6194/statm: 2493178 4335 1958 1 0 2481616 0
[pid=6194/tid=6247] ppid=6191 vsize=10055356 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/6194/task/6247/stat : 6247 (java) R 6191 6194 14487 0 -1 4202560 2413 13057 0 0 1 0 5 2 20 0 7 0 407057396 10296684544 4401 33554432000 4194304 4196468 140735437104608 140157946305296 140157960145430 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6248] ppid=6191 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6248/stat : 6248 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 7 0 407057397 10296684544 4401 33554432000 4194304 4196468 140735437104608 140157978704784 140157974472405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6249] ppid=6191 vsize=10055356 memory=16243101886830232 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6249/stat : 6249 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 7 0 407057397 10296684544 4401 33554432000 4194304 4196468 140735437104608 140157877594896 140157974472405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6250] ppid=6191 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6250/stat : 6250 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 7 0 407057397 10296684544 4401 33554432000 4194304 4196468 140735437104608 140157876542608 140157974472405 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6251] ppid=6191 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6251/stat : 6251 (java) S 6191 6194 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 7 0 407057397 10296684544 4401 33554432000 4194304 4196468 140735437104608 140157875489808 140157974472405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6252] ppid=6191 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6252/stat : 6252 (java) S 6191 6194 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 7 0 407057398 10296684544 4401 33554432000 4194304 4196468 140735437104608 140157433702512 140157974473346 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17340 KiB

[startup+0.210018 s]*
/proc/loadavg: 1.66 1.44 1.41 3/227 6260
/proc/meminfo: memFree=22947256/32770624 swapFree=66997112/67108860
[pid=6194] ppid=6191 vsize=10818940 memory=38940 CPUtime=0.26 cores=1,3,5,7
/proc/6194/stat : 6194 (java) S 6191 6194 14487 0 -1 1077944320 7068 13057 0 0 18 1 5 2 20 0 15 0 407057387 11078594560 9735 33554432000 4194304 4196468 140735437104608 140735437087152 140157974462199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
/proc/6194/statm: 2704735 9735 2965 1 0 2667149 0
[pid=6194/tid=6247] ppid=6191 vsize=10818940 memory=734403540614644017 CPUtime=0.18 cores=1,3,5,7
/proc/6194/task/6247/stat : 6247 (java) R 6191 6194 14487 0 -1 4202560 3608 13057 0 0 11 0 5 2 20 0 15 0 407057396 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157946292192 140157958542686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6248] ppid=6191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6248/stat : 6248 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057397 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157978704784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6249] ppid=6191 vsize=10818940 memory=16243101886830232 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6249/stat : 6249 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057397 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157877594896 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6250] ppid=6191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6250/stat : 6250 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057397 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157876542608 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6251] ppid=6191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6251/stat : 6251 (java) S 6191 6194 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407057397 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157875489808 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6252] ppid=6191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6252/stat : 6252 (java) S 6191 6194 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407057398 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157433702512 140157974473346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6253] ppid=6191 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6253/stat : 6253 (java) S 6191 6194 14487 0 -1 1077944384 13 13057 0 0 0 0 5 2 20 0 15 0 407057398 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157332218656 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6254] ppid=6191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6254/stat : 6254 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057399 11078594560 9735 33554432000 4194304 4196468 140735437104608 140156728239216 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6255] ppid=6191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6255/stat : 6255 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057401 11078594560 9735 33554432000 4194304 4196468 140735437104608 140156487948368 140157974480795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6256] ppid=6191 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6194/task/6256/stat : 6256 (java) S 6191 6194 14487 0 -1 1077944384 433 13057 0 0 1 0 5 2 20 0 15 0 407057401 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157432650352 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6257] ppid=6191 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6194/task/6257/stat : 6257 (java) S 6191 6194 14487 0 -1 1077944384 180 13057 0 0 1 0 5 2 20 0 15 0 407057401 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157431597552 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6258] ppid=6191 vsize=10818940 memory=140538409899648 CPUtime=0.1 cores=1,3,5,7
/proc/6194/task/6258/stat : 6258 (java) R 6191 6194 14487 0 -1 4202560 632 13057 0 0 3 0 5 2 20 0 15 0 407057401 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157430545264 140157953769858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6259] ppid=6191 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6259/stat : 6259 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057402 11078594560 9735 33554432000 4194304 4196468 140735437104608 140156454390752 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6260] ppid=6191 vsize=10818940 memory=140538409899648 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6260/stat : 6260 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057402 11078594560 9735 33554432000 4194304 4196468 140735437104608 140157429492144 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38940 KiB

[startup+0.311211 s]*
/proc/loadavg: 1.66 1.44 1.41 3/227 6260
/proc/meminfo: memFree=22937252/32770624 swapFree=66997112/67108860
[pid=6194] ppid=6191 vsize=10820096 memory=50040 CPUtime=0.4 cores=1,3,5,7
/proc/6194/stat : 6194 (java) S 6191 6194 14487 0 -1 1077944320 10786 13057 0 0 30 3 5 2 20 0 15 0 407057387 11079778304 12510 33554432000 4194304 4196468 140735437104608 140735437087152 140157974462199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
/proc/6194/statm: 2705024 12510 3219 1 0 2667149 0
[pid=6194/tid=6247] ppid=6191 vsize=10820244 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/6194/task/6247/stat : 6247 (java) R 6191 6194 14487 0 -1 4202560 7330 13057 0 0 19 2 5 2 20 0 15 0 407057396 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157946276712 140157974474134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6248] ppid=6191 vsize=10820244 memory=-8412660965215072671 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6248/stat : 6248 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057397 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157978704784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6249] ppid=6191 vsize=10820244 memory=-7384621950708166502 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6249/stat : 6249 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057397 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157877594896 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6250] ppid=6191 vsize=10820244 memory=4134692831991783777 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6250/stat : 6250 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057397 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157876542608 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6251] ppid=6191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6251/stat : 6251 (java) S 6191 6194 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407057397 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157875489808 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6252] ppid=6191 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6252/stat : 6252 (java) S 6191 6194 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407057398 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157433702512 140157974473346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6253] ppid=6191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6253/stat : 6253 (java) S 6191 6194 14487 0 -1 1077944384 13 13057 0 0 0 0 5 2 20 0 15 0 407057398 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157332218656 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6254] ppid=6191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6254/stat : 6254 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057399 11079929856 12575 33554432000 4194304 4196468 140735437104608 140156728239216 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6255] ppid=6191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6255/stat : 6255 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057401 11079929856 12575 33554432000 4194304 4196468 140735437104608 140156487948368 140157974480795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6256] ppid=6191 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6194/task/6256/stat : 6256 (java) R 6191 6194 14487 0 -1 4202560 434 13057 0 0 2 0 5 2 20 0 15 0 407057401 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157432650352 140157967447241 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6257] ppid=6191 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6194/task/6257/stat : 6257 (java) S 6191 6194 14487 0 -1 1077944384 181 13057 0 0 1 0 5 2 20 0 15 0 407057401 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157431597552 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6258] ppid=6191 vsize=10820244 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6194/task/6258/stat : 6258 (java) S 6191 6194 14487 0 -1 1077944384 645 13057 0 0 5 0 5 2 20 0 15 0 407057401 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157430545264 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6259] ppid=6191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6259/stat : 6259 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057402 11079929856 12575 33554432000 4194304 4196468 140735437104608 140156454390752 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6260] ppid=6191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6260/stat : 6260 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057402 11079929856 12575 33554432000 4194304 4196468 140735437104608 140157429492144 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50040 KiB

[startup+0.700734 s]
/proc/loadavg: 1.66 1.44 1.41 5/227 6260
/proc/meminfo: memFree=22921388/32770624 swapFree=66997112/67108860
[pid=6194] ppid=6191 vsize=10824340 memory=80944 CPUtime=1.14 cores=1,3,5,7
/proc/6194/stat : 6194 (java) S 6191 6194 14487 0 -1 1077944320 15007 13057 0 0 102 5 5 2 20 0 15 0 407057387 11084124160 20236 33554432000 4194304 4196468 140735437104608 140735437087152 140157974462199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
/proc/6194/statm: 2706085 20236 3508 1 0 2668173 0
[pid=6194/tid=6247] ppid=6191 vsize=10824340 memory=676 CPUtime=0.67 cores=1,3,5,7
/proc/6194/task/6247/stat : 6247 (java) R 6191 6194 14487 0 -1 4202560 10669 13057 0 0 56 4 5 2 20 0 15 0 407057396 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157946280160 140157974484125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6248] ppid=6191 vsize=10824340 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6248/stat : 6248 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057397 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157978704784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6249] ppid=6191 vsize=10824340 memory=7092418796125250880 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6249/stat : 6249 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057397 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157877594896 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6250] ppid=6191 vsize=10824340 memory=8025788835636663402 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6250/stat : 6250 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057397 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157876542608 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6251] ppid=6191 vsize=10824340 memory=7523071198212214892 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6251/stat : 6251 (java) S 6191 6194 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407057397 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157875489808 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6252] ppid=6191 vsize=10824340 memory=140538409898481 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6252/stat : 6252 (java) S 6191 6194 14487 0 -1 1077944384 5 13057 0 0 0 0 5 2 20 0 15 0 407057398 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157433702512 140157974473346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6253] ppid=6191 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6253/stat : 6253 (java) S 6191 6194 14487 0 -1 1077944384 13 13057 0 0 0 0 5 2 20 0 15 0 407057398 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157332218656 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6254] ppid=6191 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6254/stat : 6254 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057399 11084124160 20236 33554432000 4194304 4196468 140735437104608 140156728239216 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6255] ppid=6191 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6255/stat : 6255 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057401 11084124160 20236 33554432000 4194304 4196468 140735437104608 140156487948368 140157974480795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6256] ppid=6191 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/6194/task/6256/stat : 6256 (java) S 6191 6194 14487 0 -1 1077944384 793 13057 0 0 15 0 5 2 20 0 15 0 407057401 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157432650352 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6257] ppid=6191 vsize=10824340 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/6194/task/6257/stat : 6257 (java) S 6191 6194 14487 0 -1 1077944384 446 13057 0 0 12 0 5 2 20 0 15 0 407057401 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157431597552 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6258] ppid=6191 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/6194/task/6258/stat : 6258 (java) S 6191 6194 14487 0 -1 1077944384 864 13057 0 0 17 0 5 2 20 0 15 0 407057401 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157430545264 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6259] ppid=6191 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6259/stat : 6259 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057402 11084124160 20236 33554432000 4194304 4196468 140735437104608 140156454390752 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6260] ppid=6191 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6260/stat : 6260 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057402 11084124160 20236 33554432000 4194304 4196468 140735437104608 140157429492144 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80944 KiB

[startup+1.50077 s]
/proc/loadavg: 1.66 1.44 1.41 3/227 6260
/proc/meminfo: memFree=22876348/32770624 swapFree=66997112/67108860
[pid=6194] ppid=6191 vsize=10834656 memory=182060 CPUtime=2.73 cores=1,3,5,7
/proc/6194/stat : 6194 (java) S 6191 6194 14487 0 -1 1077944320 24370 13057 0 0 255 11 5 2 20 0 15 0 407057387 11094687744 45515 33554432000 4194304 4196468 140735437104608 140735437087152 140157974462199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
/proc/6194/statm: 2708664 45515 3573 1 0 2670733 0
[pid=6194/tid=6247] ppid=6191 vsize=10834656 memory=3504 CPUtime=1.42 cores=1,3,5,7
/proc/6194/task/6247/stat : 6247 (java) R 6191 6194 14487 0 -1 4202560 15664 13057 0 0 129 6 5 2 20 0 15 0 407057396 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157946281376 140157958542686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6248] ppid=6191 vsize=10834656 memory=37732 CPUtime=0.08 cores=1,3,5,7
/proc/6194/task/6248/stat : 6248 (java) S 6191 6194 14487 0 -1 1077944384 306 13057 0 0 1 0 5 2 20 0 15 0 407057397 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157978704784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6249] ppid=6191 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6194/task/6249/stat : 6249 (java) S 6191 6194 14487 0 -1 1077944384 88 13057 0 0 1 0 5 2 20 0 15 0 407057397 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157877594896 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6250] ppid=6191 vsize=10834656 memory=-9178176116494421958 CPUtime=0.08 cores=1,3,5,7
/proc/6194/task/6250/stat : 6250 (java) S 6191 6194 14487 0 -1 1077944384 13 13057 0 0 1 0 5 2 20 0 15 0 407057397 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157876542608 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6251] ppid=6191 vsize=10834656 memory=4137287014106017850 CPUtime=0.08 cores=1,3,5,7
/proc/6194/task/6251/stat : 6251 (java) S 6191 6194 14487 0 -1 1077944384 60 13057 0 0 1 0 5 2 20 0 15 0 407057397 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157875489808 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6252] ppid=6191 vsize=10834656 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/6194/task/6252/stat : 6252 (java) S 6191 6194 14487 0 -1 1077944384 1226 13057 0 0 1 0 5 2 20 0 15 0 407057398 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157433702512 140157974473346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6253] ppid=6191 vsize=10834656 memory=-7966001967256153990 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6253/stat : 6253 (java) S 6191 6194 14487 0 -1 1077944384 13 13057 0 0 0 0 5 2 20 0 15 0 407057398 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157332218656 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6254] ppid=6191 vsize=10834656 memory=90 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6254/stat : 6254 (java) S 6191 6194 14487 0 -1 1077944384 2 13057 0 0 0 0 5 2 20 0 15 0 407057399 11094687744 45515 33554432000 4194304 4196468 140735437104608 140156728239216 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6255] ppid=6191 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6255/stat : 6255 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057401 11094687744 45515 33554432000 4194304 4196468 140735437104608 140156487948368 140157974480795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6256] ppid=6191 vsize=10834656 memory=281076618809472 CPUtime=0.42 cores=1,3,5,7
/proc/6194/task/6256/stat : 6256 (java) S 6191 6194 14487 0 -1 1077944384 1522 13057 0 0 35 0 5 2 20 0 15 0 407057401 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157432650352 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6257] ppid=6191 vsize=10834656 memory=281076618723720 CPUtime=0.45 cores=1,3,5,7
/proc/6194/task/6257/stat : 6257 (java) R 6191 6194 14487 0 -1 4202560 1394 13057 0 0 38 0 5 2 20 0 15 0 407057401 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157431588384 140157952001021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6258] ppid=6191 vsize=10834656 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/6194/task/6258/stat : 6258 (java) S 6191 6194 14487 0 -1 1077944384 1870 13057 0 0 44 0 5 2 20 0 15 0 407057401 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157430545264 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6259] ppid=6191 vsize=10834656 memory=676 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6259/stat : 6259 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057402 11094687744 45515 33554432000 4194304 4196468 140735437104608 140156454390752 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6260] ppid=6191 vsize=10834656 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6260/stat : 6260 (java) S 6191 6194 14487 0 -1 1077944384 1 13057 0 0 0 0 5 2 20 0 15 0 407057402 11094687744 45515 33554432000 4194304 4196468 140735437104608 140157429492144 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0

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

[startup+14.1506 s]
# the end of solver process 6194 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=25.4794 s, system=0.434197 s

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

[startup+12.801 s]
/proc/loadavg: 1.70 1.45 1.42 3/227 6261
/proc/meminfo: memFree=22349348/32770624 swapFree=66997112/67108860
[pid=6194] ppid=6191 vsize=10846964 memory=643816 CPUtime=24.24 cores=1,3,5,7
/proc/6194/stat : 6194 (java) S 6191 6194 14487 0 -1 1077944320 77210 13057 0 0 2380 37 5 2 20 0 15 0 407057387 11107291136 160954 33554432000 4194304 4196468 140735437104608 140735437087152 140157974462199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
/proc/6194/statm: 2711741 160954 3625 1 0 2673805 0
[pid=6194/tid=6247] ppid=6191 vsize=10846964 memory=2012 CPUtime=12.59 cores=1,3,5,7
/proc/6194/task/6247/stat : 6247 (java) R 6191 6194 14487 0 -1 4202560 24861 13057 0 0 1238 14 5 2 20 0 15 0 407057396 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157946295024 140157566836779 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6248] ppid=6191 vsize=10846964 memory=1388 CPUtime=0.15 cores=1,3,5,7
/proc/6194/task/6248/stat : 6248 (java) S 6191 6194 14487 0 -1 1077944384 883 13057 0 0 6 2 5 2 20 0 15 0 407057397 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157978704784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6249] ppid=6191 vsize=10846964 memory=8112282956445269571 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6249/stat : 6249 (java) S 6191 6194 14487 0 -1 1077944384 249 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157877594896 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6250] ppid=6191 vsize=10846964 memory=281076618705600 CPUtime=0.15 cores=1,3,5,7
/proc/6194/task/6250/stat : 6250 (java) S 6191 6194 14487 0 -1 1077944384 211 13057 0 0 6 2 5 2 20 0 15 0 407057397 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157876542608 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6251] ppid=6191 vsize=10846964 memory=9371 CPUtime=0.14 cores=1,3,5,7
/proc/6194/task/6251/stat : 6251 (java) S 6191 6194 14487 0 -1 1077944384 950 13057 0 0 6 1 5 2 20 0 15 0 407057397 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157875489808 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6252] ppid=6191 vsize=10846964 memory=3191926 CPUtime=0.13 cores=1,3,5,7
/proc/6194/task/6252/stat : 6252 (java) S 6191 6194 14487 0 -1 1077944384 3491 13057 0 0 5 1 5 2 20 0 15 0 407057398 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157433702512 140157974473346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6253] ppid=6191 vsize=10846964 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6253/stat : 6253 (java) S 6191 6194 14487 0 -1 1077944384 14 13057 0 0 0 0 5 2 20 0 15 0 407057398 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157332218784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6254] ppid=6191 vsize=10846964 memory=-2897801490638248215 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6254/stat : 6254 (java) S 6191 6194 14487 0 -1 1077944384 4 13057 0 0 0 0 5 2 20 0 15 0 407057399 11107291136 160954 33554432000 4194304 4196468 140735437104608 140156728239232 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6255] ppid=6191 vsize=10846964 memory=-6800859132029471843 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6255/stat : 6255 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057401 11107291136 160954 33554432000 4194304 4196468 140735437104608 140156487948368 140157974480795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6256] ppid=6191 vsize=10846964 memory=-3253322038155611931 CPUtime=4.75 cores=1,3,5,7
/proc/6194/task/6256/stat : 6256 (java) S 6191 6194 14487 0 -1 1077944384 15369 13057 0 0 465 3 5 2 20 0 15 0 407057401 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157432650352 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6257] ppid=6191 vsize=10846964 memory=-9174445032661854264 CPUtime=4.28 cores=1,3,5,7
/proc/6194/task/6257/stat : 6257 (java) S 6191 6194 14487 0 -1 1077944384 14155 13057 0 0 417 4 5 2 20 0 15 0 407057401 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157431597552 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6258] ppid=6191 vsize=10846964 memory=0 CPUtime=2.34 cores=1,3,5,7
/proc/6194/task/6258/stat : 6258 (java) S 6191 6194 14487 0 -1 1077944384 14773 13057 0 0 223 4 5 2 20 0 15 0 407057401 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157430545264 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6259] ppid=6191 vsize=10846964 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6259/stat : 6259 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057402 11107291136 160954 33554432000 4194304 4196468 140735437104608 140156454390752 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6260] ppid=6191 vsize=10846964 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6260/stat : 6260 (java) S 6191 6194 14487 0 -1 1077944384 39 13057 0 0 0 0 5 2 20 0 15 0 407057402 11107291136 160954 33554432000 4194304 4196468 140735437104608 140157429492144 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
Current children cumulated CPU time: 24.24 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 643816 KiB

[startup+13.6007 s]
/proc/loadavg: 1.70 1.45 1.42 3/227 6261
/proc/meminfo: memFree=22342956/32770624 swapFree=66997112/67108860
[pid=6194] ppid=6191 vsize=10846964 memory=709352 CPUtime=25.13 cores=1,3,5,7
/proc/6194/stat : 6194 (java) S 6191 6194 14487 0 -1 1077944320 77347 13057 0 0 2467 39 5 2 20 0 15 0 407057387 11107291136 177338 33554432000 4194304 4196468 140735437104608 140735437087152 140157974462199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
/proc/6194/statm: 2711741 177338 3625 1 0 2673805 0
[pid=6194/tid=6247] ppid=6191 vsize=10846964 memory=37732 CPUtime=13.38 cores=1,3,5,7
/proc/6194/task/6247/stat : 6247 (java) R 6191 6194 14487 0 -1 4202560 24905 13057 0 0 1316 15 5 2 20 0 15 0 407057396 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157946294432 140157555977920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6248] ppid=6191 vsize=10846964 memory=3028 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6248/stat : 6248 (java) S 6191 6194 14487 0 -1 1077944384 885 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157978704784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6249] ppid=6191 vsize=10846964 memory=2012 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6249/stat : 6249 (java) S 6191 6194 14487 0 -1 1077944384 251 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157877594896 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6250] ppid=6191 vsize=10846964 memory=1388 CPUtime=0.15 cores=1,3,5,7
/proc/6194/task/6250/stat : 6250 (java) S 6191 6194 14487 0 -1 1077944384 213 13057 0 0 6 2 5 2 20 0 15 0 407057397 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157876542608 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6251] ppid=6191 vsize=10846964 memory=776 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6251/stat : 6251 (java) S 6191 6194 14487 0 -1 1077944384 953 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157875489808 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6252] ppid=6191 vsize=10846964 memory=3500 CPUtime=0.13 cores=1,3,5,7
/proc/6194/task/6252/stat : 6252 (java) S 6191 6194 14487 0 -1 1077944384 3528 13057 0 0 5 1 5 2 20 0 15 0 407057398 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157433702512 140157974473346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6253] ppid=6191 vsize=10846964 memory=2828 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6253/stat : 6253 (java) S 6191 6194 14487 0 -1 1077944384 14 13057 0 0 0 0 5 2 20 0 15 0 407057398 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157332218784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6254] ppid=6191 vsize=10846964 memory=676 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6254/stat : 6254 (java) S 6191 6194 14487 0 -1 1077944384 4 13057 0 0 0 0 5 2 20 0 15 0 407057399 11107291136 177338 33554432000 4194304 4196468 140735437104608 140156728239232 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6255] ppid=6191 vsize=10846964 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6255/stat : 6255 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057401 11107291136 177338 33554432000 4194304 4196468 140735437104608 140156487948368 140157974480795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6256] ppid=6191 vsize=10846964 memory=1548 CPUtime=4.77 cores=1,3,5,7
/proc/6194/task/6256/stat : 6256 (java) S 6191 6194 14487 0 -1 1077944384 15370 13057 0 0 467 3 5 2 20 0 15 0 407057401 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157432650352 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6257] ppid=6191 vsize=10846964 memory=8488 CPUtime=4.31 cores=1,3,5,7
/proc/6194/task/6257/stat : 6257 (java) S 6191 6194 14487 0 -1 1077944384 14157 13057 0 0 420 4 5 2 20 0 15 0 407057401 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157431597552 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6258] ppid=6191 vsize=10846964 memory=1704 CPUtime=2.38 cores=1,3,5,7
/proc/6194/task/6258/stat : 6258 (java) S 6191 6194 14487 0 -1 1077944384 14817 13057 0 0 227 4 5 2 20 0 15 0 407057401 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157430545264 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6259] ppid=6191 vsize=10846964 memory=1112 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6259/stat : 6259 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057402 11107291136 177338 33554432000 4194304 4196468 140735437104608 140156454390752 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6260] ppid=6191 vsize=10846964 memory=1020 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6260/stat : 6260 (java) S 6191 6194 14487 0 -1 1077944384 39 13057 0 0 0 0 5 2 20 0 15 0 407057402 11107291136 177338 33554432000 4194304 4196468 140735437104608 140157429492144 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
Current children cumulated CPU time: 25.13 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 709352 KiB

[startup+14.0007 s]*
/proc/loadavg: 1.70 1.45 1.42 3/227 6261
/proc/meminfo: memFree=22277172/32770624 swapFree=66997112/67108860
[pid=6194] ppid=6191 vsize=10846964 memory=709400 CPUtime=25.57 cores=1,3,5,7
/proc/6194/stat : 6194 (java) S 6191 6194 14487 0 -1 1077944320 77367 13057 0 0 2511 39 5 2 20 0 15 0 407057387 11107291136 177350 33554432000 4194304 4196468 140735437104608 140735437087152 140157974462199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
/proc/6194/statm: 2711741 177350 3625 1 0 2673805 0
[pid=6194/tid=6247] ppid=6191 vsize=10846964 memory=8317482817917895235 CPUtime=13.79 cores=1,3,5,7
/proc/6194/task/6247/stat : 6247 (java) R 6191 6194 14487 0 -1 4202560 24913 13057 0 0 1357 15 5 2 20 0 15 0 407057396 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157946291136 140157957846194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6248] ppid=6191 vsize=10846964 memory=15260333174426011 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6248/stat : 6248 (java) S 6191 6194 14487 0 -1 1077944384 885 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157978704784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6249] ppid=6191 vsize=10846964 memory=-6876588427028963228 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6249/stat : 6249 (java) S 6191 6194 14487 0 -1 1077944384 251 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157877594896 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6250] ppid=6191 vsize=10846964 memory=6944656592587090596 CPUtime=0.15 cores=1,3,5,7
/proc/6194/task/6250/stat : 6250 (java) S 6191 6194 14487 0 -1 1077944384 213 13057 0 0 6 2 5 2 20 0 15 0 407057397 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157876542608 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6251] ppid=6191 vsize=10846964 memory=-6586668835053300886 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6251/stat : 6251 (java) S 6191 6194 14487 0 -1 1077944384 953 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157875489808 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6252] ppid=6191 vsize=10846964 memory=7232886968738802340 CPUtime=0.13 cores=1,3,5,7
/proc/6194/task/6252/stat : 6252 (java) S 6191 6194 14487 0 -1 1077944384 3528 13057 0 0 5 1 5 2 20 0 15 0 407057398 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157433702512 140157974473346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6253] ppid=6191 vsize=10846964 memory=4783210246294233184 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6253/stat : 6253 (java) S 6191 6194 14487 0 -1 1077944384 14 13057 0 0 0 0 5 2 20 0 15 0 407057398 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157332218784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6254] ppid=6191 vsize=10846964 memory=7234576917979478634 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6254/stat : 6254 (java) S 6191 6194 14487 0 -1 1077944384 4 13057 0 0 0 0 5 2 20 0 15 0 407057399 11107291136 177350 33554432000 4194304 4196468 140735437104608 140156728239232 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6255] ppid=6191 vsize=10846964 memory=-9001733975035308135 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6255/stat : 6255 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057401 11107291136 177350 33554432000 4194304 4196468 140735437104608 140156487948368 140157974480795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6256] ppid=6191 vsize=10846964 memory=8305311027921445216 CPUtime=4.77 cores=1,3,5,7
/proc/6194/task/6256/stat : 6256 (java) S 6191 6194 14487 0 -1 1077944384 15370 13057 0 0 467 3 5 2 20 0 15 0 407057401 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157432650352 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6257] ppid=6191 vsize=10846964 memory=140538409934673 CPUtime=4.31 cores=1,3,5,7
/proc/6194/task/6257/stat : 6257 (java) S 6191 6194 14487 0 -1 1077944384 14157 13057 0 0 420 4 5 2 20 0 15 0 407057401 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157431597552 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6258] ppid=6191 vsize=10846964 memory=140538409932465 CPUtime=2.4 cores=1,3,5,7
/proc/6194/task/6258/stat : 6258 (java) S 6191 6194 14487 0 -1 1077944384 14829 13057 0 0 229 4 5 2 20 0 15 0 407057401 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157430545264 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6259] ppid=6191 vsize=10846964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6259/stat : 6259 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057402 11107291136 177350 33554432000 4194304 4196468 140735437104608 140156454390752 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6260] ppid=6191 vsize=10846964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6260/stat : 6260 (java) S 6191 6194 14487 0 -1 1077944384 39 13057 0 0 0 0 5 2 20 0 15 0 407057402 11107291136 177350 33554432000 4194304 4196468 140735437104608 140157429492144 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
Current children cumulated CPU time: 25.57 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 709400 KiB

[startup+14.1102 s]
/proc/loadavg: 1.70 1.45 1.42 3/227 6261
/proc/meminfo: memFree=22277172/32770624 swapFree=66997112/67108860
[pid=6194] ppid=6191 vsize=10846964 memory=709412 CPUtime=25.83 cores=1,3,5,7
/proc/6194/stat : 6194 (java) S 6191 6194 14487 0 -1 1077944320 77673 13057 0 0 2537 39 5 2 20 0 15 0 407057387 11107291136 177353 33554432000 4194304 4196468 140735437104608 140735437087152 140157974462199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
/proc/6194/statm: 2711741 177353 3625 1 0 2673805 0
[pid=6194/tid=6247] ppid=6191 vsize=10846964 memory=709352 CPUtime=13.89 cores=1,3,5,7
/proc/6194/task/6247/stat : 6247 (java) R 6191 6194 14487 0 -1 4202560 25096 13057 0 0 1367 15 5 2 20 0 15 0 407057396 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157946296512 140157959847584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6248] ppid=6191 vsize=10846964 memory=709400 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6248/stat : 6248 (java) S 6191 6194 14487 0 -1 1077944384 885 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157978704784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6249] ppid=6191 vsize=10846964 memory=796 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6249/stat : 6249 (java) S 6191 6194 14487 0 -1 1077944384 251 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157877594896 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6250] ppid=6191 vsize=10846964 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/6194/task/6250/stat : 6250 (java) S 6191 6194 14487 0 -1 1077944384 213 13057 0 0 6 2 5 2 20 0 15 0 407057397 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157876542608 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6251] ppid=6191 vsize=10846964 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/6194/task/6251/stat : 6251 (java) S 6191 6194 14487 0 -1 1077944384 953 13057 0 0 7 2 5 2 20 0 15 0 407057397 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157875489808 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6252] ppid=6191 vsize=10846964 memory=579616 CPUtime=0.13 cores=1,3,5,7
/proc/6194/task/6252/stat : 6252 (java) S 6191 6194 14487 0 -1 1077944384 3528 13057 0 0 5 1 5 2 20 0 15 0 407057398 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157433702512 140157974473346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6253] ppid=6191 vsize=10846964 memory=281076618727488 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6253/stat : 6253 (java) S 6191 6194 14487 0 -1 1077944384 14 13057 0 0 0 0 5 2 20 0 15 0 407057398 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157332218784 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6254] ppid=6191 vsize=10846964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6254/stat : 6254 (java) S 6191 6194 14487 0 -1 1077944384 4 13057 0 0 0 0 5 2 20 0 15 0 407057399 11107291136 177353 33554432000 4194304 4196468 140735437104608 140156728239232 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6255] ppid=6191 vsize=10846964 memory=5968 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6255/stat : 6255 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057401 11107291136 177353 33554432000 4194304 4196468 140735437104608 140156487948368 140157974480795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6256] ppid=6191 vsize=10846964 memory=14008 CPUtime=4.84 cores=1,3,5,7
/proc/6194/task/6256/stat : 6256 (java) R 6191 6194 14487 0 -1 4202560 15379 13057 0 0 474 3 5 2 20 0 15 0 407057401 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157432633424 140157958570298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6257] ppid=6191 vsize=10846964 memory=2124 CPUtime=4.38 cores=1,3,5,7
/proc/6194/task/6257/stat : 6257 (java) R 6191 6194 14487 0 -1 4202560 14197 13057 0 0 427 4 5 2 20 0 15 0 407057401 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157431580400 140157959361748 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6258] ppid=6191 vsize=10846964 memory=676 CPUtime=2.42 cores=1,3,5,7
/proc/6194/task/6258/stat : 6258 (java) S 6191 6194 14487 0 -1 1077944384 14904 13057 0 0 231 4 5 2 20 0 15 0 407057401 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157430545264 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6259] ppid=6191 vsize=10846964 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6259/stat : 6259 (java) S 6191 6194 14487 0 -1 1077944384 3 13057 0 0 0 0 5 2 20 0 15 0 407057402 11107291136 177353 33554432000 4194304 4196468 140735437104608 140156454390752 140157974472405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
[pid=6194/tid=6260] ppid=6191 vsize=10846964 memory=643672 CPUtime=0.07 cores=1,3,5,7
/proc/6194/task/6260/stat : 6260 (java) S 6191 6194 14487 0 -1 1077944384 39 13057 0 0 0 0 5 2 20 0 15 0 407057402 11107291136 177353 33554432000 4194304 4196468 140735437104608 140157429492144 140157974473346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140735437105911 140735437108421 140735437108421 140735437111247 0
Current children cumulated CPU time: 25.83 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 709412 KiB

Child status: 0
Real time (s): 14.1507
CPU time (s): 25.9136
CPU user time (s): 25.4794
CPU system time (s): 0.434197
CPU usage (%): 183.126
Max. virtual memory (cumulated for all children) (KiB): 10850188
Max. memory (cumulated for all children) (KiB): 709412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4794
system time used= 0.434197
maximum resident set size= 711628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91101
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9707
involuntary context switches= 86


# summary of solver processes directly reported to runsolver:
#   pid: 6194
#   total CPU time (s): 25.9136
#   total CPU user time (s): 25.4794
#   total CPU system time (s): 0.434197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.118652 second user time and 0.193606 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-12 19:06:24
IDJOB=4392041
IDBENCH=120594
IDSOLVER=2837
FILE ID=node103/4392041-1568308043
RUNJOBID= node103-1568301258-4658
PBS_JOBID= 21701108
Free space on /tmp= 57232 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-homer.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392041-1568308043/watcher-4392041-1568308043 -o /tmp/evaluation-result-4392041-1568308043/solver-4392041-1568308043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568301258-4658 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=67616509 HOME/instance-4392041-1568308043.xml

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

MD5SUM BENCH= 4034cc1c4ef788f4220b0fc076e8c883
RANDOM SEED=67616509

node103.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.74
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.74
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.74
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.74
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:        22974712 kB
MemAvailable:   31060856 kB
Buffers:          134492 kB
Cached:          8172844 kB
SwapCached:         8920 kB
Active:          2545476 kB
Inactive:        6564268 kB
Active(anon):     791484 kB
Inactive(anon):    53084 kB
Active(file):    1753992 kB
Inactive(file):  6511184 kB
Unevictable:      107416 kB
Mlocked:          107416 kB
SwapTotal:      67108860 kB
SwapFree:       66997112 kB
Dirty:             35252 kB
Writeback:             0 kB
AnonPages:        902808 kB
Mapped:            56184 kB
Shmem:             32812 kB
Slab:             279692 kB
SReclaimable:     249428 kB
SUnreclaim:        30264 kB
KernelStack:        3712 kB
PageTables:         7344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2032836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    819200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 57196 MiB
End job on node103 at 2019-09-12 19:06:38