Trace number 4302941

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.2-SuperNGSAT (TO)60605762 252.121 212.062

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-02-0250_c18.xml
MD5SUM9ab3e648243ddfeac66c66819bd63413
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40498464
Best CPU time to get the best result obtained on this benchmark252.17
Satisfiable
(Un)Satisfiability was proved
Number of variables4758
Number of constraints3055
Number of domains59
Minimum domain size1
Maximum domain size105
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}]
Minimum variable degree2
Maximum variable degree1420
Distribution of variable degrees[{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}]
Number of extensional constraints1419
Number of intensional constraints1636
Distribution of constraint types[{"type":"extension","count":1419},{"type":"intension","count":1636}]
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.99/0.75	c Concrete v3.9.2.1532736233296 running
117.63/87.59	o 60648353
118.15/87.75	o 60648352
118.15/87.79	o 60634162
118.46/87.81	o 60634161
121.69/90.35	o 60634150
121.69/90.38	o 60634149
121.79/90.41	o 60634147
121.79/90.45	o 60634146
121.79/90.48	o 60619960
121.97/90.51	o 60619959
121.97/90.53	o 60619957
121.97/90.56	o 60619956
121.97/90.59	o 60619955
122.14/90.62	o 60605763
122.14/90.65	o 60605762
252.05/212.01	Exception in thread "main" java.util.concurrent.TimeoutException
252.05/212.01		at concrete.MAC.mac(MAC.scala:188)
252.05/212.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.05/212.01		at scala.util.Try$.apply(Try.scala:209)
252.05/212.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/212.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/212.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/212.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/212.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.05/212.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/212.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/212.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/212.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/212.01		at concrete.MAC.oneRun(MAC.scala:253)
252.05/212.01		at concrete.MAC.nextSolution(MAC.scala:272)
252.05/212.01		at concrete.MAC.nextSolution(MAC.scala:355)
252.05/212.01		at concrete.Solver.hasNext(Solver.scala:166)
252.05/212.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.05/212.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.05/212.01		at concrete.Solver.foreach(Solver.scala:68)
252.05/212.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.05/212.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/212.01		at scala.util.Success.map(Try.scala:209)
252.05/212.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.05/212.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.05/212.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.05/212.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.05/212.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.05/212.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/212.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/212.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/212.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/212.01		at scala.collection.immutable.List.foreach(List.scala:389)
252.05/212.01		at scala.App.main(App.scala:76)
252.05/212.01		at scala.App.main$(App.scala:74)
252.05/212.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.05/212.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/212.02	v <instantiation cost="60605762">
252.05/212.02	v       <list>
252.05/212.02	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] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] 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] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] 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] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] 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] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] 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] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418]
252.05/212.02	v       </list>
252.05/212.02	v       <values>
252.05/212.02	v         2452 2472 2604 2312 2528 2296 2500 2392 2280 2264 2644 2260 2616 2524 2368 2516 2492 2432 2580 2632 2464 2524 2504 2608 2292 2384 2332 2312 2412 2536 2512 2268 2456 2452 2268 2616 2652 2392 2592 2240 2540 2272 2348 2436 2312 2584 2408 2548 2308 2292 2516 2576 2280 2620 2624 2484 2572 2460 2576 2320 2524 2356 2596 2576 2436 2532 2436 2412 2300 2332 2372 2444 2352 2648 2480 2564 2648 2280 2424 2540 2564 2556 2600 2656 2544 2620 2412 2360 2592 2464 2500 2240 2440 2244 2432 2396 2248 2648 2424 2368 2652 2420 2380 2352 2612 2644 2540 2640 2504 2500 2464 2352 2560 2488 2636 2576 2300 2552 2496 2420 2280 2304 2552 2340 2608 2480 2596 2472 2492 2452 2308 2608 2280 2580 2584 2608 2596 2396 2392 2584 2452 2656 2616 2464 2240 2396 2432 2616 2616 2596 2500 2420 2352 2556 2624 2240 2596 2280 2552 2356 2604 2648 2432 2592 2492 2332 2600 2528 2568 2372 2240 2568 2388 2544 2424 2452 2556 2368 2556 2368 2472 2372 2592 2316 2640 2624 2612 2616 2332 2292 2528 2656 2556 2616 2576 2292 2564 2340 2556 2472 2584 2588 2512 2408 2596 2616 2656 2484 2616 2332 2468 2624 2504 2408 2404 2608 2396 2524 2380 2288 2284 2424 2604 2584 2256 2300 2512 2600 2632 2556 2524 2332 2536 2384 2428 2380 2368 2408 2472 2412 2564 2520 2576 2332 2568 2408 2292 2240 2656 2292 1 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 1 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 2 1 1 0 0 0 1 0 2 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 2 1 2 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 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 1 1 1 0 0 1 1 0 0 1 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 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 2 0 2 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 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 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 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 1 0 0 0 2 1 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 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 2 0 0 2 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 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 1 0 1 0 0 0 2 0 0 1 0 1 1 1 0 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 0 2 0 1 0 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 1 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 1 0 0 1 0 0 0 0 1 192 180 160 172 140 212 104 80 160 204 56 104 116 48 120 8 28 132 136 20 100 72 136 92 140 232 12 212 64 180 184 364 304 224 188 204 320 296 272 236 80 20 96 92 92 36 72 64 176 28 288 160 120 88 120 104 272 88 52 236 352 352 300 296 172 36 36 60 148 132 96 260 168 64 12 156 116 92 208 224 148 44 180 44 208 28 88 28 24 248 264 164 196 240 100 364 336 292 216 248 316 48 148 236 36 188 392 352 392 220 24 20 28 312 120 292 104 12 100 36 48 52 28 260 264 244 124 88 316 336 388 304 48 160 172 296 208 264 24 396 348 316 32 20 24 60 60 28 104 220 360 192 12 284 24 64 156 128 84 72 64 52 240 168 96 68 232 120 288 200 20 176 36 208 68 76 84 276 60 104 96 12 40 68 4 100 120 40 40 180 84 192 120 252 248 96 152 60 116 164 68 236 64 252 164 112 132 124 176 76 184 200 104 52 128 28 108 248 56 200 168 364 276 260 72 88 316 148 128 68 40 100 72 104 124 132 56 172 88 40 100 68 32 92 76 192 72 80 124 112 136 124 96 44 316 48 168 144 188 368 40 240 316 20 276 240 56 204 140 88 120 64 264 176 252 224 220 264 172 208 84 120 24 144 128 316 268 92 140 64 224 52 120 224 308 48 100 284 20 276 272 160 124 104 68 128 88 172 120 76 60 296 80 60 140 12 168 40 92 84 120 84 80 132 144 216 308 92 312 388 100 140 140 168 84 192 84 96 16 196 180 216 100 100 100 132 200 12 16 144 152 168 196 200 164 172 104 28 196 216 92 324 128 72 388 28 32 144 28 180 308 256 36 284 352 280 100 68 36 36 372 160 244 228 396 96 224 164 108 260 312 172 128 292 100 196 40 56 64 220 80 356 172 60 416 200 340 148 376 324 168 44 188 300 76 300 48 208 248 304 304 192 376 80 220 312 280 180 96 20 284 108 112 28 216 152 72 204 232 256 136 104 184 140 116 104 220 68 28 96 236 32 212 268 284 344 20 344 256 84 104 132 164 32 216 100 296 28 28 4 240 156 96 12 44 56 216 184 116 248 168 60 148 196 188 124 128 96 308 76 4 152 56 120 156 28 308 316 288 100 96 296 52 248 60 132 232 56 28 80 64 16 92 140 4 100 92 296 20 332 272 4 204 64 32 196 76 116 316 376 184 252 140 24 96 236 304 28 344 272 40 68 152 68 140 204 244 132 112 244 112 72 192 32 80 24 24 176 240 116 180 180 108 96 124 196 332 180 328 276 80 244 152 64 164 244 116 32 100 104 204 92 256 88 80 124 60 52 72 156 236 76 240 16 188 68 252 156 24 208 52 12 20 316 224 52 340 168 24 68 32 20 108 244 64 64 192 12 68 16 48 120 120 8 120 28 160 16 60 180 108 220 104 144 88 32 60 40 172 80 188 204 16 292 348 252 120 296 20 20 256 32 264 44 52 88 132 24 24 272 316 224 252 52 76 72 68 204 48 80 20 80 224 16 252 96 140 204 172 88 76 132 80 288 132 236 8 152 40 408 176 36 364 316 84 140 16 180 16 48 76 72 184 92 32 212 12 224 148 196 276 104 224 332 240 92 84 408 284 160 36 116 272 368 52 108 304 376 168 184 52 184 136 180 176 140 184 80 292 12 44 108 56 260 56 68 208 248 324 20 48 204 68 252 76 44 100 132 28 32 188 148 292 16 56 12 72 192 232 112 216 64 112 304 72 40 40 136 212 304 380 376 68 224 4 12 224 336 36 52 88 236 148 180 200 56 128 80 152 120 120 256 232 132 112 344 40 252 56 220 276 80 16 56 32 188 24 164 32 184 172 48 60 52 252 120 148 220 124 112 88 372 212 156 376 356 324 156 8 20 100 52 104 200 144 404 248 372 36 372 224 180 184 8 124 152 80 164 188 220 156 16 124 404 304 348 336 8 184 176 384 152 52 368 52 368 8 224 392 280 56 136 116 40 184 144 96 244 172 64 240 128 248 248 60 156 160 200 96 360 360 164 136 168 176 204 16 136 140 140 188 260 88 44 292 40 248 224 232 264 20 16 120 4 84 140 100 144 224 404 288 276 32 312 80 236 12 68 52 76 76 28 208 64 248 112 84 348 128 256 12 104 88 52 132 136 32 76 220 124 104 68 48 132 156 64 164 124 132 156 68 108 140 92 120 112 264 80 204 56 36 108 164 96 204 96 156 304 176 152 320 116 128 4 80 84 40 72 256 276 124 336 76 188 284 52 244 56 308 96 56 284 244 56 164 64 260 112 124 120 156 164 204 160 176 176 148 220 196 136 52 60 76 108 176 264 12 32 4 72 128 24 80 296 172 216 256 32 268 224 228 100 256 40 16 4 140 320 24 48 76 76 116 8 72 164 224 304 192 60 76 92 64 96 8 72 20 144 48 188 164 160 164 164 88 296 340 284 68 332 276 8 328 80 32 180 228 336 320 276 36 332 304 336 256 148 88 36 12 32 248 248 152 108 76 152 16 212 40 32 176 56 40 240 316 96 88 60 28 144 280 68 108 224 100 164 24 12 72 100 252 164 16 52 48 196 180 20 156 128 184 136 364 336 192 360 104 188 92 120 168 28 216 76 8 64 216 184 284 88 248 24 328 16 248 208 248 40 60 212 248 144 324 112 12 340 60 92 56 56 84 24 148 32 104 12 52 244 272 60 264 244 60 32 264 292 60 156 212 140 52 124 304 20 304 312 264 24 148 52 220 184 260 32 56 168 172 228 76 136 356 192 64 140 224 24 168 8 88 196 308 76 124 140 160 56 120 36 152 48 300 224 192 76 232 44 12 16 220 212 104 236 48 28 200 160 16 156 96 88 12 328 184 352 52 392 168 172 24 200 236 228 328 84 64 20 48 232 44 104 20 36 56 224 88 272 76 100 36 44 128 44 224 36 84 152 36 104 132 184 152 188 84 64 104 232 56 216 236 184 196 124 308 64 212 96 248 76 244 260 228 280 56 328 32 92 208 40 140 48 88 56 60 16 96 24 76 364 8 40 172 208 164 136 224 24 184 136 44 264 52 20 176 76 208 104 8 96 132 24 72 184 264 112 172 184 92 140 172 220 80 248 48 36 188 44 244 48 80 124 136 152 276 44 224 252 156 140 48 312 280 140 224 268 220 112 80 244 92 28 60 180 272 324 168 284 40 160 364
252.05/212.02	v       </values>
252.05/212.02	v     </instantiation>
252.05/212.02	s SATISFIABLE

