Trace number 4299029

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)98253049 2520.08 2469.55

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-01-0200_c18.xml
MD5SUM0e8e562de5d18dab033d3d20f1b4790d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35891368
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables3236
Number of constraints2053
Number of domains39
Minimum domain size1
Maximum domain size95
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":1142},{"size":11,"count":945},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":22},{"size":25,"count":1},{"size":29,"count":34},{"size":33,"count":35},{"size":34,"count":18},{"size":35,"count":32},{"size":39,"count":8},{"size":40,"count":9},{"size":41,"count":15},{"size":49,"count":1},{"size":50,"count":19},{"size":51,"count":16},{"size":53,"count":5},{"size":55,"count":32},{"size":57,"count":10},{"size":58,"count":7},{"size":60,"count":9},{"size":64,"count":76},{"size":69,"count":85},{"size":74,"count":50},{"size":81,"count":87},{"size":91,"count":84},{"size":93,"count":31},{"size":95,"count":450}]
Minimum variable degree2
Maximum variable degree946
Distribution of variable degrees[{"degree":2,"count":2836},{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":17},{"degree":6,"count":21},{"degree":7,"count":31},{"degree":8,"count":26},{"degree":9,"count":50},{"degree":10,"count":45},{"degree":11,"count":47},{"degree":12,"count":52},{"degree":13,"count":72},{"degree":14,"count":34},{"degree":946,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":163},{"arity":3,"count":945},{"arity":6,"count":945}]
Number of extensional constraints2053
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2053}]
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
34.32/20.83	o 98253098
34.32/20.84	o 98253097
34.32/20.84	o 98253095
34.32/20.85	o 98253094
34.32/20.87	o 98253093
34.32/20.88	o 98253092
34.32/20.88	o 98253090
34.32/20.89	o 98253089
35.06/21.38	o 98253088
35.06/21.39	o 98253087
35.61/21.86	o 98253086
35.61/21.86	o 98253085
46.76/32.76	o 98253084
46.76/32.76	o 98253082
46.76/32.77	o 98253081
47.36/33.30	o 98253080
48.90/34.84	o 98253079
48.90/34.84	o 98253077
48.90/34.84	o 98253076
72.68/58.35	o 98253074
72.68/58.36	o 98253073
166.51/151.35	o 98253072
249.65/233.80	o 98253071
251.47/235.67	o 98253070
251.47/235.67	o 98253069
254.20/238.32	o 98253068
263.07/247.17	o 98253067
312.74/296.47	o 98253066
453.02/435.69	o 98253065
461.10/443.65	o 98253064
484.46/466.86	o 98253063
568.19/549.95	o 98253062
642.18/623.34	o 98253061
643.78/625.00	o 98253060
643.78/625.00	o 98253059
646.21/627.37	o 98253058
654.26/635.32	o 98253057
1052.19/1029.19	o 98253056
1056.25/1033.16	o 98253055
1641.32/1608.61	o 98253054
1645.81/1613.06	o 98253053
1660.87/1627.89	o 98253052
2411.28/2363.13	o 98253051
2417.91/2369.68	o 98253050
2465.86/2416.57	o 98253049
2520.02/2469.50	s SATISFIABLE
2520.02/2469.51	v <instantiation>
2520.02/2469.51	v 	<list>
2520.02/2469.51	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] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] 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] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] 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] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] 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] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] 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] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] 
2520.02/2469.51	v 	</list>
2520.02/2469.51	v 	<values>
2520.02/2469.51	v 		2592 2420 2612 2544 2280 2480 2476 2492 2464 2328 2288 2640 2512 2368 2532 2556 2648 2492 2288 2644 2616 2432 2324 2596 2616 2452 2652 2624 2592 2408 2632 2484 2656 2352 2472 2452 2636 2552 2452 2432 2532 2328 2444 2424 2464 2284 2516 2612 2444 2324 2456 2632 2436 2448 2320 2320 2392 2484 2412 2288 2524 2336 2460 2512 2412 2492 2460 2412 2604 2348 2608 2380 2596 2524 2328 2572 2288 2576 2600 2328 2328 2280 2280 2408 2616 2544 2548 2656 2472 2592 2284 2416 2532 2492 2464 2484 2532 2476 2656 2612 2572 2612 2524 2440 2508 2456 2284 2508 2352 2280 2508 2288 2364 2616 2324 2516 2384 2616 2372 2604 2424 2552 2376 2324 2320 2288 2504 2352 2320 2464 2572 2592 2436 2424 2280 2500 2552 2312 2556 2608 2328 2652 2472 2288 2460 2520 2392 2608 2372 2280 2652 2612 2592 2392 2532 2420 2596 2284 2484 2584 2416 2492 2476 2352 2656 2612 2484 2420 2632 2412 2400 2592 2324 2392 2328 2436 2548 2388 2396 2396 2648 2376 2652 2284 2568 2584 2416 2320 2584 2352 2468 2360 2320 2632 2324 2644 2404 2424 2284 2480 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 1 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 3 1 0 0 0 0 0 2 0 0 0 8 6 1 0 0 0 0 0 0 7 0 0 0 0 0 0 8 1 0 1 4 0 4 0 0 1 0 0 0 0 9 0 8 0 0 5 0 0 10 0 1 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 1 0 0 0 10 1 9 1 10 0 8 0 0 2 7 0 0 1 0 3 0 0 0 0 0 5 0 8 1 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 0 1 0 0 0 0 0 0 8 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 10 0 0 0 0 0 0 0 0 0 0 7 0 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 6 1 0 1 0 0 0 0 0 2 7 0 0 0 8 0 0 5 0 9 0 0 0 0 0 6 0 0 1 1 0 1 0 0 9 1 0 10 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 10 0 0 0 1 0 0 0 0 1 6 0 0 1 0 10 0 0 0 0 1 0 0 0 5 9 1 0 0 0 0 0 0 7 10 0 0 0 0 0 0 10 0 0 0 1 0 10 0 1 0 1 0 1 0 7 0 0 0 1 0 0 9 0 0 1 4 4 0 9 8 0 0 0 0 3 0 5 0 0 0 0 0 0 0 1 8 0 0 0 0 0 0 0 0 2 10 0 0 0 0 0 1 1 0 1 10 1 1 0 0 0 6 4 0 10 0 1 1 0 0 1 1 0 0 0 0 0 9 5 10 0 1 0 0 0 0 0 6 10 0 0 0 0 6 0 0 10 0 0 1 6 1 0 8 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 8 0 0 0 0 3 0 1 0 0 0 1 0 0 5 0 0 0 3 0 0 0 0 0 0 1 0 1 0 0 9 0 0 1 0 0 0 0 0 0 0 0 1 8 1 7 1 0 0 0 0 0 0 1 0 5 0 9 0 0 0 1 10 0 0 1 0 1 10 0 0 0 4 9 1 8 0 0 0 0 7 10 0 0 10 1 0 1 0 3 0 3 9 2 7 0 0 0 5 0 0 0 0 1 8 0 1 0 0 0 0 0 0 1 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 1 0 0 10 0 8 0 0 9 0 9 4 0 0 0 9 0 0 5 8 6 0 7 0 0 10 0 0 0 0 0 0 0 6 9 0 0 1 0 0 0 2 1 0 0 0 1 4 4 0 0 1 1 8 4 0 0 0 0 0 0 0 0 8 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 1 0 0 0 8 1 0 1 8 0 5 0 2 0 0 3 10 0 10 0 10 0 5 1 0 0 0 0 10 5 1 10 0 10 0 10 0 0 9 2 0 0 0 0 1 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 3 0 0 0 9 0 1 0 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 8 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 8 1 0 0 0 0 6 8 6 4 8 0 0 2 9 10 0 0 0 0 0 0 0 0 0 1 0 0 5 10 8 0 0 0 0 0 9 4 0 1 0 0 1 0 0 2 0 0 0 8 0 1 8 0 0 1 0 1 0 0 0 8 0 1 0 0 4 0 2 4 1 0 0 7 0 0 0 0 0 8 0 9 0 0 0 9 0 0 0 1 0 0 1 0 0 0 8 1 0 0 0 0 0 0 10 9 0 0 0 9 0 1 0 0 10 0 0 0 0 0 1 0 5 1 0 0 0 0 0 10 0 9 0 0 10 6 0 1 7 0 0 0 0 0 0 2 0 9 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 4 1 60 140 180 60 76 272 172 240 104 40 36 44 164 24 120 44 152 232 120 136 288 140 240 196 328 288 264 72 220 224 132 216 112 52 44 8 68 200 336 252 168 132 292 212 92 144 332 44 68 64 108 156 128 64 168 168 44 120 32 64 148 164 40 40 144 68 68 164 204 72 96 76 60 136 92 28 8 52 140 68 144 40 80 40 328 264 204 328 196 148 284 344 108 4 288 28 320 228 44 64 268 156 228 240 204 20 160 60 68 104 80 20 144 40 80 120 280 276 116 20 88 88 140 248 56 284 100 40 112 204 44 252 84 212 112 144 212 212 112 52 72 80 144 56 56 268 36 88 236 124 312 104 76 4 224 212 40 16 140 356 168 32 124 8 128 96 128 64 320 12 232 208 12 224 244 180 156 332 328 252 240 336 24 332 28 220 20 140 52 148 76 112 16 72 128 160 208 132 36 332 244 92 44 36 308 20 276 160 124 200 56 128 236 152 160 328 44 32 292 172 180 184 72 60 140 120 200 80 228 44 160 288 340 236 104 184 340 52 80 52 184 296 24 28 40 144 156 304 60 268 220 204 308 88 52 184 124 124 44 84 36 84 140 32 148 84 176 308 344 352 212 236 32 40 128 24 76 156 84 124 160 204 212 264 48 44 84 220 196 72 24 336 176 108 60 104 12 72 48 104 184 20 192 76 176 64 32 8 76 164 52 104 172 168 60 220 20 348 356 264 120 224 144 104 128 180 60 68 228 92 72 56 164 172 200 80 96 132 132 144 76 60 76 80 248 44 284 0 272 176 44 4 316 20 168 0 40 108 88 12 156 40 52 160 20 108 60 100 28 52 116 128 140 144 20 52 72 76 152 128 288 44 288 104 92 80 228 8 100 80 96 284 288 28 292 120 48 96 64 80 132 88 48 308 92 288 288 284 284 76 72 128 16 60 136 100 168 40 216 124 116 80 312 312 100 236 312 228 76 88 72 84 44 24 36 124 128 100 56 144 28 148 96 208 184 48 276 204 228 292 40 64 200 52 92 72 264 160 92 272 100 276 200 16 40 72 40 92 8 44 196 132 164 168 48 76 84 132 204 12 56 260 184 204 84 88 112 100 360 92 48 20 204 64 152 128 124 128 120 172 280 16 236 316 52 316 80 48 112 112 48 136 0 72 188 40 184 36 116 116 136 188 120 204 240 196 136 32 164 84 16 204 104 92 72 44 24 96 40 56 84 84 244 36 172 8 72 96 148 316 8 212 208 48 36 20 124 224 144 64 52 36 116 100 284 124 212 196 20 60 44 136 268 220 48 84 28 20 28 172 88 108 224 64 304 48 304 44 244 76 256 40 84 188 296 32 36 116 20 224 184 216 320 228 136 12 180 8 136 280 156 256 256 312 4 44 48 240 44 200 156 304 332 116 100 24 32 8 44 192 336 228 220 48 68 24 48 148 108 260 196 60 44 156 196 124 44 376 140 220 44 64 328 280 240 88 132 120 48 60 184 152 160 84 128 36 20 180 372 88 4 200 264 188 104 140 176 116 180 64 96 60 248 136 248 64 168 172 168 140 20 88 164 200 124 76 136 120 156 60 304 52 100 252 60 212 288 196 132 196 80 220 104 292 260 300 80 48 212 32 196 88 60 160 120 60 160 116 144 144 24 124 172 92 136 176 52 140 268 328 108 152 0 184 184 44 196 220 124 300 40 68 240 272 328 184 44 72 180 144 36 88 72 188 284 148 60 56 12 12 332 24 32 192 48 260 28 52 28 128 220 148 248 336 220 52 200 60 20 260 220 32 72 184 20 244 160 64 140 228 88 160 60 200 96 96 116 276 196 68 288 72 80 232 72 8 324 344 104 12 116 148 220 144 256 236 152 100 36 324 44 112 148 40 84 168 72 4 308 264 52 40 212 144 168 12 276 352 96 84 224 264 136 104 60 32 340 104 96 80 228 12 144 48 60 260 216 276 332 152 152 64 88 364 32 100 64 200 108 264 48 16 88 352 72 40 68 160 192 220 64 216 328 40 44 180 112 100 136 200 360 120 172 208 300 76 240 24 64 8 168 152 72 4 60 232 200 196 328 148 84 92 20 68 312 220 80 232 308 240 196 196 256 84 112 208 16 244 160 64 104 260 300 28 56 
2520.02/2469.51	v 	</values>
2520.02/2469.51	v </instantiation>

