Trace number 4298980

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)45718449 2520.1 2468.85

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-test01-0150_c18.xml
MD5SUM0e4565184fd00ba85c2da13ba2e2ff53
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18299400
Best CPU time to get the best result obtained on this benchmark2519.71
Satisfiable
(Un)Satisfiability was proved
Number of variables2328
Number of constraints1459
Number of domains42
Minimum domain size2
Maximum domain size151
Distribution of domain sizes[{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}]
Minimum variable degree2
Maximum variable degree677
Distribution of variable degrees[{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}]
Number of extensional constraints1459
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1459}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
38.98/23.61	o 45718490
38.98/23.62	o 45718488
38.98/23.62	o 45718482
38.98/23.63	o 45718476
38.98/23.64	o 45718475
38.98/23.65	o 45718474
38.98/23.66	o 45718473
38.98/23.67	o 45718471
38.98/23.68	o 45718470
38.98/23.69	o 45718469
39.16/23.71	o 45718468
39.16/23.74	o 45718467
39.31/23.82	o 45718466
131.87/114.83	o 45718465
1240.05/1211.42	o 45718464
1240.05/1211.42	o 45718460
1240.05/1211.43	o 45718459
1240.05/1211.43	o 45718458
1240.05/1211.45	o 45718457
1240.05/1211.47	o 45718455
1240.05/1211.47	o 45718454
1240.05/1211.49	o 45718453
1240.17/1211.50	o 45718452
1240.17/1211.52	o 45718451
1240.17/1211.59	o 45718450
1240.41/1211.72	o 45718449
2520.03/2468.80	s SATISFIABLE
2520.03/2468.81	v <instantiation>
2520.03/2468.81	v 	<list>
2520.03/2468.81	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] 
2520.03/2468.81	v 	</list>
2520.03/2468.81	v 	<values>
2520.03/2468.81	v 		2620 2676 2480 2296 2568 2636 2140 2416 2696 2656 2484 2236 2144 2680 2120 2232 2604 2656 2128 2660 2696 2700 2376 2700 2304 2184 2604 2192 2656 2636 2180 2612 2696 2644 2720 2560 2180 2180 2528 2184 2560 2580 2660 2224 2160 2220 2388 2192 2720 2436 2696 2416 2696 2596 2304 2636 2700 2184 2344 2168 2540 2620 2676 2332 2648 2572 2264 2636 2160 2256 2660 2676 2684 2636 2696 2184 2428 2248 2700 2140 2392 2620 2224 2208 2476 2644 2184 2524 2640 2448 2660 2600 2660 2596 2488 2568 2644 2144 2468 2352 2224 2660 2600 2704 2428 2656 2428 2372 2624 2276 2696 2220 2564 2696 2144 2600 2388 2660 2656 2264 2120 2528 2656 2700 2180 2680 2224 2660 2664 2620 2640 2184 2520 2656 2152 2664 2164 2620 2688 2388 2124 2224 2376 2656 2184 2440 2660 2428 2604 2660 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 7 1 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 1 1 0 0 0 7 0 0 0 0 1 0 0 0 9 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 2 8 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 9 0 0 3 0 4 0 1 9 0 0 0 0 0 0 5 0 0 9 0 8 0 1 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 8 0 0 1 0 0 1 0 5 0 0 0 0 0 1 7 1 0 0 0 4 0 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 8 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 6 0 0 0 1 0 6 0 0 9 0 0 6 0 0 8 0 0 0 0 1 0 0 0 0 1 4 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 6 0 7 0 0 0 0 0 0 0 0 4 0 0 0 0 6 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 1 1 0 0 0 0 0 0 0 0 0 5 0 0 1 0 1 0 0 2 8 5 1 9 0 0 0 0 1 0 1 4 1 0 0 0 7 0 4 0 1 0 0 0 0 0 1 7 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 7 1 0 1 1 4 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 0 9 0 1 0 0 0 3 0 0 0 0 0 0 0 0 9 0 1 0 0 0 9 6 1 0 1 0 0 1 0 0 3 0 0 0 0 1 0 0 0 9 0 0 0 0 0 0 1 0 8 0 0 0 0 0 0 3 1 4 0 0 0 0 0 0 0 0 6 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 4 0 0 0 1 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 2 8 4 0 0 0 0 0 0 1 0 0 0 0 0 4 0 5 1 0 9 0 7 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 8 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 5 0 0 0 0 2 1 0 0 0 0 4 0 0 0 0 0 0 9 76 80 76 288 56 96 132 192 548 24 492 72 44 492 0 248 248 552 236 180 240 148 296 176 272 116 156 360 112 36 348 264 108 72 52 36 92 456 76 24 412 248 64 452 412 208 92 420 20 80 44 288 456 556 556 44 84 288 68 180 296 196 280 28 112 232 280 244 36 92 136 260 512 352 220 472 472 76 32 420 96 392 400 28 516 472 44 16 504 36 216 252 356 300 152 276 36 132 96 176 420 408 464 384 412 408 192 424 232 384 552 556 24 532 540 284 556 248 496 476 376 24 32 44 60 576 308 576 104 72 52 364 64 444 48 368 424 48 108 92 412 116 412 4 116 52 16 476 512 268 52 128 136 8 260 100 412 516 116 20 172 36 168 76 8 516 356 368 452 308 80 492 40 76 424 36 536 320 220 196 72 224 284 192 288 192 244 64 172 104 80 100 272 40 120 80 396 384 452 412 452 292 512 416 40 456 476 412 76 420 36 380 84 60 84 228 56 420 64 404 48 160 40 412 44 96 36 132 284 56 96 12 60 452 388 24 208 16 116 484 348 20 516 68 440 480 308 388 516 460 428 388 24 348 84 44 488 100 352 56 72 84 8 48 156 176 12 20 24 560 456 84 576 292 576 80 536 596 136 140 64 100 408 440 516 340 348 520 480 524 248 384 36 476 460 360 92 196 52 128 128 36 536 520 92 36 64 480 436 472 136 20 376 84 340 136 104 96 128 420 396 204 140 412 96 4 496 40 436 64 424 412 476 168 396 40 472 464 432 412 524 540 480 436 520 476 36 172 380 132 440 436 220 36 268 208 272 504 8 444 64 8 464 472 28 180 44 600 116 268 216 128 172 224 280 528 432 12 268 220 52 36 232 232 168 60 240 240 488 220 552 40 332 100 348 64 128 412 372 344 56 164 352 304 64 412 452 36 80 272 80 224 232 76 556 100 96 512 292 440 476 340 292 160 280 316 312 356 312 320 184 260 96 156 112 28 60 116 396 116 100 80 396 36 248 456 248 76 108 324 180 332 56 504 56 84 524 424 412 88 324 408 48 388 56 360 208 360 108 484 208 232 500 460 228 24 268 212 32 400 104 404 36 396 540 492 428 52 64 28 16 244 264 516 28 472 268 308 244 460 416 244 172 228 284 276 416 476 556 80 548 460 80 524 268 264 172 212 24 20 52 344 60 232 36 420 436 440 436 448 452 56 180 452 184 124 48 48 252 48 500 460 16 460 440 476 76 56 96 116 16 252 16 60 460 456 416 20 212 212 328 268 436 36 272 140 4 536 104 40 224 4 372 432 220 76 40 176 176 136 88 128 176 292 16 16 324 208 552 512 20 544 40 244 96 288 192 208 268 168 480 396 416 440 100 480 476 172 456 416 140 552 316 580 152 268 284 264 232 304 228 268 188 460 384 96 404 472 544 36 444 400 208 36 384 412 400 92 168 284 56 224 276 252 300 140 40 140 268 540 32 52 36 56 496 20 396 476 24 276 288 192 16 24 136 140 84 504 508 68 496 248 204 476 56 
2520.03/2468.81	v 	</values>
2520.03/2468.81	v </instantiation>