Verifier Data 

OK	60605762

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302941-1532896629/watcher-4302941-1532896629 -o /tmp/evaluation-result-4302941-1532896629/solver-4302941-1532896629 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=324369384 -superng HOME/instance-4302941-1532896629.xml 

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

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

solver pid=1264, runsolver pid=1261

[startup+0.100107 s]*
/proc/loadavg: 1.81 1.75 1.79 4/206 1317
/proc/meminfo: memFree=27540004/32770624 swapFree=67108744/67108860
[pid=1264] ppid=1261 vsize=10005480 memory=16160 CPUtime=0.09 cores=0,2,4,6
/proc/1264/stat : 1264 (java) S 1261 1264 19273 0 -1 1077944320 4203 13272 0 0 1 0 5 3 20 0 6 0 107226163 10245611520 4040 33554432000 4194304 4196468 140735485003872 140735484986416 139800421080823 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
/proc/1264/statm: 2501370 4040 1896 1 0 2489808 0
[pid=1264/tid=1317] ppid=1261 vsize=10005480 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1317/stat : 1317 (java) R 1261 1264 19273 0 -1 4202560 2121 13272 0 0 0 0 5 3 20 0 6 0 107226172 10245611520 4172 33554432000 4194304 4196468 140735485003872 139800392917584 139800406763349 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1318] ppid=1261 vsize=10005480 memory=5792869726567804975 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1318/stat : 1318 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 6 0 107226173 10245611520 4172 33554432000 4194304 4196468 140735485003872 139800425315472 139800421091029 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1319] ppid=1261 vsize=10005480 memory=140645017466496 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1319/stat : 1319 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 6 0 107226173 10245611520 4172 33554432000 4194304 4196468 140735485003872 139800314928144 139800421091029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1320] ppid=1261 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1320/stat : 1320 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 6 0 107226173 10245611520 4172 33554432000 4194304 4196468 140735485003872 139799959411600 139800421091029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1321] ppid=1261 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1321/stat : 1321 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 6 0 107226173 10245611520 4172 33554432000 4194304 4196468 140735485003872 139799958358800 139800421091029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16160 KiB

