Trace number 4298477

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
GG's minicp 2018-04-29SAT (TO)519550 2520.09 2514.73

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay100_c18.xml
MD5SUMd8b461fac2d17be3b89e017753091d4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark775413
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":416},{"degree":4,"count":329},{"degree":5,"count":277},{"degree":6,"count":189},{"degree":7,"count":160},{"degree":8,"count":116},{"degree":9,"count":93},{"degree":10,"count":77},{"degree":11,"count":48},{"degree":12,"count":46},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":17},{"degree":16,"count":13},{"degree":17,"count":17},{"degree":18,"count":7},{"degree":19,"count":5},{"degree":20,"count":7},{"degree":21,"count":7},{"degree":22,"count":3},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":3},{"degree":27,"count":2}]
Minimum constraint arity83
Maximum constraint arity128
Distribution of constraint arities[{"arity":83,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},{"arity":87,"count":1},{"arity":88,"count":1},{"arity":89,"count":2},{"arity":90,"count":1},{"arity":92,"count":2},{"arity":93,"count":1},{"arity":94,"count":2},{"arity":95,"count":2},{"arity":96,"count":3},{"arity":97,"count":3},{"arity":98,"count":4},{"arity":99,"count":1},{"arity":100,"count":3},{"arity":101,"count":5},{"arity":102,"count":4},{"arity":103,"count":4},{"arity":104,"count":4},{"arity":105,"count":7},{"arity":106,"count":6},{"arity":107,"count":6},{"arity":108,"count":1},{"arity":109,"count":4},{"arity":110,"count":3},{"arity":111,"count":2},{"arity":112,"count":2},{"arity":113,"count":1},{"arity":114,"count":2},{"arity":115,"count":2},{"arity":116,"count":3},{"arity":118,"count":1},{"arity":119,"count":2},{"arity":120,"count":2},{"arity":121,"count":2},{"arity":122,"count":2},{"arity":123,"count":1},{"arity":126,"count":1},{"arity":128,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":100}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.14/0.13	c version: 2018-04-11
0.14/0.13	c seed: 1811631
0.14/0.13	c timeout: -1
0.14/0.13	c memlimit: -1
0.14/0.13	c nbcore: -1
2.46/1.45	o 0
3.60/2.38	o 17478
3.60/2.38	o 24745
3.60/2.38	o 25842
3.60/2.39	o 43320
3.60/2.39	o 50587
3.60/2.39	o 60394
3.60/2.39	o 67661
3.75/2.40	o 67751
3.75/2.41	o 77236
3.75/2.41	o 84503
3.75/2.41	o 84593
3.75/2.42	o 86719
3.75/2.42	o 93986
3.75/2.42	o 94076
3.75/2.43	o 98029
3.75/2.43	o 114871
3.75/2.43	o 124354
3.75/2.44	o 137943
3.75/2.45	o 141585
3.75/2.46	o 152728
3.75/2.46	o 156370
3.75/2.47	o 169048
3.75/2.48	o 172690
3.94/2.53	o 172869
3.94/2.53	o 187606
3.94/2.57	o 188669
4.14/2.65	o 195647
4.14/2.66	o 196710
5.39/3.64	o 201641
5.39/3.64	o 201699
5.39/3.65	o 204680
5.39/3.65	o 204738
5.39/3.65	o 221782
5.39/3.65	o 224821
5.39/3.65	o 225884
5.39/3.66	o 234543
5.39/3.66	o 237582
5.39/3.66	o 238645
5.39/3.69	o 249806
5.39/3.69	o 252845
5.39/3.69	o 253908
5.54/3.70	o 262567
5.54/3.70	o 265606
5.54/3.70	o 266669
5.54/3.74	o 267137
5.54/3.78	o 268175
5.67/3.82	o 268643
5.67/3.88	o 271137
5.67/3.88	o 274176
5.67/3.89	o 275239
5.77/3.98	o 281482
5.77/3.98	o 284521
5.77/3.98	o 285584
5.77/3.99	o 286052
5.77/4.00	o 287090
5.77/4.00	o 287558
5.88/4.01	o 290052
5.88/4.01	o 293091
5.88/4.02	o 294154
6.78/4.94	o 299653
6.78/4.94	o 302692
6.78/4.95	o 308286
6.78/4.95	o 311325
6.78/4.95	o 316824
6.78/4.95	o 319863
6.78/4.95	o 323454
6.78/4.95	o 326493
6.78/4.97	o 326563
6.78/4.98	o 329346
6.78/4.98	o 332937
6.78/4.98	o 335976
6.78/4.99	o 336046
6.90/5.10	o 337264
6.90/5.10	o 340303
7.00/5.11	o 340328
7.19/5.30	o 341134
7.19/5.33	o 341159
7.41/5.55	o 341856
7.41/5.55	o 344895
7.41/5.56	o 344920
7.51/5.66	o 345726
7.51/5.68	o 345751
10.41/8.50	o 349119
11.81/9.91	o 349689
11.81/9.91	o 350752
12.02/10.13	o 351626
12.92/11.08	o 353749
12.92/11.08	o 356788
12.92/11.08	o 357851
13.11/11.23	o 358725
13.86/12.00	o 359278
13.97/12.05	o 359947
13.97/12.06	o 360152
16.57/14.60	o 363115
16.57/14.62	o 363577
16.57/14.64	o 364919
16.57/14.65	o 365381
17.27/15.35	o 366346
17.27/15.36	o 366808
17.80/15.82	o 367734
17.80/15.83	o 368196
19.70/17.73	o 370034
19.70/17.74	o 370496
19.70/17.76	o 371838
19.70/17.77	o 372300
20.10/18.11	o 373265
20.10/18.12	o 373727
20.40/18.41	o 374653
20.40/18.41	o 375115
23.21/21.25	o 377335
23.21/21.26	o 377797
23.21/21.28	o 379139
23.21/21.28	o 379601
23.51/21.52	o 380566
23.51/21.52	o 381028
23.71/21.70	o 381954
23.71/21.71	o 382416
25.32/23.35	o 382730
25.32/23.37	o 383009
25.32/23.37	o 384072
25.32/23.38	o 384534
26.22/24.20	o 389611
26.22/24.20	o 392650
26.22/24.20	o 393713
26.22/24.22	o 394175
26.22/24.24	o 394454
26.22/24.24	o 395517
26.22/24.25	o 395979
26.82/24.83	o 396905
26.82/24.84	o 397367
27.82/25.80	o 400255
27.82/25.80	o 401318
27.82/25.81	o 401780
27.82/25.82	o 402059
27.82/25.82	o 403122
27.82/25.82	o 403584
28.03/26.09	o 404510
28.03/26.10	o 404972
29.62/27.62	o 406956
29.62/27.62	o 408019
29.62/27.63	o 408481
36.71/34.59	o 408742
36.91/34.79	o 409668
36.91/34.79	o 410130
37.61/35.45	o 412114
37.61/35.45	o 413177
37.61/35.45	o 413639
38.91/36.79	o 413667
38.91/36.79	o 416706
38.91/36.79	o 417769
39.01/36.81	o 418231
39.11/36.95	o 418450
39.11/36.96	o 418919
39.11/36.97	o 421447
39.11/36.97	o 424486
39.11/36.97	o 425549
39.11/36.98	o 426011
39.61/37.41	o 426444
39.61/37.42	o 426906
39.61/37.43	o 427247
39.61/37.43	o 428310
39.61/37.43	o 428772
40.01/37.86	o 428831
40.01/37.87	o 429172
40.01/37.87	o 430235
40.01/37.87	o 430697
40.32/38.11	o 430800
40.32/38.11	o 433839
40.32/38.11	o 434902
40.32/38.12	o 435364
40.41/38.21	o 435764
40.41/38.21	o 436827
40.41/38.22	o 437289
41.51/39.36	o 438217
41.51/39.36	o 438679
41.91/39.79	o 438738
42.01/39.80	o 439079
42.01/39.80	o 440142
42.01/39.80	o 440604
42.22/40.04	o 440707
42.22/40.04	o 443746
42.22/40.04	o 444809
42.22/40.05	o 445271
42.32/40.14	o 445671
42.32/40.14	o 446734
42.32/40.14	o 447196
43.82/41.60	o 447572
43.82/41.66	o 447972
43.82/41.66	o 449035
43.82/41.67	o 449497
46.23/44.06	o 451442
46.23/44.06	o 452505
46.23/44.06	o 452967
47.33/45.11	o 453743
47.33/45.11	o 454806
47.33/45.12	o 455268
121.91/119.61	o 458313
122.42/120.19	o 459653
122.61/120.30	o 461053
122.61/120.31	o 464245
128.72/126.46	o 465424
128.82/126.54	o 466824
128.82/126.55	o 470016
151.25/148.99	o 470099
151.25/149.00	o 471425
151.25/149.00	o 473291
186.49/184.11	o 473900
186.49/184.11	o 475226
186.49/184.11	o 477092
457.51/454.93	o 477749
457.51/454.93	o 478211
464.31/461.77	o 480223
464.31/461.77	o 480685
465.11/462.53	o 481724
465.11/462.53	o 482186
465.82/463.27	o 483167
465.82/463.27	o 483629
467.02/464.46	o 486155
467.02/464.46	o 486617
467.52/464.93	o 487656
467.52/464.93	o 488118
505.06/502.44	o 489045
505.06/502.45	o 489507
505.26/502.68	o 490546
505.26/502.68	o 491008
1221.65/1218.11	o 491743
1221.65/1218.11	o 492806
1221.65/1218.11	o 493268
1221.74/1218.20	o 494001
1221.74/1218.20	o 495064
1221.74/1218.20	o 495526
1600.26/1596.30	o 496092
1600.26/1596.30	o 496554
1600.36/1596.32	o 498982
1600.36/1596.32	o 499444
1615.38/1611.36	o 500830
1615.38/1611.36	o 501292
1619.99/1615.92	o 501689
1623.00/1618.99	o 502855
1623.00/1618.99	o 503317
1623.21/1619.11	o 505745
1623.21/1619.11	o 506207
1632.61/1628.50	o 506773
1632.61/1628.51	o 507235
1632.61/1628.53	o 509663
1632.61/1628.53	o 510125
1645.32/1641.22	o 511511
1645.32/1641.22	o 511973
1680.98/1676.85	o 512052
1682.48/1678.35	o 512933
1682.48/1678.35	o 515508
1682.48/1678.35	o 515970
1684.29/1680.13	o 517356
1684.29/1680.13	o 517818
2016.26/2011.68	o 519088
2016.26/2011.68	o 519550
2520.05/2514.70	s SATISFIABLE
2520.05/2514.71	v <instantiation>
2520.05/2514.71	v 	<list>
2520.05/2514.71	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 
2520.05/2514.71	v 	</list>
2520.05/2514.71	v 	<values>
2520.05/2514.71	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2520.05/2514.71	v 	</values>
2520.05/2514.71	v </instantiation>

Verifier Data 

OK	519550

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298477-1532763239/watcher-4298477-1532763239 -o /tmp/evaluation-result-4298477-1532763239/solver-4298477-1532763239 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532740752-11667 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298477-1532763239.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14540, runsolver pid=14537
Current StackSize limit: 8192 KiB


[startup+0.102242 s]*
/proc/loadavg: 1.62 1.45 1.47 4/219 14555
/proc/meminfo: memFree=22698536/32770624 swapFree=67108860/67108860
[pid=14540] ppid=14537 vsize=10661056 memory=27712 CPUtime=0.14 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14537 14540 11635 0 -1 1077944320 5326 0 0 0 13 1 0 0 20 0 15 0 93887062 10916921344 6928 33554432000 4194304 4196468 140732973434016 140732973416560 140537293995767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
/proc/14540/statm: 2665264 6928 2845 1 0 2627263 0
[pid=14540/tid=14542] ppid=14537 vsize=10661056 memory=-7254947776133162106 CPUtime=0.09 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14537 14540 11635 0 -1 1077944384 3154 0 0 0 9 0 0 0 20 0 15 0 93887062 10916921344 6928 33554432000 4194304 4196468 140732973434016 140537298224624 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14543] ppid=14537 vsize=10661056 memory=5793855751208634809 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536900803216 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14544] ppid=14537 vsize=10661056 memory=140500198741632 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536899750416 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14545] ppid=14537 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536898697616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14546] ppid=14537 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14537 14540 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93887063 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536897644816 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14547] ppid=14537 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887064 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536853744496 140537294006914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14548] ppid=14537 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14537 14540 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93887065 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536852690464 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14549] ppid=14537 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14537 14540 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93887065 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536851637616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14550] ppid=14537 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14550/stat : 14550 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536850585936 140537294014363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14551] ppid=14537 vsize=10661056 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) R 14537 14540 11635 0 -1 4202560 460 0 0 0 1 0 0 0 20 0 15 0 93887067 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536849524800 140537279597521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14552] ppid=14537 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) R 14537 14540 11635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93887067 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536848480592 140537294005973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14553] ppid=14537 vsize=10661056 memory=140500198741632 CPUtime=0.02 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14537 14540 11635 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 15 0 93887067 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536847427696 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14554] ppid=14537 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536846375136 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14555] ppid=14537 vsize=10661056 memory=140500198741632 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14537 14540 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93887068 10916921344 6928 33554432000 4194304 4196468 140732973434016 140536845323440 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27712 KiB

