Trace number 4304447

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)98763724 2520.12 2467.57

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-01-0200_c18.xml
MD5SUMbcb772945ca2f244c7b00bb761820cd7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35787314
Best CPU time to get the best result obtained on this benchmark2520.08
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 constraints945
Number of intensional constraints1108
Distribution of constraint types[{"type":"extension","count":945},{"type":"intension","count":1108}]
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.98/0.74	c Concrete v3.9.2.1532736233296 running
49.65/29.50	o 98763746
50.24/29.72	o 98763744
50.24/29.76	o 98763738
50.48/29.85	o 98763725
50.73/29.90	o 98763724
2520.03/2467.53	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2467.53		at concrete.MAC.mac(MAC.scala:188)
2520.03/2467.53		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2467.53		at scala.util.Try$.apply(Try.scala:209)
2520.03/2467.53		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2467.53		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2467.53		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2467.53		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2467.53		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2467.53		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2467.53		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2467.53		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2467.53		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2467.53		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2467.53		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2467.53		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2467.53		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2467.53		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2467.53		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2467.53		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2467.53		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2467.53		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2467.53		at scala.util.Success.map(Try.scala:209)
2520.03/2467.53		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2467.53		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2467.53		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2467.53		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2467.53		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2467.53		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2467.53		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2467.53		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2467.53		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2467.53		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2467.53		at scala.App.main(App.scala:76)
2520.03/2467.53		at scala.App.main$(App.scala:74)
2520.03/2467.53		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2467.53		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2467.54	v <instantiation cost="98763724">
2520.03/2467.54	v       <list>
2520.03/2467.54	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.03/2467.54	v       </list>
2520.03/2467.54	v       <values>
2520.03/2467.54	v         2620 2456 2644 2440 2472 2552 2480 2520 2480 2420 2380 2556 2516 2656 2480 2636 2504 2416 2388 2552 2568 2552 2652 2596 2492 2412 2600 2648 2656 2616 2592 2576 2324 2376 2512 2456 2564 2468 2424 2512 2320 2348 2420 2440 2412 2420 2564 2340 2420 2592 2548 2324 2344 2292 2372 2512 2288 2460 2380 2320 2536 2652 2416 2512 2452 2492 2528 2320 2592 2336 2544 2508 2604 2528 2432 2592 2280 2608 2596 2328 2280 2332 2292 2332 2572 2456 2524 2452 2552 2632 2352 2448 2560 2520 2320 2460 2532 2548 2612 2532 2280 2632 2500 2500 2540 2420 2552 2484 2656 2280 2420 2288 2344 2284 2656 2508 2320 2584 2280 2656 2280 2552 2408 2408 2320 2312 2532 2336 2344 2492 2596 2612 2440 2452 2360 2488 2580 2616 2588 2608 2352 2572 2476 2392 2420 2592 2376 2656 2420 2304 2380 2640 2428 2376 2540 2468 2628 2616 2460 2416 2508 2580 2524 2328 2624 2636 2488 2460 2616 2464 2440 2284 2312 2336 2320 2340 2500 2376 2380 2384 2648 2612 2604 2368 2616 2608 2460 2332 2480 2336 2460 2400 2320 2652 2380 2616 2384 2280 2612 2540 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 6 3 1 9 0 1 0 7 0 8 1 1 1 6 0 0 1 0 0 0 0 0 0 0 1 9 7 0 0 6 0 10 1 0 1 1 0 1 0 0 0 8 0 1 8 0 0 0 0 0 0 0 0 10 7 0 1 0 1 0 0 0 0 0 10 0 0 0 0 0 0 0 1 0 10 1 10 0 9 0 0 0 0 0 0 5 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 1 0 1 1 0 0 9 0 0 1 1 0 0 0 0 0 0 10 0 0 1 0 0 10 0 1 0 0 0 10 0 0 0 1 0 0 10 0 0 0 1 0 0 0 0 0 10 0 9 5 0 0 1 0 0 0 1 8 0 0 2 10 1 0 10 10 6 0 0 0 0 1 0 1 0 10 0 10 8 10 0 0 0 0 0 0 0 0 0 0 0 5 10 10 10 0 0 0 0 1 0 0 10 0 0 0 0 9 5 0 0 0 9 0 1 0 0 0 0 1 5 1 0 5 0 9 1 0 1 0 0 0 0 0 0 0 0 0 10 0 10 0 9 0 0 0 1 10 0 1 0 0 0 0 10 0 0 0 0 0 0 0 1 0 1 0 0 10 0 0 1 8 0 9 0 4 0 7 8 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 10 0 0 0 1 6 9 10 0 0 4 4 0 1 0 0 10 0 0 0 0 1 0 0 0 0 0 10 10 1 10 1 0 0 1 10 7 0 1 1 7 10 0 0 0 0 9 8 0 10 0 0 1 0 1 0 8 10 0 0 0 0 0 0 0 0 1 4 1 0 6 2 0 3 10 0 0 0 0 0 0 0 6 10 0 0 0 0 0 0 6 2 6 10 0 0 0 0 0 2 10 7 0 10 0 0 0 7 0 0 0 10 10 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 8 0 0 0 9 0 0 0 1 0 0 0 0 0 10 0 0 0 8 10 0 2 0 0 0 0 1 7 0 10 5 8 0 10 0 0 0 0 1 2 0 0 0 10 0 1 10 0 0 0 8 0 6 0 3 0 10 0 10 1 0 1 10 10 10 6 0 0 1 0 0 0 0 0 0 1 0 0 0 0 8 0 10 1 0 0 10 1 0 1 0 0 0 10 0 4 1 0 10 10 3 0 1 10 0 0 7 0 0 6 1 5 0 10 1 1 0 10 0 0 0 0 0 0 0 0 0 9 9 1 10 5 0 0 0 0 5 0 0 10 1 4 0 0 0 0 0 0 1 10 0 0 10 3 1 5 0 1 1 8 4 10 0 0 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 8 1 10 0 1 0 3 0 1 0 0 0 10 0 1 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 1 0 1 9 0 0 0 0 1 0 10 1 0 0 0 1 0 0 0 0 0 0 0 1 0 3 0 1 0 5 0 10 0 1 0 0 0 1 10 1 10 0 5 0 8 0 0 0 0 0 3 0 10 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 10 0 5 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 6 1 2 9 0 0 0 0 2 0 0 10 0 0 0 10 0 9 0 0 1 0 0 0 10 1 0 1 0 0 8 0 0 1 0 0 0 0 1 8 0 0 0 1 0 0 0 8 0 0 0 3 2 0 0 0 0 0 0 1 0 7 7 1 0 7 0 10 0 0 0 0 0 6 10 1 0 10 7 0 0 1 0 0 0 0 6 0 0 0 0 0 0 1 0 0 0 1 0 9 2 1 0 4 0 0 0 10 0 8 9 0 8 7 10 1 0 0 0 0 0 10 0 0 0 8 1 0 0 0 1 0 0 0 0 0 0 10 0 1 0 10 0 20 164 240 60 112 300 160 284 80 52 36 48 40 76 228 320 228 136 124 96 12 168 224 136 276 264 32 128 212 72 120 160 12 80 48 140 196 80 20 152 180 92 120 48 192 20 164 92 28 104 272 144 104 44 96 72 72 116 60 16 160 100 108 64 44 80 68 168 128 60 136 60 48 48 200 40 4 16 168 100 148 236 88 28 204 136 36 188 196 36 216 236 0 4 180 216 184 236 48 52 276 68 92 116 216 100 140 60 96 184 116 16 96 36 88 180 152 104 80 320 324 364 236 372 376 52 196 64 72 132 128 188 104 160 20 104 148 160 136 60 60 72 184 4 148 244 44 176 124 32 148 48 224 100 224 124 116 132 240 164 160 124 64 96 60 68 72 52 40 228 100 112 72 92 112 224 40 216 280 224 160 264 284 200 48 48 96 40 92 0 132 232 44 152 240 76 332 232 364 28 36 192 128 272 316 12 252 156 120 216 8 136 196 80 56 172 100 12 112 236 180 152 124 100 220 132 160 8 160 56 80 256 16 92 100 140 228 56 192 368 148 296 0 44 168 108 312 376 124 248 236 280 288 104 200 16 84 64 272 40 196 304 116 4 132 68 172 64 200 288 132 208 152 156 236 160 244 256 40 176 40 100 96 36 220 208 272 116 96 92 292 4 216 40 76 44 32 76 64 96 60 8 208 12 136 108 4 72 48 144 76 132 152 156 44 116 48 276 204 144 44 140 136 144 188 48 112 20 156 148 104 4 136 64 44 116 76 56 104 232 28 92 100 316 292 72 8 84 248 184 268 36 268 8 80 0 40 232 112 0 28 68 84 192 20 92 96 128 68 32 76 220 244 196 76 52 76 36 76 100 172 140 140 44 192 40 284 64 20 64 104 92 316 76 20 172 72 84 88 76 196 120 36 268 144 60 40 16 64 152 212 220 4 40 204 40 156 88 124 216 184 228 4 20 216 60 8 60 168 156 140 8 32 120 28 300 316 232 240 136 176 336 36 332 324 148 232 156 152 160 92 52 220 48 92 36 108 168 60 84 44 116 344 324 48 32 68 148 60 40 172 176 116 80 120 272 52 76 96 72 80 204 232 200 40 88 120 56 328 36 256 4 192 116 116 152 112 68 80 112 368 332 56 272 36 48 192 36 80 176 68 240 4 124 232 40 192 12 132 128 100 132 108 132 120 204 48 36 60 160 48 180 136 116 32 4 88 60 68 144 112 40 132 88 288 64 60 52 172 304 36 256 208 12 24 96 216 260 244 128 104 48 24 60 112 84 164 100 108 188 24 184 284 8 248 28 24 4 52 200 108 124 120 56 184 180 220 180 272 56 176 72 140 244 328 52 100 104 20 280 272 208 264 316 104 44 128 8 212 376 180 136 328 300 20 76 20 260 20 208 148 124 344 168 208 12 76 108 292 120 268 196 192 44 76 136 172 76 148 156 188 84 96 148 196 80 180 172 56 12 184 168 132 160 8 232 104 216 40 12 72 232 100 212 140 44 4 168 260 72 40 108 148 208 168 140 20 92 180 92 120 132 56 180 192 100 136 188 140 88 140 136 188 152 80 124 148 72 228 88 44 44 24 228 48 92 220 72 220 128 292 56 92 312 296 16 156 96 116 88 148 160 108 220 180 12 196 188 196 32 0 112 132 76 76 232 36 272 28 84 216 212 184 92 76 96 132 92 168 84 280 196 372 272 376 236 132 20 68 152 56 48 80 88 308 152 108 124 16 8 332 0 324 4 236 240 328 44 320 132 336 220 332 224 200 0 316 336 96 336 4 60 116 196 176 256 328 120 332 144 60 176 28 224 96 104 172 196 184 32 228 28 24 260 56 8 328 340 124 48 156 72 164 132 320 244 132 124 24 272 24 156 144 56 28 160 20 16 4 292 4 84 208 148 168 112 228 256 140 28 228 188 72 44 56 100 236 108 208 64 268 20 124 48 288 236 232 40 252 144 156 64 220 212 72 124 176 272 240 248 32 44 52 312 32 260 36 200 180 304 140 256 272 224 36 212 80 112 148 244 0 232 164 196 48 72 116 172 32 92 268 212 24 16 136 280 172 176 24 128 48 152 20 124 284 188 100 116 328 316 312 232 224 160 16 132 212 236 328 80 52 100 132 44 260
2520.03/2467.54	v       </values>
2520.03/2467.54	v     </instantiation>
2520.03/2467.54	s SATISFIABLE