[startup+0.210587 s]*
/proc/loadavg: 1.81 1.75 1.79 3/219 1330
/proc/meminfo: memFree=27513480/32770624 swapFree=67108744/67108860
[pid=1264] ppid=1261 vsize=10982744 memory=41612 CPUtime=0.26 cores=0,2,4,6
/proc/1264/stat : 1264 (java) S 1261 1264 19273 0 -1 1077944320 7100 13272 0 0 17 1 5 3 20 0 15 0 107226163 11246329856 10403 33554432000 4194304 4196468 140735485003872 140735484986416 139800421080823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
/proc/1264/statm: 2745686 10403 2947 1 0 2708109 0
[pid=1264/tid=1317] ppid=1261 vsize=10982744 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/1264/task/1317/stat : 1317 (java) R 1261 1264 19273 0 -1 4202560 3863 13272 0 0 11 0 5 3 20 0 15 0 107226172 11246329856 10601 33554432000 4194304 4196468 140735485003872 139800392904368 139800401356651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1318] ppid=1261 vsize=10982744 memory=4294967660 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1318/stat : 1318 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246329856 10601 33554432000 4194304 4196468 140735485003872 139800425315472 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1319] ppid=1261 vsize=10982744 memory=288371021169178240 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1319/stat : 1319 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246329856 10601 33554432000 4194304 4196468 140735485003872 139800314928144 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1320] ppid=1261 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1320/stat : 1320 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246329856 10601 33554432000 4194304 4196468 140735485003872 139799959411600 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1321] ppid=1261 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1321/stat : 1321 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246329856 10601 33554432000 4194304 4196468 140735485003872 139799958358800 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1322] ppid=1261 vsize=10982744 memory=140645017466496 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1322/stat : 1322 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 15 0 107226175 11246329856 10601 33554432000 4194304 4196468 140735485003872 139799914105200 139800421091970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1323] ppid=1261 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1323/stat : 1323 (java) S 1261 1264 19273 0 -1 1077944384 13 13272 0 0 0 0 5 3 20 0 15 0 107226175 11246329856 10601 33554432000 4194304 4196468 140735485003872 139799239320608 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1324] ppid=1261 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1324/stat : 1324 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226175 11246329856 10667 33554432000 4194304 4196468 140735485003872 139799037993840 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1325] ppid=1261 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1325/stat : 1325 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246329856 10667 33554432000 4194304 4196468 140735485003872 139798730594128 139800421099419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1326] ppid=1261 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1264/task/1326/stat : 1326 (java) S 1261 1264 19273 0 -1 1077944384 473 13272 0 0 1 0 5 3 20 0 15 0 107226178 11246329856 10667 33554432000 4194304 4196468 140735485003872 139799913053040 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1327] ppid=1261 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1327/stat : 1327 (java) S 1261 1264 19273 0 -1 1077944384 123 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246329856 10667 33554432000 4194304 4196468 140735485003872 139799912000240 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1328] ppid=1261 vsize=10982744 memory=140645017466496 CPUtime=0.11 cores=0,2,4,6
/proc/1264/task/1328/stat : 1328 (java) S 1261 1264 19273 0 -1 1077944384 613 13272 0 0 3 0 5 3 20 0 15 0 107226178 11246329856 10667 33554432000 4194304 4196468 140735485003872 139799843302000 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1329] ppid=1261 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1329/stat : 1329 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246329856 10667 33554432000 4194304 4196468 140735485003872 139798299798240 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1330] ppid=1261 vsize=10982744 memory=140645017466496 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1330/stat : 1330 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246329856 10667 33554432000 4194304 4196468 140735485003872 139799842249392 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41612 KiB

[startup+0.310378 s]*
/proc/loadavg: 1.81 1.75 1.79 3/219 1330
/proc/meminfo: memFree=27500952/32770624 swapFree=67108744/67108860
[pid=1264] ppid=1261 vsize=10983192 memory=53828 CPUtime=0.38 cores=0,2,4,6
/proc/1264/stat : 1264 (java) S 1261 1264 19273 0 -1 1077944320 9988 13272 0 0 28 2 5 3 20 0 15 0 107226163 11246788608 13391 33554432000 4194304 4196468 140735485003872 140735484986416 139800421080823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
/proc/1264/statm: 2745798 13457 3066 1 0 2708109 0
[pid=1264/tid=1317] ppid=1261 vsize=10983192 memory=167774768 CPUtime=0.28 cores=0,2,4,6
/proc/1264/task/1317/stat : 1317 (java) R 1261 1264 19273 0 -1 4202560 6966 13272 0 0 19 1 5 3 20 0 15 0 107226172 11246788608 13853 33554432000 4194304 4196468 140735485003872 139800392892832 139800241597097 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1318] ppid=1261 vsize=10983192 memory=4294969568 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1318/stat : 1318 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246788608 13853 33554432000 4194304 4196468 140735485003872 139800425315472 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1319] ppid=1261 vsize=10983192 memory=140649312433791 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1319/stat : 1319 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246788608 13853 33554432000 4194304 4196468 140735485003872 139800314928144 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1320] ppid=1261 vsize=10983192 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1320/stat : 1320 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246788608 13853 33554432000 4194304 4196468 140735485003872 139799959411600 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1321] ppid=1261 vsize=10983192 memory=2240 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1321/stat : 1321 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246788608 13853 33554432000 4194304 4196468 140735485003872 139799958358800 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1322] ppid=1261 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1322/stat : 1322 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 15 0 107226175 11246788608 13853 33554432000 4194304 4196468 140735485003872 139799914105200 139800421091970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1323] ppid=1261 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1323/stat : 1323 (java) S 1261 1264 19273 0 -1 1077944384 13 13272 0 0 0 0 5 3 20 0 15 0 107226175 11246788608 13853 33554432000 4194304 4196468 140735485003872 139799239320608 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1324] ppid=1261 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1324/stat : 1324 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226175 11246788608 13853 33554432000 4194304 4196468 140735485003872 139799037993840 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1325] ppid=1261 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1325/stat : 1325 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246788608 13853 33554432000 4194304 4196468 140735485003872 139798730594128 139800421099419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1326] ppid=1261 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1264/task/1326/stat : 1326 (java) S 1261 1264 19273 0 -1 1077944384 474 13272 0 0 1 0 5 3 20 0 15 0 107226178 11246788608 13853 33554432000 4194304 4196468 140735485003872 139799913053040 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1327] ppid=1261 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/1264/task/1327/stat : 1327 (java) S 1261 1264 19273 0 -1 1077944384 123 13272 0 0 1 0 5 3 20 0 15 0 107226178 11246788608 13853 33554432000 4194304 4196468 140735485003872 139799912000240 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1328] ppid=1261 vsize=10983192 memory=140645017466496 CPUtime=0.13 cores=0,2,4,6
/proc/1264/task/1328/stat : 1328 (java) S 1261 1264 19273 0 -1 1077944384 624 13272 0 0 5 0 5 3 20 0 15 0 107226178 11246788608 13853 33554432000 4194304 4196468 140735485003872 139799843302000 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1329] ppid=1261 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1329/stat : 1329 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246788608 13853 33554432000 4194304 4196468 140735485003872 139798299798240 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1330] ppid=1261 vsize=10983192 memory=140645017466496 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1330/stat : 1330 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246788608 13853 33554432000 4194304 4196468 140735485003872 139799842249392 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53828 KiB