[startup+0.211664 s]*
/proc/loadavg: 1.62 1.45 1.47 6/219 14555
/proc/meminfo: memFree=22686380/32770624 swapFree=67108860/67108860
[pid=14540] ppid=14537 vsize=10661056 memory=41012 CPUtime=0.36 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14537 14540 11635 0 -1 1077944320 8375 0 0 0 34 2 0 0 20 0 15 0 93887062 10916921344 10253 33554432000 4194304 4196468 140732973434016 140732973416560 140537293995767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
/proc/14540/statm: 2665264 10253 2998 1 0 2627263 0
[pid=14540/tid=14542] ppid=14537 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) R 14537 14540 11635 0 -1 4202560 5112 0 0 0 19 1 0 0 20 0 15 0 93887062 10916921344 10253 33554432000 4194304 4196468 140732973434016 140537298235552 140537294017693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14543] ppid=14537 vsize=10661056 memory=4211974226403532170 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536900803216 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14544] ppid=14537 vsize=10661056 memory=140500198741632 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536899750416 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14545] ppid=14537 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536898697616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14546] ppid=14537 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14537 14540 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93887063 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536897644816 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14547] ppid=14537 vsize=10661056 memory=140500198741632 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887064 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536853744496 140537294006914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14548] ppid=14537 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14537 14540 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93887065 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536852690464 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14549] ppid=14537 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14537 14540 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93887065 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536851637616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14550] ppid=14537 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14550/stat : 14550 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536850585936 140537294014363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14551] ppid=14537 vsize=10661056 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) R 14537 14540 11635 0 -1 4202560 918 0 0 0 4 0 0 0 20 0 15 0 93887067 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536849514312 140537286285188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14552] ppid=14537 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) R 14537 14540 11635 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 93887067 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536848480496 140537294006914 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14553] ppid=14537 vsize=10661056 memory=140500198741632 CPUtime=0.08 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) R 14537 14540 11635 0 -1 4202560 930 0 0 0 8 0 0 0 20 0 15 0 93887067 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536847424872 140537272535796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14554] ppid=14537 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536846375136 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14555] ppid=14537 vsize=10661056 memory=140500198741632 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14537 14540 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93887068 10916921344 10253 33554432000 4194304 4196468 140732973434016 140536845323440 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 41012 KiB

