Trace number 4298494

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
Solver of Xavier Schul & Yvhan Smal 2018-04-28SAT (TO)442141 2520.07 2515.43

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay200_c18.xml
MD5SUMef8d95b3b89bfc5ccba73a2d09f74d17
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1436430
Best CPU time to get the best result obtained on this benchmark2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}]
Minimum constraint arity36
Maximum constraint arity75
Distribution of constraint arities[{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":200}]
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.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: -1
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
2.62/1.58	o 0
2.62/1.59	o 2241
2.62/1.59	o 15582
2.62/1.59	o 17823
2.62/1.59	o 25823
2.62/1.60	o 28064
2.78/1.60	o 29337
2.78/1.60	o 42678
2.78/1.60	o 44919
2.78/1.61	o 52919
2.78/1.61	o 55160
2.78/1.61	o 57128
2.78/1.61	o 59369
2.78/1.62	o 72096
2.78/1.62	o 74337
2.78/1.62	o 82337
2.78/1.62	o 84578
2.78/1.63	o 86546
2.78/1.63	o 88787
2.78/1.63	o 90364
2.78/1.63	o 91032
2.78/1.63	o 93000
2.78/1.63	o 95241
2.78/1.63	o 95908
2.78/1.64	o 98149
2.78/1.64	o 106149
2.78/1.64	o 108390
2.78/1.64	o 109967
2.78/1.64	o 112603
2.78/1.64	o 114844
2.78/1.64	o 116249
2.78/1.64	o 116917
2.78/1.64	o 118885
2.78/1.64	o 121126
2.78/1.64	o 121793
2.78/1.64	o 124034
2.78/1.65	o 132034
2.78/1.65	o 134275
2.78/1.65	o 135852
2.78/1.65	o 138488
2.78/1.65	o 140729
2.78/1.65	o 141612
2.78/1.65	o 143853
2.78/1.65	o 145430
2.78/1.65	o 148066
2.78/1.65	o 150307
2.78/1.66	o 150372
2.78/1.66	o 158372
2.78/1.66	o 160613
2.78/1.66	o 162190
2.78/1.66	o 164826
2.78/1.66	o 167067
2.78/1.66	o 167950
2.78/1.66	o 170191
2.78/1.66	o 171768
2.78/1.66	o 174404
2.78/1.67	o 176645
2.78/1.67	o 178012
2.78/1.67	o 180253
2.78/1.68	o 182109
2.78/1.68	o 184350
2.78/1.68	o 185233
2.78/1.68	o 187474
2.78/1.68	o 189051
2.78/1.68	o 191687
2.78/1.68	o 193928
2.78/1.68	o 195295
2.78/1.68	o 197536
2.78/1.69	o 198769
2.78/1.69	o 201010
3.03/1.70	o 201720
3.03/1.70	o 203087
3.03/1.70	o 205328
3.03/1.70	o 206561
3.03/1.70	o 208802
3.03/1.71	o 209872
3.03/1.71	o 211105
3.03/1.71	o 213346
3.03/1.72	o 213414
3.03/1.72	o 214124
3.03/1.72	o 215491
3.03/1.72	o 217732
3.03/1.73	o 218965
3.03/1.73	o 221206
3.03/1.73	o 222276
3.03/1.74	o 223509
3.03/1.74	o 225750
3.03/1.75	o 227193
3.03/1.75	o 229434
3.03/1.75	o 230667
3.03/1.75	o 232908
3.03/1.76	o 233978
3.03/1.76	o 235211
3.03/1.76	o 237452
3.03/1.77	o 237501
3.03/1.77	o 238734
3.03/1.77	o 240975
3.03/1.78	o 242045
3.03/1.78	o 243278
3.03/1.78	o 245519
3.03/1.79	o 246684
3.21/1.80	o 247260
3.21/1.81	o 248330
3.21/1.81	o 249563
3.21/1.81	o 251804
3.21/1.81	o 252969
3.21/1.82	o 253204
3.21/1.83	o 254647
3.21/1.83	o 256888
3.21/1.83	o 258121
3.21/1.83	o 260362
3.21/1.84	o 261432
3.21/1.84	o 262665
3.21/1.84	o 264906
3.21/1.85	o 264955
3.21/1.85	o 266188
3.21/1.85	o 268429
3.21/1.85	o 269499
3.21/1.86	o 270732
3.21/1.86	o 272973
3.21/1.86	o 274138
3.21/1.87	o 274714
3.21/1.87	o 275784
3.21/1.88	o 277017
3.21/1.88	o 279258
3.21/1.88	o 280423
3.37/1.93	o 281508
3.37/1.93	o 283749
3.37/1.93	o 284914
3.37/1.99	o 285867
3.37/1.99	o 288108
3.37/2.00	o 289273
3.50/2.02	o 290358
3.50/2.02	o 292599
3.50/2.02	o 293764
3.50/2.08	o 293849
3.50/2.10	o 294934
3.50/2.10	o 297175
3.50/2.10	o 298340
3.60/2.13	o 299293
3.60/2.13	o 301534
3.60/2.14	o 302699
3.60/2.15	o 303784
3.60/2.15	o 306025
3.60/2.16	o 307190
3.79/2.30	o 307684
3.79/2.30	o 309925
3.79/2.30	o 311090
3.89/2.43	o 313116
3.89/2.43	o 314281
3.89/2.45	o 315366
3.89/2.45	o 317607
3.89/2.45	o 318772
3.89/2.49	o 318857
3.99/2.51	o 319942
3.99/2.51	o 322183
3.99/2.51	o 323348
3.99/2.54	o 324301
3.99/2.54	o 326542
3.99/2.55	o 327707
3.99/2.56	o 328792
3.99/2.56	o 331033
3.99/2.57	o 332198
4.09/2.68	o 332692
4.09/2.68	o 334933
4.09/2.69	o 336098
5.50/3.91	o 337036
5.50/3.92	o 338201
6.20/4.68	o 338441
6.20/4.68	o 340018
6.61/5.09	o 342138
6.61/5.09	o 343303
7.91/6.27	o 344241
7.91/6.28	o 345406
8.72/7.03	o 345646
8.72/7.03	o 347223
10.11/8.46	o 348436
10.11/8.47	o 349601
10.74/9.07	o 350539
10.74/9.07	o 351704
11.34/9.62	o 351944
11.34/9.62	o 353521
12.94/11.26	o 353680
12.94/11.26	o 355921
12.94/11.26	o 357086
13.04/11.35	o 357580
13.04/11.35	o 359821
13.04/11.36	o 360986
13.94/12.26	o 361924
13.94/12.27	o 363089
14.45/12.79	o 363329
14.45/12.79	o 364906
14.76/13.08	o 367026
14.76/13.08	o 368191
15.65/13.99	o 369129
15.65/13.99	o 370294
16.24/14.51	o 370534
16.24/14.51	o 372111
17.14/15.40	o 373324
17.14/15.40	o 374489
17.54/15.85	o 375427
17.54/15.85	o 376592
17.94/16.23	o 376832
17.94/16.23	o 378409
21.34/19.66	o 378822
21.34/19.66	o 381063
21.34/19.67	o 382228
21.44/19.75	o 382722
21.44/19.75	o 384963
21.44/19.75	o 386128
21.96/20.24	o 387066
21.96/20.24	o 388231
22.26/20.56	o 388471
22.26/20.56	o 390048
22.46/20.80	o 392168
22.56/20.80	o 393333
22.96/21.28	o 394271
22.96/21.28	o 395436
23.36/21.60	o 395676
23.36/21.60	o 397253
37.47/35.70	o 398437
37.47/35.70	o 399602
37.88/36.16	o 399842
37.88/36.16	o 401419
135.35/133.50	o 403651
135.45/133.63	o 405754
145.26/143.44	o 406020
145.26/143.47	o 406446
145.26/143.47	o 407679
145.26/143.47	o 409920
293.27/291.36	o 409930
1010.06/1007.33	o 410473
1010.06/1007.33	o 412714
1041.60/1038.84	o 412724
1394.10/1390.99	o 413080
1438.57/1435.33	o 415312
1438.67/1435.45	o 417415
1446.29/1443.10	o 417681
1446.39/1443.13	o 418107
1446.39/1443.13	o 419340
1446.39/1443.13	o 421581
1516.77/1513.45	o 421591
1809.45/1805.79	o 422134
1809.45/1805.79	o 424375
1825.97/1822.25	o 424385
2149.26/2145.19	o 424863
2149.66/2145.52	o 425103
2149.66/2145.52	o 426680
2157.67/2153.50	o 427864
2157.67/2153.51	o 429029
2158.07/2153.96	o 429269
2158.07/2153.96	o 430846
2212.25/2208.04	o 433078
2212.35/2208.16	o 435181
2219.27/2215.01	o 435447
2219.27/2215.05	o 435873
2219.27/2215.05	o 437106
2219.27/2215.05	o 439347
2466.07/2461.50	o 439900
2466.07/2461.50	o 442141
2520.03/2515.40	s SATISFIABLE
2520.03/2515.41	v <instantiation>
2520.03/2515.41	v 	<list>
2520.03/2515.41	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.03/2515.41	v 	</list>
2520.03/2515.41	v 	<values>
2520.03/2515.41	v 		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 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.03/2515.41	v 	</values>
2520.03/2515.41	v </instantiation>

Verifier Data 

OK	442141

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298494-1532760825/watcher-4298494-1532760825 -o /tmp/evaluation-result-4298494-1532760825/solver-4298494-1532760825 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532740894-20192 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298494-1532760825.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
Current StackSize limit: 8192 KiB

solver pid=22559, runsolver pid=22556

[startup+0.100245 s]*
/proc/loadavg: 1.91 1.76 1.65 3/216 22574
/proc/meminfo: memFree=22978376/32770624 swapFree=67108688/67108860
[pid=22559] ppid=22556 vsize=10661052 memory=29880 CPUtime=0.12 cores=1,3,5,7
/proc/22559/stat : 22559 (java) S 22556 22559 20160 0 -1 1077944320 5307 0 0 0 11 1 0 0 20 0 15 0 93645419 10916917248 7470 33554432000 4194304 4196468 140730353971984 140730353954528 139786190724855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
/proc/22559/statm: 2665263 7470 2867 1 0 2627263 0
[pid=22559/tid=22561] ppid=22556 vsize=10661052 memory=-8125511277465734523 CPUtime=0.09 cores=1,3,5,7
/proc/22559/task/22561/stat : 22561 (java) R 22556 22559 20160 0 -1 4202560 3170 0 0 0 8 1 0 0 20 0 15 0 93645420 10916917248 7470 33554432000 4194304 4196468 140730353971984 139786194955744 139786190736790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22562] ppid=22556 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22562/stat : 22562 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785797294352 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22563] ppid=22556 vsize=10661052 memory=140399098320512 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22563/stat : 22563 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785796241808 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22564] ppid=22556 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22564/stat : 22564 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785795189264 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22565] ppid=22556 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22565/stat : 22565 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785794136720 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22566] ppid=22556 vsize=10661052 memory=140399098320512 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22566/stat : 22566 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645422 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785294309872 139786190736002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22567] ppid=22556 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22567/stat : 22567 (java) S 22556 22559 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93645422 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785293256096 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22568] ppid=22556 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22568/stat : 22568 (java) S 22556 22559 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93645423 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785292203504 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22569] ppid=22556 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22569/stat : 22569 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785291152080 139786190743451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22570] ppid=22556 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22570/stat : 22570 (java) S 22556 22559 20160 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 93645425 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785290098672 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22571] ppid=22556 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22571/stat : 22571 (java) S 22556 22559 20160 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 93645425 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785289046128 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22572] ppid=22556 vsize=10661052 memory=140399098320512 CPUtime=0.02 cores=1,3,5,7
/proc/22559/task/22572/stat : 22572 (java) R 22556 22559 20160 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 93645425 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785287993584 139786174805342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22573] ppid=22556 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22573/stat : 22573 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785286941280 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22574] ppid=22556 vsize=10661052 memory=140399098320512 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22574/stat : 22574 (java) R 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645425 10916917248 7470 33554432000 4194304 4196468 140730353971984 139785285888816 139786190736002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 29880 KiB