Verifier Data 

OK	45718449

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298980-1532788461/watcher-4298980-1532788461 -o /tmp/evaluation-result-4298980-1532788461/solver-4298980-1532788461 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532776007-24588 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298980-1532788461.xml 

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

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

solver pid=25907, runsolver pid=25904

[startup+0.100121 s]*
/proc/loadavg: 1.55 1.42 1.41 3/217 25922
/proc/meminfo: memFree=18376368/32770624 swapFree=67108688/67108860
[pid=25907] ppid=25904 vsize=10661052 memory=27820 CPUtime=0.13 cores=0,2,4,6
/proc/25907/stat : 25907 (java) S 25904 25907 24557 0 -1 1077944320 5294 0 0 0 12 1 0 0 20 0 15 0 96409026 10916917248 6955 33554432000 4194304 4196468 140729035875328 140729035857872 139859364355831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
/proc/25907/statm: 2665263 6955 2865 1 0 2627263 0
[pid=25907/tid=25909] ppid=25904 vsize=10661052 memory=-8269626465541591931 CPUtime=0.09 cores=0,2,4,6
/proc/25907/task/25909/stat : 25909 (java) R 25904 25907 24557 0 -1 4202560 3171 0 0 0 9 0 0 0 20 0 15 0 96409026 10916917248 6955 33554432000 4194304 4196468 140729035875328 139859368586096 139859364367766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25910] ppid=25904 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25910/stat : 25910 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 6955 33554432000 4194304 4196468 140729035875328 139859306359568 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25911] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25911/stat : 25911 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 6955 33554432000 4194304 4196468 140729035875328 139859305307024 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25912] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25912/stat : 25912 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 6955 33554432000 4194304 4196468 140729035875328 139859304254480 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25913] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25913/stat : 25913 (java) S 25904 25907 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 6955 33554432000 4194304 4196468 140729035875328 139859303201936 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25914] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25914/stat : 25914 (java) S 25904 25907 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96409028 10916917248 6955 33554432000 4194304 4196468 140729035875328 139858857060336 139859364366978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25915] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25915/stat : 25915 (java) S 25904 25907 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96409029 10916917248 6955 33554432000 4194304 4196468 140729035875328 139858856006560 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25916] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25916/stat : 25916 (java) S 25904 25907 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96409029 10916917248 6955 33554432000 4194304 4196468 140729035875328 139858854953968 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25917] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25917/stat : 25917 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 6955 33554432000 4194304 4196468 140729035875328 139858853902544 139859364374427 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25918] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25918/stat : 25918 (java) R 25904 25907 24557 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 6955 33554432000 4194304 4196468 140729035875328 139858852850256 139859364366037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25919] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25919/stat : 25919 (java) R 25904 25907 24557 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 6955 33554432000 4194304 4196468 140729035875328 139858851789120 139859349773776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25920] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0.02 cores=0,2,4,6
/proc/25907/task/25920/stat : 25920 (java) R 25904 25907 24557 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 15 0 96409031 10916917248 6955 33554432000 4194304 4196468 140729035875328 139858850745072 139859364377178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25921] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25921/stat : 25921 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 6955 33554432000 4194304 4196468 140729035875328 139858849692768 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25922] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25922/stat : 25922 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409032 10916917248 6955 33554432000 4194304 4196468 140729035875328 139858848639280 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27820 KiB