Verifier Data 

OK	98763724

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304447-1534089614/watcher-4304447-1534089614 -o /tmp/evaluation-result-4304447-1534089614/solver-4304447-1534089614 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9592 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1064615754 HOME/instance-4304447-1534089614.xml 

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

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


[startup+0.102521 s]*
/proc/loadavg: 1.77 1.79 1.71 2/208 14521
/proc/meminfo: memFree=12797364/32770624 swapFree=67108504/67108860
[pid=14464] ppid=14461 vsize=10005480 memory=16548 CPUtime=0.08 cores=1,3,5,7
/proc/14464/stat : 14464 (java) S 14461 14464 9560 0 -1 1077944320 4312 13252 0 0 1 0 4 3 20 0 6 0 226524634 10245611520 4137 33554432000 4194304 4196468 140725110835120 140725110817664 140431139860215 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
/proc/14464/statm: 2501370 4137 1932 1 0 2489808 0
[pid=14464/tid=14517] ppid=14461 vsize=10005480 memory=4279135704047321741 CPUtime=0.08 cores=1,3,5,7
/proc/14464/task/14517/stat : 14517 (java) R 14461 14464 9560 0 -1 4202560 2159 13252 0 0 1 0 4 3 20 0 6 0 226524644 10245611520 4203 33554432000 4194304 4196468 140725110835120 140431111696976 140431139882141 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14518] ppid=14461 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14518/stat : 14518 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 6 0 226524644 10245611520 4203 33554432000 4194304 4196468 140725110835120 140431144103056 140431139870421 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14519] ppid=14461 vsize=10005480 memory=140557473310336 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14519/stat : 14519 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 6 0 226524644 10245611520 4203 33554432000 4194304 4196468 140725110835120 140431009438736 140431139870421 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14520] ppid=14461 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14520/stat : 14520 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 6 0 226524644 10245611520 4203 33554432000 4194304 4196468 140725110835120 140431008385936 140431139870421 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14521] ppid=14461 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14521/stat : 14521 (java) S 14461 14464 9560 0 -1 1077944384 2 13252 0 0 0 0 4 3 20 0 6 0 226524644 10245611520 4203 33554432000 4194304 4196468 140725110835120 140431007333136 140431139870421 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB

[startup+0.210013 s]*
/proc/loadavg: 1.77 1.79 1.71 3/217 14530
/proc/meminfo: memFree=12776364/32770624 swapFree=67108504/67108860
[pid=14464] ppid=14461 vsize=10982744 memory=42280 CPUtime=0.25 cores=1,3,5,7
/proc/14464/stat : 14464 (java) S 14461 14464 9560 0 -1 1077944320 7243 13252 0 0 17 1 4 3 20 0 15 0 226524634 11246329856 10570 33554432000 4194304 4196468 140725110835120 140725110817664 140431139860215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
/proc/14464/statm: 2745686 10570 2952 1 0 2708109 0
[pid=14464/tid=14517] ppid=14461 vsize=10982744 memory=-6517102902069810590 CPUtime=0.17 cores=1,3,5,7
/proc/14464/task/14517/stat : 14517 (java) R 14461 14464 9560 0 -1 4202560 3988 13252 0 0 10 0 4 3 20 0 15 0 226524644 11246329856 10702 33554432000 4194304 4196468 140725110835120 140431111656256 140431120136029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14518] ppid=14461 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14518/stat : 14518 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246329856 10702 33554432000 4194304 4196468 140725110835120 140431144103056 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14519] ppid=14461 vsize=10982744 memory=140557473310336 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14519/stat : 14519 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246329856 10702 33554432000 4194304 4196468 140725110835120 140431009438736 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14520] ppid=14461 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14520/stat : 14520 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246329856 10702 33554432000 4194304 4196468 140725110835120 140431008385936 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14521] ppid=14461 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14521/stat : 14521 (java) S 14461 14464 9560 0 -1 1077944384 2 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246329856 10768 33554432000 4194304 4196468 140725110835120 140431007333136 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14522] ppid=14461 vsize=10982744 memory=140557473310336 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14522/stat : 14522 (java) S 14461 14464 9560 0 -1 1077944384 2 13252 0 0 0 0 4 3 20 0 15 0 226524646 11246329856 10768 33554432000 4194304 4196468 140725110835120 140430564673904 140431139871362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14523] ppid=14461 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14523/stat : 14523 (java) S 14461 14464 9560 0 -1 1077944384 13 13252 0 0 0 0 4 3 20 0 15 0 226524646 11246329856 10768 33554432000 4194304 4196468 140725110835120 140429995533344 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14524] ppid=14461 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14524/stat : 14524 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524647 11246329856 10768 33554432000 4194304 4196468 140725110835120 140429794206576 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14525] ppid=14461 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14525/stat : 14525 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524649 11246329856 10768 33554432000 4194304 4196468 140725110835120 140429486806864 140431139878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14526] ppid=14461 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14464/task/14526/stat : 14526 (java) S 14461 14464 9560 0 -1 1077944384 484 13252 0 0 1 0 4 3 20 0 15 0 226524649 11246329856 10768 33554432000 4194304 4196468 140725110835120 140430563621744 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14527] ppid=14461 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14527/stat : 14527 (java) S 14461 14464 9560 0 -1 1077944384 129 13252 0 0 0 0 4 3 20 0 15 0 226524649 11246329856 10768 33554432000 4194304 4196468 140725110835120 140430562568944 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14528] ppid=14461 vsize=10982744 memory=140557473310336 CPUtime=0.1 cores=1,3,5,7
/proc/14464/task/14528/stat : 14528 (java) S 14461 14464 9560 0 -1 1077944384 601 13252 0 0 3 0 4 3 20 0 15 0 226524649 11246329856 10768 33554432000 4194304 4196468 140725110835120 140430561516144 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14529] ppid=14461 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14529/stat : 14529 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524650 11246329856 10768 33554432000 4194304 4196468 140725110835120 140429056010976 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14530] ppid=14461 vsize=10982744 memory=140557473310336 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14530/stat : 14530 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524650 11246329856 10768 33554432000 4194304 4196468 140725110835120 140430560463536 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42280 KiB