[startup+0.211849 s]*
/proc/loadavg: 1.91 1.76 1.65 7/216 22574
/proc/meminfo: memFree=22966376/32770624 swapFree=67108688/67108860
[pid=22559] ppid=22556 vsize=10661052 memory=43152 CPUtime=0.35 cores=1,3,5,7
/proc/22559/stat : 22559 (java) S 22556 22559 20160 0 -1 1077944320 8409 0 0 0 33 2 0 0 20 0 15 0 93645419 10916917248 10788 33554432000 4194304 4196468 140730353971984 140730353954528 139786190724855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
/proc/22559/statm: 2665263 10788 2984 1 0 2627263 0
[pid=22559/tid=22561] ppid=22556 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22559/task/22561/stat : 22561 (java) S 22556 22559 20160 0 -1 1077944384 5138 0 0 0 19 1 0 0 20 0 15 0 93645420 10916917248 10788 33554432000 4194304 4196468 140730353971984 139786194961168 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22562] ppid=22556 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22562/stat : 22562 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785797294352 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22563] ppid=22556 vsize=10661052 memory=140399098842210 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22563/stat : 22563 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785796241808 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22564] ppid=22556 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22564/stat : 22564 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785795189264 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22565] ppid=22556 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22565/stat : 22565 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785794136720 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22566] ppid=22556 vsize=10661052 memory=140399098320512 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22566/stat : 22566 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645422 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785294309872 139786190736002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22567] ppid=22556 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22567/stat : 22567 (java) S 22556 22559 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93645422 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785293256096 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22568] ppid=22556 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22568/stat : 22568 (java) S 22556 22559 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93645423 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785292203504 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22569] ppid=22556 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22569/stat : 22569 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785291152080 139786190743451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22570] ppid=22556 vsize=10661052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22559/task/22570/stat : 22570 (java) R 22556 22559 20160 0 -1 4202560 563 0 0 0 3 0 0 0 20 0 15 0 93645425 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785290098768 139786174046123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22571] ppid=22556 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22559/task/22571/stat : 22571 (java) R 22556 22559 20160 0 -1 4202560 381 0 0 0 2 0 0 0 20 0 15 0 93645425 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785289027240 139786190736790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22572] ppid=22556 vsize=10661052 memory=140399098320512 CPUtime=0.08 cores=1,3,5,7
/proc/22559/task/22572/stat : 22572 (java) R 22556 22559 20160 0 -1 4202560 962 0 0 0 8 0 0 0 20 0 15 0 93645425 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785287989312 139786190746202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22573] ppid=22556 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22573/stat : 22573 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785286941280 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22574] ppid=22556 vsize=10661052 memory=140399098320512 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22574/stat : 22574 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645425 10916917248 10788 33554432000 4194304 4196468 140730353971984 139785285888816 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 43152 KiB