[startup+0.700843 s]
/proc/loadavg: 1.81 1.75 1.79 3/219 1330
/proc/meminfo: memFree=27489788/32770624 swapFree=67108744/67108860
[pid=1264] ppid=1261 vsize=10983192 memory=88260 CPUtime=0.99 cores=0,2,4,6
/proc/1264/stat : 1264 (java) S 1261 1264 19273 0 -1 1077944320 16740 13272 0 0 87 4 5 3 20 0 15 0 107226163 11246788608 22065 33554432000 4194304 4196468 140735485003872 140735484986416 139800421080823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
/proc/1264/statm: 2745798 22065 3238 1 0 2708109 0
[pid=1264/tid=1317] ppid=1261 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/1264/task/1317/stat : 1317 (java) R 1261 1264 19273 0 -1 4202560 12267 13272 0 0 55 3 5 3 20 0 15 0 107226172 11246788608 22065 33554432000 4194304 4196468 140735485003872 139800392903824 139800402645309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1318] ppid=1261 vsize=10983192 memory=281289756527424 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1318/stat : 1318 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246788608 22065 33554432000 4194304 4196468 140735485003872 139800425315472 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1319] ppid=1261 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1319/stat : 1319 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246788608 22065 33554432000 4194304 4196468 140735485003872 139800314928144 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1320] ppid=1261 vsize=10983192 memory=281289756534336 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1320/stat : 1320 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246788608 22065 33554432000 4194304 4196468 140735485003872 139799959411600 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1321] ppid=1261 vsize=10983192 memory=281289756325376 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1321/stat : 1321 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 15 0 107226173 11246788608 22065 33554432000 4194304 4196468 140735485003872 139799958358800 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1322] ppid=1261 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1322/stat : 1322 (java) S 1261 1264 19273 0 -1 1077944384 5 13272 0 0 0 0 5 3 20 0 15 0 107226175 11246788608 22065 33554432000 4194304 4196468 140735485003872 139799914105200 139800421091970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1323] ppid=1261 vsize=10983192 memory=140645017465329 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1323/stat : 1323 (java) S 1261 1264 19273 0 -1 1077944384 13 13272 0 0 0 0 5 3 20 0 15 0 107226175 11246788608 22065 33554432000 4194304 4196468 140735485003872 139799239320608 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1324] ppid=1261 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1324/stat : 1324 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226175 11246788608 22065 33554432000 4194304 4196468 140735485003872 139799037993840 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1325] ppid=1261 vsize=10983192 memory=2570269492993 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1325/stat : 1325 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246788608 22065 33554432000 4194304 4196468 140735485003872 139798730594128 139800421099419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1326] ppid=1261 vsize=10983192 memory=206042965 CPUtime=0.15 cores=0,2,4,6
/proc/1264/task/1326/stat : 1326 (java) S 1261 1264 19273 0 -1 1077944384 847 13272 0 0 7 0 5 3 20 0 15 0 107226178 11246788608 22065 33554432000 4194304 4196468 140735485003872 139799913053040 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1327] ppid=1261 vsize=10983192 memory=6599912616557851778 CPUtime=0.17 cores=0,2,4,6
/proc/1264/task/1327/stat : 1327 (java) S 1261 1264 19273 0 -1 1077944384 687 13272 0 0 9 0 5 3 20 0 15 0 107226178 11246788608 22065 33554432000 4194304 4196468 140735485003872 139799912000240 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1328] ppid=1261 vsize=10983192 memory=7518588407632650329 CPUtime=0.21 cores=0,2,4,6
/proc/1264/task/1328/stat : 1328 (java) S 1261 1264 19273 0 -1 1077944384 711 13272 0 0 13 0 5 3 20 0 15 0 107226178 11246788608 22065 33554432000 4194304 4196468 140735485003872 139799843302000 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1329] ppid=1261 vsize=10983192 memory=7380106142448642415 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1329/stat : 1329 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246788608 22065 33554432000 4194304 4196468 140735485003872 139798299798240 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1330] ppid=1261 vsize=10983192 memory=2867664571609120 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1330/stat : 1330 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226178 11246788608 22065 33554432000 4194304 4196468 140735485003872 139799842249392 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88260 KiB