[startup+0.310224 s]*
/proc/loadavg: 1.77 1.79 1.71 3/217 14530
/proc/meminfo: memFree=12763464/32770624 swapFree=67108504/67108860
[pid=14464] ppid=14461 vsize=10983192 memory=56428 CPUtime=0.38 cores=1,3,5,7
/proc/14464/stat : 14464 (java) S 14461 14464 9560 0 -1 1077944320 10575 13252 0 0 29 2 4 3 20 0 15 0 226524634 11246788608 14107 33554432000 4194304 4196468 140725110835120 140725110817664 140431139860215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
/proc/14464/statm: 2745798 14107 3101 1 0 2708109 0
[pid=14464/tid=14517] ppid=14461 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/14464/task/14517/stat : 14517 (java) R 14461 14464 9560 0 -1 4202560 7143 13252 0 0 19 1 4 3 20 0 15 0 226524644 11246788608 14107 33554432000 4194304 4196468 140725110835120 140431111672224 140431123940702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14518] ppid=14461 vsize=10983192 memory=6153696523089629265 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14518/stat : 14518 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246788608 14107 33554432000 4194304 4196468 140725110835120 140431144103056 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14519] ppid=14461 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14519/stat : 14519 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246788608 14107 33554432000 4194304 4196468 140725110835120 140431009438736 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14520] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14520/stat : 14520 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246788608 14107 33554432000 4194304 4196468 140725110835120 140431008385936 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14521] ppid=14461 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14521/stat : 14521 (java) S 14461 14464 9560 0 -1 1077944384 2 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246788608 14107 33554432000 4194304 4196468 140725110835120 140431007333136 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14522] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14522/stat : 14522 (java) S 14461 14464 9560 0 -1 1077944384 2 13252 0 0 0 0 4 3 20 0 15 0 226524646 11246788608 14107 33554432000 4194304 4196468 140725110835120 140430564673904 140431139871362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14523] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14523/stat : 14523 (java) S 14461 14464 9560 0 -1 1077944384 13 13252 0 0 0 0 4 3 20 0 15 0 226524646 11246788608 14107 33554432000 4194304 4196468 140725110835120 140429995533344 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14524] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14524/stat : 14524 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524647 11246788608 14107 33554432000 4194304 4196468 140725110835120 140429794206576 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14525] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14525/stat : 14525 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524649 11246788608 14107 33554432000 4194304 4196468 140725110835120 140429486806864 140431139878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14526] ppid=14461 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14464/task/14526/stat : 14526 (java) S 14461 14464 9560 0 -1 1077944384 486 13252 0 0 2 0 4 3 20 0 15 0 226524649 11246788608 14107 33554432000 4194304 4196468 140725110835120 140430563621744 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14527] ppid=14461 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14464/task/14527/stat : 14527 (java) S 14461 14464 9560 0 -1 1077944384 132 13252 0 0 1 0 4 3 20 0 15 0 226524649 11246788608 14107 33554432000 4194304 4196468 140725110835120 140430562568944 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14528] ppid=14461 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14464/task/14528/stat : 14528 (java) S 14461 14464 9560 0 -1 1077944384 607 13252 0 0 5 0 4 3 20 0 15 0 226524649 11246788608 14107 33554432000 4194304 4196468 140725110835120 140430561516144 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14529] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14529/stat : 14529 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524650 11246788608 14107 33554432000 4194304 4196468 140725110835120 140429056010976 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14530] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14530/stat : 14530 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524650 11246788608 14107 33554432000 4194304 4196468 140725110835120 140430560463536 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56428 KiB

[startup+0.700784 s]
/proc/loadavg: 1.77 1.79 1.71 4/217 14530
/proc/meminfo: memFree=12752424/32770624 swapFree=67108504/67108860
[pid=14464] ppid=14461 vsize=10983192 memory=88448 CPUtime=0.98 cores=1,3,5,7
/proc/14464/stat : 14464 (java) S 14461 14464 9560 0 -1 1077944320 16749 13252 0 0 87 4 4 3 20 0 15 0 226524634 11246788608 22112 33554432000 4194304 4196468 140725110835120 140725110817664 140431139860215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
/proc/14464/statm: 2745798 22112 3247 1 0 2708109 0
[pid=14464/tid=14517] ppid=14461 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/14464/task/14517/stat : 14517 (java) R 14461 14464 9560 0 -1 4202560 12295 13252 0 0 56 2 4 3 20 0 15 0 226524644 11246788608 22176 33554432000 4194304 4196468 140725110835120 140431111681040 140431132960118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14518] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14518/stat : 14518 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246788608 22176 33554432000 4194304 4196468 140725110835120 140431144103056 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14519] ppid=14461 vsize=10983192 memory=3816 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14519/stat : 14519 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246788608 22176 33554432000 4194304 4196468 140725110835120 140431009438736 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14520] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14520/stat : 14520 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246788608 22176 33554432000 4194304 4196468 140725110835120 140431008385936 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14521] ppid=14461 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14521/stat : 14521 (java) S 14461 14464 9560 0 -1 1077944384 2 13252 0 0 0 0 4 3 20 0 15 0 226524644 11246788608 22176 33554432000 4194304 4196468 140725110835120 140431007333136 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14522] ppid=14461 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14522/stat : 14522 (java) S 14461 14464 9560 0 -1 1077944384 5 13252 0 0 0 0 4 3 20 0 15 0 226524646 11246788608 22176 33554432000 4194304 4196468 140725110835120 140430564673904 140431139871362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14523] ppid=14461 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14523/stat : 14523 (java) S 14461 14464 9560 0 -1 1077944384 13 13252 0 0 0 0 4 3 20 0 15 0 226524646 11246788608 22176 33554432000 4194304 4196468 140725110835120 140429995533344 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14524] ppid=14461 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14524/stat : 14524 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524647 11246788608 22176 33554432000 4194304 4196468 140725110835120 140429794206576 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14525] ppid=14461 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14525/stat : 14525 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524649 11246788608 22176 33554432000 4194304 4196468 140725110835120 140429486806864 140431139878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14526] ppid=14461 vsize=10983192 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/14464/task/14526/stat : 14526 (java) S 14461 14464 9560 0 -1 1077944384 1033 13252 0 0 10 0 4 3 20 0 15 0 226524649 11246788608 22176 33554432000 4194304 4196468 140725110835120 140430563621744 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14527] ppid=14461 vsize=10983192 memory=15460 CPUtime=0.13 cores=1,3,5,7
/proc/14464/task/14527/stat : 14527 (java) S 14461 14464 9560 0 -1 1077944384 536 13252 0 0 6 0 4 3 20 0 15 0 226524649 11246788608 22176 33554432000 4194304 4196468 140725110835120 140430562568944 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14528] ppid=14461 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/14464/task/14528/stat : 14528 (java) R 14461 14464 9560 0 -1 4202560 672 13252 0 0 13 0 4 3 20 0 15 0 226524649 11246788608 22176 33554432000 4194304 4196468 140725110835120 140430561516144 140431124037489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14529] ppid=14461 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14529/stat : 14529 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524650 11246788608 22176 33554432000 4194304 4196468 140725110835120 140429056010976 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14530] ppid=14461 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14530/stat : 14530 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524650 11246788608 22176 33554432000 4194304 4196468 140725110835120 140430560463536 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88448 KiB