[startup+0.210561 s]*
/proc/loadavg: 1.55 1.42 1.41 4/217 25922
/proc/meminfo: memFree=18365096/32770624 swapFree=67108688/67108860
[pid=25907] ppid=25904 vsize=10661052 memory=40504 CPUtime=0.35 cores=0,2,4,6
/proc/25907/stat : 25907 (java) S 25904 25907 24557 0 -1 1077944320 8270 0 0 0 33 2 0 0 20 0 15 0 96409026 10916917248 10126 33554432000 4194304 4196468 140729035875328 140729035857872 139859364355831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
/proc/25907/statm: 2665263 10126 2976 1 0 2627263 0
[pid=25907/tid=25909] ppid=25904 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25907/task/25909/stat : 25909 (java) R 25904 25907 24557 0 -1 4202560 5125 0 0 0 19 1 0 0 20 0 15 0 96409026 10916917248 10126 33554432000 4194304 4196468 140729035875328 139859368594928 139858983093747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25910] ppid=25904 vsize=10661052 memory=343 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25910/stat : 25910 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 10126 33554432000 4194304 4196468 140729035875328 139859306359568 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25911] ppid=25904 vsize=10661052 memory=140614020645934 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25911/stat : 25911 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 10126 33554432000 4194304 4196468 140729035875328 139859305307024 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25912] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25912/stat : 25912 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 10126 33554432000 4194304 4196468 140729035875328 139859304254480 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25913] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25913/stat : 25913 (java) S 25904 25907 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 10126 33554432000 4194304 4196468 140729035875328 139859303201936 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25914] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25914/stat : 25914 (java) S 25904 25907 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96409028 10916917248 10126 33554432000 4194304 4196468 140729035875328 139858857060336 139859364366978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25915] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25915/stat : 25915 (java) S 25904 25907 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96409029 10916917248 10126 33554432000 4194304 4196468 140729035875328 139858856006560 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25916] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25916/stat : 25916 (java) S 25904 25907 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96409029 10916917248 10126 33554432000 4194304 4196468 140729035875328 139858854953968 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25917] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25917/stat : 25917 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 10126 33554432000 4194304 4196468 140729035875328 139858853902544 139859364374427 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25918] ppid=25904 vsize=10661052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25907/task/25918/stat : 25918 (java) R 25904 25907 24557 0 -1 4202560 464 0 0 0 2 0 0 0 20 0 15 0 96409031 10916917248 10126 33554432000 4194304 4196468 140729035875328 139858852831176 139859349515632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25919] ppid=25904 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25907/task/25919/stat : 25919 (java) R 25904 25907 24557 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 96409031 10916917248 10126 33554432000 4194304 4196468 140729035875328 139858851797616 139859364366978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25920] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0.08 cores=0,2,4,6
/proc/25907/task/25920/stat : 25920 (java) R 25904 25907 24557 0 -1 4202560 923 0 0 0 8 0 0 0 20 0 15 0 96409031 10916917248 10126 33554432000 4194304 4196468 140729035875328 139858850741064 139859348436318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25921] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25921/stat : 25921 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 10126 33554432000 4194304 4196468 140729035875328 139858849692768 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25922] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25922/stat : 25922 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409032 10916917248 10126 33554432000 4194304 4196468 140729035875328 139858848639280 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40504 KiB