[startup+1.50393 s]
/proc/loadavg: 1.81 1.75 1.79 3/219 1330
/proc/meminfo: memFree=27446808/32770624 swapFree=67108744/67108860
[pid=1264] ppid=1261 vsize=10991948 memory=321268 CPUtime=3.09 cores=0,2,4,6
/proc/1264/stat : 1264 (java) S 1261 1264 19273 0 -1 1077944320 23557 13272 0 0 276 25 5 3 20 0 15 0 107226163 11255754752 80317 33554432000 4194304 4196468 140735485003872 140735484986416 139800421080823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
/proc/1264/statm: 2747987 80317 3472 1 0 2709645 0
[pid=1264/tid=1317] ppid=1261 vsize=10991948 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/1264/task/1317/stat : 1317 (java) R 1261 1264 19273 0 -1 4202560 14949 13272 0 0 123 9 5 3 20 0 15 0 107226172 11255754752 80317 33554432000 4194304 4196468 140735485003872 139800392914592 139799993876181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1318] ppid=1261 vsize=10991948 memory=281289756534336 CPUtime=0.13 cores=0,2,4,6
/proc/1264/task/1318/stat : 1318 (java) S 1261 1264 19273 0 -1 1077944384 333 13272 0 0 2 3 5 3 20 0 15 0 107226173 11255754752 80317 33554432000 4194304 4196468 140735485003872 139800425315472 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1319] ppid=1261 vsize=10991948 memory=281289756325376 CPUtime=0.13 cores=0,2,4,6
/proc/1264/task/1319/stat : 1319 (java) S 1261 1264 19273 0 -1 1077944384 136 13272 0 0 2 3 5 3 20 0 15 0 107226173 11255754752 80317 33554432000 4194304 4196468 140735485003872 139800314928144 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1320] ppid=1261 vsize=10991948 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/1264/task/1320/stat : 1320 (java) S 1261 1264 19273 0 -1 1077944384 94 13272 0 0 2 3 5 3 20 0 15 0 107226173 11255754752 80317 33554432000 4194304 4196468 140735485003872 139799959411600 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1321] ppid=1261 vsize=10991948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/1264/task/1321/stat : 1321 (java) S 1261 1264 19273 0 -1 1077944384 79 13272 0 0 1 3 5 3 20 0 15 0 107226173 11255754752 80317 33554432000 4194304 4196468 140735485003872 139799958358800 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1322] ppid=1261 vsize=10991948 memory=4294967717 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1322/stat : 1322 (java) S 1261 1264 19273 0 -1 1077944384 89 13272 0 0 0 0 5 3 20 0 15 0 107226175 11255754752 80317 33554432000 4194304 4196468 140735485003872 139799914105200 139800421091970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1323] ppid=1261 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1323/stat : 1323 (java) S 1261 1264 19273 0 -1 1077944384 14 13272 0 0 0 0 5 3 20 0 15 0 107226175 11255754752 80317 33554432000 4194304 4196468 140735485003872 139799239320608 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1324] ppid=1261 vsize=10991948 memory=6944656592455360608 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1324/stat : 1324 (java) S 1261 1264 19273 0 -1 1077944384 2 13272 0 0 0 0 5 3 20 0 15 0 107226175 11255754752 80317 33554432000 4194304 4196468 140735485003872 139799037993840 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1325] ppid=1261 vsize=10991948 memory=-7101718590825193272 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1325/stat : 1325 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11255754752 80317 33554432000 4194304 4196468 140735485003872 139798730594128 139800421099419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1326] ppid=1261 vsize=10991948 memory=-7101718590825193272 CPUtime=0.59 cores=0,2,4,6
/proc/1264/task/1326/stat : 1326 (java) R 1261 1264 19273 0 -1 4202560 2094 13272 0 0 51 0 5 3 20 0 15 0 107226178 11255754752 80317 33554432000 4194304 4196468 140735485003872 139799913039584 139800405480389 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1327] ppid=1261 vsize=10991948 memory=6944656592455359580 CPUtime=0.6 cores=0,2,4,6
/proc/1264/task/1327/stat : 1327 (java) R 1261 1264 19273 0 -1 4202560 2159 13272 0 0 51 1 5 3 20 0 15 0 107226178 11255754752 80317 33554432000 4194304 4196468 140735485003872 139799911987024 139800405470704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1328] ppid=1261 vsize=10991948 memory=7896318971486248851 CPUtime=0.49 cores=0,2,4,6
/proc/1264/task/1328/stat : 1328 (java) S 1261 1264 19273 0 -1 1077944384 1405 13272 0 0 41 0 5 3 20 0 15 0 107226178 11255754752 80317 33554432000 4194304 4196468 140735485003872 139799843302000 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1329] ppid=1261 vsize=10991948 memory=116 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1329/stat : 1329 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11255754752 80317 33554432000 4194304 4196468 140735485003872 139798299798240 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1330] ppid=1261 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1330/stat : 1330 (java) S 1261 1264 19273 0 -1 1077944384 1 13272 0 0 0 0 5 3 20 0 15 0 107226178 11255754752 80317 33554432000 4194304 4196468 140735485003872 139799842249392 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10991948 KiB

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

/proc/1264/task/1317/stat : 1317 (java) R 1261 1264 19273 0 -1 4202560 51948 13272 0 0 4822 40 5 3 20 0 15 0 107226172 11280941056 866115 33554432000 4194304 4196468 140735485003872 139800392915256 139800014140670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1318] ppid=1261 vsize=11016544 memory=3464460 CPUtime=2.28 cores=0,2,4,6
/proc/1264/task/1318/stat : 1318 (java) S 1261 1264 19273 0 -1 1077944384 3220 13272 0 0 179 41 5 3 20 0 15 0 107226173 11280941056 866115 33554432000 4194304 4196468 140735485003872 139800425315472 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1319] ppid=1261 vsize=11016544 memory=3464460 CPUtime=2.25 cores=0,2,4,6
/proc/1264/task/1319/stat : 1319 (java) S 1261 1264 19273 0 -1 1077944384 2607 13272 0 0 180 37 5 3 20 0 15 0 107226173 11280941056 866115 33554432000 4194304 4196468 140735485003872 139800314928144 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1320] ppid=1261 vsize=11016544 memory=3464460 CPUtime=2.28 cores=0,2,4,6
/proc/1264/task/1320/stat : 1320 (java) S 1261 1264 19273 0 -1 1077944384 1856 13272 0 0 180 40 5 3 20 0 15 0 107226173 11280941056 866115 33554432000 4194304 4196468 140735485003872 139799959411600 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1321] ppid=1261 vsize=11016544 memory=3464208 CPUtime=2.26 cores=0,2,4,6
/proc/1264/task/1321/stat : 1321 (java) S 1261 1264 19273 0 -1 1077944384 2458 13272 0 0 180 38 5 3 20 0 15 0 107226173 11280941056 866115 33554432000 4194304 4196468 140735485003872 139799958358800 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1322] ppid=1261 vsize=11016544 memory=3403112 CPUtime=0.18 cores=0,2,4,6
/proc/1264/task/1322/stat : 1322 (java) S 1261 1264 19273 0 -1 1077944384 5862 13272 0 0 9 1 5 3 20 0 15 0 107226175 11280941056 866115 33554432000 4194304 4196468 140735485003872 139799914105200 139800421091970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1323] ppid=1261 vsize=11016544 memory=3464208 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1323/stat : 1323 (java) S 1261 1264 19273 0 -1 1077944384 16 13272 0 0 0 0 5 3 20 0 15 0 107226175 11280941056 866115 33554432000 4194304 4196468 140735485003872 139799239320672 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1324] ppid=1261 vsize=11016544 memory=3464460 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1324/stat : 1324 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226175 11280941056 866115 33554432000 4194304 4196468 140735485003872 139799037993856 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1325] ppid=1261 vsize=11016544 memory=3464460 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1325/stat : 1325 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11280941056 866115 33554432000 4194304 4196468 140735485003872 139798730594128 139800421099419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1326] ppid=1261 vsize=11016544 memory=1200 CPUtime=8.75 cores=0,2,4,6
/proc/1264/task/1326/stat : 1326 (java) S 1261 1264 19273 0 -1 1077944384 15306 13272 0 0 863 4 5 3 20 0 15 0 107226178 11280941056 866115 33554432000 4194304 4196468 140735485003872 139799913053040 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1327] ppid=1261 vsize=11016544 memory=3464460 CPUtime=8.6 cores=0,2,4,6
/proc/1264/task/1327/stat : 1327 (java) S 1261 1264 19273 0 -1 1077944384 9028 13272 0 0 849 3 5 3 20 0 15 0 107226178 11280941056 866115 33554432000 4194304 4196468 140735485003872 139799912000240 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1328] ppid=1261 vsize=11016544 memory=2732 CPUtime=3.08 cores=0,2,4,6
/proc/1264/task/1328/stat : 1328 (java) S 1261 1264 19273 0 -1 1077944384 13598 13272 0 0 295 5 5 3 20 0 15 0 107226178 11280941056 866115 33554432000 4194304 4196468 140735485003872 139799843302000 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1329] ppid=1261 vsize=11016544 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1329/stat : 1329 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11280941056 866115 33554432000 4194304 4196468 140735485003872 139798299798240 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1330] ppid=1261 vsize=11016544 memory=1712 CPUtime=0.1 cores=0,2,4,6
/proc/1264/task/1330/stat : 1330 (java) S 1261 1264 19273 0 -1 1077944384 751 13272 0 0 1 1 5 3 20 0 15 0 107226178 11280941056 866115 33554432000 4194304 4196468 140735485003872 139799842249392 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
Current children cumulated CPU time: 77.88 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3464460 KiB