[startup+1.50102 s]
/proc/loadavg: 1.77 1.79 1.71 4/217 14530
/proc/meminfo: memFree=12706496/32770624 swapFree=67108504/67108860
[pid=14464] ppid=14461 vsize=10991948 memory=304424 CPUtime=3.08 cores=1,3,5,7
/proc/14464/stat : 14464 (java) S 14461 14464 9560 0 -1 1077944320 23886 13252 0 0 281 20 4 3 20 0 15 0 226524634 11255754752 76106 33554432000 4194304 4196468 140725110835120 140725110817664 140431139860215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
/proc/14464/statm: 2747987 76106 3476 1 0 2709645 0
[pid=14464/tid=14517] ppid=14461 vsize=10991948 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/14464/task/14517/stat : 14517 (java) R 14461 14464 9560 0 -1 4202560 15296 13252 0 0 125 7 4 3 20 0 15 0 226524644 11255754752 76106 33554432000 4194304 4196468 140725110835120 140431111691152 140430688185005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14518] ppid=14461 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/14464/task/14518/stat : 14518 (java) S 14461 14464 9560 0 -1 1077944384 213 13252 0 0 2 2 4 3 20 0 15 0 226524644 11255754752 76106 33554432000 4194304 4196468 140725110835120 140431144103056 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14519] ppid=14461 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/14464/task/14519/stat : 14519 (java) S 14461 14464 9560 0 -1 1077944384 118 13252 0 0 2 2 4 3 20 0 15 0 226524644 11255754752 76106 33554432000 4194304 4196468 140725110835120 140431009438736 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14520] ppid=14461 vsize=10991948 memory=3539892194917298225 CPUtime=0.11 cores=1,3,5,7
/proc/14464/task/14520/stat : 14520 (java) S 14461 14464 9560 0 -1 1077944384 45 13252 0 0 2 2 4 3 20 0 15 0 226524644 11255754752 76106 33554432000 4194304 4196468 140725110835120 140431008385936 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14521] ppid=14461 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/14464/task/14521/stat : 14521 (java) S 14461 14464 9560 0 -1 1077944384 98 13252 0 0 2 2 4 3 20 0 15 0 226524644 11255754752 76106 33554432000 4194304 4196468 140725110835120 140431007333136 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14522] ppid=14461 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14522/stat : 14522 (java) S 14461 14464 9560 0 -1 1077944384 96 13252 0 0 0 0 4 3 20 0 15 0 226524646 11255754752 76106 33554432000 4194304 4196468 140725110835120 140430564673904 140431139871362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14523] ppid=14461 vsize=10991948 memory=281114736404736 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14523/stat : 14523 (java) S 14461 14464 9560 0 -1 1077944384 13 13252 0 0 0 0 4 3 20 0 15 0 226524646 11255754752 76106 33554432000 4194304 4196468 140725110835120 140429995533344 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14524] ppid=14461 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14524/stat : 14524 (java) S 14461 14464 9560 0 -1 1077944384 5 13252 0 0 0 0 4 3 20 0 15 0 226524647 11255754752 76106 33554432000 4194304 4196468 140725110835120 140429794206576 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14525] ppid=14461 vsize=10991948 memory=4552 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14525/stat : 14525 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524649 11255754752 76106 33554432000 4194304 4196468 140725110835120 140429486806864 140431139878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14526] ppid=14461 vsize=10991948 memory=3732 CPUtime=0.62 cores=1,3,5,7
/proc/14464/task/14526/stat : 14526 (java) R 14461 14464 9560 0 -1 4202560 2816 13252 0 0 55 0 4 3 20 0 15 0 226524649 11255754752 76106 33554432000 4194304 4196468 140725110835120 140430563608288 140431121403988 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14527] ppid=14461 vsize=10991948 memory=1228 CPUtime=0.54 cores=1,3,5,7
/proc/14464/task/14527/stat : 14527 (java) R 14461 14464 9560 0 -1 4202560 1406 13252 0 0 47 0 4 3 20 0 15 0 226524649 11255754752 76106 33554432000 4194304 4196468 140725110835120 140430562553024 140431121384760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14528] ppid=14461 vsize=10991948 memory=10624 CPUtime=0.48 cores=1,3,5,7
/proc/14464/task/14528/stat : 14528 (java) S 14461 14464 9560 0 -1 1077944384 1585 13252 0 0 41 0 4 3 20 0 15 0 226524649 11255754752 76106 33554432000 4194304 4196468 140725110835120 140430561516144 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14529] ppid=14461 vsize=10991948 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14529/stat : 14529 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524650 11255754752 76106 33554432000 4194304 4196468 140725110835120 140429056010976 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14530] ppid=14461 vsize=10991948 memory=6768 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14530/stat : 14530 (java) S 14461 14464 9560 0 -1 1077944384 1 13252 0 0 0 0 4 3 20 0 15 0 226524650 11255754752 76106 33554432000 4194304 4196468 140725110835120 140430560463536 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10991948 KiB

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