[startup+0.315056 s]*
/proc/loadavg: 1.55 1.42 1.41 8/217 25922
/proc/meminfo: memFree=18311260/32770624 swapFree=67108688/67108860
[pid=25907] ppid=25904 vsize=10661052 memory=99440 CPUtime=0.56 cores=0,2,4,6
/proc/25907/stat : 25907 (java) S 25904 25907 24557 0 -1 1077944320 8569 0 0 0 52 4 0 0 20 0 15 0 96409026 10916917248 24860 33554432000 4194304 4196468 140729035875328 140729035857872 139859364355831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
/proc/25907/statm: 2665263 24860 3032 1 0 2627263 0
[pid=25907/tid=25909] ppid=25904 vsize=10661052 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/25907/task/25909/stat : 25909 (java) R 25904 25907 24557 0 -1 4202560 5156 0 0 0 27 3 0 0 20 0 15 0 96409026 10916917248 24860 33554432000 4194304 4196468 140729035875328 139859368586768 139858983330590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25910] ppid=25904 vsize=10661052 memory=4294979917 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25910/stat : 25910 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 24860 33554432000 4194304 4196468 140729035875328 139859306359568 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25911] ppid=25904 vsize=10661052 memory=140614020645933 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25911/stat : 25911 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 24860 33554432000 4194304 4196468 140729035875328 139859305307024 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25912] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25912/stat : 25912 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 24860 33554432000 4194304 4196468 140729035875328 139859304254480 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25913] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25913/stat : 25913 (java) S 25904 25907 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96409027 10916917248 25372 33554432000 4194304 4196468 140729035875328 139859303201936 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25914] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25914/stat : 25914 (java) S 25904 25907 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96409028 10916917248 25372 33554432000 4194304 4196468 140729035875328 139858857060336 139859364366978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25915] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25915/stat : 25915 (java) S 25904 25907 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96409029 10916917248 25372 33554432000 4194304 4196468 140729035875328 139858856006560 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25916] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25916/stat : 25916 (java) S 25904 25907 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96409029 10916917248 25372 33554432000 4194304 4196468 140729035875328 139858854953968 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25917] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25917/stat : 25917 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 25372 33554432000 4194304 4196468 140729035875328 139858853902544 139859364374427 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25918] ppid=25904 vsize=10661052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25907/task/25918/stat : 25918 (java) S 25904 25907 24557 0 -1 1077944384 674 0 0 0 7 0 0 0 20 0 15 0 96409031 10916917248 25372 33554432000 4194304 4196468 140729035875328 139858852850160 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25919] ppid=25904 vsize=10661052 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/25907/task/25919/stat : 25919 (java) S 25904 25907 24557 0 -1 1077944384 424 0 0 0 6 0 0 0 20 0 15 0 96409031 10916917248 25372 33554432000 4194304 4196468 140729035875328 139858851797616 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25920] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0.11 cores=0,2,4,6
/proc/25907/task/25920/stat : 25920 (java) S 25904 25907 24557 0 -1 1077944384 947 0 0 0 11 0 0 0 20 0 15 0 96409031 10916917248 25372 33554432000 4194304 4196468 140729035875328 139858850745072 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25921] ppid=25904 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25921/stat : 25921 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 25372 33554432000 4194304 4196468 140729035875328 139858849692768 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25922] ppid=25904 vsize=10661052 memory=140614020105856 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25922/stat : 25922 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409032 10916917248 25372 33554432000 4194304 4196468 140729035875328 139858848639280 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 99440 KiB

[startup+0.701072 s]
/proc/loadavg: 1.55 1.42 1.41 3/217 25922
/proc/meminfo: memFree=18160032/32770624 swapFree=67108688/67108860
[pid=25907] ppid=25904 vsize=10661052 memory=425904 CPUtime=1.53 cores=0,2,4,6
/proc/25907/stat : 25907 (java) S 25904 25907 24557 0 -1 1077944320 10944 0 0 0 122 31 0 0 20 0 15 0 96409026 10916917248 105964 33554432000 4194304 4196468 140729035875328 140729035857872 139859364355831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
/proc/25907/statm: 2665263 106476 3075 1 0 2627263 0
[pid=25907/tid=25909] ppid=25904 vsize=10661052 memory=251913656367257 CPUtime=0.55 cores=0,2,4,6
/proc/25907/task/25909/stat : 25909 (java) S 25904 25907 24557 0 -1 1077944384 5191 0 0 0 49 6 0 0 20 0 15 0 96409026 10916917248 106476 33554432000 4194304 4196468 140729035875328 139859368595088 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25910] ppid=25904 vsize=10661052 memory=4051047449723404320 CPUtime=0.12 cores=0,2,4,6
/proc/25907/task/25910/stat : 25910 (java) R 25904 25907 24557 0 -1 4202560 190 0 0 0 6 6 0 0 20 0 15 0 96409027 10916917248 106476 33554432000 4194304 4196468 140729035875328 139859306359768 139859357458548 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25911] ppid=25904 vsize=10661052 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25907/task/25911/stat : 25911 (java) R 25904 25907 24557 0 -1 4202560 162 0 0 0 4 5 0 0 20 0 15 0 96409027 10916917248 106476 33554432000 4194304 4196468 140729035875328 139859305307024 139859357458548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25912] ppid=25904 vsize=10661052 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25907/task/25912/stat : 25912 (java) R 25904 25907 24557 0 -1 4202560 176 0 0 0 5 5 0 0 20 0 15 0 96409027 10916917248 106476 33554432000 4194304 4196468 140729035875328 139859304254480 139859357458548 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25913] ppid=25904 vsize=10661052 memory=7809523229951467576 CPUtime=0.1 cores=0,2,4,6
/proc/25907/task/25913/stat : 25913 (java) R 25904 25907 24557 0 -1 4202560 172 0 0 0 5 5 0 0 20 0 15 0 96409027 10916917248 106476 33554432000 4194304 4196468 140729035875328 139859303202136 139859357458894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25914] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25914/stat : 25914 (java) S 25904 25907 24557 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96409028 10916917248 106476 33554432000 4194304 4196468 140729035875328 139858857058848 139859364366037 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25915] ppid=25904 vsize=10661052 memory=-6583839696183762729 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25915/stat : 25915 (java) S 25904 25907 24557 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96409029 10916917248 106476 33554432000 4194304 4196468 140729035875328 139858856006560 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25916] ppid=25904 vsize=10661052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25916/stat : 25916 (java) S 25904 25907 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96409029 10916917248 106476 33554432000 4194304 4196468 140729035875328 139858854953968 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25917] ppid=25904 vsize=10661052 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25917/stat : 25917 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 106476 33554432000 4194304 4196468 140729035875328 139858853902544 139859364374427 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25918] ppid=25904 vsize=10661052 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/25907/task/25918/stat : 25918 (java) S 25904 25907 24557 0 -1 1077944384 1712 0 0 0 24 0 0 0 20 0 15 0 96409031 10916917248 106476 33554432000 4194304 4196468 140729035875328 139858852850160 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25919] ppid=25904 vsize=10661052 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/25907/task/25919/stat : 25919 (java) S 25904 25907 24557 0 -1 1077944384 855 0 0 0 14 0 0 0 20 0 15 0 96409031 10916917248 106476 33554432000 4194304 4196468 140729035875328 139858851797616 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25920] ppid=25904 vsize=10661052 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25907/task/25920/stat : 25920 (java) S 25904 25907 24557 0 -1 1077944384 1045 0 0 0 12 0 0 0 20 0 15 0 96409031 10916917248 106476 33554432000 4194304 4196468 140729035875328 139858850745072 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25921] ppid=25904 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25921/stat : 25921 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916917248 106476 33554432000 4194304 4196468 140729035875328 139858849692768 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25922] ppid=25904 vsize=10661052 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25922/stat : 25922 (java) S 25904 25907 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96409032 10916917248 106476 33554432000 4194304 4196468 140729035875328 139858848639280 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 425904 KiB