[startup+0.310777 s]*
/proc/loadavg: 1.91 1.76 1.65 6/216 22574
/proc/meminfo: memFree=22958436/32770624 swapFree=67108688/67108860
[pid=22559] ppid=22556 vsize=10661128 memory=49916 CPUtime=0.61 cores=1,3,5,7
/proc/22559/stat : 22559 (java) S 22556 22559 20160 0 -1 1077944320 8992 0 0 0 58 3 0 0 20 0 15 0 93645419 10916995072 12479 33554432000 4194304 4196468 140730353971984 140730353954528 139786190724855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
/proc/22559/statm: 2665282 12479 3070 1 0 2627263 0
[pid=22559/tid=22561] ppid=22556 vsize=10661128 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/22559/task/22561/stat : 22561 (java) R 22556 22559 20160 0 -1 4202560 5457 0 0 0 28 2 0 0 20 0 15 0 93645420 10916995072 12479 33554432000 4194304 4196468 140730353971984 139786194958928 139785827920327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22562] ppid=22556 vsize=10661128 memory=4294979917 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22562/stat : 22562 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785797294352 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22563] ppid=22556 vsize=10661128 memory=140399098662316 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22563/stat : 22563 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785796241808 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22564] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22564/stat : 22564 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785795189264 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22565] ppid=22556 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22565/stat : 22565 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785794136720 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22566] ppid=22556 vsize=10661128 memory=140399098320512 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22566/stat : 22566 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645422 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785294309872 139786190736002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22567] ppid=22556 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22567/stat : 22567 (java) S 22556 22559 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93645422 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785293256096 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22568] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22568/stat : 22568 (java) S 22556 22559 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93645423 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785292203504 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22569] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22569/stat : 22569 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785291152080 139786190743451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22570] ppid=22556 vsize=10661128 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22559/task/22570/stat : 22570 (java) R 22556 22559 20160 0 -1 4202560 612 0 0 0 7 0 0 0 20 0 15 0 93645425 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785290098672 139786172249181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22571] ppid=22556 vsize=10661128 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22559/task/22571/stat : 22571 (java) S 22556 22559 20160 0 -1 1077944384 532 0 0 0 7 0 0 0 20 0 15 0 93645425 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785289046128 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22572] ppid=22556 vsize=10661128 memory=140399098320512 CPUtime=0.15 cores=1,3,5,7
/proc/22559/task/22572/stat : 22572 (java) R 22556 22559 20160 0 -1 4202560 1022 0 0 0 15 0 0 0 20 0 15 0 93645425 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785287990520 139786170965710 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22573] ppid=22556 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22573/stat : 22573 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785286941280 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22574] ppid=22556 vsize=10661128 memory=140399098320512 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22574/stat : 22574 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 12479 33554432000 4194304 4196468 140730353971984 139785285888816 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 49916 KiB