/proc/14464/task/14517/stat : 14517 (java) R 14461 14464 9560 0 -1 4202560 478146 13252 0 0 236928 101 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431111694320 140430707299577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14518] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.55 cores=1,3,5,7
/proc/14464/task/14518/stat : 14518 (java) S 14461 14464 9560 0 -1 1077944384 25886 13252 0 0 887 61 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431144103056 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14519] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.53 cores=1,3,5,7
/proc/14464/task/14519/stat : 14519 (java) S 14461 14464 9560 0 -1 1077944384 35976 13252 0 0 883 63 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431009438736 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14520] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.55 cores=1,3,5,7
/proc/14464/task/14520/stat : 14520 (java) S 14461 14464 9560 0 -1 1077944384 26489 13252 0 0 887 61 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431008385936 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14521] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.56 cores=1,3,5,7
/proc/14464/task/14521/stat : 14521 (java) S 14461 14464 9560 0 -1 1077944384 24096 13252 0 0 886 63 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431007333136 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14522] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2.03 cores=1,3,5,7
/proc/14464/task/14522/stat : 14522 (java) S 14461 14464 9560 0 -1 1077944384 31593 13252 0 0 167 29 4 3 20 0 15 0 226524646 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430564673904 140431139871362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14523] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14523/stat : 14523 (java) S 14461 14464 9560 0 -1 1077944384 14 13252 0 0 0 0 4 3 20 0 15 0 226524646 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429995533472 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14524] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14524/stat : 14524 (java) S 14461 14464 9560 0 -1 1077944384 6 13252 0 0 0 0 4 3 20 0 15 0 226524647 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429794206592 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14525] ppid=14461 vsize=11016544 memory=3816 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14525/stat : 14525 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429486806864 140431139878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14526] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.47 cores=1,3,5,7
/proc/14464/task/14526/stat : 14526 (java) S 14461 14464 9560 0 -1 1077944384 91868 13252 0 0 932 8 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430563621744 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14527] ppid=14461 vsize=11016544 memory=6768 CPUtime=9.98 cores=1,3,5,7
/proc/14464/task/14527/stat : 14527 (java) S 14461 14464 9560 0 -1 1077944384 100531 13252 0 0 980 11 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430562568944 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14528] ppid=14461 vsize=11016544 memory=3245836 CPUtime=3.5 cores=1,3,5,7
/proc/14464/task/14528/stat : 14528 (java) S 14461 14464 9560 0 -1 1077944384 90797 13252 0 0 333 10 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430561516144 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14529] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14529/stat : 14529 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524650 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429056010976 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14530] ppid=14461 vsize=11016544 memory=4104 CPUtime=1.49 cores=1,3,5,7
/proc/14464/task/14530/stat : 14530 (java) S 14461 14464 9560 0 -1 1077944384 3163 13252 0 0 63 79 4 3 20 0 15 0 226524650 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430560463536 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
Current children cumulated CPU time: 2434.51 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3245836 KiB