[startup+1.5008 s]
/proc/loadavg: 1.55 1.42 1.41 7/217 25922
/proc/meminfo: memFree=17961076/32770624 swapFree=67108688/67108860
[pid=25907] ppid=25904 vsize=10661128 memory=632696 CPUtime=3.36 cores=0,2,4,6
/proc/25907/stat : 25907 (java) S 25904 25907 24557 0 -1 1077944320 13640 0 0 0 291 45 0 0 20 0 15 0 96409026 10916995072 158174 33554432000 4194304 4196468 140729035875328 140729035857872 139859364355831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
/proc/25907/statm: 2665282 158174 3136 1 0 2627263 0
[pid=25907/tid=25909] ppid=25904 vsize=10661128 memory=12848 CPUtime=1.26 cores=0,2,4,6
/proc/25907/task/25909/stat : 25909 (java) R 25904 25907 24557 0 -1 4202560 5580 0 0 0 118 8 0 0 20 0 15 0 96409026 10916995072 158174 33554432000 4194304 4196468 140729035875328 139859368592424 139858986074165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25910] ppid=25904 vsize=10661128 memory=6791534058613427641 CPUtime=0.2 cores=0,2,4,6
/proc/25907/task/25910/stat : 25910 (java) S 25904 25907 24557 0 -1 1077944384 486 0 0 0 12 8 0 0 20 0 15 0 96409027 10916995072 158174 33554432000 4194304 4196468 140729035875328 139859306359568 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25911] ppid=25904 vsize=10661128 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/25907/task/25911/stat : 25911 (java) S 25904 25907 24557 0 -1 1077944384 262 0 0 0 9 8 0 0 20 0 15 0 96409027 10916995072 158174 33554432000 4194304 4196468 140729035875328 139859305307024 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25912] ppid=25904 vsize=10661128 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/25907/task/25912/stat : 25912 (java) S 25904 25907 24557 0 -1 1077944384 378 0 0 0 10 8 0 0 20 0 15 0 96409027 10916995072 158174 33554432000 4194304 4196468 140729035875328 139859304254480 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25913] ppid=25904 vsize=10661128 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/25907/task/25913/stat : 25913 (java) S 25904 25907 24557 0 -1 1077944384 621 0 0 0 10 8 0 0 20 0 15 0 96409027 10916995072 158174 33554432000 4194304 4196468 140729035875328 139859303201936 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25914] ppid=25904 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25914/stat : 25914 (java) S 25904 25907 24557 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 96409028 10916995072 158174 33554432000 4194304 4196468 140729035875328 139858857060336 139859364366978 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0

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

/proc/25907/task/25909/stat : 25909 (java) R 25904 25907 24557 0 -1 4202560 263830 0 0 0 230331 63 0 0 20 0 15 0 96409026 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859368595344 139858988577959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25910] ppid=25904 vsize=10661128 memory=4534268 CPUtime=14.9 cores=0,2,4,6
/proc/25907/task/25910/stat : 25910 (java) S 25904 25907 24557 0 -1 1077944384 43099 0 0 0 1407 83 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859306359568 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25911] ppid=25904 vsize=10661128 memory=4534268 CPUtime=14.84 cores=0,2,4,6
/proc/25907/task/25911/stat : 25911 (java) S 25904 25907 24557 0 -1 1077944384 42282 0 0 0 1405 79 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859305307024 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25912] ppid=25904 vsize=10661128 memory=0 CPUtime=14.88 cores=0,2,4,6
/proc/25907/task/25912/stat : 25912 (java) S 25904 25907 24557 0 -1 1077944384 48097 0 0 0 1406 82 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859304254480 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25913] ppid=25904 vsize=10661128 memory=4534268 CPUtime=14.83 cores=0,2,4,6
/proc/25907/task/25913/stat : 25913 (java) S 25904 25907 24557 0 -1 1077944384 45968 0 0 0 1403 80 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859303201936 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25914] ppid=25904 vsize=10661128 memory=4534268 CPUtime=1.85 cores=0,2,4,6
/proc/25907/task/25914/stat : 25914 (java) S 25904 25907 24557 0 -1 1077944384 18984 0 0 0 169 16 0 0 20 0 15 0 96409028 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858857060336 139859364366978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25915] ppid=25904 vsize=10661128 memory=4534268 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25915/stat : 25915 (java) S 25904 25907 24557 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96409029 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858856006624 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25916] ppid=25904 vsize=10661128 memory=4534268 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25916/stat : 25916 (java) S 25904 25907 24557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 96409029 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858854953968 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25917] ppid=25904 vsize=10661128 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25917/stat : 25917 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858853902544 139859364374427 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25918] ppid=25904 vsize=10661128 memory=792 CPUtime=1.57 cores=0,2,4,6
/proc/25907/task/25918/stat : 25918 (java) S 25904 25907 24557 0 -1 1077944384 8771 0 0 0 156 1 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858852850160 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25919] ppid=25904 vsize=10661128 memory=4534268 CPUtime=1.62 cores=0,2,4,6
/proc/25907/task/25919/stat : 25919 (java) S 25904 25907 24557 0 -1 1077944384 9916 0 0 0 160 2 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858851797616 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25920] ppid=25904 vsize=10661128 memory=4534268 CPUtime=0.58 cores=0,2,4,6
/proc/25907/task/25920/stat : 25920 (java) S 25904 25907 24557 0 -1 1077944384 5492 0 0 0 57 1 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858850745072 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25921] ppid=25904 vsize=10661128 memory=4534268 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25921/stat : 25921 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858849692768 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25922] ppid=25904 vsize=10661128 memory=18264 CPUtime=1.43 cores=0,2,4,6
/proc/25907/task/25922/stat : 25922 (java) S 25904 25907 24557 0 -1 1077944384 1492 0 0 0 73 70 0 0 20 0 15 0 96409032 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858848639280 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
Current children cumulated CPU time: 2370.56 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4534268 KiB