Verifier Data 

OK	98253049

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299029-1532790393/watcher-4299029-1532790393 -o /tmp/evaluation-result-4299029-1532790393/solver-4299029-1532790393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23260 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299029-1532790393.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=25330, runsolver pid=25327

[startup+0.10334 s]*
/proc/loadavg: 4.85 4.54 3.25 3/215 25345
/proc/meminfo: memFree=21248636/32770624 swapFree=67108532/67108860
[pid=25330] ppid=25327 vsize=10661052 memory=27592 CPUtime=0.13 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 23229 0 -1 1077944320 5305 0 0 0 12 1 0 0 20 0 15 0 96602482 10916917248 6898 33554432000 4194304 4196468 140725924346640 140725924329184 139967159725815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
/proc/25330/statm: 2665263 6898 2836 1 0 2627263 0
[pid=25330/tid=25332] ppid=25327 vsize=10661052 memory=-8269626465541459070 CPUtime=0.09 cores=0,2,4,6
/proc/25330/task/25332/stat : 25332 (java) R 25327 25330 23229 0 -1 4202560 3136 0 0 0 8 1 0 0 20 0 15 0 96602483 10916917248 6964 33554432000 4194304 4196468 140725924346640 139967163947680 139967143769445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25333] ppid=25327 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25333/stat : 25333 (java) S 25327 25330 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 6964 33554432000 4194304 4196468 140725924346640 139967085800336 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25334] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25334/stat : 25334 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 6964 33554432000 4194304 4196468 140725924346640 139967084747536 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25335] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25335/stat : 25335 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 6964 33554432000 4194304 4196468 140725924346640 139967083695248 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25336] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25336/stat : 25336 (java) S 25327 25330 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 6964 33554432000 4194304 4196468 140725924346640 139967082642448 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25337] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25337/stat : 25337 (java) S 25327 25330 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602485 10916917248 6964 33554432000 4194304 4196468 140725924346640 139966194595952 139967159736962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25338] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25338/stat : 25338 (java) S 25327 25330 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96602485 10916917248 6964 33554432000 4194304 4196468 140725924346640 139966193541920 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25339] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25339/stat : 25339 (java) S 25327 25330 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96602485 10916917248 6964 33554432000 4194304 4196468 140725924346640 139966192489584 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25340] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25340/stat : 25340 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 6964 33554432000 4194304 4196468 140725924346640 139966191437904 139967159744411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25341] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25341/stat : 25341 (java) R 25327 25330 23229 0 -1 4202560 474 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 6964 33554432000 4194304 4196468 140725924346640 139966190385776 139967137558672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25342] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25342/stat : 25342 (java) R 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 6964 33554432000 4194304 4196468 140725924346640 139966189332976 139967159736962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25343] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0.02 cores=0,2,4,6
/proc/25330/task/25343/stat : 25343 (java) S 25327 25330 23229 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 15 0 96602488 10916917248 6964 33554432000 4194304 4196468 140725924346640 139966188280688 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25344] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25344/stat : 25344 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 6964 33554432000 4194304 4196468 140725924346640 139966187228128 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25345] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25345/stat : 25345 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 6964 33554432000 4194304 4196468 140725924346640 139966186174896 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27592 KiB