[startup+0.700739 s]
/proc/loadavg: 1.91 1.76 1.65 5/216 22574
/proc/meminfo: memFree=22776796/32770624 swapFree=67108688/67108860
[pid=22559] ppid=22556 vsize=10661128 memory=291460 CPUtime=1.76 cores=1,3,5,7
/proc/22559/stat : 22559 (java) S 22556 22559 20160 0 -1 1077944320 12189 0 0 0 169 7 0 0 20 0 15 0 93645419 10916995072 72865 33554432000 4194304 4196468 140730353971984 140730353954528 139786190724855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
/proc/22559/statm: 2665282 72865 3115 1 0 2627263 0
[pid=22559/tid=22561] ppid=22556 vsize=10661128 memory=237319223274373 CPUtime=0.67 cores=1,3,5,7
/proc/22559/task/22561/stat : 22561 (java) R 22556 22559 20160 0 -1 4202560 5721 0 0 0 61 6 0 0 20 0 15 0 93645420 10916995072 72865 33554432000 4194304 4196468 140730353971984 139786194963768 139785831396602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22562] ppid=22556 vsize=10661128 memory=4051047449723404320 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22562/stat : 22562 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785797294352 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22563] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22563/stat : 22563 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785796241808 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22564] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22564/stat : 22564 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785795189264 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22565] ppid=22556 vsize=10661128 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22565/stat : 22565 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785794136720 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22566] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22566/stat : 22566 (java) S 22556 22559 20160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93645422 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785294309872 139786190736002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22567] ppid=22556 vsize=10661128 memory=-6007660418857049897 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22567/stat : 22567 (java) S 22556 22559 20160 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93645422 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785293256096 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22568] ppid=22556 vsize=10661128 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22568/stat : 22568 (java) S 22556 22559 20160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93645423 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785292203504 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22569] ppid=22556 vsize=10661128 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22569/stat : 22569 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785291152080 139786190743451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22570] ppid=22556 vsize=10661128 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/22559/task/22570/stat : 22570 (java) S 22556 22559 20160 0 -1 1077944384 1849 0 0 0 39 0 0 0 20 0 15 0 93645425 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785290098672 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22571] ppid=22556 vsize=10661128 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/22559/task/22571/stat : 22571 (java) S 22556 22559 20160 0 -1 1077944384 1538 0 0 0 39 0 0 0 20 0 15 0 93645425 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785289046128 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22572] ppid=22556 vsize=10661128 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/22559/task/22572/stat : 22572 (java) S 22556 22559 20160 0 -1 1077944384 1709 0 0 0 28 0 0 0 20 0 15 0 93645425 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785287993584 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22573] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22573/stat : 22573 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785286941280 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22574] ppid=22556 vsize=10661128 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22574/stat : 22574 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 72865 33554432000 4194304 4196468 140730353971984 139785285888816 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 291460 KiB