[startup+2382.3 s]
/proc/loadavg: 1.10 1.23 1.33 3/216 26093
/proc/meminfo: memFree=16022576/32770624 swapFree=67108688/67108860
[pid=25907] ppid=25904 vsize=10661128 memory=4534268 CPUtime=2431.78 cores=0,2,4,6
/proc/25907/stat : 25907 (java) S 25904 25907 24557 0 -1 1077944320 498641 0 0 0 242721 457 0 0 20 0 15 0 96409026 10916995072 1133567 33554432000 4194304 4196468 140729035875328 140729035857872 139859364355831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
/proc/25907/statm: 2665282 1133567 3192 1 0 2627263 0
[pid=25907/tid=25909] ppid=25904 vsize=10661128 memory=164 CPUtime=2363.43 cores=0,2,4,6
/proc/25907/task/25909/stat : 25909 (java) R 25904 25907 24557 0 -1 4202560 266844 0 0 0 236279 64 0 0 20 0 15 0 96409026 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859368595456 139858988576870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25910] ppid=25904 vsize=10661128 memory=4140 CPUtime=15.32 cores=0,2,4,6
/proc/25907/task/25910/stat : 25910 (java) S 25904 25907 24557 0 -1 1077944384 44652 0 0 0 1449 83 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859306359568 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25911] ppid=25904 vsize=10661128 memory=27908 CPUtime=15.25 cores=0,2,4,6
/proc/25907/task/25911/stat : 25911 (java) S 25904 25907 24557 0 -1 1077944384 43745 0 0 0 1446 79 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859305307024 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25912] ppid=25904 vsize=10661128 memory=0 CPUtime=15.3 cores=0,2,4,6
/proc/25907/task/25912/stat : 25912 (java) S 25904 25907 24557 0 -1 1077944384 49702 0 0 0 1447 83 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859304254480 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25913] ppid=25904 vsize=10661128 memory=6656426216303648864 CPUtime=15.25 cores=0,2,4,6
/proc/25907/task/25913/stat : 25913 (java) S 25904 25907 24557 0 -1 1077944384 47075 0 0 0 1444 81 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859303201936 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25914] ppid=25904 vsize=10661128 memory=4534268 CPUtime=1.91 cores=0,2,4,6
/proc/25907/task/25914/stat : 25914 (java) S 25904 25907 24557 0 -1 1077944384 19437 0 0 0 174 17 0 0 20 0 15 0 96409028 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858857060336 139859364366978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25915] ppid=25904 vsize=10661128 memory=4534268 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25915/stat : 25915 (java) S 25904 25907 24557 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96409029 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858856006624 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25916] ppid=25904 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25916/stat : 25916 (java) S 25904 25907 24557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 96409029 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858854953968 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25917] ppid=25904 vsize=10661128 memory=792 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25917/stat : 25917 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858853902544 139859364374427 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25918] ppid=25904 vsize=10661128 memory=1515 CPUtime=1.57 cores=0,2,4,6
/proc/25907/task/25918/stat : 25918 (java) S 25904 25907 24557 0 -1 1077944384 8777 0 0 0 156 1 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858852850160 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25919] ppid=25904 vsize=10661128 memory=1511 CPUtime=1.62 cores=0,2,4,6
/proc/25907/task/25919/stat : 25919 (java) S 25904 25907 24557 0 -1 1077944384 9926 0 0 0 160 2 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858851797616 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25920] ppid=25904 vsize=10661128 memory=4534268 CPUtime=0.58 cores=0,2,4,6
/proc/25907/task/25920/stat : 25920 (java) S 25904 25907 24557 0 -1 1077944384 5498 0 0 0 57 1 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858850745072 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25921] ppid=25904 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25921/stat : 25921 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858849692768 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25922] ppid=25904 vsize=10661128 memory=4534268 CPUtime=1.46 cores=0,2,4,6
/proc/25907/task/25922/stat : 25922 (java) S 25904 25907 24557 0 -1 1077944384 1534 0 0 0 74 72 0 0 20 0 15 0 96409032 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858848639280 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
Current children cumulated CPU time: 2431.78 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4534268 KiB