[startup+0.311099 s]*
/proc/loadavg: 1.62 1.45 1.47 7/219 14555
/proc/meminfo: memFree=22679184/32770624 swapFree=67108860/67108860
[pid=14540] ppid=14537 vsize=10661132 memory=47328 CPUtime=0.62 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14537 14540 11635 0 -1 1077944320 8979 0 0 0 60 2 0 0 20 0 15 0 93887062 10916999168 11832 33554432000 4194304 4196468 140732973434016 140732973416560 140537293995767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
/proc/14540/statm: 2665283 11832 3056 1 0 2627263 0
[pid=14540/tid=14542] ppid=14537 vsize=10661132 memory=6735269665583770266 CPUtime=0.29 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) R 14537 14540 11635 0 -1 4202560 5431 0 0 0 28 1 0 0 20 0 15 0 93887062 10916999168 11832 33554432000 4194304 4196468 140732973434016 140537298229200 140537280065278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14543] ppid=14537 vsize=10661132 memory=4211974226403532170 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536900803216 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14544] ppid=14537 vsize=10661132 memory=281000256047488 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536899750416 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14545] ppid=14537 vsize=10661132 memory=281000114639360 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536898697616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14546] ppid=14537 vsize=10661132 memory=140500057305871 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14537 14540 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536897644816 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14547] ppid=14537 vsize=10661132 memory=281000256056704 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887064 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536853744496 140537294006914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14548] ppid=14537 vsize=10661132 memory=140500057310479 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14537 14540 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536852690464 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14549] ppid=14537 vsize=10661132 memory=140500057324451 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14537 14540 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536851637616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14550] ppid=14537 vsize=10661132 memory=140500057329396 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14550/stat : 14550 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536850585936 140537294014363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14551] ppid=14537 vsize=10661132 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) R 14537 14540 11635 0 -1 4202560 1011 0 0 0 9 0 0 0 20 0 15 0 93887067 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536849525248 140537275368177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14552] ppid=14537 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) R 14537 14540 11635 0 -1 4202560 119 0 0 0 5 0 0 0 20 0 15 0 93887067 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536848473688 140537273649632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14553] ppid=14537 vsize=10661132 memory=140500198741632 CPUtime=0.15 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) R 14537 14540 11635 0 -1 4202560 1053 0 0 0 15 0 0 0 20 0 15 0 93887067 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536847423424 140537272970708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14554] ppid=14537 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536846375136 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14555] ppid=14537 vsize=10661132 memory=140500198769344 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14537 14540 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93887068 10916999168 11832 33554432000 4194304 4196468 140732973434016 140536845323440 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47328 KiB