[startup+2442.3 s]
/proc/loadavg: 2.67 2.06 1.78 3/216 14886
/proc/meminfo: memFree=6286920/32770624 swapFree=67108504/67108860
[pid=14464] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2494.74 cores=1,3,5,7
/proc/14464/stat : 14464 (java) S 14461 14464 9560 0 -1 1077944320 945727 13252 0 0 249003 464 4 3 20 0 15 0 226524634 11280941056 811459 33554432000 4194304 4196468 140725110835120 140725110817664 140431139860215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
/proc/14464/statm: 2754136 811459 3538 1 0 2715789 0
[pid=14464/tid=14517] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2430.3 cores=1,3,5,7
/proc/14464/task/14517/stat : 14517 (java) R 14461 14464 9560 0 -1 4202560 503080 13252 0 0 242921 102 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431111695568 140430707640546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14518] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.59 cores=1,3,5,7
/proc/14464/task/14518/stat : 14518 (java) S 14461 14464 9560 0 -1 1077944384 26064 13252 0 0 891 61 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431144103056 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14519] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.58 cores=1,3,5,7
/proc/14464/task/14519/stat : 14519 (java) S 14461 14464 9560 0 -1 1077944384 36676 13252 0 0 888 63 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431009438736 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14520] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.6 cores=1,3,5,7
/proc/14464/task/14520/stat : 14520 (java) S 14461 14464 9560 0 -1 1077944384 26552 13252 0 0 892 61 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431008385936 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14521] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.6 cores=1,3,5,7
/proc/14464/task/14521/stat : 14521 (java) S 14461 14464 9560 0 -1 1077944384 25270 13252 0 0 890 63 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431007333136 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14522] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2.04 cores=1,3,5,7
/proc/14464/task/14522/stat : 14522 (java) S 14461 14464 9560 0 -1 1077944384 31903 13252 0 0 168 29 4 3 20 0 15 0 226524646 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430564673904 140431139871362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14523] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14523/stat : 14523 (java) S 14461 14464 9560 0 -1 1077944384 14 13252 0 0 0 0 4 3 20 0 15 0 226524646 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429995533472 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14524] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14524/stat : 14524 (java) S 14461 14464 9560 0 -1 1077944384 6 13252 0 0 0 0 4 3 20 0 15 0 226524647 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429794206592 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14525] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14525/stat : 14525 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429486806864 140431139878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14526] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.5 cores=1,3,5,7
/proc/14464/task/14526/stat : 14526 (java) S 14461 14464 9560 0 -1 1077944384 93958 13252 0 0 935 8 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430563621744 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14527] ppid=14461 vsize=11016544 memory=3245836 CPUtime=10.02 cores=1,3,5,7
/proc/14464/task/14527/stat : 14527 (java) S 14461 14464 9560 0 -1 1077944384 103650 13252 0 0 983 12 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430562568944 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14528] ppid=14461 vsize=11016544 memory=3245836 CPUtime=3.51 cores=1,3,5,7
/proc/14464/task/14528/stat : 14528 (java) S 14461 14464 9560 0 -1 1077944384 93160 13252 0 0 334 10 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430561516144 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14529] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14529/stat : 14529 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524650 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429056010976 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14530] ppid=14461 vsize=11016544 memory=3245836 CPUtime=1.53 cores=1,3,5,7
/proc/14464/task/14530/stat : 14530 (java) S 14461 14464 9560 0 -1 1077944384 3200 13252 0 0 64 82 4 3 20 0 15 0 226524650 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430560463536 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
Current children cumulated CPU time: 2494.74 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3245836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.5 s]
/proc/loadavg: 2.44 2.06 1.78 3/216 14886
/proc/meminfo: memFree=6613004/32770624 swapFree=67108504/67108860
[pid=14464] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2520.03 cores=1,3,5,7
/proc/14464/stat : 14464 (java) S 14461 14464 9560 0 -1 1077944320 966885 13252 0 0 251531 465 4 3 20 0 15 0 226524634 11280941056 811459 33554432000 4194304 4196468 140725110835120 140725110817664 140431139860215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
/proc/14464/statm: 2754136 811459 3538 1 0 2715789 0
[pid=14464/tid=14517] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2455.48 cores=1,3,5,7
/proc/14464/task/14517/stat : 14517 (java) R 14461 14464 9560 0 -1 4202560 523248 13252 0 0 245438 103 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431111694512 140430702857312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14518] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.61 cores=1,3,5,7
/proc/14464/task/14518/stat : 14518 (java) S 14461 14464 9560 0 -1 1077944384 26078 13252 0 0 893 61 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431144103056 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14519] ppid=14461 vsize=11016544 memory=3816 CPUtime=9.59 cores=1,3,5,7
/proc/14464/task/14519/stat : 14519 (java) S 14461 14464 9560 0 -1 1077944384 36689 13252 0 0 889 63 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431009438736 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14520] ppid=14461 vsize=11016544 memory=6791534058613427641 CPUtime=9.61 cores=1,3,5,7
/proc/14464/task/14520/stat : 14520 (java) S 14461 14464 9560 0 -1 1077944384 26559 13252 0 0 893 61 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431008385936 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14521] ppid=14461 vsize=11016544 memory=3848 CPUtime=9.62 cores=1,3,5,7
/proc/14464/task/14521/stat : 14521 (java) S 14461 14464 9560 0 -1 1077944384 25283 13252 0 0 892 63 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431007333136 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14522] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2.05 cores=1,3,5,7
/proc/14464/task/14522/stat : 14522 (java) S 14461 14464 9560 0 -1 1077944384 31915 13252 0 0 169 29 4 3 20 0 15 0 226524646 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430564673904 140431139871362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14523] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14523/stat : 14523 (java) S 14461 14464 9560 0 -1 1077944384 14 13252 0 0 0 0 4 3 20 0 15 0 226524646 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429995533472 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14524] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14524/stat : 14524 (java) S 14461 14464 9560 0 -1 1077944384 6 13252 0 0 0 0 4 3 20 0 15 0 226524647 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429794206592 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14525] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14525/stat : 14525 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429486806864 140431139878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14526] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.51 cores=1,3,5,7
/proc/14464/task/14526/stat : 14526 (java) S 14461 14464 9560 0 -1 1077944384 94399 13252 0 0 936 8 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430563621744 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14527] ppid=14461 vsize=11016544 memory=281114737134864 CPUtime=10.03 cores=1,3,5,7
/proc/14464/task/14527/stat : 14527 (java) S 14461 14464 9560 0 -1 1077944384 103735 13252 0 0 984 12 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430562568944 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14528] ppid=14461 vsize=11016544 memory=3245836 CPUtime=3.51 cores=1,3,5,7
/proc/14464/task/14528/stat : 14528 (java) S 14461 14464 9560 0 -1 1077944384 93562 13252 0 0 334 10 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430561516144 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14529] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14529/stat : 14529 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524650 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429056010976 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14530] ppid=14461 vsize=11016544 memory=6791534058613427641 CPUtime=1.54 cores=1,3,5,7
/proc/14464/task/14530/stat : 14530 (java) S 14461 14464 9560 0 -1 1077944384 3203 13252 0 0 65 82 4 3 20 0 15 0 226524650 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430560463536 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3245836 KiB

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

[startup+2467.57 s]
# the end of solver process 14464 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.4 s, system=4.71808 s

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