[startup+2442.3 s]
/proc/loadavg: 1.57 1.33 1.36 3/215 26094
/proc/meminfo: memFree=16018392/32770624 swapFree=67108688/67108860
[pid=25907] ppid=25904 vsize=10661128 memory=4534268 CPUtime=2493 cores=0,2,4,6
/proc/25907/stat : 25907 (java) S 25904 25907 24557 0 -1 1077944320 504148 0 0 0 248838 462 0 0 20 0 15 0 96409026 10916995072 1133567 33554432000 4194304 4196468 140729035875328 140729035857872 139859364355831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
/proc/25907/statm: 2665282 1133567 3192 1 0 2627263 0
[pid=25907/tid=25909] ppid=25904 vsize=10661128 memory=5668 CPUtime=2422.88 cores=0,2,4,6
/proc/25907/task/25909/stat : 25909 (java) R 25904 25907 24557 0 -1 4202560 269191 0 0 0 242224 64 0 0 20 0 15 0 96409026 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859368595456 139858988579663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25910] ppid=25904 vsize=10661128 memory=4534268 CPUtime=15.74 cores=0,2,4,6
/proc/25907/task/25910/stat : 25910 (java) S 25904 25907 24557 0 -1 1077944384 45639 0 0 0 1490 84 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859306359568 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25911] ppid=25904 vsize=10661128 memory=4534268 CPUtime=15.67 cores=0,2,4,6
/proc/25907/task/25911/stat : 25911 (java) S 25904 25907 24557 0 -1 1077944384 44272 0 0 0 1487 80 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859305307024 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25912] ppid=25904 vsize=10661128 memory=4534268 CPUtime=15.71 cores=0,2,4,6
/proc/25907/task/25912/stat : 25912 (java) S 25904 25907 24557 0 -1 1077944384 50303 0 0 0 1488 83 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859304254480 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25913] ppid=25904 vsize=10661128 memory=4534268 CPUtime=15.67 cores=0,2,4,6
/proc/25907/task/25913/stat : 25913 (java) S 25904 25907 24557 0 -1 1077944384 47856 0 0 0 1486 81 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859303201936 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25914] ppid=25904 vsize=10661128 memory=4534268 CPUtime=1.95 cores=0,2,4,6
/proc/25907/task/25914/stat : 25914 (java) S 25904 25907 24557 0 -1 1077944384 19672 0 0 0 178 17 0 0 20 0 15 0 96409028 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858857060336 139859364366978 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25915] ppid=25904 vsize=10661128 memory=4534268 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25915/stat : 25915 (java) S 25904 25907 24557 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96409029 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858856006624 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25916] ppid=25904 vsize=10661128 memory=4534268 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25916/stat : 25916 (java) S 25904 25907 24557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 96409029 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858854953968 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25917] ppid=25904 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25917/stat : 25917 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858853902544 139859364374427 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25918] ppid=25904 vsize=10661128 memory=1952 CPUtime=1.57 cores=0,2,4,6
/proc/25907/task/25918/stat : 25918 (java) S 25904 25907 24557 0 -1 1077944384 8780 0 0 0 156 1 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858852850160 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25919] ppid=25904 vsize=10661128 memory=4534268 CPUtime=1.62 cores=0,2,4,6
/proc/25907/task/25919/stat : 25919 (java) S 25904 25907 24557 0 -1 1077944384 9928 0 0 0 160 2 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858851797616 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25920] ppid=25904 vsize=10661128 memory=4534268 CPUtime=0.58 cores=0,2,4,6
/proc/25907/task/25920/stat : 25920 (java) S 25904 25907 24557 0 -1 1077944384 5500 0 0 0 57 1 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858850745072 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25921] ppid=25904 vsize=10661128 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25921/stat : 25921 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858849692768 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25922] ppid=25904 vsize=10661128 memory=288230574492221466 CPUtime=1.5 cores=0,2,4,6
/proc/25907/task/25922/stat : 25922 (java) S 25904 25907 24557 0 -1 1077944384 1556 0 0 0 76 74 0 0 20 0 15 0 96409032 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858848639280 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
Current children cumulated CPU time: 2493 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4534268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2468.8 s]
/proc/loadavg: 1.97 1.45 1.40 3/215 26094
/proc/meminfo: memFree=16016696/32770624 swapFree=67108688/67108860
[pid=25907] ppid=25904 vsize=10661128 memory=4534268 CPUtime=2520.03 cores=0,2,4,6
/proc/25907/stat : 25907 (java) S 25904 25907 24557 0 -1 1077944320 508733 0 0 0 251539 464 0 0 20 0 15 0 96409026 10916995072 1133567 33554432000 4194304 4196468 140729035875328 140729035857872 139859364355831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
/proc/25907/statm: 2665282 1133567 3192 1 0 2627263 0
[pid=25907/tid=25909] ppid=25904 vsize=10661128 memory=3690192157324370496 CPUtime=2449.13 cores=0,2,4,6
/proc/25907/task/25909/stat : 25909 (java) R 25904 25907 24557 0 -1 4202560 270682 0 0 0 244849 64 0 0 20 0 15 0 96409026 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859368595456 139858988955377 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25910] ppid=25904 vsize=10661128 memory=6791534058613427641 CPUtime=15.92 cores=0,2,4,6
/proc/25907/task/25910/stat : 25910 (java) S 25904 25907 24557 0 -1 1077944384 46210 0 0 0 1508 84 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859306359568 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25911] ppid=25904 vsize=10661128 memory=1576 CPUtime=15.85 cores=0,2,4,6
/proc/25907/task/25911/stat : 25911 (java) S 25904 25907 24557 0 -1 1077944384 45282 0 0 0 1505 80 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859305307024 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25912] ppid=25904 vsize=10661128 memory=928 CPUtime=15.89 cores=0,2,4,6
/proc/25907/task/25912/stat : 25912 (java) S 25904 25907 24557 0 -1 1077944384 51011 0 0 0 1506 83 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859304254480 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25913] ppid=25904 vsize=10661128 memory=4534268 CPUtime=15.85 cores=0,2,4,6
/proc/25907/task/25913/stat : 25913 (java) S 25904 25907 24557 0 -1 1077944384 48403 0 0 0 1504 81 0 0 20 0 15 0 96409027 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139859303201936 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25914] ppid=25904 vsize=10661128 memory=4534268 CPUtime=1.98 cores=0,2,4,6
/proc/25907/task/25914/stat : 25914 (java) S 25904 25907 24557 0 -1 1077944384 19902 0 0 0 180 18 0 0 20 0 15 0 96409028 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858857060336 139859364366978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25915] ppid=25904 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25915/stat : 25915 (java) S 25904 25907 24557 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96409029 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858856006624 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25916] ppid=25904 vsize=10661128 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25916/stat : 25916 (java) S 25904 25907 24557 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 96409029 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858854953968 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25917] ppid=25904 vsize=10661128 memory=2200 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25917/stat : 25917 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858853902544 139859364374427 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25918] ppid=25904 vsize=10661128 memory=6791534058613427641 CPUtime=1.57 cores=0,2,4,6
/proc/25907/task/25918/stat : 25918 (java) S 25904 25907 24557 0 -1 1077944384 8783 0 0 0 156 1 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858852850160 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25919] ppid=25904 vsize=10661128 memory=792 CPUtime=1.62 cores=0,2,4,6
/proc/25907/task/25919/stat : 25919 (java) S 25904 25907 24557 0 -1 1077944384 9930 0 0 0 160 2 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858851797616 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25920] ppid=25904 vsize=10661128 memory=6791534058613427641 CPUtime=0.58 cores=0,2,4,6
/proc/25907/task/25920/stat : 25920 (java) S 25904 25907 24557 0 -1 1077944384 5502 0 0 0 57 1 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858850745072 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25921] ppid=25904 vsize=10661128 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/25907/task/25921/stat : 25921 (java) S 25904 25907 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96409031 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858849692768 139859364366037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
[pid=25907/tid=25922] ppid=25904 vsize=10661128 memory=1724 CPUtime=1.52 cores=0,2,4,6
/proc/25907/task/25922/stat : 25922 (java) S 25904 25907 24557 0 -1 1077944384 1577 0 0 0 77 75 0 0 20 0 15 0 96409032 10916995072 1133567 33554432000 4194304 4196468 140729035875328 139858848639280 139859364366978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9609216 140729035879597 140729035879689 140729035879689 140729035882447 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4534268 KiB

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

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

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