[startup+0.701144 s]
/proc/loadavg: 1.62 1.45 1.47 3/219 14555
/proc/meminfo: memFree=22449504/32770624 swapFree=67108860/67108860
[pid=14540] ppid=14537 vsize=10661132 memory=288356 CPUtime=1.71 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14537 14540 11635 0 -1 1077944320 10946 0 0 0 164 7 0 0 20 0 15 0 93887062 10916999168 72089 33554432000 4194304 4196468 140732973434016 140732973416560 140537293995767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
/proc/14540/statm: 2665283 72089 3113 1 0 2627263 0
[pid=14540/tid=14542] ppid=14537 vsize=10661132 memory=56 CPUtime=0.67 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) R 14537 14540 11635 0 -1 4202560 5731 0 0 0 62 5 0 0 20 0 15 0 93887062 10916999168 72089 33554432000 4194304 4196468 140732973434016 140537298226640 140536920043157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14543] ppid=14537 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536900803216 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14544] ppid=14537 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536899750416 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14545] ppid=14537 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536898697616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14546] ppid=14537 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14537 14540 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536897644816 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14547] ppid=14537 vsize=10661132 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14537 14540 11635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93887064 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536853744496 140537294006914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14548] ppid=14537 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14537 14540 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536852690464 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14549] ppid=14537 vsize=10661132 memory=8452 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14537 14540 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536851637616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14550] ppid=14537 vsize=10661132 memory=5776 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14550/stat : 14550 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536850585936 140537294014363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14551] ppid=14537 vsize=10661132 memory=1200 CPUtime=0.38 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) S 14537 14540 11635 0 -1 1077944384 1492 0 0 0 38 0 0 0 20 0 15 0 93887067 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536849533296 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14552] ppid=14537 vsize=10661132 memory=12136 CPUtime=0.36 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) R 14537 14540 11635 0 -1 4202560 892 0 0 0 36 0 0 0 20 0 15 0 93887067 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536848466520 140537272397776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14553] ppid=14537 vsize=10661132 memory=1008 CPUtime=0.26 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14537 14540 11635 0 -1 1077944384 1458 0 0 0 26 0 0 0 20 0 15 0 93887067 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536847427696 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14554] ppid=14537 vsize=10661132 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536846375136 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14555] ppid=14537 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14537 14540 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93887068 10916999168 72089 33554432000 4194304 4196468 140732973434016 140536845323440 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 288356 KiB