[startup+102.311 s]
/proc/loadavg: 1.86 1.81 1.81 4/219 1462
/proc/meminfo: memFree=21030680/32770624 swapFree=67108744/67108860
[pid=1264] ppid=1261 vsize=11016544 memory=3589232 CPUtime=135.18 cores=0,2,4,6
/proc/1264/stat : 1264 (java) S 1261 1264 19273 0 -1 1077944320 132323 13272 0 0 13283 227 5 3 20 0 15 0 107226163 11280941056 897308 33554432000 4194304 4196468 140735485003872 140735484986416 139800421080823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
/proc/1264/statm: 2754136 897308 3541 1 0 2715789 0
[pid=1264/tid=1317] ppid=1261 vsize=11016544 memory=3570792 CPUtime=98.57 cores=0,2,4,6
/proc/1264/task/1317/stat : 1317 (java) S 1261 1264 19273 0 -1 1077944384 58194 13272 0 0 9808 41 5 3 20 0 15 0 107226172 11280941056 897308 33554432000 4194304 4196468 140735485003872 139800392916560 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1318] ppid=1261 vsize=11016544 memory=3570792 CPUtime=3.57 cores=0,2,4,6
/proc/1264/task/1318/stat : 1318 (java) R 1261 1264 19273 0 -1 4202560 6308 13272 0 0 305 44 5 3 20 0 15 0 107226173 11280941056 897308 33554432000 4194304 4196468 140735485003872 139800425315472 139800406108242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1319] ppid=1261 vsize=11016544 memory=3570792 CPUtime=3.54 cores=0,2,4,6
/proc/1264/task/1319/stat : 1319 (java) R 1261 1264 19273 0 -1 4202560 3327 13272 0 0 306 40 5 3 20 0 15 0 107226173 11280941056 897308 33554432000 4194304 4196468 140735485003872 139800314928344 139800406108242 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1320] ppid=1261 vsize=11016544 memory=2257 CPUtime=3.56 cores=0,2,4,6
/proc/1264/task/1320/stat : 1320 (java) R 1261 1264 19273 0 -1 4202560 2379 13272 0 0 307 41 5 3 20 0 15 0 107226173 11280941056 897308 33554432000 4194304 4196468 140735485003872 139799959411600 139800406107693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1321] ppid=1261 vsize=11016544 memory=3570792 CPUtime=3.56 cores=0,2,4,6
/proc/1264/task/1321/stat : 1321 (java) R 1261 1264 19273 0 -1 4202560 2883 13272 0 0 308 40 5 3 20 0 15 0 107226173 11280941056 897308 33554432000 4194304 4196468 140735485003872 139799958359000 139800406108800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1322] ppid=1261 vsize=11016544 memory=1952 CPUtime=0.21 cores=0,2,4,6
/proc/1264/task/1322/stat : 1322 (java) S 1261 1264 19273 0 -1 1077944384 6233 13272 0 0 12 1 5 3 20 0 15 0 107226175 11280941056 897308 33554432000 4194304 4196468 140735485003872 139799914103712 139800421091029 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1323] ppid=1261 vsize=11016544 memory=796 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1323/stat : 1323 (java) S 1261 1264 19273 0 -1 1077944384 29 13272 0 0 0 0 5 3 20 0 15 0 107226175 11280941056 897308 33554432000 4194304 4196468 140735485003872 139799239320672 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1324] ppid=1261 vsize=11016544 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1324/stat : 1324 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226175 11280941056 897308 33554432000 4194304 4196468 140735485003872 139799037993856 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1325] ppid=1261 vsize=11016544 memory=3548244 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1325/stat : 1325 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11280941056 897308 33554432000 4194304 4196468 140735485003872 139798730594128 139800421099419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1326] ppid=1261 vsize=11016544 memory=3548244 CPUtime=9.8 cores=0,2,4,6
/proc/1264/task/1326/stat : 1326 (java) S 1261 1264 19273 0 -1 1077944384 19834 13272 0 0 967 5 5 3 20 0 15 0 107226178 11280941056 897308 33554432000 4194304 4196468 140735485003872 139799913053040 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1327] ppid=1261 vsize=11016544 memory=3570792 CPUtime=9.58 cores=0,2,4,6
/proc/1264/task/1327/stat : 1327 (java) S 1261 1264 19273 0 -1 1077944384 13401 13272 0 0 947 3 5 3 20 0 15 0 107226178 11280941056 897308 33554432000 4194304 4196468 140735485003872 139799912000240 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1328] ppid=1261 vsize=11016544 memory=3556436 CPUtime=3.25 cores=0,2,4,6
/proc/1264/task/1328/stat : 1328 (java) S 1261 1264 19273 0 -1 1077944384 16610 13272 0 0 312 5 5 3 20 0 15 0 107226178 11280941056 897308 33554432000 4194304 4196468 140735485003872 139799843302000 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1329] ppid=1261 vsize=11016544 memory=3570792 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1329/stat : 1329 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11280941056 897308 33554432000 4194304 4196468 140735485003872 139798299798240 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1330] ppid=1261 vsize=11016544 memory=3570792 CPUtime=0.13 cores=0,2,4,6
/proc/1264/task/1330/stat : 1330 (java) S 1261 1264 19273 0 -1 1077944384 920 13272 0 0 2 3 5 3 20 0 15 0 107226178 11280941056 897308 33554432000 4194304 4196468 140735485003872 139799842249392 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
Current children cumulated CPU time: 135.18 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3589232 KiB