Child status: 143
Real time (s): 2468.85
CPU time (s): 2520.1
CPU user time (s): 2515.43
CPU system time (s): 4.6754
CPU usage (%): 102.076
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 4534268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.43
system time used= 4.6754
maximum resident set size= 4534652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98668
involuntary context switches= 5774


# summary of solver processes directly reported to runsolver:
#   pid: 25907
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.43
#   total CPU system time (s): 4.6754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2927 second user time and 23.7849 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-28 16:34:22
IDJOB=4298980
IDBENCH=141278
IDSOLVER=2766
FILE ID=node106/4298980-1532788461
RUNJOBID= node106-1532776007-24588
PBS_JOBID= 21022468
Free space on /tmp= 45664 MiB

SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-test01-0150_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298980-1532788461/watcher-4298980-1532788461 -o /tmp/evaluation-result-4298980-1532788461/solver-4298980-1532788461 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532776007-24588 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298980-1532788461.xml

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

MD5SUM BENCH= 0e4565184fd00ba85c2da13ba2e2ff53
RANDOM SEED=759681598

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:        18392972 kB
MemAvailable:   27320056 kB
Buffers:          229356 kB
Cached:          8860068 kB
SwapCached:            0 kB
Active:          7649424 kB
Inactive:        6097360 kB
Active(anon):    4604972 kB
Inactive(anon):    80488 kB
Active(file):    3044452 kB
Inactive(file):  6016872 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:            137320 kB
Writeback:             0 kB
AnonPages:       4670792 kB
Mapped:            55056 kB
Shmem:             25056 kB
Slab:             321604 kB
SReclaimable:     294220 kB
SUnreclaim:        27384 kB
KernelStack:        3552 kB
PageTables:        14432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5561072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4554752 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= 46032 MiB
End job on node106 at 2018-07-28 17:15:31