[startup+0.217171 s]*
/proc/loadavg: 4.85 4.54 3.25 4/215 25345
/proc/meminfo: memFree=21236108/32770624 swapFree=67108532/67108860
[pid=25330] ppid=25327 vsize=10661052 memory=40620 CPUtime=0.36 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 23229 0 -1 1077944320 8233 0 0 0 33 3 0 0 20 0 15 0 96602482 10916917248 10155 33554432000 4194304 4196468 140725924346640 140725924329184 139967159725815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
/proc/25330/statm: 2665263 10155 3015 1 0 2627263 0
[pid=25330/tid=25332] ppid=25327 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25330/task/25332/stat : 25332 (java) S 25327 25330 23229 0 -1 1077944384 5091 0 0 0 18 2 0 0 20 0 15 0 96602483 10916917248 10155 33554432000 4194304 4196468 140725924346640 139967163963488 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25333] ppid=25327 vsize=10661052 memory=364 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25333/stat : 25333 (java) S 25327 25330 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 10155 33554432000 4194304 4196468 140725924346640 139967085800336 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25334] ppid=25327 vsize=10661052 memory=140461353872631 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25334/stat : 25334 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 10155 33554432000 4194304 4196468 140725924346640 139967084747536 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25335] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25335/stat : 25335 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 10155 33554432000 4194304 4196468 140725924346640 139967083695248 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25336] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25336/stat : 25336 (java) S 25327 25330 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 10155 33554432000 4194304 4196468 140725924346640 139967082642448 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25337] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25337/stat : 25337 (java) S 25327 25330 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602485 10916917248 10155 33554432000 4194304 4196468 140725924346640 139966194595952 139967159736962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25338] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25338/stat : 25338 (java) S 25327 25330 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96602485 10916917248 10155 33554432000 4194304 4196468 140725924346640 139966193541920 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25339] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25339/stat : 25339 (java) S 25327 25330 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96602485 10916917248 10155 33554432000 4194304 4196468 140725924346640 139966192489584 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25340] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25340/stat : 25340 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 10155 33554432000 4194304 4196468 140725924346640 139966191437904 139967159744411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25341] ppid=25327 vsize=10661052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25330/task/25341/stat : 25341 (java) R 25327 25330 23229 0 -1 1077944384 529 0 0 0 2 0 0 0 20 0 15 0 96602488 10916917248 10155 33554432000 4194304 4196468 140725924346640 139966190385776 139967159736962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25342] ppid=25327 vsize=10661052 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/25330/task/25342/stat : 25342 (java) R 25327 25330 23229 0 -1 4202560 329 0 0 0 3 0 0 0 20 0 15 0 96602488 10916917248 10155 33554432000 4194304 4196468 140725924346640 139966189319760 139967140426112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25343] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0.08 cores=0,2,4,6
/proc/25330/task/25343/stat : 25343 (java) R 25327 25330 23229 0 -1 4202560 919 0 0 0 8 0 0 0 20 0 15 0 96602488 10916917248 10155 33554432000 4194304 4196468 140725924346640 139966188276600 139967143979972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25344] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25344/stat : 25344 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 10155 33554432000 4194304 4196468 140725924346640 139966187228128 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25345] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25345/stat : 25345 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 10155 33554432000 4194304 4196468 140725924346640 139966186174896 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40620 KiB