[startup+162.31 s]
/proc/loadavg: 2.14 1.90 1.85 3/219 1463
/proc/meminfo: memFree=20625520/32770624 swapFree=67108744/67108860
[pid=1264] ppid=1261 vsize=11016544 memory=3572576 CPUtime=200.44 cores=0,2,4,6
/proc/1264/stat : 1264 (java) S 1261 1264 19273 0 -1 1077944320 155578 13272 0 0 19803 233 5 3 20 0 15 0 107226163 11280941056 893144 33554432000 4194304 4196468 140735485003872 140735484986416 139800421080823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
/proc/1264/statm: 2754136 893144 3542 1 0 2715789 0
[pid=1264/tid=1317] ppid=1261 vsize=11016544 memory=3572576 CPUtime=156.87 cores=0,2,4,6
/proc/1264/task/1317/stat : 1317 (java) R 1261 1264 19273 0 -1 4202560 62699 13272 0 0 15638 41 5 3 20 0 15 0 107226172 11280941056 893144 33554432000 4194304 4196468 140735485003872 139800392914336 139800003236802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1318] ppid=1261 vsize=11016544 memory=3572572 CPUtime=5.19 cores=0,2,4,6
/proc/1264/task/1318/stat : 1318 (java) S 1261 1264 19273 0 -1 1077944384 6590 13272 0 0 466 45 5 3 20 0 15 0 107226173 11280941056 893144 33554432000 4194304 4196468 140735485003872 139800425315472 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1319] ppid=1261 vsize=11016544 memory=3572576 CPUtime=5.16 cores=0,2,4,6
/proc/1264/task/1319/stat : 1319 (java) S 1261 1264 19273 0 -1 1077944384 5599 13272 0 0 467 41 5 3 20 0 15 0 107226173 11280941056 893144 33554432000 4194304 4196468 140735485003872 139800314928144 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1320] ppid=1261 vsize=11016544 memory=3572576 CPUtime=5.17 cores=0,2,4,6
/proc/1264/task/1320/stat : 1320 (java) S 1261 1264 19273 0 -1 1077944384 2733 13272 0 0 467 42 5 3 20 0 15 0 107226173 11280941056 893144 33554432000 4194304 4196468 140735485003872 139799959411600 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1321] ppid=1261 vsize=11016544 memory=3572576 CPUtime=5.15 cores=0,2,4,6
/proc/1264/task/1321/stat : 1321 (java) S 1261 1264 19273 0 -1 1077944384 3250 13272 0 0 466 41 5 3 20 0 15 0 107226173 11280941056 893144 33554432000 4194304 4196468 140735485003872 139799958358800 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1322] ppid=1261 vsize=11016544 memory=1800 CPUtime=0.3 cores=0,2,4,6
/proc/1264/task/1322/stat : 1322 (java) S 1261 1264 19273 0 -1 1077944384 12191 13272 0 0 20 2 5 3 20 0 15 0 107226175 11280941056 893144 33554432000 4194304 4196468 140735485003872 139799914105200 139800421091970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1323] ppid=1261 vsize=11016544 memory=2396 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1323/stat : 1323 (java) S 1261 1264 19273 0 -1 1077944384 29 13272 0 0 0 0 5 3 20 0 15 0 107226175 11280941056 893144 33554432000 4194304 4196468 140735485003872 139799239320672 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1324] ppid=1261 vsize=11016544 memory=1292 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1324/stat : 1324 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226175 11280941056 893144 33554432000 4194304 4196468 140735485003872 139799037993856 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1325] ppid=1261 vsize=11016544 memory=3572576 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1325/stat : 1325 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11280941056 893144 33554432000 4194304 4196468 140735485003872 139798730594128 139800421099419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1326] ppid=1261 vsize=11016544 memory=4096 CPUtime=10.04 cores=0,2,4,6
/proc/1264/task/1326/stat : 1326 (java) S 1261 1264 19273 0 -1 1077944384 23262 13272 0 0 991 5 5 3 20 0 15 0 107226178 11280941056 893144 33554432000 4194304 4196468 140735485003872 139799913053040 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1327] ppid=1261 vsize=11016544 memory=3572576 CPUtime=9.73 cores=0,2,4,6
/proc/1264/task/1327/stat : 1327 (java) S 1261 1264 19273 0 -1 1077944384 17213 13272 0 0 961 4 5 3 20 0 15 0 107226178 11280941056 893144 33554432000 4194304 4196468 140735485003872 139799912000240 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1328] ppid=1261 vsize=11016544 memory=3572576 CPUtime=3.28 cores=0,2,4,6
/proc/1264/task/1328/stat : 1328 (java) S 1261 1264 19273 0 -1 1077944384 18667 13272 0 0 314 6 5 3 20 0 15 0 107226178 11280941056 893144 33554432000 4194304 4196468 140735485003872 139799843302000 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1329] ppid=1261 vsize=11016544 memory=3572576 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1329/stat : 1329 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11280941056 893144 33554432000 4194304 4196468 140735485003872 139798299798240 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1330] ppid=1261 vsize=11016544 memory=3572576 CPUtime=0.16 cores=0,2,4,6
/proc/1264/task/1330/stat : 1330 (java) S 1261 1264 19273 0 -1 1077944384 1140 13272 0 0 4 4 5 3 20 0 15 0 107226178 11280941056 893144 33554432000 4194304 4196468 140735485003872 139799842249392 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
Current children cumulated CPU time: 200.44 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3572576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+212.001 s]
/proc/loadavg: 1.60 1.80 1.81 3/220 1472
/proc/meminfo: memFree=21097536/32770624 swapFree=67108744/67108860
[pid=1264] ppid=1261 vsize=11016544 memory=3572644 CPUtime=252.05 cores=0,2,4,6
/proc/1264/stat : 1264 (java) S 1261 1264 19273 0 -1 1077944320 168710 13272 0 0 24960 237 5 3 20 0 15 0 107226163 11280941056 893161 33554432000 4194304 4196468 140735485003872 140735484986416 139800421080823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
/proc/1264/statm: 2754136 893161 3542 1 0 2715789 0
[pid=1264/tid=1317] ppid=1261 vsize=11016544 memory=8 CPUtime=205.94 cores=0,2,4,6
/proc/1264/task/1317/stat : 1317 (java) R 1261 1264 19273 0 -1 4202560 66678 13272 0 0 20544 42 5 3 20 0 15 0 107226172 11280941056 893161 33554432000 4194304 4196468 140735485003872 139800392914816 139800014757710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1318] ppid=1261 vsize=11016544 memory=8112282956445269571 CPUtime=5.79 cores=0,2,4,6
/proc/1264/task/1318/stat : 1318 (java) S 1261 1264 19273 0 -1 1077944384 8012 13272 0 0 526 45 5 3 20 0 15 0 107226173 11280941056 893161 33554432000 4194304 4196468 140735485003872 139800425315472 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1319] ppid=1261 vsize=11016544 memory=3572624 CPUtime=5.77 cores=0,2,4,6
/proc/1264/task/1319/stat : 1319 (java) S 1261 1264 19273 0 -1 1077944384 6111 13272 0 0 527 42 5 3 20 0 15 0 107226173 11280941056 893161 33554432000 4194304 4196468 140735485003872 139800314928144 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1320] ppid=1261 vsize=11016544 memory=8112282956445269571 CPUtime=5.77 cores=0,2,4,6
/proc/1264/task/1320/stat : 1320 (java) S 1261 1264 19273 0 -1 1077944384 4352 13272 0 0 527 42 5 3 20 0 15 0 107226173 11280941056 893161 33554432000 4194304 4196468 140735485003872 139799959411600 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1321] ppid=1261 vsize=11016544 memory=1568 CPUtime=5.76 cores=0,2,4,6
/proc/1264/task/1321/stat : 1321 (java) S 1261 1264 19273 0 -1 1077944384 3692 13272 0 0 527 41 5 3 20 0 15 0 107226173 11280941056 893161 33554432000 4194304 4196468 140735485003872 139799958358800 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1322] ppid=1261 vsize=11016544 memory=2240 CPUtime=0.3 cores=0,2,4,6
/proc/1264/task/1322/stat : 1322 (java) S 1261 1264 19273 0 -1 1077944384 12511 13272 0 0 20 2 5 3 20 0 15 0 107226175 11280941056 893161 33554432000 4194304 4196468 140735485003872 139799914105200 139800421091970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1323] ppid=1261 vsize=11016544 memory=4124 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1323/stat : 1323 (java) S 1261 1264 19273 0 -1 1077944384 29 13272 0 0 0 0 5 3 20 0 15 0 107226175 11280941056 893161 33554432000 4194304 4196468 140735485003872 139799239320672 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1324] ppid=1261 vsize=11016544 memory=2196 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1324/stat : 1324 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226175 11280941056 893161 33554432000 4194304 4196468 140735485003872 139799037993856 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1325] ppid=1261 vsize=11016544 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1325/stat : 1325 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11280941056 893161 33554432000 4194304 4196468 140735485003872 139798730594128 139800421099419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1326] ppid=1261 vsize=11016544 memory=3572624 CPUtime=10.05 cores=0,2,4,6
/proc/1264/task/1326/stat : 1326 (java) S 1261 1264 19273 0 -1 1077944384 24702 13272 0 0 992 5 5 3 20 0 15 0 107226178 11280941056 893161 33554432000 4194304 4196468 140735485003872 139799913053040 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1327] ppid=1261 vsize=11016544 memory=13570388080723462 CPUtime=9.78 cores=0,2,4,6
/proc/1264/task/1327/stat : 1327 (java) S 1261 1264 19273 0 -1 1077944384 18800 13272 0 0 966 4 5 3 20 0 15 0 107226178 11280941056 893161 33554432000 4194304 4196468 140735485003872 139799912000240 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1328] ppid=1261 vsize=11016544 memory=2732 CPUtime=3.29 cores=0,2,4,6
/proc/1264/task/1328/stat : 1328 (java) S 1261 1264 19273 0 -1 1077944384 20434 13272 0 0 315 6 5 3 20 0 15 0 107226178 11280941056 893161 33554432000 4194304 4196468 140735485003872 139799843302000 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1329] ppid=1261 vsize=11016544 memory=2776 CPUtime=0.08 cores=0,2,4,6
/proc/1264/task/1329/stat : 1329 (java) S 1261 1264 19273 0 -1 1077944384 3 13272 0 0 0 0 5 3 20 0 15 0 107226178 11280941056 893161 33554432000 4194304 4196468 140735485003872 139798299798240 139800421091029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
[pid=1264/tid=1330] ppid=1261 vsize=11016544 memory=2340 CPUtime=0.2 cores=0,2,4,6
/proc/1264/task/1330/stat : 1330 (java) S 1261 1264 19273 0 -1 1077944384 1184 13272 0 0 6 6 5 3 20 0 15 0 107226178 11280941056 893161 33554432000 4194304 4196468 140735485003872 139799842249392 139800421091970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27824128 140735485012585 140735485015393 140735485015393 140735485018063 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3572644 KiB

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