[startup+1.5008 s]
/proc/loadavg: 1.91 1.76 1.65 3/216 22574
/proc/meminfo: memFree=22716444/32770624 swapFree=67108688/67108860
[pid=22559] ppid=22556 vsize=10661128 memory=293876 CPUtime=2.62 cores=1,3,5,7
/proc/22559/stat : 22559 (java) S 22556 22559 20160 0 -1 1077944320 12308 0 0 0 255 7 0 0 20 0 15 0 93645419 10916995072 73469 33554432000 4194304 4196468 140730353971984 140730353954528 139786190724855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
/proc/22559/statm: 2665282 73469 3127 1 0 2627263 0
[pid=22559/tid=22561] ppid=22556 vsize=10661128 memory=12848 CPUtime=1.47 cores=1,3,5,7
/proc/22559/task/22561/stat : 22561 (java) R 22556 22559 20160 0 -1 4202560 5784 0 0 0 141 6 0 0 20 0 15 0 93645420 10916995072 73469 33554432000 4194304 4196468 140730353971984 139786194961928 139785831396288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22562] ppid=22556 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22562/stat : 22562 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 73469 33554432000 4194304 4196468 140730353971984 139785797294352 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22563] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22563/stat : 22563 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 73469 33554432000 4194304 4196468 140730353971984 139785796241808 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22564] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22564/stat : 22564 (java) S 22556 22559 20160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 73469 33554432000 4194304 4196468 140730353971984 139785795189264 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22565] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22565/stat : 22565 (java) S 22556 22559 20160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93645421 10916995072 73469 33554432000 4194304 4196468 140730353971984 139785794136720 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22566] ppid=22556 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22566/stat : 22566 (java) S 22556 22559 20160 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93645422 10916995072 73469 33554432000 4194304 4196468 140730353971984 139785294309872 139786190736002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0

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

/proc/22559/task/22561/stat : 22561 (java) R 22556 22559 20160 0 -1 4202560 12813 0 0 0 238061 10 0 0 20 0 15 0 93645420 10916995072 91325 33554432000 4194304 4196468 140730353971984 139786194964128 139785831396469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22562] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.86 cores=1,3,5,7
/proc/22559/task/22562/stat : 22562 (java) S 22556 22559 20160 0 -1 1077944384 4973 0 0 0 84 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785797294352 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22563] ppid=22556 vsize=10661128 memory=4008 CPUtime=0.85 cores=1,3,5,7
/proc/22559/task/22563/stat : 22563 (java) S 22556 22559 20160 0 -1 1077944384 4613 0 0 0 83 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785796241808 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22564] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.85 cores=1,3,5,7
/proc/22559/task/22564/stat : 22564 (java) S 22556 22559 20160 0 -1 1077944384 3250 0 0 0 83 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785795189264 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22565] ppid=22556 vsize=10661128 memory=56 CPUtime=0.85 cores=1,3,5,7
/proc/22559/task/22565/stat : 22565 (java) S 22556 22559 20160 0 -1 1077944384 5573 0 0 0 83 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785794136720 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22566] ppid=22556 vsize=10661128 memory=4140 CPUtime=0.31 cores=1,3,5,7
/proc/22559/task/22566/stat : 22566 (java) S 22556 22559 20160 0 -1 1077944384 6014 0 0 0 28 3 0 0 20 0 15 0 93645422 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785294309872 139786190736002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22567] ppid=22556 vsize=10661128 memory=27160 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22567/stat : 22567 (java) S 22556 22559 20160 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93645422 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785293256096 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22568] ppid=22556 vsize=10661128 memory=365300 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22568/stat : 22568 (java) S 22556 22559 20160 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93645423 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785292203504 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22569] ppid=22556 vsize=10661128 memory=365284 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22569/stat : 22569 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785291152080 139786190743451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22570] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.62 cores=1,3,5,7
/proc/22559/task/22570/stat : 22570 (java) S 22556 22559 20160 0 -1 1077944384 3310 0 0 0 61 1 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785290098672 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22571] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.78 cores=1,3,5,7
/proc/22559/task/22571/stat : 22571 (java) S 22556 22559 20160 0 -1 1077944384 5419 0 0 0 78 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785289046128 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22572] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.35 cores=1,3,5,7
/proc/22559/task/22572/stat : 22572 (java) S 22556 22559 20160 0 -1 1077944384 2715 0 0 0 35 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785287993584 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22573] ppid=22556 vsize=10661128 memory=365300 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22573/stat : 22573 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785286941280 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22574] ppid=22556 vsize=10661128 memory=365284 CPUtime=0.46 cores=1,3,5,7
/proc/22559/task/22574/stat : 22574 (java) S 22556 22559 20160 0 -1 1077944384 1207 0 0 0 19 27 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785285888816 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
Current children cumulated CPU time: 2386.76 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 365300 KiB