[startup+0.310554 s]*
/proc/loadavg: 4.85 4.54 3.25 6/215 25345
/proc/meminfo: memFree=21189100/32770624 swapFree=67108532/67108860
[pid=25330] ppid=25327 vsize=10661052 memory=93012 CPUtime=0.58 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 23229 0 -1 1077944320 9528 0 0 0 54 4 0 0 20 0 15 0 96602482 10916917248 23253 33554432000 4194304 4196468 140725924346640 140725924329184 139967159725815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
/proc/25330/statm: 2665263 23253 3047 1 0 2627263 0
[pid=25330/tid=25332] ppid=25327 vsize=10661052 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/25330/task/25332/stat : 25332 (java) R 25327 25330 23229 0 -1 4202560 5120 0 0 0 26 3 0 0 20 0 15 0 96602483 10916917248 23253 33554432000 4194304 4196468 140725924346640 139967163957296 139967159747741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25333] ppid=25327 vsize=10661052 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25333/stat : 25333 (java) S 25327 25330 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 23253 33554432000 4194304 4196468 140725924346640 139967085800336 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25334] ppid=25327 vsize=10661052 memory=140461353873315 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25334/stat : 25334 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 23253 33554432000 4194304 4196468 140725924346640 139967084747536 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25335] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25335/stat : 25335 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 23253 33554432000 4194304 4196468 140725924346640 139967083695248 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25336] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25336/stat : 25336 (java) S 25327 25330 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602483 10916917248 23253 33554432000 4194304 4196468 140725924346640 139967082642448 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25337] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25337/stat : 25337 (java) S 25327 25330 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602485 10916917248 23253 33554432000 4194304 4196468 140725924346640 139966194595952 139967159736962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25338] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25338/stat : 25338 (java) S 25327 25330 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96602485 10916917248 23253 33554432000 4194304 4196468 140725924346640 139966193541920 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25339] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25339/stat : 25339 (java) S 25327 25330 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96602485 10916917248 23253 33554432000 4194304 4196468 140725924346640 139966192489584 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25340] ppid=25327 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25340/stat : 25340 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 23253 33554432000 4194304 4196468 140725924346640 139966191437904 139967159744411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25341] ppid=25327 vsize=10661052 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25330/task/25341/stat : 25341 (java) S 25327 25330 23229 0 -1 1077944384 927 0 0 0 6 0 0 0 20 0 15 0 96602488 10916917248 23253 33554432000 4194304 4196468 140725924346640 139966190385776 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25342] ppid=25327 vsize=10661052 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25330/task/25342/stat : 25342 (java) R 25327 25330 23229 0 -1 4202560 1162 0 0 0 8 0 0 0 20 0 15 0 96602488 10916917248 23253 33554432000 4194304 4196468 140725924346640 139966189314136 139967143222585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25343] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0.12 cores=0,2,4,6
/proc/25330/task/25343/stat : 25343 (java) S 25327 25330 23229 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 15 0 96602488 10916917248 23253 33554432000 4194304 4196468 140725924346640 139966188280688 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25344] ppid=25327 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25344/stat : 25344 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 23253 33554432000 4194304 4196468 140725924346640 139966187228128 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25345] ppid=25327 vsize=10661052 memory=140461353338496 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25345/stat : 25345 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602488 10916917248 23253 33554432000 4194304 4196468 140725924346640 139966186174896 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 93012 KiB