[startup+212.062 s]
# the end of solver process 1264 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.688 s, system=2.43334 s

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

Child status: 143
Real time (s): 212.062
CPU time (s): 252.121
CPU user time (s): 249.688
CPU system time (s): 2.43334
CPU usage (%): 118.89
Max. virtual memory (cumulated for all children) (KiB): 11017136
Max. memory (cumulated for all children) (KiB): 3636360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.688
system time used= 2.43334
maximum resident set size= 3636360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17177
involuntary context switches= 746


# summary of solver processes directly reported to runsolver:
#   pid: 1264
#   total CPU time (s): 252.121
#   total CPU user time (s): 249.688
#   total CPU system time (s): 2.43334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31052 second user time and 2.05274 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-29 22:37:09
IDJOB=4302941
IDBENCH=141264
IDSOLVER=2777
FILE ID=node134/4302941-1532896629
RUNJOBID= node134-1532893331-28700
PBS_JOBID= 21022511
Free space on /tmp= 60868 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-02-0250_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302941-1532896629/watcher-4302941-1532896629 -o /tmp/evaluation-result-4302941-1532896629/solver-4302941-1532896629 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=324369384 -superng HOME/instance-4302941-1532896629.xml

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

MD5SUM BENCH= 9ab3e648243ddfeac66c66819bd63413
RANDOM SEED=324369384

node134.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.68
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.68
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.68
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.68
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:        27542852 kB
MemAvailable:   31257276 kB
Buffers:          209368 kB
Cached:          3775088 kB
SwapCached:            0 kB
Active:          2484020 kB
Inactive:        2266032 kB
Active(anon):     714732 kB
Inactive(anon):    78480 kB
Active(file):    1769288 kB
Inactive(file):  2187552 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:             94520 kB
Writeback:             0 kB
AnonPages:        846036 kB
Mapped:            58112 kB
Shmem:             25132 kB
Slab:             175828 kB
SReclaimable:     146836 kB
SUnreclaim:        28992 kB
KernelStack:        3872 kB
PageTables:         6632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1927276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    618496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60748 MiB
End job on node134 at 2018-07-29 22:40:42