[startup+2442.3 s]
/proc/loadavg: 1.44 1.58 1.64 3/216 23055
/proc/meminfo: memFree=22822952/32770624 swapFree=67108688/67108860
[pid=22559] ppid=22556 vsize=10661128 memory=365300 CPUtime=2446.84 cores=1,3,5,7
/proc/22559/stat : 22559 (java) S 22556 22559 20160 0 -1 1077944320 51872 0 0 0 244637 47 0 0 20 0 15 0 93645419 10916995072 91325 33554432000 4194304 4196468 140730353971984 140730353954528 139786190724855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
/proc/22559/statm: 2665282 91325 3156 1 0 2627263 0
[pid=22559/tid=22561] ppid=22556 vsize=10661128 memory=365300 CPUtime=2440.67 cores=1,3,5,7
/proc/22559/task/22561/stat : 22561 (java) R 22556 22559 20160 0 -1 4202560 12904 0 0 0 244057 10 0 0 20 0 15 0 93645420 10916995072 91325 33554432000 4194304 4196468 140730353971984 139786194964384 139785831396587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22562] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.88 cores=1,3,5,7
/proc/22559/task/22562/stat : 22562 (java) S 22556 22559 20160 0 -1 1077944384 5029 0 0 0 86 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785797294352 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22563] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.88 cores=1,3,5,7
/proc/22559/task/22563/stat : 22563 (java) S 22556 22559 20160 0 -1 1077944384 4731 0 0 0 86 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785796241808 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22564] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.87 cores=1,3,5,7
/proc/22559/task/22564/stat : 22564 (java) S 22556 22559 20160 0 -1 1077944384 3341 0 0 0 85 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785795189264 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22565] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.89 cores=1,3,5,7
/proc/22559/task/22565/stat : 22565 (java) S 22556 22559 20160 0 -1 1077944384 5611 0 0 0 86 3 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785794136720 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22566] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.32 cores=1,3,5,7
/proc/22559/task/22566/stat : 22566 (java) S 22556 22559 20160 0 -1 1077944384 6173 0 0 0 29 3 0 0 20 0 15 0 93645422 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785294309872 139786190736002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22567] ppid=22556 vsize=10661128 memory=365300 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22567/stat : 22567 (java) S 22556 22559 20160 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93645422 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785293256096 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22568] ppid=22556 vsize=10661128 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22568/stat : 22568 (java) S 22556 22559 20160 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93645423 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785292203504 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22569] ppid=22556 vsize=10661128 memory=365300 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22569/stat : 22569 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785291152080 139786190743451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22570] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.62 cores=1,3,5,7
/proc/22559/task/22570/stat : 22570 (java) S 22556 22559 20160 0 -1 1077944384 3310 0 0 0 61 1 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785290098672 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22571] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.78 cores=1,3,5,7
/proc/22559/task/22571/stat : 22571 (java) S 22556 22559 20160 0 -1 1077944384 5420 0 0 0 78 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785289046128 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22572] ppid=22556 vsize=10661128 memory=4140 CPUtime=0.35 cores=1,3,5,7
/proc/22559/task/22572/stat : 22572 (java) S 22556 22559 20160 0 -1 1077944384 2715 0 0 0 35 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785287993584 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22573] ppid=22556 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22573/stat : 22573 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785286941280 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22574] ppid=22556 vsize=10661128 memory=1228 CPUtime=0.47 cores=1,3,5,7
/proc/22559/task/22574/stat : 22574 (java) S 22556 22559 20160 0 -1 1077944384 1226 0 0 0 20 27 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785285888816 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
Current children cumulated CPU time: 2446.84 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 365300 KiB