[startup+0.705693 s]
/proc/loadavg: 4.85 4.54 3.25 5/215 25345
/proc/meminfo: memFree=20979772/32770624 swapFree=67108532/67108860
[pid=25330] ppid=25327 vsize=10661128 memory=301112 CPUtime=1.65 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 23229 0 -1 1077944320 12670 0 0 0 149 16 0 0 20 0 15 0 96602482 10916995072 75278 33554432000 4194304 4196468 140725924346640 140725924329184 139967159725815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
/proc/25330/statm: 2665282 75278 3102 1 0 2627263 0
[pid=25330/tid=25332] ppid=25327 vsize=10661128 memory=16236 CPUtime=0.61 cores=0,2,4,6
/proc/25330/task/25332/stat : 25332 (java) R 25327 25330 23229 0 -1 4202560 5409 0 0 0 54 7 0 0 20 0 15 0 96602483 10916995072 75278 33554432000 4194304 4196468 140725924346640 139967163963616 139967159747741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25333] ppid=25327 vsize=10661128 memory=4048 CPUtime=0.05 cores=0,2,4,6
/proc/25330/task/25333/stat : 25333 (java) S 25327 25330 23229 0 -1 1077944384 73 0 0 0 3 2 0 0 20 0 15 0 96602483 10916995072 75278 33554432000 4194304 4196468 140725924346640 139967085800336 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25334] ppid=25327 vsize=10661128 memory=640 CPUtime=0.04 cores=0,2,4,6
/proc/25330/task/25334/stat : 25334 (java) S 25327 25330 23229 0 -1 1077944384 56 0 0 0 3 1 0 0 20 0 15 0 96602483 10916995072 75278 33554432000 4194304 4196468 140725924346640 139967084747536 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25335] ppid=25327 vsize=10661128 memory=1788 CPUtime=0.02 cores=0,2,4,6
/proc/25330/task/25335/stat : 25335 (java) S 25327 25330 23229 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 15 0 96602483 10916995072 75278 33554432000 4194304 4196468 140725924346640 139967083695248 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25336] ppid=25327 vsize=10661128 memory=960 CPUtime=0.03 cores=0,2,4,6
/proc/25330/task/25336/stat : 25336 (java) S 25327 25330 23229 0 -1 1077944384 46 0 0 0 2 1 0 0 20 0 15 0 96602483 10916995072 75278 33554432000 4194304 4196468 140725924346640 139967082642448 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25337] ppid=25327 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25337/stat : 25337 (java) S 25327 25330 23229 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 75278 33554432000 4194304 4196468 140725924346640 139966194595952 139967159736962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25338] ppid=25327 vsize=10661128 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25338/stat : 25338 (java) S 25327 25330 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 75278 33554432000 4194304 4196468 140725924346640 139966193541920 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25339] ppid=25327 vsize=10661128 memory=928 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25339/stat : 25339 (java) S 25327 25330 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 75278 33554432000 4194304 4196468 140725924346640 139966192489584 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25340] ppid=25327 vsize=10661128 memory=6153431502485415274 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25340/stat : 25340 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 75278 33554432000 4194304 4196468 140725924346640 139966191437904 139967159744411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25341] ppid=25327 vsize=10661128 memory=6081108994580113768 CPUtime=0.27 cores=0,2,4,6
/proc/25330/task/25341/stat : 25341 (java) R 25327 25330 23229 0 -1 4202560 1937 0 0 0 27 0 0 0 20 0 15 0 96602488 10916995072 75278 33554432000 4194304 4196468 140725924346640 139966190375888 139967141269107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25342] ppid=25327 vsize=10661128 memory=6154282490091891024 CPUtime=0.36 cores=0,2,4,6
/proc/25330/task/25342/stat : 25342 (java) S 25327 25330 23229 0 -1 1077944384 2515 0 0 0 36 0 0 0 20 0 15 0 96602488 10916995072 75278 33554432000 4194304 4196468 140725924346640 139966189332976 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25343] ppid=25327 vsize=10661128 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/25330/task/25343/stat : 25343 (java) S 25327 25330 23229 0 -1 1077944384 1157 0 0 0 19 0 0 0 20 0 15 0 96602488 10916995072 75278 33554432000 4194304 4196468 140725924346640 139966188280688 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25344] ppid=25327 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25344/stat : 25344 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 75278 33554432000 4194304 4196468 140725924346640 139966187228128 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25345] ppid=25327 vsize=10661128 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25345/stat : 25345 (java) S 25327 25330 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 75278 33554432000 4194304 4196468 140725924346640 139966186174896 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 301112 KiB