[startup+2467.5 s]
/proc/loadavg: 2.44 2.06 1.78 3/216 14886
/proc/meminfo: memFree=6613004/32770624 swapFree=67108504/67108860
[pid=14464] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2520.03 cores=1,3,5,7
/proc/14464/stat : 14464 (java) S 14461 14464 9560 0 -1 1077944320 966885 13252 0 0 251531 465 4 3 20 0 15 0 226524634 11280941056 811459 33554432000 4194304 4196468 140725110835120 140725110817664 140431139860215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
/proc/14464/statm: 2754136 811459 3538 1 0 2715789 0
[pid=14464/tid=14517] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2455.48 cores=1,3,5,7
/proc/14464/task/14517/stat : 14517 (java) R 14461 14464 9560 0 -1 4202560 523248 13252 0 0 245438 103 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431111694512 140430702857312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14518] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.61 cores=1,3,5,7
/proc/14464/task/14518/stat : 14518 (java) S 14461 14464 9560 0 -1 1077944384 26078 13252 0 0 893 61 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431144103056 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14519] ppid=14461 vsize=11016544 memory=3816 CPUtime=9.59 cores=1,3,5,7
/proc/14464/task/14519/stat : 14519 (java) S 14461 14464 9560 0 -1 1077944384 36689 13252 0 0 889 63 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431009438736 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14520] ppid=14461 vsize=11016544 memory=6791534058613427641 CPUtime=9.61 cores=1,3,5,7
/proc/14464/task/14520/stat : 14520 (java) S 14461 14464 9560 0 -1 1077944384 26559 13252 0 0 893 61 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431008385936 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14521] ppid=14461 vsize=11016544 memory=3848 CPUtime=9.62 cores=1,3,5,7
/proc/14464/task/14521/stat : 14521 (java) S 14461 14464 9560 0 -1 1077944384 25283 13252 0 0 892 63 4 3 20 0 15 0 226524644 11280941056 811459 33554432000 4194304 4196468 140725110835120 140431007333136 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14522] ppid=14461 vsize=11016544 memory=3245836 CPUtime=2.05 cores=1,3,5,7
/proc/14464/task/14522/stat : 14522 (java) S 14461 14464 9560 0 -1 1077944384 31915 13252 0 0 169 29 4 3 20 0 15 0 226524646 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430564673904 140431139871362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14523] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14523/stat : 14523 (java) S 14461 14464 9560 0 -1 1077944384 14 13252 0 0 0 0 4 3 20 0 15 0 226524646 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429995533472 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14524] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14524/stat : 14524 (java) S 14461 14464 9560 0 -1 1077944384 6 13252 0 0 0 0 4 3 20 0 15 0 226524647 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429794206592 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14525] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14525/stat : 14525 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429486806864 140431139878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14526] ppid=14461 vsize=11016544 memory=3245836 CPUtime=9.51 cores=1,3,5,7
/proc/14464/task/14526/stat : 14526 (java) S 14461 14464 9560 0 -1 1077944384 94399 13252 0 0 936 8 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430563621744 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14527] ppid=14461 vsize=11016544 memory=281114737134864 CPUtime=10.03 cores=1,3,5,7
/proc/14464/task/14527/stat : 14527 (java) S 14461 14464 9560 0 -1 1077944384 103735 13252 0 0 984 12 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430562568944 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14528] ppid=14461 vsize=11016544 memory=3245836 CPUtime=3.51 cores=1,3,5,7
/proc/14464/task/14528/stat : 14528 (java) S 14461 14464 9560 0 -1 1077944384 93562 13252 0 0 334 10 4 3 20 0 15 0 226524649 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430561516144 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14529] ppid=14461 vsize=11016544 memory=3245836 CPUtime=0.07 cores=1,3,5,7
/proc/14464/task/14529/stat : 14529 (java) S 14461 14464 9560 0 -1 1077944384 3 13252 0 0 0 0 4 3 20 0 15 0 226524650 11280941056 811459 33554432000 4194304 4196468 140725110835120 140429056010976 140431139870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
[pid=14464/tid=14530] ppid=14461 vsize=11016544 memory=6791534058613427641 CPUtime=1.54 cores=1,3,5,7
/proc/14464/task/14530/stat : 14530 (java) S 14461 14464 9560 0 -1 1077944384 3203 13252 0 0 65 82 4 3 20 0 15 0 226524650 11280941056 811459 33554432000 4194304 4196468 140725110835120 140430560463536 140431139871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30670848 140725110839916 140725110842716 140725110842716 140725110845391 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3245836 KiB

Child status: 143
Real time (s): 2467.57
CPU time (s): 2520.12
CPU user time (s): 2515.4
CPU system time (s): 4.71808
CPU usage (%): 102.13
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 3245836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.4
system time used= 4.71808
maximum resident set size= 3250060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 981565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97031
involuntary context switches= 2795


# summary of solver processes directly reported to runsolver:
#   pid: 14464
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2515.4
#   total CPU system time (s): 4.71808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9984 second user time and 23.2113 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-12 18:00:15
IDJOB=4304447
IDBENCH=141272
IDSOLVER=2780
FILE ID=node104/4304447-1534089614
RUNJOBID= node104-1534062308-9592
PBS_JOBID= 21036981
Free space on /tmp= 37344 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-01-0200_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304447-1534089614/watcher-4304447-1534089614 -o /tmp/evaluation-result-4304447-1534089614/solver-4304447-1534089614 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9592 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1064615754 HOME/instance-4304447-1534089614.xml

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

MD5SUM BENCH= bcb772945ca2f244c7b00bb761820cd7
RANDOM SEED=1064615754

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:        12805560 kB
MemAvailable:   28433844 kB
Buffers:          189408 kB
Cached:         15476580 kB
SwapCached:            8 kB
Active:         11308172 kB
Inactive:        7877496 kB
Active(anon):    3470956 kB
Inactive(anon):   100964 kB
Active(file):    7837216 kB
Inactive(file):  7776532 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:             66404 kB
Writeback:             0 kB
AnonPages:       3527124 kB
Mapped:            65152 kB
Shmem:             49636 kB
Slab:             471504 kB
SReclaimable:     442996 kB
SUnreclaim:        28508 kB
KernelStack:        3552 kB
PageTables:        12244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4318520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3276800 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= 37432 MiB
End job on node104 at 2018-08-12 18:41:22