[startup+1.50083 s]
/proc/loadavg: 1.62 1.45 1.47 3/219 14555
/proc/meminfo: memFree=22435604/32770624 swapFree=67108860/67108860
[pid=14540] ppid=14537 vsize=10661132 memory=293124 CPUtime=2.66 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14537 14540 11635 0 -1 1077944320 11122 0 0 0 259 7 0 0 20 0 15 0 93887062 10916999168 73281 33554432000 4194304 4196468 140732973434016 140732973416560 140537293995767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
/proc/14540/statm: 2665283 73281 3123 1 0 2627263 0
[pid=14540/tid=14542] ppid=14537 vsize=10661132 memory=4132 CPUtime=1.47 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) R 14537 14540 11635 0 -1 4202560 5830 0 0 0 142 5 0 0 20 0 15 0 93887062 10916999168 73281 33554432000 4194304 4196468 140732973434016 140537298234760 140536920274515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14543] ppid=14537 vsize=10661132 memory=27292 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 73281 33554432000 4194304 4196468 140732973434016 140536900803216 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14544] ppid=14537 vsize=10661132 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 73281 33554432000 4194304 4196468 140732973434016 140536899750416 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14545] ppid=14537 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14537 14540 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 73281 33554432000 4194304 4196468 140732973434016 140536898697616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14546] ppid=14537 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14537 14540 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93887063 10916999168 73281 33554432000 4194304 4196468 140732973434016 140536897644816 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14547] ppid=14537 vsize=10661132 memory=7306059475989848148 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14537 14540 11635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93887064 10916999168 73281 33554432000 4194304 4196468 140732973434016 140536853744496 140537294006914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0

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