[startup+1.50551 s]
/proc/loadavg: 4.85 4.54 3.25 4/215 25345
/proc/meminfo: memFree=20861800/32770624 swapFree=67108532/67108860
[pid=25330] ppid=25327 vsize=10661128 memory=603904 CPUtime=3.4 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 23229 0 -1 1077944320 14976 0 0 0 302 38 0 0 20 0 15 0 96602482 10916995072 150976 33554432000 4194304 4196468 140725924346640 140725924329184 139967159725815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
/proc/25330/statm: 2665282 150976 3128 1 0 2627263 0
[pid=25330/tid=25332] ppid=25327 vsize=10661128 memory=554524 CPUtime=1.29 cores=0,2,4,6
/proc/25330/task/25332/stat : 25332 (java) S 25327 25330 23229 0 -1 1077944384 5521 0 0 0 120 9 0 0 20 0 15 0 96602483 10916995072 150976 33554432000 4194304 4196468 140725924346640 139967163963664 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25333] ppid=25327 vsize=10661128 memory=6791534058613427641 CPUtime=0.16 cores=0,2,4,6
/proc/25330/task/25333/stat : 25333 (java) R 25327 25330 23229 0 -1 4202560 337 0 0 0 9 7 0 0 20 0 15 0 96602483 10916995072 150976 33554432000 4194304 4196468 140725924346640 139967085800536 139967144711111 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25334] ppid=25327 vsize=10661128 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/25330/task/25334/stat : 25334 (java) R 25327 25330 23229 0 -1 4202560 186 0 0 0 8 7 0 0 20 0 15 0 96602483 10916995072 150976 33554432000 4194304 4196468 140725924346640 139967084747536 139967152354023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25335] ppid=25327 vsize=10661128 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/25330/task/25335/stat : 25335 (java) R 25327 25330 23229 0 -1 4202560 299 0 0 0 8 6 0 0 20 0 15 0 96602483 10916995072 150976 33554432000 4194304 4196468 140725924346640 139967083695248 139967152354023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25336] ppid=25327 vsize=10661128 memory=6943526294502006880 CPUtime=0.14 cores=0,2,4,6
/proc/25330/task/25336/stat : 25336 (java) R 25327 25330 23229 0 -1 4202560 945 0 0 0 8 6 0 0 20 0 15 0 96602483 10916995072 150976 33554432000 4194304 4196468 140725924346640 139967082642448 139967144569505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25337] ppid=25327 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25337/stat : 25337 (java) S 25327 25330 23229 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 150976 33554432000 4194304 4196468 140725924346640 139966194594272 139967159736021 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0

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

/proc/25330/task/25332/stat : 25332 (java) R 25327 25330 23229 0 -1 4202560 192150 0 0 0 236462 56 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967163965504 139966766111930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25333] ppid=25327 vsize=10661128 memory=4663316 CPUtime=14.68 cores=0,2,4,6
/proc/25330/task/25333/stat : 25333 (java) S 25327 25330 23229 0 -1 1077944384 45666 0 0 0 1405 63 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967085800336 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25334] ppid=25327 vsize=10661128 memory=4663316 CPUtime=14.72 cores=0,2,4,6
/proc/25330/task/25334/stat : 25334 (java) S 25327 25330 23229 0 -1 1077944384 45742 0 0 0 1407 65 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967084747536 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25335] ppid=25327 vsize=10661128 memory=4663316 CPUtime=14.67 cores=0,2,4,6
/proc/25330/task/25335/stat : 25335 (java) S 25327 25330 23229 0 -1 1077944384 46931 0 0 0 1399 68 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967083695248 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25336] ppid=25327 vsize=10661128 memory=4663316 CPUtime=14.68 cores=0,2,4,6
/proc/25330/task/25336/stat : 25336 (java) S 25327 25330 23229 0 -1 1077944384 47389 0 0 0 1398 70 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967082642448 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25337] ppid=25327 vsize=10661128 memory=4663316 CPUtime=1.69 cores=0,2,4,6
/proc/25330/task/25337/stat : 25337 (java) S 25327 25330 23229 0 -1 1077944384 20658 0 0 0 154 15 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966194595952 139967159736962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25338] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25338/stat : 25338 (java) S 25327 25330 23229 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966193541984 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25339] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25339/stat : 25339 (java) S 25327 25330 23229 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966192489584 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25340] ppid=25327 vsize=10661128 memory=33 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25340/stat : 25340 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966191437904 139967159744411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25341] ppid=25327 vsize=10661128 memory=4663316 CPUtime=1.6 cores=0,2,4,6
/proc/25330/task/25341/stat : 25341 (java) S 25327 25330 23229 0 -1 1077944384 6538 0 0 0 159 1 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966190385776 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25342] ppid=25327 vsize=10661128 memory=4663316 CPUtime=1.48 cores=0,2,4,6
/proc/25330/task/25342/stat : 25342 (java) S 25327 25330 23229 0 -1 1077944384 5575 0 0 0 146 2 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966189332976 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25343] ppid=25327 vsize=10661128 memory=8026650869813564775 CPUtime=0.58 cores=0,2,4,6
/proc/25330/task/25343/stat : 25343 (java) S 25327 25330 23229 0 -1 1077944384 4118 0 0 0 56 2 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966188280688 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25344] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25344/stat : 25344 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966187228128 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25345] ppid=25327 vsize=10661128 memory=4663316 CPUtime=1.52 cores=0,2,4,6
/proc/25330/task/25345/stat : 25345 (java) S 25327 25330 23229 0 -1 1077944384 1857 0 0 0 78 74 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966186174896 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
Current children cumulated CPU time: 2430.9 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4663316 KiB