[startup+2502.3 s]
/proc/loadavg: 1.48 1.58 1.64 3/215 23056
/proc/meminfo: memFree=22822968/32770624 swapFree=67108688/67108860
[pid=22559] ppid=22556 vsize=10661128 memory=365300 CPUtime=2506.92 cores=1,3,5,7
/proc/22559/stat : 22559 (java) S 22556 22559 20160 0 -1 1077944320 52795 0 0 0 250643 49 0 0 20 0 15 0 93645419 10916995072 91325 33554432000 4194304 4196468 140730353971984 140730353954528 139786190724855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
/proc/22559/statm: 2665282 91325 3156 1 0 2627263 0
[pid=22559/tid=22561] ppid=22556 vsize=10661128 memory=365300 CPUtime=2500.63 cores=1,3,5,7
/proc/22559/task/22561/stat : 22561 (java) R 22556 22559 20160 0 -1 4202560 13108 0 0 0 250053 10 0 0 20 0 15 0 93645420 10916995072 91325 33554432000 4194304 4196468 140730353971984 139786194964176 139785831396621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22562] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.91 cores=1,3,5,7
/proc/22559/task/22562/stat : 22562 (java) S 22556 22559 20160 0 -1 1077944384 5110 0 0 0 89 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785797294352 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22563] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.9 cores=1,3,5,7
/proc/22559/task/22563/stat : 22563 (java) S 22556 22559 20160 0 -1 1077944384 5083 0 0 0 88 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785796241808 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22564] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.9 cores=1,3,5,7
/proc/22559/task/22564/stat : 22564 (java) S 22556 22559 20160 0 -1 1077944384 3409 0 0 0 88 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785795189264 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22565] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.91 cores=1,3,5,7
/proc/22559/task/22565/stat : 22565 (java) S 22556 22559 20160 0 -1 1077944384 5630 0 0 0 88 3 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785794136720 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22566] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.34 cores=1,3,5,7
/proc/22559/task/22566/stat : 22566 (java) S 22556 22559 20160 0 -1 1077944384 6349 0 0 0 30 4 0 0 20 0 15 0 93645422 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785294309872 139786190736002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22567] ppid=22556 vsize=10661128 memory=365300 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22567/stat : 22567 (java) S 22556 22559 20160 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93645422 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785293256096 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22568] ppid=22556 vsize=10661128 memory=365300 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22568/stat : 22568 (java) S 22556 22559 20160 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93645423 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785292203504 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22569] ppid=22556 vsize=10661128 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22569/stat : 22569 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785291152080 139786190743451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22570] ppid=22556 vsize=10661128 memory=27160 CPUtime=0.62 cores=1,3,5,7
/proc/22559/task/22570/stat : 22570 (java) S 22556 22559 20160 0 -1 1077944384 3312 0 0 0 61 1 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785290098672 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22571] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.78 cores=1,3,5,7
/proc/22559/task/22571/stat : 22571 (java) S 22556 22559 20160 0 -1 1077944384 5422 0 0 0 78 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785289046128 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22572] ppid=22556 vsize=10661128 memory=4140 CPUtime=0.35 cores=1,3,5,7
/proc/22559/task/22572/stat : 22572 (java) S 22556 22559 20160 0 -1 1077944384 2717 0 0 0 35 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785287993584 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22573] ppid=22556 vsize=10661128 memory=365300 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22573/stat : 22573 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785286941280 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22574] ppid=22556 vsize=10661128 memory=8548 CPUtime=0.48 cores=1,3,5,7
/proc/22559/task/22574/stat : 22574 (java) S 22556 22559 20160 0 -1 1077944384 1243 0 0 0 20 28 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785285888816 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
Current children cumulated CPU time: 2506.92 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 365300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515.4 s]
/proc/loadavg: 1.45 1.57 1.63 3/215 23057
/proc/meminfo: memFree=22822720/32770624 swapFree=67108688/67108860
[pid=22559] ppid=22556 vsize=10661128 memory=365300 CPUtime=2520.03 cores=1,3,5,7
/proc/22559/stat : 22559 (java) S 22556 22559 20160 0 -1 1077944320 52804 0 0 0 251954 49 0 0 20 0 15 0 93645419 10916995072 91325 33554432000 4194304 4196468 140730353971984 140730353954528 139786190724855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
/proc/22559/statm: 2665282 91325 3156 1 0 2627263 0
[pid=22559/tid=22561] ppid=22556 vsize=10661128 memory=2408 CPUtime=2513.73 cores=1,3,5,7
/proc/22559/task/22561/stat : 22561 (java) R 22556 22559 20160 0 -1 4202560 13110 0 0 0 251363 10 0 0 20 0 15 0 93645420 10916995072 91325 33554432000 4194304 4196468 140730353971984 139786194964208 139785831396549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22562] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.91 cores=1,3,5,7
/proc/22559/task/22562/stat : 22562 (java) S 22556 22559 20160 0 -1 1077944384 5110 0 0 0 89 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785797294352 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22563] ppid=22556 vsize=10661128 memory=6791534058613427641 CPUtime=0.9 cores=1,3,5,7
/proc/22559/task/22563/stat : 22563 (java) S 22556 22559 20160 0 -1 1077944384 5084 0 0 0 88 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785796241808 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22564] ppid=22556 vsize=10661128 memory=15872 CPUtime=0.9 cores=1,3,5,7
/proc/22559/task/22564/stat : 22564 (java) S 22556 22559 20160 0 -1 1077944384 3409 0 0 0 88 2 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785795189264 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22565] ppid=22556 vsize=10661128 memory=4008 CPUtime=0.91 cores=1,3,5,7
/proc/22559/task/22565/stat : 22565 (java) S 22556 22559 20160 0 -1 1077944384 5632 0 0 0 88 3 0 0 20 0 15 0 93645421 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785794136720 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22566] ppid=22556 vsize=10661128 memory=15872 CPUtime=0.34 cores=1,3,5,7
/proc/22559/task/22566/stat : 22566 (java) S 22556 22559 20160 0 -1 1077944384 6351 0 0 0 30 4 0 0 20 0 15 0 93645422 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785294309872 139786190736002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22567] ppid=22556 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22567/stat : 22567 (java) S 22556 22559 20160 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93645422 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785293256096 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22568] ppid=22556 vsize=10661128 memory=928 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22568/stat : 22568 (java) S 22556 22559 20160 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93645423 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785292203504 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22569] ppid=22556 vsize=10661128 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22569/stat : 22569 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785291152080 139786190743451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22570] ppid=22556 vsize=10661128 memory=365300 CPUtime=0.62 cores=1,3,5,7
/proc/22559/task/22570/stat : 22570 (java) S 22556 22559 20160 0 -1 1077944384 3312 0 0 0 61 1 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785290098672 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22571] ppid=22556 vsize=10661128 memory=6791534058613427641 CPUtime=0.78 cores=1,3,5,7
/proc/22559/task/22571/stat : 22571 (java) S 22556 22559 20160 0 -1 1077944384 5422 0 0 0 78 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785289046128 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22572] ppid=22556 vsize=10661128 memory=1724 CPUtime=0.35 cores=1,3,5,7
/proc/22559/task/22572/stat : 22572 (java) S 22556 22559 20160 0 -1 1077944384 2717 0 0 0 35 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785287993584 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22573] ppid=22556 vsize=10661128 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/22559/task/22573/stat : 22573 (java) S 22556 22559 20160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785286941280 139786190735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
[pid=22559/tid=22574] ppid=22556 vsize=10661128 memory=1952 CPUtime=0.48 cores=1,3,5,7
/proc/22559/task/22574/stat : 22574 (java) S 22556 22559 20160 0 -1 1077944384 1245 0 0 0 20 28 0 0 20 0 15 0 93645425 10916995072 91325 33554432000 4194304 4196468 140730353971984 139785285888816 139786190736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21446656 140730353980589 140730353980681 140730353980681 140730353983439 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 365300 KiB

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

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

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