/proc/14540/task/14542/stat : 14542 (java) R 14537 14540 11635 0 -1 4202560 17793 0 0 0 244068 9 0 0 20 0 15 0 93887062 10916999168 90546 33554432000 4194304 4196468 140732973434016 140537298235040 140536920904395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14543] ppid=14537 vsize=10661132 memory=4132 CPUtime=0.91 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14537 14540 11635 0 -1 1077944384 7088 0 0 0 89 2 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536900803216 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14544] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.92 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14537 14540 11635 0 -1 1077944384 6826 0 0 0 89 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536899750416 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14545] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.92 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14537 14540 11635 0 -1 1077944384 8326 0 0 0 89 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536898697616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14546] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.92 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14537 14540 11635 0 -1 1077944384 5831 0 0 0 89 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536897644816 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14547] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.33 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14537 14540 11635 0 -1 1077944384 9220 0 0 0 28 5 0 0 20 0 15 0 93887064 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536853744496 140537294006914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14548] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14537 14540 11635 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536852690464 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14549] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14537 14540 11635 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536851637616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14550] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14550/stat : 14550 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536850585936 140537294014363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14551] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.84 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) S 14537 14540 11635 0 -1 1077944384 6179 0 0 0 83 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536849533296 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14552] ppid=14537 vsize=10661132 memory=360136 CPUtime=1.02 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) S 14537 14540 11635 0 -1 1077944384 7861 0 0 0 101 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536848480496 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14553] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.36 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14537 14540 11635 0 -1 1077944384 4109 0 0 0 35 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536847427696 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14554] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536846375136 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14555] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.49 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14537 14540 11635 0 -1 1077944384 1800 0 0 0 19 30 0 0 20 0 15 0 93887068 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536845323440 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
Current children cumulated CPU time: 2447.55 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 362184 KiB