[startup+2442.3 s]
/proc/loadavg: 1.48 1.51 1.62 3/215 26485
/proc/meminfo: memFree=23150052/32770624 swapFree=67108532/67108860
[pid=25330] ppid=25327 vsize=10661128 memory=4663316 CPUtime=2492.22 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 23229 0 -1 1077944320 425712 0 0 0 248827 395 0 0 20 0 15 0 96602482 10916995072 1165829 33554432000 4194304 4196468 140725924346640 140725924329184 139967159725815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
/proc/25330/statm: 2665282 1165829 3186 1 0 2627263 0
[pid=25330/tid=25332] ppid=25327 vsize=10661128 memory=4663316 CPUtime=2424.67 cores=0,2,4,6
/proc/25330/task/25332/stat : 25332 (java) R 25327 25330 23229 0 -1 4202560 196309 0 0 0 242411 56 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967163965504 139966765357324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25333] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.12 cores=0,2,4,6
/proc/25330/task/25333/stat : 25333 (java) S 25327 25330 23229 0 -1 1077944384 46168 0 0 0 1448 64 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967085800336 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25334] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.16 cores=0,2,4,6
/proc/25330/task/25334/stat : 25334 (java) S 25327 25330 23229 0 -1 1077944384 46448 0 0 0 1450 66 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967084747536 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25335] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.11 cores=0,2,4,6
/proc/25330/task/25335/stat : 25335 (java) S 25327 25330 23229 0 -1 1077944384 47797 0 0 0 1442 69 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967083695248 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25336] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.11 cores=0,2,4,6
/proc/25330/task/25336/stat : 25336 (java) S 25327 25330 23229 0 -1 1077944384 48525 0 0 0 1441 70 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967082642448 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25337] ppid=25327 vsize=10661128 memory=4663316 CPUtime=1.75 cores=0,2,4,6
/proc/25330/task/25337/stat : 25337 (java) S 25327 25330 23229 0 -1 1077944384 20900 0 0 0 160 15 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966194595952 139967159736962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25338] ppid=25327 vsize=10661128 memory=174 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25338/stat : 25338 (java) S 25327 25330 23229 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966193541984 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25339] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25339/stat : 25339 (java) S 25327 25330 23229 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966192489584 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25340] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25340/stat : 25340 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966191437904 139967159744411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25341] ppid=25327 vsize=10661128 memory=4663316 CPUtime=1.6 cores=0,2,4,6
/proc/25330/task/25341/stat : 25341 (java) S 25327 25330 23229 0 -1 1077944384 6541 0 0 0 159 1 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966190385776 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25342] ppid=25327 vsize=10661128 memory=1200 CPUtime=1.48 cores=0,2,4,6
/proc/25330/task/25342/stat : 25342 (java) S 25327 25330 23229 0 -1 1077944384 5577 0 0 0 146 2 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966189332976 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25343] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0.58 cores=0,2,4,6
/proc/25330/task/25343/stat : 25343 (java) S 25327 25330 23229 0 -1 1077944384 4120 0 0 0 56 2 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966188280688 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25344] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25344/stat : 25344 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966187228128 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25345] ppid=25327 vsize=10661128 memory=4663316 CPUtime=1.56 cores=0,2,4,6
/proc/25330/task/25345/stat : 25345 (java) S 25327 25330 23229 0 -1 1077944384 1880 0 0 0 80 76 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966186174896 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
Current children cumulated CPU time: 2492.22 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4663316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2469.5 s]
/proc/loadavg: 1.28 1.46 1.60 3/215 26486
/proc/meminfo: memFree=23149372/32770624 swapFree=67108532/67108860
[pid=25330] ppid=25327 vsize=10661128 memory=4663316 CPUtime=2520.02 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 23229 0 -1 1077944320 430016 0 0 0 251605 397 0 0 20 0 15 0 96602482 10916995072 1165829 33554432000 4194304 4196468 140725924346640 140725924329184 139967159725815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
/proc/25330/statm: 2665282 1165829 3186 1 0 2627263 0
[pid=25330/tid=25332] ppid=25327 vsize=10661128 memory=4663316 CPUtime=2451.63 cores=0,2,4,6
/proc/25330/task/25332/stat : 25332 (java) R 25327 25330 23229 0 -1 4202560 197455 0 0 0 245107 56 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967163965424 139966765357930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25333] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.32 cores=0,2,4,6
/proc/25330/task/25333/stat : 25333 (java) S 25327 25330 23229 0 -1 1077944384 47126 0 0 0 1468 64 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967085800336 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25334] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.36 cores=0,2,4,6
/proc/25330/task/25334/stat : 25334 (java) S 25327 25330 23229 0 -1 1077944384 47436 0 0 0 1470 66 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967084747536 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25335] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.31 cores=0,2,4,6
/proc/25330/task/25335/stat : 25335 (java) S 25327 25330 23229 0 -1 1077944384 47833 0 0 0 1462 69 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967083695248 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25336] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.3 cores=0,2,4,6
/proc/25330/task/25336/stat : 25336 (java) S 25327 25330 23229 0 -1 1077944384 49440 0 0 0 1460 70 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967082642448 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25337] ppid=25327 vsize=10661128 memory=4663316 CPUtime=1.77 cores=0,2,4,6
/proc/25330/task/25337/stat : 25337 (java) S 25327 25330 23229 0 -1 1077944384 21133 0 0 0 162 15 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966194595952 139967159736962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25338] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25338/stat : 25338 (java) S 25327 25330 23229 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966193541984 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25339] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25339/stat : 25339 (java) S 25327 25330 23229 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966192489584 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25340] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25340/stat : 25340 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966191437904 139967159744411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25341] ppid=25327 vsize=10661128 memory=6791534058613427641 CPUtime=1.6 cores=0,2,4,6
/proc/25330/task/25341/stat : 25341 (java) S 25327 25330 23229 0 -1 1077944384 6544 0 0 0 159 1 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966190385776 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25342] ppid=25327 vsize=10661128 memory=1960 CPUtime=1.48 cores=0,2,4,6
/proc/25330/task/25342/stat : 25342 (java) S 25327 25330 23229 0 -1 1077944384 5579 0 0 0 146 2 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966189332976 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25343] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0.58 cores=0,2,4,6
/proc/25330/task/25343/stat : 25343 (java) S 25327 25330 23229 0 -1 1077944384 4122 0 0 0 56 2 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966188280688 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25344] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25344/stat : 25344 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966187228128 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25345] ppid=25327 vsize=10661128 memory=12012 CPUtime=1.57 cores=0,2,4,6
/proc/25330/task/25345/stat : 25345 (java) S 25327 25330 23229 0 -1 1077944384 1901 0 0 0 80 77 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966186174896 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4663316 KiB

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

[startup+2469.55 s]
# the end of solver process 25330 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.08 s, system=4.00169 s

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