Child status: 143
Real time (s): 2515.43
CPU time (s): 2520.07
CPU user time (s): 2519.57
CPU system time (s): 0.499056
CPU usage (%): 100.185
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 405428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.499056
maximum resident set size= 409532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64756
involuntary context switches= 1744


# summary of solver processes directly reported to runsolver:
#   pid: 22559
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2519.57
#   total CPU system time (s): 0.499056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0084 second user time and 23.1383 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-28 08:53:46
IDJOB=4298494
IDBENCH=141147
IDSOLVER=2766
FILE ID=node106/4298494-1532760825
RUNJOBID= node106-1532740894-20192
PBS_JOBID= 21022448
Free space on /tmp= 46164 MiB

SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298494-1532760825/watcher-4298494-1532760825 -o /tmp/evaluation-result-4298494-1532760825/solver-4298494-1532760825 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532740894-20192 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298494-1532760825.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=1384363495

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        22997104 kB
MemAvailable:   31395424 kB
Buffers:          224356 kB
Cached:          8336364 kB
SwapCached:            0 kB
Active:          3059040 kB
Inactive:        6090092 kB
Active(anon):     535260 kB
Inactive(anon):    80512 kB
Active(file):    2523780 kB
Inactive(file):  6009580 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:               952 kB
Writeback:             0 kB
AnonPages:        594504 kB
Mapped:            54552 kB
Shmem:             25056 kB
Slab:             320828 kB
SReclaimable:     293420 kB
SUnreclaim:        27408 kB
KernelStack:        3536 kB
PageTables:         7264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1224732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    524288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46164 MiB
End job on node106 at 2018-07-28 09:35:41