[startup+2502.3 s]
/proc/loadavg: 1.79 1.67 1.68 3/218 14740
/proc/meminfo: memFree=22972008/32770624 swapFree=67108860/67108860
[pid=14540] ppid=14537 vsize=10661132 memory=362184 CPUtime=2507.63 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14537 14540 11635 0 -1 1077944320 77386 0 0 0 250713 50 0 0 20 0 15 0 93887062 10916999168 90546 33554432000 4194304 4196468 140732973434016 140732973416560 140537293995767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
/proc/14540/statm: 2665283 90546 3160 1 0 2627263 0
[pid=14540/tid=14542] ppid=14537 vsize=10661132 memory=362184 CPUtime=2500.73 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) R 14537 14540 11635 0 -1 4202560 17936 0 0 0 250064 9 0 0 20 0 15 0 93887062 10916999168 90546 33554432000 4194304 4196468 140732973434016 140537298235184 140536920904443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14543] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.94 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14537 14540 11635 0 -1 1077944384 7243 0 0 0 91 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536900803216 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14544] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.94 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14537 14540 11635 0 -1 1077944384 6897 0 0 0 91 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536899750416 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14545] ppid=14537 vsize=10661132 memory=1224 CPUtime=0.94 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14537 14540 11635 0 -1 1077944384 8403 0 0 0 91 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536898697616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14546] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.95 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14537 14540 11635 0 -1 1077944384 6103 0 0 0 92 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536897644816 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14547] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.34 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14537 14540 11635 0 -1 1077944384 9393 0 0 0 29 5 0 0 20 0 15 0 93887064 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536853744496 140537294006914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14548] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14537 14540 11635 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536852690464 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14549] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14537 14540 11635 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536851637616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14550] ppid=14537 vsize=10661132 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14550/stat : 14550 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536850585936 140537294014363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14551] ppid=14537 vsize=10661132 memory=4132 CPUtime=0.84 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) S 14537 14540 11635 0 -1 1077944384 6182 0 0 0 83 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536849533296 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14552] ppid=14537 vsize=10661132 memory=27336 CPUtime=1.02 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) S 14537 14540 11635 0 -1 1077944384 7863 0 0 0 101 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536848480496 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14553] ppid=14537 vsize=10661132 memory=1200 CPUtime=0.36 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14537 14540 11635 0 -1 1077944384 4111 0 0 0 35 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536847427696 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14554] ppid=14537 vsize=10661132 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536846375136 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14555] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.5 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14537 14540 11635 0 -1 1077944384 1823 0 0 0 20 30 0 0 20 0 15 0 93887068 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536845323440 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
Current children cumulated CPU time: 2507.63 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 362184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.7 s]
/proc/loadavg: 1.84 1.68 1.69 3/218 14740
/proc/meminfo: memFree=22963984/32770624 swapFree=67108860/67108860
[pid=14540] ppid=14537 vsize=10661132 memory=362184 CPUtime=2520.05 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14537 14540 11635 0 -1 1077944320 78221 0 0 0 251954 51 0 0 20 0 15 0 93887062 10916999168 90546 33554432000 4194304 4196468 140732973434016 140732973416560 140537293995767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
/proc/14540/statm: 2665283 90546 3160 1 0 2627263 0
[pid=14540/tid=14542] ppid=14537 vsize=10661132 memory=362184 CPUtime=2513.12 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) R 14537 14540 11635 0 -1 4202560 18059 0 0 0 251303 9 0 0 20 0 15 0 93887062 10916999168 90546 33554432000 4194304 4196468 140732973434016 140537298235184 140536921300041 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14543] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.95 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14537 14540 11635 0 -1 1077944384 7305 0 0 0 92 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536900803216 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14544] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.95 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14537 14540 11635 0 -1 1077944384 6957 0 0 0 92 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536899750416 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14545] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.95 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14537 14540 11635 0 -1 1077944384 8555 0 0 0 92 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536898697616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14546] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.95 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14537 14540 11635 0 -1 1077944384 6353 0 0 0 92 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536897644816 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14547] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.34 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14537 14540 11635 0 -1 1077944384 9557 0 0 0 29 5 0 0 20 0 15 0 93887064 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536853744496 140537294006914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14548] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14537 14540 11635 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536852690464 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14549] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14537 14540 11635 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536851637616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14550] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14550/stat : 14550 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536850585936 140537294014363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14551] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.84 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) S 14537 14540 11635 0 -1 1077944384 6184 0 0 0 83 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536849533296 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14552] ppid=14537 vsize=10661132 memory=362184 CPUtime=1.02 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) S 14537 14540 11635 0 -1 1077944384 7866 0 0 0 101 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536848480496 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14553] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.36 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14537 14540 11635 0 -1 1077944384 4113 0 0 0 35 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536847427696 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14554] ppid=14537 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536846375136 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14555] ppid=14537 vsize=10661132 memory=796 CPUtime=0.5 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14537 14540 11635 0 -1 1077944384 1840 0 0 0 20 30 0 0 20 0 15 0 93887068 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536845323440 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 362184 KiB

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

[startup+2514.73 s]
# the end of solver process 14540 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.57 s, system=0.51409 s

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