[startup+2469.5 s]
/proc/loadavg: 1.28 1.46 1.60 3/215 26486
/proc/meminfo: memFree=23149372/32770624 swapFree=67108532/67108860
[pid=25330] ppid=25327 vsize=10661128 memory=4663316 CPUtime=2520.02 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 23229 0 -1 1077944320 430016 0 0 0 251605 397 0 0 20 0 15 0 96602482 10916995072 1165829 33554432000 4194304 4196468 140725924346640 140725924329184 139967159725815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
/proc/25330/statm: 2665282 1165829 3186 1 0 2627263 0
[pid=25330/tid=25332] ppid=25327 vsize=10661128 memory=4663316 CPUtime=2451.63 cores=0,2,4,6
/proc/25330/task/25332/stat : 25332 (java) R 25327 25330 23229 0 -1 4202560 197455 0 0 0 245107 56 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967163965424 139966765357930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25333] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.32 cores=0,2,4,6
/proc/25330/task/25333/stat : 25333 (java) S 25327 25330 23229 0 -1 1077944384 47126 0 0 0 1468 64 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967085800336 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25334] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.36 cores=0,2,4,6
/proc/25330/task/25334/stat : 25334 (java) S 25327 25330 23229 0 -1 1077944384 47436 0 0 0 1470 66 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967084747536 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25335] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.31 cores=0,2,4,6
/proc/25330/task/25335/stat : 25335 (java) S 25327 25330 23229 0 -1 1077944384 47833 0 0 0 1462 69 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967083695248 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25336] ppid=25327 vsize=10661128 memory=4663316 CPUtime=15.3 cores=0,2,4,6
/proc/25330/task/25336/stat : 25336 (java) S 25327 25330 23229 0 -1 1077944384 49440 0 0 0 1460 70 0 0 20 0 15 0 96602483 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139967082642448 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25337] ppid=25327 vsize=10661128 memory=4663316 CPUtime=1.77 cores=0,2,4,6
/proc/25330/task/25337/stat : 25337 (java) S 25327 25330 23229 0 -1 1077944384 21133 0 0 0 162 15 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966194595952 139967159736962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25338] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25338/stat : 25338 (java) S 25327 25330 23229 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966193541984 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25339] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25339/stat : 25339 (java) S 25327 25330 23229 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 96602485 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966192489584 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25340] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25340/stat : 25340 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966191437904 139967159744411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25341] ppid=25327 vsize=10661128 memory=6791534058613427641 CPUtime=1.6 cores=0,2,4,6
/proc/25330/task/25341/stat : 25341 (java) S 25327 25330 23229 0 -1 1077944384 6544 0 0 0 159 1 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966190385776 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25342] ppid=25327 vsize=10661128 memory=1960 CPUtime=1.48 cores=0,2,4,6
/proc/25330/task/25342/stat : 25342 (java) S 25327 25330 23229 0 -1 1077944384 5579 0 0 0 146 2 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966189332976 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25343] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0.58 cores=0,2,4,6
/proc/25330/task/25343/stat : 25343 (java) S 25327 25330 23229 0 -1 1077944384 4122 0 0 0 56 2 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966188280688 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25344] ppid=25327 vsize=10661128 memory=4663316 CPUtime=0 cores=0,2,4,6
/proc/25330/task/25344/stat : 25344 (java) S 25327 25330 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966187228128 139967159736021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
[pid=25330/tid=25345] ppid=25327 vsize=10661128 memory=12012 CPUtime=1.57 cores=0,2,4,6
/proc/25330/task/25345/stat : 25345 (java) S 25327 25330 23229 0 -1 1077944384 1901 0 0 0 80 77 0 0 20 0 15 0 96602488 10916995072 1165829 33554432000 4194304 4196468 140725924346640 139966186174896 139967159736962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29155328 140725924349101 140725924349193 140725924349193 140725924351951 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4663316 KiB

Child status: 143
Real time (s): 2469.55
CPU time (s): 2520.08
CPU user time (s): 2516.08
CPU system time (s): 4.00169
CPU usage (%): 102.046
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 4663316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.08
system time used= 4.00169
maximum resident set size= 4663704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97750
involuntary context switches= 5675


# summary of solver processes directly reported to runsolver:
#   pid: 25330
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.08
#   total CPU system time (s): 4.00169

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1197 second user time and 23.9107 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-28 17:06:33
IDJOB=4299029
IDBENCH=141285
IDSOLVER=2766
FILE ID=node104/4299029-1532790393
RUNJOBID= node104-1532774598-23260
PBS_JOBID= 21022461
Free space on /tmp= 48064 MiB

SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-01-0200_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299029-1532790393/watcher-4299029-1532790393 -o /tmp/evaluation-result-4299029-1532790393/solver-4299029-1532790393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23260 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4299029-1532790393.xml

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

MD5SUM BENCH= 0e8e562de5d18dab033d3d20f1b4790d
RANDOM SEED=121943254

node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.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	: 5333.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	: 5333.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	: 5333.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:        21263672 kB
MemAvailable:   25391800 kB
Buffers:          155164 kB
Cached:          4225108 kB
SwapCached:           12 kB
Active:          8756548 kB
Inactive:        2224072 kB
Active(anon):    6555196 kB
Inactive(anon):    73040 kB
Active(file):    2201352 kB
Inactive(file):  2151032 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108532 kB
Dirty:            103712 kB
Writeback:             0 kB
AnonPages:       6607816 kB
Mapped:            52776 kB
Shmem:             25060 kB
Slab:             211336 kB
SReclaimable:     183156 kB
SUnreclaim:        28180 kB
KernelStack:        3504 kB
PageTables:        18172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7273832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6475776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48244 MiB
End job on node104 at 2018-07-28 17:47:43