[startup+2514.7 s]
/proc/loadavg: 1.84 1.68 1.69 3/218 14740
/proc/meminfo: memFree=22963984/32770624 swapFree=67108860/67108860
[pid=14540] ppid=14537 vsize=10661132 memory=362184 CPUtime=2520.05 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14537 14540 11635 0 -1 1077944320 78221 0 0 0 251954 51 0 0 20 0 15 0 93887062 10916999168 90546 33554432000 4194304 4196468 140732973434016 140732973416560 140537293995767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
/proc/14540/statm: 2665283 90546 3160 1 0 2627263 0
[pid=14540/tid=14542] ppid=14537 vsize=10661132 memory=362184 CPUtime=2513.12 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) R 14537 14540 11635 0 -1 4202560 18059 0 0 0 251303 9 0 0 20 0 15 0 93887062 10916999168 90546 33554432000 4194304 4196468 140732973434016 140537298235184 140536921300041 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14543] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.95 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14537 14540 11635 0 -1 1077944384 7305 0 0 0 92 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536900803216 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14544] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.95 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14537 14540 11635 0 -1 1077944384 6957 0 0 0 92 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536899750416 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14545] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.95 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14537 14540 11635 0 -1 1077944384 8555 0 0 0 92 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536898697616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14546] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.95 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14537 14540 11635 0 -1 1077944384 6353 0 0 0 92 3 0 0 20 0 15 0 93887063 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536897644816 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14547] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.34 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14537 14540 11635 0 -1 1077944384 9557 0 0 0 29 5 0 0 20 0 15 0 93887064 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536853744496 140537294006914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14548] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14537 14540 11635 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536852690464 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14549] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14537 14540 11635 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 93887065 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536851637616 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14550] ppid=14537 vsize=10661132 memory=362184 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14550/stat : 14550 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536850585936 140537294014363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14551] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.84 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) S 14537 14540 11635 0 -1 1077944384 6184 0 0 0 83 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536849533296 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14552] ppid=14537 vsize=10661132 memory=362184 CPUtime=1.02 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) S 14537 14540 11635 0 -1 1077944384 7866 0 0 0 101 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536848480496 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14553] ppid=14537 vsize=10661132 memory=362184 CPUtime=0.36 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14537 14540 11635 0 -1 1077944384 4113 0 0 0 35 1 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536847427696 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14554] ppid=14537 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14537 14540 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93887067 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536846375136 140537294005973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
[pid=14540/tid=14555] ppid=14537 vsize=10661132 memory=796 CPUtime=0.5 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14537 14540 11635 0 -1 1077944384 1840 0 0 0 20 30 0 0 20 0 15 0 93887068 10916999168 90546 33554432000 4194304 4196468 140732973434016 140536845323440 140537294006914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12386304 140732973438069 140732973438217 140732973438217 140732973440975 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 362184 KiB

Child status: 143
Real time (s): 2514.73
CPU time (s): 2520.09
CPU user time (s): 2519.57
CPU system time (s): 0.51409
CPU usage (%): 100.213
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 408128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.51409
maximum resident set size= 412744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78626
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= 64270
involuntary context switches= 3761


# summary of solver processes directly reported to runsolver:
#   pid: 14540
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2519.57
#   total CPU system time (s): 0.51409

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4537 second user time and 20.9078 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-28 09:33:59
IDJOB=4298477
IDBENCH=141145
IDSOLVER=2762
FILE ID=node132/4298477-1532763239
RUNJOBID= node132-1532740752-11667
PBS_JOBID= 21022446
Free space on /tmp= 52040 MiB

SOLVER NAME= GG's minicp 2018-04-29
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay100_c18.xml
COMMAND LINE= java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298477-1532763239/watcher-4298477-1532763239 -o /tmp/evaluation-result-4298477-1532763239/solver-4298477-1532763239 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532740752-11667 --watchdog 2580  java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298477-1532763239.xml

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

MD5SUM BENCH= d8b461fac2d17be3b89e017753091d4e
RANDOM SEED=185321705

node132.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.65
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.65
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.65
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.65
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:        22714668 kB
MemAvailable:   30939248 kB
Buffers:          199140 kB
Cached:          8231480 kB
SwapCached:            0 kB
Active:          3579416 kB
Inactive:        5896392 kB
Active(anon):     995416 kB
Inactive(anon):    77852 kB
Active(file):    2584000 kB
Inactive(file):  5818540 kB
Unevictable:        6992 kB
Mlocked:            6992 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1348 kB
Writeback:             0 kB
AnonPages:       1035408 kB
Mapped:            54704 kB
Shmem:             25248 kB
Slab:             278244 kB
SReclaimable:     250500 kB
SUnreclaim:        27744 kB
KernelStack:        3888 kB
PageTables:         7632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2637644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    923648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52040 MiB
End job on node132 at 2018-07-28 10:15:54